C
- coefficient typepublic class ColoredSystem<C extends GcdRingElem<C>> extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Condition<C> |
condition
Condition determinig this colored system.
|
java.util.List<ColorPolynomial<C>> |
list
Colored polynomials of this system.
|
OrderedCPairlist<C> |
pairlist
Groebner base pair list of this system.
|
Constructor and Description |
---|
ColoredSystem(Condition<C> cond,
java.util.List<ColorPolynomial<C>> S)
Constructor for a colored polynomial system.
|
ColoredSystem(Condition<C> cond,
java.util.List<ColorPolynomial<C>> S,
OrderedCPairlist<C> pl)
Constructor for a colored polynomial system.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<ColoredSystem<C>> |
addToList(java.util.List<ColoredSystem<C>> L)
Add to list of colored systems.
|
boolean |
checkInvariant()
Check invariants.
|
ColoredSystem<C> |
copy()
Copy this colored polynomial system.
|
boolean |
equals(java.lang.Object c)
Is this colored system equal to other.
|
java.util.List<GenPolynomial<C>> |
getConditionNonZero()
Get non zero condition.
|
java.util.List<GenPolynomial<C>> |
getConditionZero()
Get zero condition.
|
java.util.List<GenPolynomial<GenPolynomial<C>>> |
getEssentialPolynomialList()
Get list of essential polynomials.
|
java.util.List<GenPolynomial<C>> |
getGreenCoefficients()
Get list of green coefficients of polynomials.
|
java.util.List<GenPolynomial<GenPolynomial<C>>> |
getPolynomialList()
Get list of full polynomials.
|
java.util.List<GenPolynomial<C>> |
getRedCoefficients()
Get list of red coefficients of polynomials.
|
int |
hashCode()
Hash code for this colored system.
|
boolean |
isDetermined()
Is this colored system completely determined.
|
ColoredSystem<C> |
reDetermine()
Re determine colorings of polynomials.
|
java.lang.String |
toString()
Get the String representation.
|
public final Condition<C extends GcdRingElem<C>> condition
public final java.util.List<ColorPolynomial<C extends GcdRingElem<C>>> list
public final OrderedCPairlist<C extends GcdRingElem<C>> pairlist
public ColoredSystem(Condition<C> cond, java.util.List<ColorPolynomial<C>> S)
cond
- a condition.S
- a list of colored polynomials.public ColoredSystem(Condition<C> cond, java.util.List<ColorPolynomial<C>> S, OrderedCPairlist<C> pl)
cond
- a condition.S
- a list of colored polynomials.pl
- a ordered pair list.public ColoredSystem<C> copy()
public java.util.List<ColoredSystem<C>> addToList(java.util.List<ColoredSystem<C>> L)
L
- a list of colored systems.public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public boolean equals(java.lang.Object c)
equals
in class java.lang.Object
c
- other colored system.public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public java.util.List<GenPolynomial<C>> getConditionZero()
public java.util.List<GenPolynomial<C>> getConditionNonZero()
public java.util.List<GenPolynomial<C>> getRedCoefficients()
public java.util.List<GenPolynomial<C>> getGreenCoefficients()
public java.util.List<GenPolynomial<GenPolynomial<C>>> getPolynomialList()
public java.util.List<GenPolynomial<GenPolynomial<C>>> getEssentialPolynomialList()
public boolean checkInvariant()
public boolean isDetermined()
public ColoredSystem<C> reDetermine()