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 order
static 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 graded
static Comparator<DegreeVector>	product(Comparator<DegreeVector>[] orderings, int[] nVariables)	Block product of orderings
static Comparator<DegreeVector>	product(Comparator<DegreeVector> a, int anVariables, Comparator<DegreeVector> b, int bnVariable)	Block product of orderings

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

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 Details

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