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 and 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 and 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

Modifier and Type	Method and 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.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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 class java.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 class java.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 class java.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.