edu.jas.poly
Class TermOrder

java.lang.Object
  edu.jas.poly.TermOrder

All Implemented Interfaces:

java.io.Serializable

public final class TermOrder
extends java.lang.Object
implements java.io.Serializable

Term order class for ordered polynomials.

See Also:

Serialized Form

Field Summary

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 Summary

TermOrder()
Default constructor

TermOrder(int evord)
Constructor for given order

TermOrder(int r, int split)
Default constructor for split orders

TermOrder(int ev1, int ev2, int r, int split)
Constructor for given split orders

TermOrder(long[] w)
Constructor for given weight order

TermOrder(long[] w, int split)
Constructor for weighted split orders

Method Summary

boolean	equals(java.lang.Object B)
java.util.Comparator	getAscendComparator()
java.util.Comparator	getDescendComparator()
int	getEvord()
int	getEvord2()
java.util.Comparator	getSugarComparator()
long[]	getWeight()
java.lang.String	toString()
java.lang.String	weightToString()

Methods inherited from class java.lang.Object

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

Field Detail

LEX

public static final int LEX

See Also:

Constant Field Values

INVLEX

public static final int INVLEX

See Also:

Constant Field Values

GRLEX

public static final int GRLEX

See Also:

Constant Field Values

IGRLEX

public static final int IGRLEX

See Also:

Constant Field Values

REVLEX

public static final int REVLEX

See Also:

Constant Field Values

REVILEX

public static final int REVILEX

See Also:

Constant Field Values

REVTDEG

public static final int REVTDEG

See Also:

Constant Field Values

REVITDG

public static final int REVITDG

See Also:

Constant Field Values

DEFAULT_EVORD

public static final int DEFAULT_EVORD

See Also:

Constant Field Values

Constructor Detail

TermOrder

public TermOrder()

Default constructor

TermOrder

public TermOrder(int evord)

Constructor for given order

TermOrder

public TermOrder(long[] w)

Constructor for given weight order

TermOrder

public TermOrder(long[] w,
                 int split)

Constructor for weighted split orders

TermOrder

public TermOrder(int r,
                 int split)

Default constructor for split orders

TermOrder

public TermOrder(int ev1,
                 int ev2,
                 int r,
                 int split)

Constructor for given split orders

Method Detail

getEvord

public int getEvord()

getEvord2

public int getEvord2()

getWeight

public long[] getWeight()

getDescendComparator

public java.util.Comparator getDescendComparator()

getAscendComparator

public java.util.Comparator getAscendComparator()

getSugarComparator

public java.util.Comparator getSugarComparator()

equals

public boolean equals(java.lang.Object B)

Overrides:

equals in class java.lang.Object

weightToString

public java.lang.String weightToString()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object