Package edu.jas.application
Class GroebnerSystem<C extends GcdRingElem<C>>
- java.lang.Object
-
- edu.jas.application.GroebnerSystem<C>
-
- Type Parameters:
C
- coefficient type
public class GroebnerSystem<C extends GcdRingElem<C>> extends java.lang.Object
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
Fields Modifier and Type Field 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 Summary
Constructors Constructor Description GroebnerSystem(java.util.List<ColoredSystem<C>> S)
Constructor for a Groebner system.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.
-
-
-
Field Detail
-
list
public final java.util.List<ColoredSystem<C extends GcdRingElem<C>>> list
List of colored systems.
-
conds
protected java.util.List<Condition<C extends GcdRingElem<C>>> conds
List of conditions for this Groebner system.
-
cgb
protected PolynomialList<GenPolynomial<C extends GcdRingElem<C>>> cgb
Comprehensive Groebner base for this Groebner system.
-
-
Constructor Detail
-
GroebnerSystem
public GroebnerSystem(java.util.List<ColoredSystem<C>> S)
Constructor for a Groebner system.- Parameters:
S
- a list of colored systems.
-
-
Method Detail
-
toString
public java.lang.String toString()
Get the String representation.- Overrides:
toString
in classjava.lang.Object
- See Also:
Object.toString()
-
toScript
public java.lang.String toScript()
Get the Script representation.- See Also:
Element.toScript()
-
equals
public boolean equals(java.lang.Object c)
Is this Groebner system equal to other.- Overrides:
equals
in classjava.lang.Object
- Parameters:
c
- other Groebner system.- Returns:
- true, if this is equal to other, else false.
-
hashCode
public int hashCode()
Hash code for this colored system.- Overrides:
hashCode
in classjava.lang.Object
- See Also:
Object.hashCode()
-
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
public java.util.List<Condition<C>> getConditions()
Get list of conditions determining this Groebner system.- Returns:
- list of determining conditions.
-
getCGB
public java.util.List<GenPolynomial<GenPolynomial<C>>> getCGB()
Get comprehensive Groebner base.- Returns:
- the comprehensive Groebner base for this Groebner system.
-
-