Package 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
Fields Modifier and Type Field Description 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
Constructors Modifier Constructor Description 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
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static <C extends GcdRingElem<C>>
java.util.List<Ideal<C>>asListOfIdeals(java.util.List<IdealWithUniv<C>> Bl)
Get list of ideals from list of ideals with univariates.java.lang.String
toScript()
Get a scripting compatible string representation.java.lang.String
toString()
String representation of the ideal.
-
-
-
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 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 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 idealup
- 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 idealup
- the list of univariate polynomialsog
- the list of other polynomials
-
-
Method Detail
-
toString
public java.lang.String toString()
String representation of the ideal.- Overrides:
toString
in classjava.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()
-
asListOfIdeals
public static <C extends GcdRingElem<C>> java.util.List<Ideal<C>> asListOfIdeals(java.util.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
-
-