Package edu.jas.application
Class ColoredSystem<C extends GcdRingElem<C>>
- java.lang.Object
-
- edu.jas.application.ColoredSystem<C>
-
- Type Parameters:
C
- coefficient type
public class ColoredSystem<C extends GcdRingElem<C>> extends java.lang.Object
Container for a condition, a corresponding colored polynomial list and a Groebner base pair list.
-
-
Field Summary
Fields Modifier and Type Field 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 Summary
Constructors Constructor 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.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
toScript()
Get the Script representation.java.lang.String
toString()
Get the String representation.
-
-
-
Field Detail
-
condition
public final Condition<C extends GcdRingElem<C>> condition
Condition determinig this colored system.
-
list
public final java.util.List<ColorPolynomial<C extends GcdRingElem<C>>> list
Colored polynomials of this system.
-
pairlist
public final OrderedCPairlist<C extends GcdRingElem<C>> pairlist
Groebner base pair list of this system.
-
-
Constructor Detail
-
ColoredSystem
public ColoredSystem(Condition<C> cond, java.util.List<ColorPolynomial<C>> S)
Constructor for a colored polynomial system.- Parameters:
cond
- a condition.S
- a list of colored polynomials.
-
ColoredSystem
public ColoredSystem(Condition<C> cond, java.util.List<ColorPolynomial<C>> S, OrderedCPairlist<C> pl)
Constructor for a colored polynomial system.- Parameters:
cond
- a condition.S
- a list of colored polynomials.pl
- a ordered pair list.
-
-
Method Detail
-
copy
public ColoredSystem<C> copy()
Copy this colored polynomial system.- Returns:
- a clone of this.
-
addToList
public java.util.List<ColoredSystem<C>> addToList(java.util.List<ColoredSystem<C>> L)
Add to list of colored systems. This is added to the list of colored systems, if a system with the same condition is not already contained.- Parameters:
L
- a list of colored systems.- Returns:
- L.add(this) if this not in L, else L.
-
toString
public java.lang.String toString()
Get the String representation.- Overrides:
toString
in classjava.lang.Object
- See Also:
Object.toString()
-
toScript
public java.lang.String toScript()
Get the Script representation.- See Also:
Element.toScript()
-
equals
public boolean equals(java.lang.Object c)
Is this colored system equal to other.- Overrides:
equals
in classjava.lang.Object
- Parameters:
c
- other colored system.- Returns:
- true, if this is equal to other, else false.
-
hashCode
public int hashCode()
Hash code for this colored system.- Overrides:
hashCode
in classjava.lang.Object
- See Also:
Object.hashCode()
-
getConditionZero
public java.util.List<GenPolynomial<C>> getConditionZero()
Get zero condition.- Returns:
- condition.zero.
-
getConditionNonZero
public java.util.List<GenPolynomial<C>> getConditionNonZero()
Get non zero condition.- Returns:
- condition.nonZero.
-
getRedCoefficients
public java.util.List<GenPolynomial<C>> getRedCoefficients()
Get list of red coefficients of polynomials.- Returns:
- list of all red coefficients of polynomials.
-
getGreenCoefficients
public java.util.List<GenPolynomial<C>> getGreenCoefficients()
Get list of green coefficients of polynomials.- Returns:
- list of all green coefficients of polynomials.
-
getPolynomialList
public java.util.List<GenPolynomial<GenPolynomial<C>>> getPolynomialList()
Get list of full polynomials.- Returns:
- list of all full polynomials.
-
getEssentialPolynomialList
public java.util.List<GenPolynomial<GenPolynomial<C>>> getEssentialPolynomialList()
Get list of essential polynomials.- Returns:
- list of all essential polynomials.
-
checkInvariant
public boolean checkInvariant()
Check invariants. Check if all polynomials are determined and if the color of all coefficients is correct with respect to the condition.- Returns:
- true, if all invariants are met, else false.
-
isDetermined
public boolean isDetermined()
Is this colored system completely determined.- Returns:
- true, if each ColorPolynomial is determined, else false.
-
reDetermine
public ColoredSystem<C> reDetermine()
Re determine colorings of polynomials.- Returns:
- colored system with re determined colored polynomials.
-
-