Package edu.jas.application
Class ColoredSystem<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.application.ColoredSystem<C>
- Type Parameters:
C
- coefficient type
Container for a condition, a corresponding colored polynomial list and a
Groebner base pair list.
-
Field Summary
FieldsModifier and TypeFieldDescriptionCondition determinig this colored system.private static final boolean
final List
<ColorPolynomial<C>> Colored polynomials of this system.private static final org.apache.logging.log4j.Logger
final OrderedCPairlist
<C> Groebner base pair list of this system. -
Constructor Summary
ConstructorsConstructorDescriptionColoredSystem
(Condition<C> cond, List<ColorPolynomial<C>> S) Constructor for a colored polynomial system.ColoredSystem
(Condition<C> cond, List<ColorPolynomial<C>> S, OrderedCPairlist<C> pl) Constructor for a colored polynomial system. -
Method Summary
Modifier and TypeMethodDescriptionaddToList
(List<ColoredSystem<C>> L) Add to list of colored systems.boolean
Check invariants.copy()
Copy this colored polynomial system.boolean
Is this colored system equal to other.Get non zero condition.Get zero condition.Get list of essential polynomials.Get list of green coefficients of polynomials.Get list of full polynomials.Get list of red coefficients of polynomials.int
hashCode()
Hash code for this colored system.boolean
Is this colored system completely determined.Re determine colorings of polynomials.toScript()
Get the Script representation.toString()
Get the String representation.
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
condition
Condition determinig this colored system. -
list
Colored polynomials of this system. -
pairlist
Groebner base pair list of this system.
-
-
Constructor Details
-
ColoredSystem
Constructor for a colored polynomial system.- Parameters:
cond
- a condition.S
- a list of colored polynomials.
-
ColoredSystem
Constructor for a colored polynomial system.- Parameters:
cond
- a condition.S
- a list of colored polynomials.pl
- a ordered pair list.
-
-
Method Details
-
copy
Copy this colored polynomial system.- Returns:
- a clone of this.
-
addToList
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
Get the String representation. -
toScript
Get the Script representation.- See Also:
-
equals
Is this colored system equal to other. -
hashCode
public int hashCode()Hash code for this colored system. -
getConditionZero
Get zero condition.- Returns:
- condition.zero.
-
getConditionNonZero
Get non zero condition.- Returns:
- condition.nonZero.
-
getRedCoefficients
Get list of red coefficients of polynomials.- Returns:
- list of all red coefficients of polynomials.
-
getGreenCoefficients
Get list of green coefficients of polynomials.- Returns:
- list of all green coefficients of polynomials.
-
getPolynomialList
Get list of full polynomials.- Returns:
- list of all full polynomials.
-
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
Re determine colorings of polynomials.- Returns:
- colored system with re determined colored polynomials.
-