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 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	Description
protected PolynomialList<GenPolynomial<C>>	cgb	Comprehensive Groebner base for this Groebner system.
protected List<Condition<C>>	conds	List of conditions for this Groebner system.
private static final boolean	debug
final List<ColoredSystem<C>>	list	List of colored systems.
private static final org.apache.logging.log4j.Logger	logger

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	checkInvariant()	Check invariants.
boolean	equals(Object c)	Is this Groebner system equal to other.
List<GenPolynomial<GenPolynomial<C>>>	getCGB()	Get comprehensive Groebner base.
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.
String	toScript()	Get the Script representation.
String	toString()	Get the String representation.

Methods inherited from class Object

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

Field Details

logger

private static final org.apache.logging.log4j.Logger logger

debug

private static final boolean debug

list

public final List<ColoredSystem<C extends GcdRingElem<C>>> list

List of colored systems.

conds

protected 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 Details

GroebnerSystem

public GroebnerSystem(List<ColoredSystem<C>> S)

Constructor for a Groebner system.

Parameters:

S - a list of colored systems.

Method Details

toString

public String toString()

Get the String representation.

Overrides:

toString in class Object

See Also:

• Object.toString()

toScript

public String toScript()

Get the Script representation.

See Also:

• Element.toScript()

equals

public boolean equals(Object c)

Is this Groebner system equal to other.

Overrides:

equals in class 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 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 List<Condition<C>> getConditions()

Get list of conditions determining this Groebner system.

Returns:

list of determining conditions.

getCGB

public List<GenPolynomial<GenPolynomial<C>>> getCGB()

Get comprehensive Groebner base.

Returns:

the comprehensive Groebner base for this Groebner system.