public final class TermOrder extends java.lang.Object implements java.io.Serializable
Modifier and Type | Class and Description |
---|---|
static class |
TermOrder.EVComparator
Comparator for ExpVectors.
|
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_EVORD |
static int |
GRLEX |
static int |
IGRLEX |
static int |
INVLEX |
static int |
LEX |
static int |
REVILEX |
static int |
REVITDG |
static int |
REVLEX |
static int |
REVTDEG |
Constructor and Description |
---|
TermOrder()
Constructor for default term order.
|
TermOrder(int evord)
Constructor for given term order.
|
TermOrder(int r,
int split)
Constructor for default split order.
|
TermOrder(int ev1,
int ev2,
int r,
int split)
Constructor for given split order.
|
TermOrder(long[] w)
Constructor for given exponent weights.
|
TermOrder(long[][] w)
Constructor for given exponent weights.
|
Modifier and Type | Method and Description |
---|---|
TermOrder |
contract(int k,
int len)
Contract variables.
|
boolean |
equals(java.lang.Object B)
Comparison with any other object.
|
TermOrder |
extend(int r,
int k)
Extend variables.
|
TermOrder |
extendLower(int r,
int k)
Extend lower variables.
|
TermOrder.EVComparator |
getAscendComparator()
Get the ascending order comparator.
|
TermOrder.EVComparator |
getDescendComparator()
Get the descending order comparator.
|
int |
getEvord()
Get the first defined order indicator.
|
int |
getEvord2()
Get the second defined order indicator.
|
int |
getSplit()
Get the split index.
|
TermOrder.EVComparator |
getSugarComparator()
Get the sugar order comparator.
|
long[][] |
getWeight()
Get the weight array.
|
int |
hashCode()
Hash code.
|
TermOrder |
reverse()
Reverse variables.
|
TermOrder |
reverse(boolean partial)
Reverse variables.
|
static int |
revert(int evord)
Revert exponent order.
|
java.lang.String |
toString()
String representation of TermOrder.
|
java.lang.String |
weightToString()
String representation of weight vector.
|
public static final int LEX
public static final int INVLEX
public static final int GRLEX
public static final int IGRLEX
public static final int REVLEX
public static final int REVILEX
public static final int REVTDEG
public static final int REVITDG
public static final int DEFAULT_EVORD
public TermOrder()
public TermOrder(int evord)
evord
- requested term order indicator / enumerator.public TermOrder(long[] w)
w
- weight vector of longs.public TermOrder(long[][] w)
w
- weight array of longs.public TermOrder(int r, int split)
r
- max number of exponents to compare.split
- index.public TermOrder(int ev1, int ev2, int r, int split)
ev1
- requested term order indicator for first block.ev2
- requested term order indicator for second block.r
- max number of exponents to compare.split
- index.public int getEvord()
public int getEvord2()
public int getSplit()
public long[][] getWeight()
public TermOrder.EVComparator getDescendComparator()
public TermOrder.EVComparator getAscendComparator()
public TermOrder.EVComparator getSugarComparator()
public boolean equals(java.lang.Object B)
equals
in class java.lang.Object
Object.equals(java.lang.Object)
public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public java.lang.String weightToString()
Object.toString()
public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public TermOrder extend(int r, int k)
r
- current number of variables.k
- number of variables to extend.public TermOrder extendLower(int r, int k)
r
- current number of variables.k
- number of variables to extend.public TermOrder contract(int k, int len)
k
- position of first element to be copied.len
- new length.public TermOrder reverse()
public TermOrder reverse(boolean partial)
partial
- true for partialy reversed term orders.public static int revert(int evord)
evord
- exponent order to be reverted.