org.matheclipse.core.builtin.function

Class FreeQ

java.lang.Object

org.matheclipse.core.eval.interfaces.AbstractCoreFunctionEvaluator

org.matheclipse.core.builtin.function.FreeQ

All Implemented Interfaces:

ICoreFunctionEvaluator, IFunctionEvaluator, IEvaluator

public class FreeQ
extends AbstractCoreFunctionEvaluator

Constructor Summary

Constructors

Constructor and Description
FreeQ()

Method Summary

Modifier and Type	Method and Description
IExpr	evaluate(IAST ast) Symbolic evaluation of a function.
boolean	isFreeOrderless(IAST orderless1, IAST orderless2) Checks if orderless1.size() is greaterequal orderless2.size() and returns false, if every argument in orderless2 equals an argument in orderless1.

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

numericEval, setUp

Methods inherited from class java.lang.Object

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

Constructor Detail

FreeQ

public FreeQ()

Method Detail

evaluate

public IExpr evaluate(IAST ast)

Description copied from class: AbstractCoreFunctionEvaluator

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

Specified by:

evaluate in class AbstractCoreFunctionEvaluator

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

isFreeOrderless

public boolean isFreeOrderless(IAST orderless1,
                               IAST orderless2)

Checks if orderless1.size() is greaterequal orderless2.size() and returns false, if every argument in orderless2 equals an argument in orderless1. I.e. orderless1 doesn't contain every argument of orderless2.

Parameters:

orderless1 -

orderless2 -

Returns:

false if orderless1.size() is greaterequal orderless2.size() and if every argument in orderless2 equals an argument in orderless1