Package cc.redberry.rings.poly.multivar
Class MonomialOrder
- java.lang.Object
-
- cc.redberry.rings.poly.multivar.MonomialOrder
-
public final class MonomialOrder extends Object
Common monomial orderings.- Since:
- 1.0
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
MonomialOrder.EliminationOrder
static class
MonomialOrder.GrevLexWithPermutation
-
Field Summary
Fields Modifier and Type Field Description static Comparator<DegreeVector>
ALEX
Antilexicographic monomial order.static Comparator<DegreeVector>
DEFAULT
Default monomial order (GREVLEX)static Comparator<DegreeVector>
GREVLEX
Graded reverse lexicographic monomial orderstatic Comparator<DegreeVector>
GRLEX
Graded lexicographic monomial order.static Comparator<DegreeVector>
LEX
Lexicographic monomial order.
-
Method Summary
Modifier and Type Method Description static boolean
isGradedOrder(Comparator<DegreeVector> monomialOrder)
whether monomial order is gradedstatic Comparator<DegreeVector>
product(Comparator<DegreeVector>[] orderings, int[] nVariables)
Block product of orderingsstatic Comparator<DegreeVector>
product(Comparator<DegreeVector> a, int anVariables, Comparator<DegreeVector> b, int bnVariable)
Block product of orderings
-
-
-
Field Detail
-
LEX
public static final Comparator<DegreeVector> LEX
Lexicographic monomial order.
-
GRLEX
public static final Comparator<DegreeVector> GRLEX
Graded lexicographic monomial order.
-
ALEX
public static final Comparator<DegreeVector> ALEX
Antilexicographic monomial order.
-
GREVLEX
public static final Comparator<DegreeVector> GREVLEX
Graded reverse lexicographic monomial order
-
DEFAULT
public static final Comparator<DegreeVector> DEFAULT
Default monomial order (GREVLEX)
-
-
Method Detail
-
product
public static Comparator<DegreeVector> product(Comparator<DegreeVector>[] orderings, int[] nVariables)
Block product of orderings
-
product
public static Comparator<DegreeVector> product(Comparator<DegreeVector> a, int anVariables, Comparator<DegreeVector> b, int bnVariable)
Block product of orderings
-
isGradedOrder
public static boolean isGradedOrder(Comparator<DegreeVector> monomialOrder)
whether monomial order is graded
-
-