org.matheclipse.core.convert

Class JASConvert<C extends edu.jas.structure.RingElem<C>>

java.lang.Object

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

Type Parameters:

C -

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

Convert JAS objects from and to MathEclipse objects

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

JASConvert

public JASConvert(IExpr variable,
                  edu.jas.structure.RingFactory<C> ringFactory)

JASConvert

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

JASConvert

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

Method Detail

expr2JAS

public edu.jas.poly.GenPolynomial<C> expr2JAS(IExpr exprPoly,
                                              boolean numeric2Rational)
                                       throws JASConversionException

Throws:

JASConversionException

numericExpr2JAS

public edu.jas.poly.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(edu.jas.poly.GenPolynomial<edu.jas.arith.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 edu.jas.poly.GenPolynomialRing<C> getPolynomialRingFactory()

Returns:

the fPolyFactory

integerFromRationalCoefficients

public edu.jas.poly.GenPolynomial<edu.jas.arith.BigInteger> integerFromRationalCoefficients(edu.jas.poly.GenPolynomial<edu.jas.arith.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(edu.jas.poly.GenPolynomial<edu.jas.arith.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

monomialToExpr

public boolean monomialToExpr(edu.jas.arith.BigInteger coeff,
                              edu.jas.poly.ExpVector exp,
                              IAST monomTimes)

complexPoly2Expr

public IExpr complexPoly2Expr(edu.jas.poly.GenPolynomial<edu.jas.poly.Complex<edu.jas.arith.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

monomialToExpr

public boolean monomialToExpr(edu.jas.poly.Complex<edu.jas.arith.BigRational> coeff,
                              edu.jas.poly.ExpVector exp,
                              IAST monomTimes)

integral2Expr

public IAST integral2Expr(edu.jas.integrate.Integral<edu.jas.arith.BigRational> integral)

Convert a jas Integral into a matheclipse expression

Parameters:

integral - the JAS Integral

Returns:

logIntegral2Expr

public IAST logIntegral2Expr(edu.jas.integrate.LogIntegral<edu.jas.arith.BigRational> logIntegral)

Convert a jas LogIntegral into a matheclipse expression

Parameters:

logIntegral - the JAS LogIntegral

Returns:

rationalPoly2Expr

public IAST rationalPoly2Expr(edu.jas.poly.GenPolynomial<edu.jas.arith.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

variable -

Returns:

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

monomialToExpr

public boolean monomialToExpr(edu.jas.arith.BigRational coeff,
                              edu.jas.poly.ExpVector exp,
                              IAST monomTimes)

polyAlgebraicNumber2Expr

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

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

monomialToExpr

public boolean monomialToExpr(edu.jas.poly.AlgebraicNumber<edu.jas.arith.BigRational> coeff,
                              edu.jas.poly.ExpVector exp,
                              IAST monomTimes)

algebraicNumber2Expr

public IAST algebraicNumber2Expr(edu.jas.poly.AlgebraicNumber<edu.jas.arith.BigRational> coeff)
                          throws java.lang.ArithmeticException,
                                 java.lang.ClassCastException

Throws:

java.lang.ArithmeticException

java.lang.ClassCastException

quotIntegral2Expr

public IAST quotIntegral2Expr(edu.jas.integrate.QuotIntegral<edu.jas.arith.BigRational> integral)

Convert a jas Integral into a matheclipse expression

Parameters:

integral - the JAS Integral

Returns:

option2ModIntegerRing

public static edu.jas.arith.ModIntegerRing option2ModIntegerRing(ISignedNumber option)

jas2Complex

public static IComplex jas2Complex(edu.jas.poly.Complex<edu.jas.arith.BigRational> c)

jas2Numeric

public static INumber jas2Numeric(edu.jas.poly.Complex<edu.jas.arith.BigRational> c,
                                  double epsilon)

jas2Numeric

public static INumber jas2Numeric(org.apache.commons.math4.complex.Complex c,
                                  double epsilon)

rationalFromRationalCoefficientsFactor

public static java.lang.Object[] rationalFromRationalCoefficientsFactor(edu.jas.poly.GenPolynomialRing<edu.jas.arith.BigRational> fac,
                                                                        edu.jas.poly.GenPolynomial<edu.jas.arith.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.