C
- coefficient typepublic class Condition<C extends GcdRingElem<C>> extends java.lang.Object implements java.io.Serializable
Modifier and Type | Class and Description |
---|---|
static class |
Condition.Color
Colors.
|
Modifier and Type | Field and Description |
---|---|
MultiplicativeSet<C> |
nonZero
Data structure for condition non-zero.
|
Ideal<C> |
zero
Data structure for condition zero.
|
Constructor and Description |
---|
Condition(GenPolynomialRing<C> ring)
Condition constructor.
|
Condition(Ideal<C> z)
Condition constructor.
|
Condition(Ideal<C> z,
MultiplicativeSet<C> nz)
Condition constructor.
|
Condition(MultiplicativeSet<C> nz)
Condition constructor.
|
Modifier and Type | Method and Description |
---|---|
Condition.Color |
color(GenPolynomial<C> c)
Determine color of polynomial.
|
ColorPolynomial<C> |
determine(GenPolynomial<GenPolynomial<C>> A)
Determine polynomial.
|
java.util.List<ColorPolynomial<C>> |
determine(java.util.List<GenPolynomial<GenPolynomial<C>>> L)
Determine list of polynomials.
|
boolean |
equals(java.lang.Object ob)
equals.
|
Condition<C> |
extendNonZero(GenPolynomial<C> nz)
Extend condition with non-zero polynomial.
|
Condition<C> |
extendZero(GenPolynomial<C> z)
Extend condition with zero polynomial.
|
int |
hashCode()
Hash code for this condition.
|
boolean |
isContradictory()
Is contradictory.
|
boolean |
isDetermined(ColorPolynomial<C> s)
Is determined colored polynomial.
|
boolean |
isDetermined(java.util.List<ColorPolynomial<C>> S)
Is determined list of colored polynomial.
|
boolean |
isEmpty()
Is empty condition.
|
ColorPolynomial<C> |
reDetermine(ColorPolynomial<C> s)
Re determine colored polynomial.
|
java.util.List<ColorPolynomial<C>> |
reDetermine(java.util.List<ColorPolynomial<C>> S)
Re determine list of colored polynomials.
|
Condition<C> |
simplify()
Simplify zero and non-zero polynomial conditions.
|
java.lang.String |
toString()
toString.
|
public final Ideal<C extends GcdRingElem<C>> zero
public final MultiplicativeSet<C extends GcdRingElem<C>> nonZero
public Condition(GenPolynomialRing<C> ring)
ring
- polynomial ring factory for coefficients.public Condition(Ideal<C> z)
z
- an ideal of zero polynomials.public Condition(MultiplicativeSet<C> nz)
nz
- a list of non-zero polynomials.public Condition(Ideal<C> z, MultiplicativeSet<C> nz)
z
- an ideal of zero polynomials.nz
- a list of non-zero polynomials.public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public boolean equals(java.lang.Object ob)
equals
in class java.lang.Object
ob
- an Object.public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public boolean isEmpty()
public boolean isContradictory()
public Condition<C> extendZero(GenPolynomial<C> z)
z
- a polynomial to be treated as zero.public Condition<C> extendNonZero(GenPolynomial<C> nz)
nz
- a polynomial to be treated as non-zero.public Condition<C> simplify()
public Condition.Color color(GenPolynomial<C> c)
c
- polynomial to be colored.public ColorPolynomial<C> determine(GenPolynomial<GenPolynomial<C>> A)
A
- polynomial.public java.util.List<ColorPolynomial<C>> determine(java.util.List<GenPolynomial<GenPolynomial<C>>> L)
L
- list of polynomial.public ColorPolynomial<C> reDetermine(ColorPolynomial<C> s)
s
- colored polynomial.public java.util.List<ColorPolynomial<C>> reDetermine(java.util.List<ColorPolynomial<C>> S)
S
- list of colored polynomials.public boolean isDetermined(ColorPolynomial<C> s)
s
- colored polynomial.public boolean isDetermined(java.util.List<ColorPolynomial<C>> S)
S
- list of colored polynomials.