edu.jas.poly
Class PolynomialList<C extends RingElem<C>>

java.lang.Object
  edu.jas.poly.PolynomialList<C>

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

OptimizedPolynomialList, OrderedPolynomialList

public class PolynomialList<C extends RingElem<C>>
extends java.lang.Object
implements java.io.Serializable

List of polynomials. Mainly for storage and printing / toString and conversions to other representations.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

java.util.List<GenPolynomial<C>>	list The data structure is a List of polynomials.
GenPolynomialRing<C>	ring The factory for the solvable polynomial ring.

Constructor Summary

PolynomialList(GenPolynomialRing<C> r, java.util.List<GenPolynomial<C>> l)
Constructor.

PolynomialList(GenSolvablePolynomialRing<C> r, java.util.List<GenSolvablePolynomial<C>> l)
Constructor.

Method Summary

static <C extends RingElem<C>> java.util.List<GenPolynomial<C>>	castToList(java.util.List<? extends GenPolynomial<C>> slist) Get list of extensions of polynomials as List of GenPolynomials.
java.util.List<GenSolvablePolynomial<C>>	castToSolvableList() Get list as List of GenSolvablePolynomials.
boolean	equals(java.lang.Object p) Comparison with any other object.
ModuleList<C>	getModuleList(int i) Get ModuleList from PolynomialList.
int	hashCode() Hash code for this polynomial list.
boolean	isONE() Test if list contains a ONE.
boolean	isZERO() Test if list contains only ZEROs.
java.lang.String	toString() String representation of the polynomial list.

Methods inherited from class java.lang.Object

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

Field Detail

ring

public final GenPolynomialRing<C extends RingElem<C>> ring

The factory for the solvable polynomial ring.

list

public final java.util.List<GenPolynomial<C extends RingElem<C>>> list

The data structure is a List of polynomials.

Constructor Detail

PolynomialList

public PolynomialList(GenPolynomialRing<C> r,
                      java.util.List<GenPolynomial<C>> l)

Constructor.

Parameters:

r - polynomial ring factory.

l - list of polynomials.

PolynomialList

public PolynomialList(GenSolvablePolynomialRing<C> r,
                      java.util.List<GenSolvablePolynomial<C>> l)

Constructor.

Parameters:

r - solvable polynomial ring factory.

l - list of solvable polynomials.

Method Detail

equals

public boolean equals(java.lang.Object p)

Comparison with any other object.

Overrides:

equals in class java.lang.Object

See Also:

Object.equals(java.lang.Object)

hashCode

public int hashCode()

Hash code for this polynomial list.

Overrides:

hashCode in class java.lang.Object

See Also:

Object.hashCode()

toString

public java.lang.String toString()

String representation of the polynomial list.

Overrides:

toString in class java.lang.Object

See Also:

Object.toString()

getModuleList

public ModuleList<C> getModuleList(int i)

Get ModuleList from PolynomialList. Extract module from polynomial ring.

See Also:

ModuleList

Parameters:

i - number of variables to be contract form the polynomials.

Returns:

module list corresponding to this.

castToSolvableList

public java.util.List<GenSolvablePolynomial<C>> castToSolvableList()

Get list as List of GenSolvablePolynomials. Required because no List casts allowed. Equivalent to cast (List<GenSolvablePolynomial<C>>) list.

Returns:

solvable polynomial list from this.

castToList

public static <C extends RingElem<C>> java.util.List<GenPolynomial<C>> castToList(java.util.List<? extends GenPolynomial<C>> slist)

Get list of extensions of polynomials as List of GenPolynomials. Required because no List casts allowed. Equivalent to cast (List<GenPolynomial<C>>) list. Mainly used for lists of GenSolvablePolynomials.

Parameters:

slist - list of extensions of polynomials.

Returns:

polynomial list from slist.

isZERO

public boolean isZERO()

Test if list contains only ZEROs.

Returns:

true, if this is the 0 list, else false

isONE

public boolean isONE()

Test if list contains a ONE.

Returns:

true, if this contains 1, else false