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 Condition<C>ColoredSystem. conditionCondition determinig this colored system.Fields in edu.jas.application with type parameters of type Condition Modifier and Type Field Description protected java.util.List<Condition<C>>GroebnerSystem. condsList 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 java.util.List<Condition<C>>CReductionSeq. caseDistinction(Condition<C> cond, GenPolynomial<GenPolynomial<C>> A)Case distinction conditions of parametric polynomial list.java.util.List<Condition<C>>CReductionSeq. caseDistinction(java.util.List<Condition<C>> cd, GenPolynomial<GenPolynomial<C>> A)Case distinction conditions of parametric polynomial list.java.util.List<Condition<C>>CReductionSeq. caseDistinction(java.util.List<GenPolynomial<GenPolynomial<C>>> L)Case distinction conditions of parametric polynomial list.java.util.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 java.util.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, java.util.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 java.util.List<Condition<C>>CReductionSeq. caseDistinction(java.util.List<Condition<C>> cd, GenPolynomial<GenPolynomial<C>> A)Case distinction conditions of parametric polynomial list.java.util.List<ColoredSystem<C>>CReductionSeq. determine(java.util.List<Condition<C>> cd, java.util.List<GenPolynomial<GenPolynomial<C>>> H)Determine polynomial list.Constructors in edu.jas.application with parameters of type Condition Constructor 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.
-