org.matheclipse.core.reflection.system

Class Sum

java.lang.Object

org.matheclipse.core.eval.interfaces.AbstractFunctionEvaluator

org.matheclipse.core.reflection.system.Table

org.matheclipse.core.reflection.system.Sum

All Implemented Interfaces:

IFunctionEvaluator, IEvaluator

public class Sum
extends Table

Summation of expressions. See Wikipedia Summation

Constructor Summary

Constructors

Constructor and Description
Sum()

Method Summary

Modifier and Type	Method and Description
IExpr	definiteSum(IExpr arg1, IAST list) Evaluate the definite sum: Sum[arg1, {var, from, to}]
IExpr	evaluate(IAST ast) Symbolic evaluation of a function.
IExpr	indefiniteSum(IExpr arg1, ISymbol var) Evaluate the indefinite sum: Sum[arg1, var]
IExpr	sumPower(IAST powAST, ISymbol var, IExpr to) See Wikipedia - Summation#Some_summations_of_polynomial_expressions.
IExpr	sumPowerFormula(IExpr to, IInteger p)

Methods inherited from class org.matheclipse.core.reflection.system.Table

numericEval, setUp

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

createRuleFromMethod, getPeriodicParts, getPureImaginaryPart, getRuleAST, isNegativeExpression

Methods inherited from class java.lang.Object

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

Constructor Detail

Sum

public Sum()

Method Detail

evaluate

public IExpr evaluate(IAST ast)

Description copied from class: AbstractFunctionEvaluator

Symbolic evaluation of a function. ast.get(0) contains the head (i.e. the function symbol) of this abstract syntax tree (AST). ast.get(1) to ast.get(n) contains the first to n-th argument of the function.
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

Overrides:

evaluate in class Table

Parameters:

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

Returns:

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

See Also:

Validate

definiteSum

public IExpr definiteSum(IExpr arg1,
                         IAST list)

Evaluate the definite sum: Sum[arg1, {var, from, to}]

Parameters:

arg1 - the first argument of the Sum[] function.

list - constructed as {Symbol: var, Integer: from, Symbol: to}

Returns:

indefiniteSum

public IExpr indefiniteSum(IExpr arg1,
                           ISymbol var)

Evaluate the indefinite sum: Sum[arg1, var]

Parameters:

arg1 -

var -

Returns:

sumPower

public IExpr sumPower(IAST powAST,
                      ISymbol var,
                      IExpr to)

See Wikipedia - Summation#Some_summations_of_polynomial_expressions.

Parameters:

powAST - an AST of the form Power[var^i]

var -

to -

Returns:

sumPowerFormula

public IExpr sumPowerFormula(IExpr to,
                             IInteger p)