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:
java.io.Serializable
public class Condition<C extends GcdRingElem<C>> extends java.lang.Object implements java.io.Serializable
Condition. Container for an ideal of polynomials considered to be zero and a multiplicative set of polynomials considered to be non-zero.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Condition.Color
Colors.
-
Constructor Summary
Constructors Constructor Description Condition(Ideal<C> z)
Condition constructor.Condition(Ideal<C> z, MultiplicativeSet<C> nz)
Condition constructor.Condition(MultiplicativeSet<C> nz)
Condition constructor.Condition(GenPolynomialRing<C> ring)
Condition constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
toScript()
toScript.java.lang.String
toString()
toString.
-
-
-
Field Detail
-
zero
public final Ideal<C extends GcdRingElem<C>> zero
Data structure for condition zero.
-
nonZero
public final MultiplicativeSet<C extends GcdRingElem<C>> nonZero
Data structure for condition non-zero.
-
-
Constructor Detail
-
Condition
public Condition(GenPolynomialRing<C> ring)
Condition constructor. Constructs an empty condition with squarefree multiplicative set.- Parameters:
ring
- polynomial ring factory for coefficients.
-
Condition
public Condition(Ideal<C> z)
Condition constructor. Constructs a condition with squarefree multiplicative set.- Parameters:
z
- an ideal of zero polynomials.
-
Condition
public Condition(MultiplicativeSet<C> nz)
Condition constructor.- Parameters:
nz
- a list of non-zero polynomials.
-
Condition
public Condition(Ideal<C> z, MultiplicativeSet<C> nz)
Condition constructor.- Parameters:
z
- an ideal of zero polynomials.nz
- a list of non-zero polynomials.
-
-
Method Detail
-
toString
public java.lang.String toString()
toString.- Overrides:
toString
in classjava.lang.Object
- See Also:
Object.toString()
-
toScript
public java.lang.String toScript()
toScript.- See Also:
Element.toScript()
-
equals
public boolean equals(java.lang.Object ob)
equals.- Overrides:
equals
in classjava.lang.Object
- Parameters:
ob
- an Object.- Returns:
- true if this is equal to o, else false.
-
hashCode
public int hashCode()
Hash code for this condition.- Overrides:
hashCode
in classjava.lang.Object
- See Also:
Object.hashCode()
-
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
public Condition<C> extendZero(GenPolynomial<C> z)
Extend condition with zero polynomial.- Parameters:
z
- a polynomial to be treated as zero.- Returns:
- new condition.
-
extendNonZero
public Condition<C> extendNonZero(GenPolynomial<C> nz)
Extend condition with non-zero polynomial.- Parameters:
nz
- a polynomial to be treated as non-zero.- Returns:
- new condition.
-
simplify
public Condition<C> simplify()
Simplify zero and non-zero polynomial conditions.- Returns:
- new simplified condition.
-
color
public Condition.Color color(GenPolynomial<C> c)
Determine color of polynomial.- Parameters:
c
- polynomial to be colored.- Returns:
- color of c.
-
determine
public ColorPolynomial<C> determine(GenPolynomial<GenPolynomial<C>> A)
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
public java.util.List<ColorPolynomial<C>> determine(java.util.List<GenPolynomial<GenPolynomial<C>>> L)
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
public ColorPolynomial<C> reDetermine(ColorPolynomial<C> s)
Re determine colored polynomial.- Parameters:
s
- colored polynomial.- Returns:
- determined colored polynomial wrt. this.conditions.
-
reDetermine
public java.util.List<ColorPolynomial<C>> reDetermine(java.util.List<ColorPolynomial<C>> S)
Re determine list of colored polynomials.- Parameters:
S
- list of colored polynomials.- Returns:
- list of determined colored polynomials wrt. this.conditions.
-
isDetermined
public boolean isDetermined(ColorPolynomial<C> s)
Is determined colored polynomial.- Parameters:
s
- colored polynomial.- Returns:
- true if the colored polynomial is correctly determined wrt. this.condition.
-
isDetermined
public boolean isDetermined(java.util.List<ColorPolynomial<C>> S)
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.
-
-