Uses of Class
edu.jas.poly.TermOrder
-
Packages that use TermOrder Package Description edu.jas.application Groebner base application package.edu.jas.fd Factorization domain package for solvable polynomial rings.edu.jas.gb Groebner bases package.edu.jas.gbufd Groebner bases using unique factorization package.edu.jas.poly Generic coefficients polynomial package. -
-
Uses of TermOrder in edu.jas.application
Fields in edu.jas.application declared as TermOrder Modifier and Type Field Description (package private) TermOrder
IntegerProgram. to
private TermOrder
RingFactoryTokenizer. tord
Methods in edu.jas.application that return TermOrder Modifier and Type Method Description TermOrder
RingFactoryTokenizer. nextTermOrder()
Parsing method for term order name.Constructors in edu.jas.application with parameters of type TermOrder Constructor Description LocalSolvablePolynomialRing(RingFactory<SolvableLocal<C>> cf, int n, TermOrder t)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.LocalSolvablePolynomialRing(RingFactory<SolvableLocal<C>> cf, int n, TermOrder t, RelationTable<SolvableLocal<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.LocalSolvablePolynomialRing(RingFactory<SolvableLocal<C>> cf, int n, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.LocalSolvablePolynomialRing(RingFactory<SolvableLocal<C>> cf, int n, TermOrder t, java.lang.String[] v, RelationTable<SolvableLocal<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.LocalSolvablePolynomialRing(RingFactory<SolvableLocal<C>> cf, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.ResidueSolvablePolynomialRing(RingFactory<SolvableResidue<C>> cf, int n, TermOrder t)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.ResidueSolvablePolynomialRing(RingFactory<SolvableResidue<C>> cf, int n, TermOrder t, RelationTable<SolvableResidue<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.ResidueSolvablePolynomialRing(RingFactory<SolvableResidue<C>> cf, int n, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.ResidueSolvablePolynomialRing(RingFactory<SolvableResidue<C>> cf, int n, TermOrder t, java.lang.String[] v, RelationTable<SolvableResidue<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.ResidueSolvablePolynomialRing(RingFactory<SolvableResidue<C>> cf, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.ResidueSolvableWordPolynomialRing(RingFactory<WordResidue<C>> cf, int n, TermOrder t)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.ResidueSolvableWordPolynomialRing(RingFactory<WordResidue<C>> cf, int n, TermOrder t, RelationTable<WordResidue<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.ResidueSolvableWordPolynomialRing(RingFactory<WordResidue<C>> cf, int n, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.ResidueSolvableWordPolynomialRing(RingFactory<WordResidue<C>> cf, int n, TermOrder t, java.lang.String[] v, RelationTable<WordResidue<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.ResidueSolvableWordPolynomialRing(RingFactory<WordResidue<C>> cf, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations. -
Uses of TermOrder in edu.jas.fd
Constructors in edu.jas.fd with parameters of type TermOrder Constructor Description QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t, RelationTable<SolvableQuotient<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t, java.lang.String[] v, RelationTable<SolvableQuotient<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations. -
Uses of TermOrder in edu.jas.gb
Fields in edu.jas.gb declared as TermOrder Modifier and Type Field Description TermOrder
CriticalPairComparator. tord
Constructors in edu.jas.gb with parameters of type TermOrder Constructor Description CriticalPairComparator(TermOrder t)
Constructor. -
Uses of TermOrder in edu.jas.gbufd
Fields in edu.jas.gbufd declared as TermOrder Modifier and Type Field Description protected TermOrder
GroebnerBaseWalk. startTO
The start term order t1.Methods in edu.jas.gbufd with parameters of type TermOrder Modifier and Type Method Description ExpVector
GroebnerBaseWalk. facetNormal(TermOrder t1, TermOrder t2, java.util.Set<ExpVector> delta, ExpVector zero, long[][] t2weight)
Determine new facet normal.Constructors in edu.jas.gbufd with parameters of type TermOrder Constructor Description GroebnerBaseWalk(GroebnerBaseAbstract<C> gb, TermOrder t1)
Constructor.GroebnerBaseWalk(RingFactory<C> coFac, TermOrder t1)
Constructor. -
Uses of TermOrder in edu.jas.poly
Fields in edu.jas.poly declared as TermOrder Modifier and Type Field Description static TermOrder
TermOrderByName. DEFAULT
Default TermOrder.static TermOrder
TermOrderByName. deglex
TermOrder name deglex of Sage.static TermOrder
TermOrderByName. DegreeLexicographic
TermOrder name DegreeLexicographic of Math like CAS.static TermOrder
TermOrderByName. DegreeReverseLexicographic
TermOrder name DegreeReverseLexicographic of Math like CAS.static TermOrder
TermOrderByName. degrevlex
TermOrder name degrevlex of Sage.static TermOrder
TermOrderByName. dp
TermOrder name dp of Singular.static TermOrder
TermOrderByName. Dp
TermOrder name Dp of Singular.static TermOrder
TermOrderByName. ds
TermOrder name ds of Singular.static TermOrder
TermOrderByName. Ds
TermOrder name Ds of Singular.static TermOrder
TermOrderByName. GRLEX
TermOrder named GRLEX.static TermOrder
TermOrderByName. IGRLEX
TermOrder named IGRLEX.static TermOrder
TermOrderByName. invlex
TermOrder name invlex of Sage.static TermOrder
TermOrderByName. INVLEX
TermOrder named INVLEX.static TermOrder
TermOrderByName. ITDEGLEX
TermOrder named ITDEGLEX.static TermOrder
TermOrderByName. lex
TermOrder name lex of Sage.static TermOrder
TermOrderByName. LEX
TermOrder named LEX.static TermOrder
TermOrderByName. Lexicographic
TermOrder name Lexicographic of Math like CAS.static TermOrder
TermOrderByName. lp
TermOrder name lp of Singular.static TermOrder
TermOrderByName. ls
TermOrder name ls of Singular.static TermOrder
TermOrderByName. NegativeDegreeLexicographic
TermOrder name NegativeDegreeLexicographic of Math like CAS.static TermOrder
TermOrderByName. NegativeDegreeReverseLexicographic
TermOrder name NegativeDegreeReverseLexicographic of Math like CAS.static TermOrder
TermOrderByName. NegativeLexicographic
TermOrder name NegativeLexicographic of Math like CAS.static TermOrder
TermOrderByName. NegativeReverseLexicographic
TermOrder name NegativeReverseLexicographic of Math like CAS.static TermOrder
TermOrderByName. negdeglex
TermOrder name negdeglex of Sage.static TermOrder
TermOrderByName. negdegrevlex
TermOrder name negdegrevlex of Sage.static TermOrder
TermOrderByName. neglex
TermOrder name neglex of Sage.static TermOrder
TermOrderByName. negrevlex
TermOrder name negrevlex of Sage.static TermOrder
TermOrderByName. ReverseLexicographic
TermOrder name ReverseLexicographic of Math like CAS.static TermOrder
TermOrderByName. REVILEX
TermOrder named REVILEX.static TermOrder
TermOrderByName. REVITDEG
TermOrder named REVITDEG.static TermOrder
TermOrderByName. REVITDG
TermOrder named REVITDG.static TermOrder
TermOrderByName. REVLEX
TermOrder named REVLEX.static TermOrder
TermOrderByName. REVTDEG
TermOrder named REVTDEG.static TermOrder
TermOrderByName. rp
TermOrder name rp of Singular.TermOrder
GenPolynomialRing. tord
The term order.private TermOrder
GenPolynomialTokenizer. tord
TermOrder
PolynomialComparator. tord
Methods in edu.jas.poly that return TermOrder Modifier and Type Method Description TermOrder
TermOrder. blockOrder(int s)
Create block term order at split index.TermOrder
TermOrder. blockOrder(int s, int len)
Create block term order at split index.TermOrder
TermOrder. blockOrder(int s, TermOrder t)
Create block term order at split index.TermOrder
TermOrder. blockOrder(int s, TermOrder t, int len)
Create block term order at split index.static TermOrder
TermOrderByName. blockOrder(TermOrder t1, int s)
Construct elimination block TermOrder.static TermOrder
TermOrderByName. blockOrder(TermOrder t1, ExpVector e, int s)
Construct elimination block TermOrder.static TermOrder
TermOrderByName. blockOrder(TermOrder t1, TermOrder t2, int s)
Construct elimination block TermOrder.static TermOrder
TermOrderByName. blockOrder(TermOrder t1, TermOrder t2, ExpVector e, int s)
Construct elimination block TermOrder.TermOrder
TermOrder. contract(int k, int len)
Contract variables.TermOrder
TermOrder. extend(int r, int k)
Extend variables.TermOrder
TermOrder. extend(int r, int k, boolean top)
Extend variables.TermOrder
TermOrder. extendLower(int r, int k)
Extend lower variables.TermOrder
TermOrder. extendLower(int r, int k, boolean top)
Extend lower variables.TermOrder
GenPolynomialTokenizer. nextTermOrder()
Parsing method for term order name.TermOrder
TermOrder. permutation(java.util.List<java.lang.Integer> P)
Permutation of the termorder.TermOrder
TermOrder. reverse()
Reverse variables.TermOrder
TermOrder. reverse(boolean partial)
Reverse variables.static TermOrder
TermOrder. reverseWeight(long[][] w)
Weight TermOrder with reversed weight vectors.static TermOrder
TermOrderByName. weightOrder(long[] v)
Construct weight TermOrder.static TermOrder
TermOrderByName. weightOrder(long[][] w)
Construct weight TermOrder.static TermOrder
TermOrderByName. weightOrder(java.util.List<java.util.List<java.lang.Long>> wa)
Construct weight TermOrder.Methods in edu.jas.poly with parameters of type TermOrder Modifier and Type Method Description TermOrder
TermOrder. blockOrder(int s, TermOrder t)
Create block term order at split index.TermOrder
TermOrder. blockOrder(int s, TermOrder t, int len)
Create block term order at split index.static TermOrder
TermOrderByName. blockOrder(TermOrder t1, int s)
Construct elimination block TermOrder.static TermOrder
TermOrderByName. blockOrder(TermOrder t1, ExpVector e, int s)
Construct elimination block TermOrder.static TermOrder
TermOrderByName. blockOrder(TermOrder t1, TermOrder t2, int s)
Construct elimination block TermOrder.static TermOrder
TermOrderByName. blockOrder(TermOrder t1, TermOrder t2, ExpVector e, int s)
Construct elimination block TermOrder.static long[][]
TermOrderByName. weightForOrder(TermOrder to, int n)
Construct weight for term order.Constructors in edu.jas.poly with parameters of type TermOrder Constructor Description GenPolynomialRing(GenPolynomialRing<C> o, TermOrder to)
The constructor creates a polynomial factory object with the the same coefficient factory, number of variables and variable names as the given polynomial factory, only the term order differs.GenPolynomialRing(RingFactory<C> cf, int n, TermOrder t)
The constructor creates a polynomial factory object.GenPolynomialRing(RingFactory<C> cf, int n, TermOrder t, java.lang.String[] v)
The constructor creates a polynomial factory object.GenPolynomialRing(RingFactory<C> cf, TermOrder t, java.lang.String[] v)
The constructor creates a polynomial factory object.GenPolynomialRing(RingFactory<C> cf, java.lang.String[] v, TermOrder t)
The constructor creates a polynomial factory object.GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, RelationTable<C> rt)
The constructor creates a solvable polynomial factory object with the given term order.GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, java.lang.String[] v, RelationTable<C> rt)
The constructor creates a solvable polynomial factory object with the given term order.GenSolvablePolynomialRing(RingFactory<C> cf, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.PolynomialComparator(TermOrder t, boolean reverse)
Constructor.QLRSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.QLRSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, RelationTable<C> rt)
The constructor creates a solvable polynomial factory object with the given term order.QLRSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.QLRSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, java.lang.String[] v, RelationTable<C> rt)
The constructor creates a solvable polynomial factory object with the given term order.QLRSolvablePolynomialRing(RingFactory<C> cf, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.RecSolvablePolynomialRing(RingFactory<GenPolynomial<C>> cf, int n, TermOrder t)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.RecSolvablePolynomialRing(RingFactory<GenPolynomial<C>> cf, int n, TermOrder t, RelationTable<GenPolynomial<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.RecSolvablePolynomialRing(RingFactory<GenPolynomial<C>> cf, int n, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.RecSolvablePolynomialRing(RingFactory<GenPolynomial<C>> cf, int n, TermOrder t, java.lang.String[] v, RelationTable<GenPolynomial<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.RecSolvablePolynomialRing(RingFactory<GenPolynomial<C>> cf, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.RecSolvableWordPolynomialRing(RingFactory<GenWordPolynomial<C>> cf, int n, TermOrder t)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.RecSolvableWordPolynomialRing(RingFactory<GenWordPolynomial<C>> cf, int n, TermOrder t, RelationTable<GenWordPolynomial<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.RecSolvableWordPolynomialRing(RingFactory<GenWordPolynomial<C>> cf, int n, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.RecSolvableWordPolynomialRing(RingFactory<GenWordPolynomial<C>> cf, int n, TermOrder t, java.lang.String[] v, RelationTable<GenWordPolynomial<C>> rt)
The constructor creates a solvable polynomial factory object with the given term order.RecSolvableWordPolynomialRing(RingFactory<GenWordPolynomial<C>> cf, TermOrder t, java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the given term order and commutative relations.
-