C
- coefficient typepublic class GroebnerSystem<C extends GcdRingElem<C>> extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected PolynomialList<GenPolynomial<C>> |
cgb
Comprehensive Groebner base for this Groebner system.
|
protected java.util.List<Condition<C>> |
conds
List of conditions for this Groebner system.
|
java.util.List<ColoredSystem<C>> |
list
List of colored systems.
|
Constructor and Description |
---|
GroebnerSystem(java.util.List<ColoredSystem<C>> S)
Constructor for a Groebner system.
|
Modifier and Type | Method and Description |
---|---|
boolean |
checkInvariant()
Check invariants.
|
boolean |
equals(java.lang.Object c)
Is this Groebner system equal to other.
|
java.util.List<GenPolynomial<GenPolynomial<C>>> |
getCGB()
Get comprehensive Groebner base.
|
java.util.List<Condition<C>> |
getConditions()
Get list of conditions determining this Groebner system.
|
int |
hashCode()
Hash code for this colored system.
|
boolean |
isDetermined()
Is each colored system completely determined.
|
java.lang.String |
toScript()
Get the Script representation.
|
java.lang.String |
toString()
Get the String representation.
|
public final java.util.List<ColoredSystem<C extends GcdRingElem<C>>> list
protected java.util.List<Condition<C extends GcdRingElem<C>>> conds
protected PolynomialList<GenPolynomial<C extends GcdRingElem<C>>> cgb
public GroebnerSystem(java.util.List<ColoredSystem<C>> S)
S
- a list of colored systems.public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public java.lang.String toScript()
Element.toScript()
public boolean equals(java.lang.Object c)
equals
in class java.lang.Object
c
- other Groebner system.public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public boolean checkInvariant()
public boolean isDetermined()
public java.util.List<Condition<C>> getConditions()
public java.util.List<GenPolynomial<GenPolynomial<C>>> getCGB()