edu.jas.module
Class ModuleList

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

OrderedModuleList

public class ModuleList
extends java.lang.Object
implements java.io.Serializable

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

See Also:

Serialized Form

Field Summary

Coefficient	coeff
java.util.List	list
RelationTable	table
TermOrder	tord
java.lang.String[]	vars

Constructor Summary

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

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

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

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

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

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

Method Summary

boolean	equals(java.lang.Object m) equals from Object.
static ModuleList	getModuleList(int i, PolynomialList pl) get ModuleList from PolynomialList.
PolynomialList	getPolynomialList() get PolynomialList.
static java.util.List	padCols(java.util.List l) pad Columns and remove zero rows.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

coeff

public final Coefficient coeff

vars

public final java.lang.String[] vars

tord

public final TermOrder tord

list

public final java.util.List list

table

public final RelationTable table

Constructor Detail

ModuleList

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

ModuleList

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

ModuleList

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

ModuleList

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

ModuleList

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

ModuleList

public ModuleList(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 java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

padCols

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

pad Columns and remove zero rows. make all rows have the same number of columns.

getPolynomialList

public PolynomialList getPolynomialList()

get PolynomialList. Embed module in a polynomial ring.

getModuleList

public static ModuleList getModuleList(int i,
                                       PolynomialList pl)

get ModuleList from PolynomialList. Extract module from polynomial ring.