Uses of Class
edu.jas.application.Condition

Packages that use Condition

Package	Description
edu.jas.application	Groebner base application package.

Uses of Condition in edu.jas.application

Fields in edu.jas.application declared as Condition

Modifier and Type	Field	Description
final Condition<C>	ColoredSystem.condition	Condition determinig this colored system.

Fields in edu.jas.application with type parameters of type Condition

Modifier and Type	Field	Description
protected List<Condition<C>>	GroebnerSystem.conds	List of conditions for this Groebner system.

Methods in edu.jas.application that return Condition

Modifier and Type	Method	Description
Condition<C>	Condition.extendNonZero(GenPolynomial<C> nz)	Extend condition with non-zero polynomial.
Condition<C>	Condition.extendZero(GenPolynomial<C> z)	Extend condition with zero polynomial.
Condition<C>	Condition.simplify()	Simplify zero and non-zero polynomial conditions.

Methods in edu.jas.application that return types with arguments of type Condition

Modifier and Type	Method	Description
List<Condition<C>>	CReductionSeq.caseDistinction(Condition<C> cond, GenPolynomial<GenPolynomial<C>> A)	Case distinction conditions of parametric polynomial list.
List<Condition<C>>	CReductionSeq.caseDistinction(List<Condition<C>> cd, GenPolynomial<GenPolynomial<C>> A)	Case distinction conditions of parametric polynomial list.
List<Condition<C>>	CReductionSeq.caseDistinction(List<GenPolynomial<GenPolynomial<C>>> L)	Case distinction conditions of parametric polynomial list.
List<Condition<C>>	GroebnerSystem.getConditions()	Get list of conditions determining this Groebner system.

Methods in edu.jas.application with parameters of type Condition

Modifier and Type	Method	Description
List<Condition<C>>	CReductionSeq.caseDistinction(Condition<C> cond, GenPolynomial<GenPolynomial<C>> A)	Case distinction conditions of parametric polynomial list.
ColorPolynomial<C>	CReductionSeq.normalform(Condition<C> cond, List<ColorPolynomial<C>> Pp, ColorPolynomial<C> Ap)	Normalform.

Method parameters in edu.jas.application with type arguments of type Condition

Modifier and Type	Method	Description
List<Condition<C>>	CReductionSeq.caseDistinction(List<Condition<C>> cd, GenPolynomial<GenPolynomial<C>> A)	Case distinction conditions of parametric polynomial list.
List<ColoredSystem<C>>	CReductionSeq.determine(List<Condition<C>> cd, List<GenPolynomial<GenPolynomial<C>>> H)	Determine polynomial list.

Constructors in edu.jas.application with parameters of type Condition

Modifier	Constructor	Description
	ColoredSystem(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.