org.matheclipse.core.reflection.system

Class Integrate

java.lang.Object

org.matheclipse.core.eval.interfaces.AbstractEvaluator

org.matheclipse.core.eval.interfaces.AbstractFunctionEvaluator

org.matheclipse.core.reflection.system.Integrate

All Implemented Interfaces:

IFunctionEvaluator, IEvaluator

public class Integrate
extends AbstractFunctionEvaluator

Integration of a function. See Integral

Field Summary

Fields

Modifier and Type	Field and Description
static Integrate	CONST Constructor for the singleton
static java.util.Set<IExpr>	DEBUG_EXPR
static boolean	INITIALIZED Check if the internal rules are already initialized
static java.util.Set<ISymbol>	INT_FUNCTIONS
static java.util.Set<ISymbol>	INT_RUBI_FUNCTIONS

Constructor Summary

Constructors

Constructor and Description
Integrate()

Method Summary

Modifier and Type	Method and Description
IExpr	evaluate(IAST holdallAST, EvalEngine engine) Symbolic evaluation of a function.
IAST	getRuleAST() Get the predefined rules for this function symbol.
static IAST	getUtilityFunctionsRuleAST() Get the rules defined for Integrate utility functions.
static void	initSerializedRules(ISymbol symbol) Initialize the serialized Rubi integration rules from ressource /ser/integrate.ser.
static boolean	isQuadratic(edu.jas.poly.GenPolynomial<edu.jas.arith.BigInteger> poly, edu.jas.arith.BigInteger[] result) Check if the polynomial has maximum degree 2 in 1 variable and return the coefficients.
static boolean	isQuadratic(edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational> poly, edu.jas.arith.BigRational[] result) Check if the polynomial has maximum degree 2 in 1 variable and return the coefficients.
void	setUp(ISymbol symbol) Evaluate built-in rules and define Attributes for a function.

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

createRuleFromMethod, getNormalizedNegativeExpression, getNormalizedNegativeExpression, getPeriodicParts, getPureImaginaryPart, isNegativeExpression

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

Field Detail

CONST

public static final Integrate CONST

Constructor for the singleton

INITIALIZED

public static boolean INITIALIZED

Check if the internal rules are already initialized

INT_RUBI_FUNCTIONS

public static final java.util.Set<ISymbol> INT_RUBI_FUNCTIONS

INT_FUNCTIONS

public static final java.util.Set<ISymbol> INT_FUNCTIONS

DEBUG_EXPR

public static final java.util.Set<IExpr> DEBUG_EXPR

Constructor Detail

Integrate

public Integrate()

Method Detail

evaluate

public IExpr evaluate(IAST holdallAST,
                      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:

holdallAST - 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()

isQuadratic

public static boolean isQuadratic(edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational> poly,
                                  edu.jas.arith.BigRational[] result)

Check if the polynomial has maximum degree 2 in 1 variable and return the coefficients.

Parameters:

poly -

Returns:

false if the polynomials degree > 2 and number of variables <> 1

isQuadratic

public static boolean isQuadratic(edu.jas.poly.GenPolynomial<edu.jas.arith.BigInteger> poly,
                                  edu.jas.arith.BigInteger[] result)

Check if the polynomial has maximum degree 2 in 1 variable and return the coefficients.

Parameters:

poly -

Returns:

false if the polynomials degree > 2 and number of variables <> 1

getRuleAST

public IAST getRuleAST()

Description copied from class: AbstractFunctionEvaluator

Get the predefined rules for this function symbol.

Overrides:

getRuleAST in class AbstractFunctionEvaluator

Returns:

null if no rules are defined

getUtilityFunctionsRuleAST

public static IAST getUtilityFunctionsRuleAST()

Get the rules defined for Integrate utility functions. These rules are loaded on system startup.

See Also:

AbstractFunctionEvaluator.setUp(ISymbol)()

setUp

public void setUp(ISymbol symbol)

Description copied from class: AbstractFunctionEvaluator

Evaluate built-in rules and define Attributes for a function.

Specified by:

setUp in interface IEvaluator

Overrides:

setUp in class AbstractFunctionEvaluator

Parameters:

symbol - the symbol which should be set up

initSerializedRules

public static void initSerializedRules(ISymbol symbol)

Initialize the serialized Rubi integration rules from ressource /ser/integrate.ser.

Parameters:

symbol -