Package edu.jas.application
Class GroebnerSystem<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.application.GroebnerSystem<C>
- Type Parameters:
C
- coefficient type
Container for a Groebner system.
It contains a list of colored systems and a
list of parametric polynomials representing the
corresponding comprehensive Groebner base.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected PolynomialList
<GenPolynomial<C>> Comprehensive Groebner base for this Groebner system.List of conditions for this Groebner system.private static final boolean
final List
<ColoredSystem<C>> List of colored systems.private static final org.apache.logging.log4j.Logger
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionboolean
Check invariants.boolean
Is this Groebner system equal to other.getCGB()
Get comprehensive Groebner base.Get list of conditions determining this Groebner system.int
hashCode()
Hash code for this colored system.boolean
Is each colored system completely determined.toScript()
Get the Script representation.toString()
Get the String representation.
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
list
List of colored systems. -
conds
List of conditions for this Groebner system. -
cgb
Comprehensive Groebner base for this Groebner system.
-
-
Constructor Details
-
GroebnerSystem
Constructor for a Groebner system.- Parameters:
S
- a list of colored systems.
-
-
Method Details
-
toString
Get the String representation. -
toScript
Get the Script representation.- See Also:
-
equals
Is this Groebner system equal to other. -
hashCode
public int hashCode()Hash code for this colored system. -
checkInvariant
public boolean checkInvariant()Check invariants. Check if all colored systems are determined and all invariants are met.- Returns:
- true, if all invariants are met, else false.
-
isDetermined
public boolean isDetermined()Is each colored system completely determined.- Returns:
- true, if each ColoredSystem is determined, else false.
-
getConditions
Get list of conditions determining this Groebner system.- Returns:
- list of determining conditions.
-
getCGB
Get comprehensive Groebner base.- Returns:
- the comprehensive Groebner base for this Groebner system.
-