C
- coefficient typepublic class ColorPolynomial<C extends RingElem<C>> extends java.lang.Object implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
GenPolynomial<GenPolynomial<C>> |
green
The part with green (= zero) terms and coefficients.
|
GenPolynomial<GenPolynomial<C>> |
red
The part with red (= non zero) terms and coefficients.
|
GenPolynomial<GenPolynomial<C>> |
white
The part with white (= unknown color) terms and coefficients.
|
Constructor and Description |
---|
ColorPolynomial(GenPolynomial<GenPolynomial<C>> g,
GenPolynomial<GenPolynomial<C>> r,
GenPolynomial<GenPolynomial<C>> w)
The constructor creates a colored polynomial from the colored parts.
|
Modifier and Type | Method and Description |
---|---|
ColorPolynomial<C> |
abs()
ColorPolynomial absolute value.
|
boolean |
checkInvariant()
Check ordering invariants.
|
ColorPolynomial<C> |
divide(GenPolynomial<C> s)
ColorPolynomial division by coefficient.
|
boolean |
equals(java.lang.Object p)
Is this polynomial equal to other.
|
GenPolynomial<GenPolynomial<C>> |
getEssentialPolynomial()
Get essential polynomial.
|
java.util.List<GenPolynomial<C>> |
getGreenCoefficients()
Get zero condition on coefficients.
|
GenPolynomial<GenPolynomial<C>> |
getPolynomial()
Get full polynomial.
|
java.util.List<GenPolynomial<C>> |
getRedCoefficients()
Get non zero condition on coefficients.
|
int |
hashCode()
Hash code for this colored polynomial.
|
boolean |
isDetermined()
Is this polynomial determined.
|
boolean |
isONE()
Is this polynomial ONE.
|
boolean |
isZERO()
Is this polynomial ZERO.
|
ExpVector |
leadingExpVector()
Get leading exponent vector.
|
java.util.Map.Entry<ExpVector,GenPolynomial<C>> |
leadingMonomial()
Get leading monomial.
|
int |
length()
Length of red and white parts.
|
ColorPolynomial<C> |
multiply(GenPolynomial<C> s)
ColorPolynomial multiplication by coefficient.
|
ColorPolynomial<C> |
multiply(GenPolynomial<C> s,
ExpVector e)
ColorPolynomial multiplication by monomial.
|
ColorPolynomial<C> |
subtract(ColorPolynomial<C> S)
ColorPolynomial subtraction.
|
ColorPolynomial<C> |
subtract(GenPolynomial<C> s,
ExpVector e)
ColorPolynomial subtract.
|
ColorPolynomial<C> |
sum(ColorPolynomial<C> S)
ColorPolynomial summation.
|
ColorPolynomial<C> |
sum(GenPolynomial<C> s,
ExpVector e)
ColorPolynomial summation.
|
java.lang.String |
toScript()
Script representation of ColorPolynomial.
|
java.lang.String |
toString()
String representation of ColorPolynomial.
|
public final GenPolynomial<GenPolynomial<C extends RingElem<C>>> green
public final GenPolynomial<GenPolynomial<C extends RingElem<C>>> red
public final GenPolynomial<GenPolynomial<C extends RingElem<C>>> white
public ColorPolynomial(GenPolynomial<GenPolynomial<C>> g, GenPolynomial<GenPolynomial<C>> r, GenPolynomial<GenPolynomial<C>> w)
g
- green colored terms and coefficients.r
- red colored terms and coefficients.w
- white colored terms and coefficients.public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public java.lang.String toScript()
Element.toScript()
public boolean isZERO()
public boolean isONE()
public boolean equals(java.lang.Object p)
equals
in class java.lang.Object
p
- other polynomial.public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public boolean isDetermined()
public boolean checkInvariant()
public java.util.List<GenPolynomial<C>> getGreenCoefficients()
public java.util.List<GenPolynomial<C>> getRedCoefficients()
public GenPolynomial<GenPolynomial<C>> getPolynomial()
public GenPolynomial<GenPolynomial<C>> getEssentialPolynomial()
public int length()
public ExpVector leadingExpVector()
public java.util.Map.Entry<ExpVector,GenPolynomial<C>> leadingMonomial()
public ColorPolynomial<C> abs()
public ColorPolynomial<C> sum(ColorPolynomial<C> S)
S
- ColorPolynomial.public ColorPolynomial<C> sum(GenPolynomial<C> s, ExpVector e)
s
- GenPolynomial.e
- exponent vector.public ColorPolynomial<C> subtract(ColorPolynomial<C> S)
S
- ColorPolynomial.public ColorPolynomial<C> subtract(GenPolynomial<C> s, ExpVector e)
s
- GenPolynomial.e
- exponent vector.public ColorPolynomial<C> multiply(GenPolynomial<C> s, ExpVector e)
s
- Coefficient.e
- Expvector.public ColorPolynomial<C> multiply(GenPolynomial<C> s)
s
- Coefficient.public ColorPolynomial<C> divide(GenPolynomial<C> s)
s
- Coefficient.