edu.jas.module
Class OrderedModuleList

java.lang.Object
  edu.jas.module.ModuleList
      edu.jas.module.OrderedModuleList

All Implemented Interfaces:

java.io.Serializable

public class OrderedModuleList
extends ModuleList

list of vectors of polynomials mainly for storage and printing/toString and conversion

See Also:

Serialized Form

Field Summary

Fields inherited from class edu.jas.module.ModuleList

coeff, list, table, tord, vars

Constructor Summary

OrderedModuleList(Coefficient c, java.lang.String[] v, int eo, java.util.List l)

OrderedModuleList(Coefficient c, java.lang.String[] v, TermOrder to, java.util.List l)

OrderedModuleList(Coefficient c, java.lang.String[] v, TermOrder to, java.util.List l, RelationTable rt)

OrderedModuleList(java.lang.String[] v, int eo, java.util.List l)

OrderedModuleList(java.lang.String[] v, TermOrder to, java.util.List l)

OrderedModuleList(java.lang.String[] v, TermOrder to, java.util.List l, RelationTable rt)

Method Summary

boolean	equals(java.lang.Object m) equals from Object.
static OrderedModuleList	getOrderedModuleList(int i, PolynomialList pl) get OrderedModuleList from PolynomialList.
OrderedPolynomialList	getOrderedPolynomialList() get OrderedPolynomialList.
static java.util.List	sort(java.util.List l) Sort a list of vectors of polynomials with respect to the ascending order of the leading Exponent vectors of the first column.

Methods inherited from class edu.jas.module.ModuleList

getModuleList, getPolynomialList, padCols, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

OrderedModuleList

public OrderedModuleList(java.lang.String[] v,
                         int eo,
                         java.util.List l)

OrderedModuleList

public OrderedModuleList(java.lang.String[] v,
                         TermOrder to,
                         java.util.List l)

OrderedModuleList

public OrderedModuleList(java.lang.String[] v,
                         TermOrder to,
                         java.util.List l,
                         RelationTable rt)

OrderedModuleList

public OrderedModuleList(Coefficient c,
                         java.lang.String[] v,
                         int eo,
                         java.util.List l)

OrderedModuleList

public OrderedModuleList(Coefficient c,
                         java.lang.String[] v,
                         TermOrder to,
                         java.util.List l)

OrderedModuleList

public OrderedModuleList(Coefficient c,
                         java.lang.String[] v,
                         TermOrder to,
                         java.util.List l,
                         RelationTable rt)

Method Detail

equals

public boolean equals(java.lang.Object m)

equals from Object.

Overrides:

equals in class ModuleList

sort

public static java.util.List sort(java.util.List l)

Sort a list of vectors of polynomials with respect to the ascending order of the leading Exponent vectors of the first column. The term order is taken from the first polynomials TermOrder.

getOrderedPolynomialList

public OrderedPolynomialList getOrderedPolynomialList()

get OrderedPolynomialList. Embed module in a polynomial ring and sort polynomials.

getOrderedModuleList

public static OrderedModuleList getOrderedModuleList(int i,
                                                     PolynomialList pl)

get OrderedModuleList from PolynomialList. Extract module from polynomial ring and sort generators.