org.matheclipse.core.reflection.system

Class Factor

java.lang.Object

org.matheclipse.core.eval.interfaces.AbstractEvaluator

org.matheclipse.core.eval.interfaces.AbstractFunctionEvaluator

org.matheclipse.core.reflection.system.Factor

All Implemented Interfaces:

IFunctionEvaluator, IEvaluator

Direct Known Subclasses:

FactorSquareFree, FactorSquareFreeList

public class Factor
extends AbstractFunctionEvaluator

Factor a univariate polynomial

Constructor Summary

Constructors

Constructor and Description
Factor()

Method Summary

Modifier and Type	Method and Description
IExpr	evaluate(IAST ast, EvalEngine engine) Symbolic evaluation of a function.
static IExpr	factor(IExpr expr, java.util.List<IExpr> varList, boolean factorSquareFree)
static IAST	factorComplex(edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational> polyRat, JASConvert<edu.jas.arith.BigRational> jas, java.util.List<IExpr> varList, ISymbol head, boolean noGCDLCM)
static IAST	factorComplex(IExpr expr, java.util.List<IExpr> varList, ISymbol head, boolean noGCDLCM, boolean numeric2Rational) Factor the expr in the domain of GaussianIntegers.
static IExpr	factorList(IExpr expr, java.util.List<IExpr> varList, boolean factorSquareFree)
static IAST	factorModulus(JASModInteger jas, edu.jas.arith.ModLongRing modIntegerRing, edu.jas.poly.GenPolynomial<edu.jas.arith.ModLong> poly, boolean factorSquareFree)
static IExpr	factorWithOption(IAST ast, IExpr expr, java.util.List<IExpr> varList, boolean factorSquareFree, EvalEngine engine) Factor the expr with the option given in ast.

Methods inherited from class org.matheclipse.core.eval.interfaces.AbstractFunctionEvaluator

createRuleFromMethod, getNormalizedNegativeExpression, getNormalizedNegativeExpression, getPeriodicParts, getPureImaginaryPart, getRuleAST, initSerializedRules, isNegativeExpression, setUp

Methods inherited from class org.matheclipse.core.eval.interfaces.AbstractEvaluator

numericEval

Methods inherited from class java.lang.Object

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

Constructor Detail

Factor

public Factor()

Method Detail

evaluate

public IExpr evaluate(IAST ast,
                      EvalEngine engine)

Description copied from class: AbstractFunctionEvaluator

Symbolic evaluation of a function. ast.get(0) (or alternatively ast.head()) contains the head (i.e. the function symbol) of this abstract syntax tree (AST).
From ast.arg1() to ast.get(n) the ast contains the first to n-th argument of the function (alternatively you get the first to fifth argument with the methods arg1(), arg2(),... arg5()).
If necessary use the methods from the Validate class to check the number or types of arguments in the evaluate method.
Note: if the symbolic evaluation isn't possible or no result is found the evaluate method returns with a null value without throwing an exception!

Specified by:

evaluate in interface IFunctionEvaluator

Specified by:

evaluate in class AbstractFunctionEvaluator

Parameters:

ast - the abstract syntax tree (AST) which should be evaluated

engine - the users current evaluation engine

Returns:

the evaluated object or null, if evaluation isn't possible

See Also:

Validate, IExpr.head(), IAST.arg1(), IAST.arg2(), IAST.arg3()

factor

public static IExpr factor(IExpr expr,
                           java.util.List<IExpr> varList,
                           boolean factorSquareFree)
                    throws JASConversionException

Throws:

JASConversionException

factorList

public static IExpr factorList(IExpr expr,
                               java.util.List<IExpr> varList,
                               boolean factorSquareFree)
                        throws JASConversionException

Throws:

JASConversionException

factorWithOption

public static IExpr factorWithOption(IAST ast,
                                     IExpr expr,
                                     java.util.List<IExpr> varList,
                                     boolean factorSquareFree,
                                     EvalEngine engine)
                              throws JASConversionException

Factor the expr with the option given in ast.

Parameters:

ast -

expr -

varList -

factorSquareFree -

Returns:

Throws:

JASConversionException

factorComplex

public static IAST factorComplex(IExpr expr,
                                 java.util.List<IExpr> varList,
                                 ISymbol head,
                                 boolean noGCDLCM,
                                 boolean numeric2Rational)
                          throws JASConversionException

Factor the expr in the domain of GaussianIntegers.

Parameters:

expr -

varList -

head - the head of the result AST

noGCDLCM -

numeric2Rational - TODO

Returns:

Throws:

JASConversionException

factorComplex

public static IAST factorComplex(edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational> polyRat,
                                 JASConvert<edu.jas.arith.BigRational> jas,
                                 java.util.List<IExpr> varList,
                                 ISymbol head,
                                 boolean noGCDLCM)

factorModulus

public static IAST factorModulus(JASModInteger jas,
                                 edu.jas.arith.ModLongRing modIntegerRing,
                                 edu.jas.poly.GenPolynomial<edu.jas.arith.ModLong> poly,
                                 boolean factorSquareFree)