edu.jas.application
Class IdealWithUniv<C extends GcdRingElem<C>>

java.lang.Object
  edu.jas.application.IdealWithUniv<C>

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

IdealWithComplexAlgebraicRoots, IdealWithRealAlgebraicRoots, IdealWithRealRoots

public class IdealWithUniv<C extends GcdRingElem<C>>
extends java.lang.Object
implements java.io.Serializable

Container for Ideals together with univariate polynomials.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Ideal<C>	ideal The ideal.
java.util.List<GenPolynomial<C>>	others A list of other useful polynomials. 1) field extension polynomials, 2) generators for infinite quotients.
java.util.List<GenPolynomial<C>>	upolys The list of univariate polynomials.

Constructor Summary

protected	IdealWithUniv() Constructor not for use.
protected	IdealWithUniv(Ideal<C> id, java.util.List<GenPolynomial<C>> up) Constructor.
protected	IdealWithUniv(Ideal<C> id, java.util.List<GenPolynomial<C>> up, java.util.List<GenPolynomial<C>> og) Constructor.

Method Summary

java.lang.String	toScript() Get a scripting compatible string representation.
java.lang.String	toString() String representation of the ideal.

Methods inherited from class java.lang.Object

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

Field Detail

ideal

public final Ideal<C extends GcdRingElem<C>> ideal

The ideal.

upolys

public final java.util.List<GenPolynomial<C extends GcdRingElem<C>>> upolys

The list of univariate polynomials. Contains polynomials from serveral rings, depending on the stage of the decomposition. 1) polynomials in a ring of one variable, 2) polynomials depending on only one variable but in a ring with multiple variables, 3) after contraction to a non-zero dimensional ring multivariate polynomials depending on one significant variable and multiple variables from the quotient coefficients.

others

public final java.util.List<GenPolynomial<C extends GcdRingElem<C>>> others

A list of other useful polynomials. 1) field extension polynomials, 2) generators for infinite quotients.

Constructor Detail

IdealWithUniv

protected IdealWithUniv()

Constructor not for use.

IdealWithUniv

protected IdealWithUniv(Ideal<C> id,
                        java.util.List<GenPolynomial<C>> up)

Constructor.

Parameters:

id - the ideal

up - the list of univariate polynomials

IdealWithUniv

protected IdealWithUniv(Ideal<C> id,
                        java.util.List<GenPolynomial<C>> up,
                        java.util.List<GenPolynomial<C>> og)

Constructor.

Parameters:

id - the ideal

up - the list of univariate polynomials

og - the list of other polynomials

Method Detail

toString

public java.lang.String toString()

String representation of the ideal.

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 Element.

See Also:

Element.toScript()