edu.jas.application

Class GroebnerSystem<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.application.GroebnerSystem<C>

Type Parameters:

C - coefficient type

public class GroebnerSystem<C extends GcdRingElem<C>>
extends java.lang.Object

Container for a Groebner system. It contains a list of colored systems and a list of parametric polynomials representing the corresponding comprehensive Groebner base.

Field Summary

Fields

Modifier and Type	Field and Description
protected PolynomialList<GenPolynomial<C>>	cgb Comprehensive Groebner base for this Groebner system.
protected java.util.List<Condition<C>>	conds List of conditions for this Groebner system.
java.util.List<ColoredSystem<C>>	list List of colored systems.

Constructor Summary

Constructors

Constructor and Description
GroebnerSystem(java.util.List<ColoredSystem<C>> S) Constructor for a Groebner system.

Method Summary

Modifier and Type	Method and Description
boolean	checkInvariant() Check invariants.
boolean	equals(java.lang.Object c) Is this Groebner system equal to other.
java.util.List<GenPolynomial<GenPolynomial<C>>>	getCGB() Get comprehensive Groebner base.
java.util.List<Condition<C>>	getConditions() Get list of conditions determining this Groebner system.
int	hashCode() Hash code for this colored system.
boolean	isDetermined() Is each colored system completely determined.
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

list

public final java.util.List<ColoredSystem<C extends GcdRingElem<C>>> list

List of colored systems.

conds

protected java.util.List<Condition<C extends GcdRingElem<C>>> conds

List of conditions for this Groebner system.

cgb

protected PolynomialList<GenPolynomial<C extends GcdRingElem<C>>> cgb

Comprehensive Groebner base for this Groebner system.

Constructor Detail

GroebnerSystem

public GroebnerSystem(java.util.List<ColoredSystem<C>> S)

Constructor for a Groebner system.

Parameters:

S - a list of colored systems.

Method Detail

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 Groebner system equal to other.

Overrides:

equals in class java.lang.Object

Parameters:

c - other Groebner 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()

checkInvariant

public boolean checkInvariant()

Check invariants. Check if all colored systems are determined and all invariants are met.

Returns:

true, if all invariants are met, else false.

isDetermined

public boolean isDetermined()

Is each colored system completely determined.

Returns:

true, if each ColoredSystem is determined, else false.

getConditions

public java.util.List<Condition<C>> getConditions()

Get list of conditions determining this Groebner system.

Returns:

list of determining conditions.

getCGB

public java.util.List<GenPolynomial<GenPolynomial<C>>> getCGB()

Get comprehensive Groebner base.

Returns:

the comprehensive Groebner base for this Groebner system.