edu.jas.poly

Class PolynomialList<C extends RingElem<C>>

java.lang.Object

edu.jas.poly.PolynomialList<C>

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<PolynomialList<C>>

Direct Known Subclasses:

OptimizedPolynomialList, OrderedPolynomialList

public class PolynomialList<C extends RingElem<C>>
extends java.lang.Object
implements java.lang.Comparable<PolynomialList<C>>, 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

Fields

Modifier and Type	Field and Description
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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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.
static <C extends RingElem<C>> java.util.List<java.util.List<GenPolynomial<C>>>	castToMatrix(java.util.List<java.util.List<? extends GenPolynomial<C>>> slist) Get list of list of extensions of polynomials as List of List of GenPolynomials.
java.util.List<GenSolvablePolynomial<C>>	castToSolvableList() Get list as List of GenSolvablePolynomials.
static <C extends RingElem<C>> java.util.List<GenSolvablePolynomial<C>>	castToSolvableList(java.util.List<GenPolynomial<C>> list) Get list as List of GenSolvablePolynomials.
static <C extends RingElem<C>> java.util.List<java.util.List<GenSolvablePolynomial<C>>>	castToSolvableMatrix(java.util.List<java.util.List<GenPolynomial<C>>> list) Get list of list as List of List of GenSolvablePolynomials.
int	compareTo(PolynomialList<C> L) Polynomial list comparison.
PolynomialList<C>	copy() Copy this.
PolynomialList<C>	deHomogenize() Dehomogenize.
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.
PolynomialList<C>	homogenize() Make homogeneous.
boolean	isHomogeneous() Test if all polynomials are homogeneous.
boolean	isONE() Test if list contains a ONE.
boolean	isZERO() Test if list contains only ZEROs.
java.lang.String	toScript() Get a scripting compatible string representation.
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

copy

public PolynomialList<C> copy()

Copy this.

Returns:

a copy of this.

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)

compareTo

public int compareTo(PolynomialList<C> L)

Polynomial list comparison.

Specified by:

compareTo in interface java.lang.Comparable<PolynomialList<C extends RingElem<C>>>

Parameters:

L - other PolynomialList.

Returns:

lexicographical comparison, sign of first different polynomials.

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()

toScript

public java.lang.String toScript()

Get a scripting compatible string representation.

Returns:

script compatible representation for this polynomial list.

getModuleList

public ModuleList<C> getModuleList(int i)

Get ModuleList from PolynomialList. Extract module from polynomial ring.

Parameters:

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

Returns:

module list corresponding to this.

See Also:

ModuleList

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.

castToSolvableList

public static <C extends RingElem<C>> java.util.List<GenSolvablePolynomial<C>> castToSolvableList(java.util.List<GenPolynomial<C>> list)

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

Parameters:

list - list of extensions of polynomials.

Returns:

solvable polynomial list from this.

castToSolvableMatrix

public static <C extends RingElem<C>> java.util.List<java.util.List<GenSolvablePolynomial<C>>> castToSolvableMatrix(java.util.List<java.util.List<GenPolynomial<C>>> list)

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

Parameters:

list - list of extensions of polynomials.

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.

castToMatrix

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

Get list of list of extensions of polynomials as List of 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

homogenize

public PolynomialList<C> homogenize()

Make homogeneous.

Returns:

polynomial list of homogeneous polynomials.

deHomogenize

public PolynomialList<C> deHomogenize()

Dehomogenize.

Returns:

polynomial list of de-homogenized polynomials.

isHomogeneous

public boolean isHomogeneous()

Test if all polynomials are homogeneous.

Returns:

true, if all polynomials are homogeneous, else false