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. condition
Condition 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. 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 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.
-