Uses of Class
edu.jas.application.Condition
Packages that use Condition
-
Uses of Condition in edu.jas.application
Fields in edu.jas.application declared as ConditionModifier and TypeFieldDescriptionColoredSystem.condition
Condition determinig this colored system.Fields in edu.jas.application with type parameters of type ConditionModifier and TypeFieldDescriptionGroebnerSystem.conds
List of conditions for this Groebner system.Methods in edu.jas.application that return ConditionModifier and TypeMethodDescriptionCondition.extendNonZero
(GenPolynomial<C> nz) Extend condition with non-zero polynomial.Condition.extendZero
(GenPolynomial<C> z) Extend condition with zero polynomial.Condition.simplify()
Simplify zero and non-zero polynomial conditions.Methods in edu.jas.application that return types with arguments of type ConditionModifier and TypeMethodDescriptionCReductionSeq.caseDistinction
(Condition<C> cond, GenPolynomial<GenPolynomial<C>> A) Case distinction conditions of parametric polynomial list.CReductionSeq.caseDistinction
(List<Condition<C>> cd, GenPolynomial<GenPolynomial<C>> A) Case distinction conditions of parametric polynomial list.CReductionSeq.caseDistinction
(List<GenPolynomial<GenPolynomial<C>>> L) Case distinction conditions of parametric polynomial list.GroebnerSystem.getConditions()
Get list of conditions determining this Groebner system.Methods in edu.jas.application with parameters of type ConditionModifier and TypeMethodDescriptionCReductionSeq.caseDistinction
(Condition<C> cond, GenPolynomial<GenPolynomial<C>> A) Case distinction conditions of parametric polynomial list.CReductionSeq.normalform
(Condition<C> cond, List<ColorPolynomial<C>> Pp, ColorPolynomial<C> Ap) Normalform.Method parameters in edu.jas.application with type arguments of type ConditionModifier and TypeMethodDescriptionCReductionSeq.caseDistinction
(List<Condition<C>> cd, GenPolynomial<GenPolynomial<C>> A) Case distinction conditions of parametric polynomial list.CReductionSeq.determine
(List<Condition<C>> cd, List<GenPolynomial<GenPolynomial<C>>> H) Determine polynomial list.Constructors in edu.jas.application with parameters of type ConditionModifierConstructorDescriptionColoredSystem
(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.