org.matheclipse.core.convert

Class JASConvert<C extends RingElem<C>>

java.lang.Object

org.matheclipse.core.convert.JASConvert<C>

Type Parameters:

C -

public class JASConvert<C extends RingElem<C>>
extends java.lang.Object

Convert JAS objects from and to MathEclipse objects

Constructor Summary

Constructors

Constructor and Description
JASConvert(IExpr variable, RingFactory<C> ringFactory)
JASConvert(java.util.List<? extends IExpr> variablesList, RingFactory<C> ringFactory)
JASConvert(java.util.List<? extends IExpr> variablesList, RingFactory<C> ringFactory, TermOrder termOrder)

Method Summary

Modifier and Type	Method and Description
IAST	algebraicNumber2Expr(AlgebraicNumber<BigRational> coeff, IExpr variable)
IExpr	complexPoly2Expr(GenPolynomial<Complex<BigRational>> poly) Convert a JAS complex polynomial to IExpr.
GenPolynomial<C>	expr2JAS(IExpr exprPoly)
IAST	exprPoly2Expr(GenPolynomial<IExpr> poly, IExpr variable) Converts a JAS polynomial to a MathEclipse AST with head Plus
java.lang.Object[]	factorTerms(GenPolynomial<BigRational> A) BigInteger from BigRational coefficients.
GenPolynomialRing<C>	getPolynomialRingFactory()
GenPolynomial<BigInteger>	integerFromRationalCoefficients(GenPolynomial<BigRational> A) BigInteger from BigRational coefficients.
IExpr	integerPoly2Expr(GenPolynomial<BigInteger> poly) Convert a JAS integer polynomial to IExpr.
IAST	integral2Expr(Integral<BigRational> integral) Convert a jas Integral into a matheclipse expression
static IComplex	jas2Complex(Complex<BigRational> c)
static INumber	jas2Numeric(Complex<BigRational> c, double epsilon)
IAST	logIntegral2Expr(LogIntegral<BigRational> logIntegral) Convert a jas LogIntegral into a matheclipse expression
GenPolynomial<C>	numericExpr2JAS(IExpr exprPoly) Convert the given expression into a JAS polynomial.
static ModIntegerRing	option2ModIntegerRing(ISignedNumber option)
IAST	poly2Expr(GenPolynomial<BigRational> poly) Converts a JAS polynomial to a MathEclipse AST with head Plus
IAST	poly2Expr(GenPolynomial<BigRational> poly, IExpr variable) Converts a JAS polynomial to a MathEclipse AST with head Plus
IAST	polyAlgebraicNumber2Expr(GenPolynomial<AlgebraicNumber<BigRational>> poly)
IAST	quotIntegral2Expr(QuotIntegral<BigRational> integral) Convert a jas Integral into a matheclipse expression
static java.lang.Object[]	rationalFromRationalCoefficientsFactor(GenPolynomialRing<BigRational> fac, GenPolynomial<BigRational> A) BigRational from BigRational coefficients.
IAST	rationalPoly2Expr(GenPolynomial<BigRational> poly)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JASConvert

public JASConvert(IExpr variable,
                  RingFactory<C> ringFactory)

JASConvert

public JASConvert(java.util.List<? extends IExpr> variablesList,
                  RingFactory<C> ringFactory)

JASConvert

public JASConvert(java.util.List<? extends IExpr> variablesList,
                  RingFactory<C> ringFactory,
                  TermOrder termOrder)

Method Detail

expr2JAS

public GenPolynomial<C> expr2JAS(IExpr exprPoly)
                          throws JASConversionException

Throws:

JASConversionException

numericExpr2JAS

public GenPolynomial<C> numericExpr2JAS(IExpr exprPoly)
                                 throws JASConversionException

Convert the given expression into a JAS polynomial. INum double values are internally converted to IFractions and converte into the pokynomial structure.

Parameters:

exprPoly -

Returns:

Throws:

JASConversionException

factorTerms

public java.lang.Object[] factorTerms(GenPolynomial<BigRational> A)

BigInteger from BigRational coefficients. Represent as polynomial with BigInteger coefficients by multiplication with the gcd of the numerators and the lcm of the denominators of the BigRational coefficients.

Parameters:

A - polynomial with BigRational coefficients to be converted.

Returns:

Object[] with 3 entries: [0]->gcd [1]->lcm and [2]->polynomial with BigInteger coefficients.

