Class IdealWithUniv<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.application.IdealWithUniv<C>

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

IdealWithComplexAlgebraicRoots, IdealWithComplexRoots, IdealWithRealAlgebraicRoots, IdealWithRealRoots

public class IdealWithUniv<C extends GcdRingElem<C>>
extends Object
implements Serializable

Container for Ideals together with univariate polynomials.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Ideal<C>	ideal	The ideal.
final List<GenPolynomial<C>>	others	A list of other useful polynomials.
final List<GenPolynomial<C>>	upolys	The list of univariate polynomials.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
static <C extends GcdRingElem<C>> List<Ideal<C>>	asListOfIdeals(List<IdealWithUniv<C>> Bl)	Get list of ideals from list of ideals with univariates.
String	toScript()	Get a scripting compatible string representation.
String	toString()	String representation of the ideal.

Methods inherited from class Object

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

Field Details

ideal

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

The ideal.

upolys

public final List<GenPolynomial<C extends GcdRingElem<C>>> upolys

The list of univariate polynomials. Contains polynomials from several 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 List<GenPolynomial<C extends GcdRingElem<C>>> others

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

Constructor Details

IdealWithUniv

protected IdealWithUniv()

Constructor not for use.

IdealWithUniv

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

Constructor.

Parameters:

id - the ideal

up - the list of univariate polynomials

IdealWithUniv

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

Constructor.

Parameters:

id - the ideal

up - the list of univariate polynomials

og - the list of other polynomials

Method Details

toString

public String toString()

String representation of the ideal.

Overrides:

toString in class Object

See Also:

• Object.toString()

toScript

public String toScript()

Get a scripting compatible string representation.

Returns:

script compatible representation for this Element.

See Also:

• Element.toScript()

asListOfIdeals

public static <C extends GcdRingElem<C>>
List<Ideal<C>> asListOfIdeals(List<IdealWithUniv<C>> Bl)

Get list of ideals from list of ideals with univariates.

Parameters:

Bl - list of ideals with univariate polynomials

Returns:

list of ideals