Class IdealWithRealAlgebraicRoots<D extends GcdRingElem<D> & Rational>

java.lang.Object
edu.jas.application.IdealWithUniv<D>
edu.jas.application.IdealWithRealAlgebraicRoots<D>
All Implemented Interfaces:
Serializable

public class IdealWithRealAlgebraicRoots<D extends GcdRingElem<D> & Rational> extends IdealWithUniv<D>
Container for Ideals together with univariate polynomials and real algebraic roots.
See Also:
  • Field Details

  • Constructor Details

    • IdealWithRealAlgebraicRoots

      protected IdealWithRealAlgebraicRoots()
      Constructor not for use.
    • IdealWithRealAlgebraicRoots

      public IdealWithRealAlgebraicRoots(Ideal<D> id, List<GenPolynomial<D>> up, List<List<RealAlgebraicNumber<D>>> rr)
      Constructor.
      Parameters:
      id - the ideal
      up - the list of univaraite polynomials
      rr - the list of real algebraic roots
    • IdealWithRealAlgebraicRoots

      public IdealWithRealAlgebraicRoots(IdealWithUniv<D> iu, List<List<RealAlgebraicNumber<D>>> rr)
      Constructor.
      Parameters:
      iu - the ideal with univariate polynomials
      rr - the list of real algebraic roots
  • Method Details

    • toString

      public String toString()
      String representation of the ideal.
      Overrides:
      toString in class IdealWithUniv<D extends GcdRingElem<D> & Rational>
      See Also:
    • toScript

      public String toScript()
      Get a scripting compatible string representation.
      Overrides:
      toScript in class IdealWithUniv<D extends GcdRingElem<D> & Rational>
      Returns:
      script compatible representation for this Element.
      See Also:
    • decimalApproximation

      public List<List<BigDecimal>> decimalApproximation()
      Get decimal approximation of the real root tuples.
    • doDecimalApproximation

      public void doDecimalApproximation()
      compute decimal approximation of the real root tuples.
    • isDecimalApproximation

      public boolean isDecimalApproximation()
      Is decimal approximation of the real roots.
      Returns:
      true, if the decimal real roots approximate the real roots.