Package edu.jas.application
Class Condition<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.application.Condition<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Serializable
Condition. Container for an ideal of polynomials considered to be zero and a
multiplicative set of polynomials considered to be non-zero.
- See Also:
-
Nested Class Summary
Nested Classes -
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionCondition constructor.Condition
(Ideal<C> z, MultiplicativeSet<C> nz) Condition constructor.Condition
(MultiplicativeSet<C> nz) Condition constructor.Condition
(GenPolynomialRing<C> ring) Condition constructor. -
Method Summary
Modifier and TypeMethodDescriptioncolor
(GenPolynomial<C> c) Determine color of polynomial.Determine polynomial.determine
(List<GenPolynomial<GenPolynomial<C>>> L) Determine list of polynomials.boolean
equals.extendNonZero
(GenPolynomial<C> nz) Extend condition with non-zero polynomial.extendZero
(GenPolynomial<C> z) Extend condition with zero polynomial.int
hashCode()
Hash code for this condition.boolean
Is contradictory.boolean
Is determined colored polynomial.boolean
isDetermined
(List<ColorPolynomial<C>> S) Is determined list of colored polynomial.boolean
isEmpty()
Is empty condition.Re determine colored polynomial.reDetermine
(List<ColorPolynomial<C>> S) Re determine list of colored polynomials.simplify()
Simplify zero and non-zero polynomial conditions.toScript()
toScript.toString()
toString.
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
zero
Data structure for condition zero. -
nonZero
Data structure for condition non-zero.
-
-
Constructor Details
-
Condition
Condition constructor. Constructs an empty condition with squarefree multiplicative set.- Parameters:
ring
- polynomial ring factory for coefficients.
-
Condition
Condition constructor. Constructs a condition with squarefree multiplicative set.- Parameters:
z
- an ideal of zero polynomials.
-
Condition
Condition constructor.- Parameters:
nz
- a list of non-zero polynomials.
-
Condition
Condition constructor.- Parameters:
z
- an ideal of zero polynomials.nz
- a list of non-zero polynomials.
-
-
Method Details
-
toString
toString. -
toScript
toScript.- See Also:
-
equals
equals. -
hashCode
public int hashCode()Hash code for this condition. -
isEmpty
public boolean isEmpty()Is empty condition.- Returns:
- true if this is the empty condition, else false.
-
isContradictory
public boolean isContradictory()Is contradictory.- Returns:
- true if this condition is contradictory, else false.
-
extendZero
Extend condition with zero polynomial.- Parameters:
z
- a polynomial to be treated as zero.- Returns:
- new condition.
-
extendNonZero
Extend condition with non-zero polynomial.- Parameters:
nz
- a polynomial to be treated as non-zero.- Returns:
- new condition.
-
simplify
Simplify zero and non-zero polynomial conditions.- Returns:
- new simplified condition.
-
color
Determine color of polynomial.- Parameters:
c
- polynomial to be colored.- Returns:
- color of c.
-
determine
Determine polynomial. If this condition does not determine the polynomial, then a run-time exception is thrown.- Parameters:
A
- polynomial.- Returns:
- new determined colored polynomial.
-
determine
Determine list of polynomials. If this condition does not determine all polynomials, then a run-time exception is thrown. The returned list does not contain polynomials with all green terms.- Parameters:
L
- list of polynomial.- Returns:
- new determined list of colored polynomials.
-
reDetermine
Re determine colored polynomial.- Parameters:
s
- colored polynomial.- Returns:
- determined colored polynomial wrt. this.conditions.
-
reDetermine
Re determine list of colored polynomials.- Parameters:
S
- list of colored polynomials.- Returns:
- list of determined colored polynomials wrt. this.conditions.
-
isDetermined
Is determined colored polynomial.- Parameters:
s
- colored polynomial.- Returns:
- true if the colored polynomial is correctly determined wrt. this.condition.
-
isDetermined
Is determined list of colored polynomial.- Parameters:
S
- list of colored polynomials.- Returns:
- true if the colored polynomials in S are correctly determined wrt. this.condition.
-