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:
  • 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:
    • toScript

      public String toScript()
      Get a scripting compatible string representation.
      Returns:
      script compatible representation for this Element.
      See Also:
    • 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