getPolynomialRingFactory

public GenPolynomialRing<C> getPolynomialRingFactory()

Returns:

the fPolyFactory

integerFromRationalCoefficients

public GenPolynomial<BigInteger> integerFromRationalCoefficients(GenPolynomial<BigRational> A)

BigInteger from BigRational coefficients. Represent as polynomial with BigInteger coefficients by multiplication with the lcm of the numerators of the BigRational coefficients.

Parameters:

A - polynomial with BigRational coefficients to be converted.

Returns:

polynomial with BigInteger coefficients.

integerPoly2Expr

public IExpr integerPoly2Expr(GenPolynomial<BigInteger> poly)
                       throws java.lang.ArithmeticException,
                              java.lang.ClassCastException

Convert a JAS integer polynomial to IExpr.

Parameters:

poly -

Returns:

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

complexPoly2Expr

public IExpr complexPoly2Expr(GenPolynomial<Complex<BigRational>> poly)
                       throws java.lang.ArithmeticException,
                              java.lang.ClassCastException

Convert a JAS complex polynomial to IExpr.

Parameters:

poly -

Returns:

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

integral2Expr

public IAST integral2Expr(Integral<BigRational> integral)

Convert a jas Integral into a matheclipse expression

Parameters:

integral - the JAS Integral

Returns:

logIntegral2Expr

public IAST logIntegral2Expr(LogIntegral<BigRational> logIntegral)

Convert a jas LogIntegral into a matheclipse expression

Parameters:

logIntegral - the JAS LogIntegral

Returns:

poly2Expr

public IAST poly2Expr(GenPolynomial<BigRational> poly)
               throws java.lang.ArithmeticException,
                      java.lang.ClassCastException

Converts a JAS polynomial to a MathEclipse AST with head Plus

Parameters:

poly - a JAS polynomial

Returns:

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

poly2Expr

public IAST poly2Expr(GenPolynomial<BigRational> poly,
                      IExpr variable)
               throws java.lang.ArithmeticException,
                      java.lang.ClassCastException

Converts a JAS polynomial to a MathEclipse AST with head Plus

Parameters:

poly - a JAS polynomial

variable -

Returns:

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

exprPoly2Expr

public IAST exprPoly2Expr(GenPolynomial<IExpr> poly,
                          IExpr variable)
                   throws java.lang.ArithmeticException,
                          java.lang.ClassCastException

Converts a JAS polynomial to a MathEclipse AST with head Plus

Parameters:

poly - a JAS polynomial

variable -

Returns:

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

polyAlgebraicNumber2Expr

public IAST polyAlgebraicNumber2Expr(GenPolynomial<AlgebraicNumber<BigRational>> poly)
                              throws java.lang.ArithmeticException,
                                     java.lang.ClassCastException

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

algebraicNumber2Expr

public IAST algebraicNumber2Expr(AlgebraicNumber<BigRational> coeff,
                                 IExpr variable)
                          throws java.lang.ArithmeticException,
                                 java.lang.ClassCastException

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

quotIntegral2Expr

public IAST quotIntegral2Expr(QuotIntegral<BigRational> integral)

Convert a jas Integral into a matheclipse expression

Parameters:

integral - the JAS Integral

Returns:

rationalPoly2Expr

public IAST rationalPoly2Expr(GenPolynomial<BigRational> poly)
                       throws java.lang.ArithmeticException,
                              java.lang.ClassCastException

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

option2ModIntegerRing

public static ModIntegerRing option2ModIntegerRing(ISignedNumber option)

jas2Complex

public static IComplex jas2Complex(Complex<BigRational> c)

jas2Numeric

public static INumber jas2Numeric(Complex<BigRational> c,
                                  double epsilon)

rationalFromRationalCoefficientsFactor

public static java.lang.Object[] rationalFromRationalCoefficientsFactor(GenPolynomialRing<BigRational> fac,
                                                                        GenPolynomial<BigRational> A)

BigRational from BigRational coefficients. Represent as polynomial with BigInteger coefficients by multiplication with the gcd of the numerators and the lcm of the denominators of the BigRational coefficients.

Parameters:

fac - result polynomial factory.

A - polynomial with BigRational coefficients to be converted.

Returns:

Object[] with 3 entries: [0]->gcd [1]->lcm and [2]->polynomial with BigInteger coefficients.