org.matheclipse.core.reflection.system

Class GroebnerBasis

java.lang.Object

org.matheclipse.core.eval.interfaces.AbstractEvaluator

org.matheclipse.core.eval.interfaces.AbstractFunctionEvaluator

org.matheclipse.core.reflection.system.GroebnerBasis

All Implemented Interfaces:

IFunctionEvaluator, IEvaluator

public class GroebnerBasis
extends AbstractFunctionEvaluator

Compute the Groebner basis for a list of polynomials. See

• EN-Wikipedia: Gröbner basis
• DE-Wikipedia: Gröbner basis

Constructor Summary

Constructors

Constructor and Description
GroebnerBasis()

Method Summary

Modifier and Type	Method and Description
static IAST	computeGroebnerBasis(IAST listOfPolynomials, IAST listOfVariables, boolean stopUnevaluatedOnPolynomialConversionError) Try to compute a Grobner basis for all expressions in listOfPolynomials which are polynomials for the given listOfVariables.
IExpr	evaluate(IAST ast, EvalEngine engine) Symbolic evaluation of a function.

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

GroebnerBasis

public GroebnerBasis()

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

computeGroebnerBasis

public static IAST computeGroebnerBasis(IAST listOfPolynomials,
                                        IAST listOfVariables,
                                        boolean stopUnevaluatedOnPolynomialConversionError)

Try to compute a Grobner basis for all expressions in listOfPolynomials which are polynomials for the given listOfVariables. Append the non-polynomial expressions at the end of the resulting list if necessary.

Parameters:

listOfPolynomials - a list of polynomials

listOfVariables - a list of variable symbols

stopUnevaluatedOnPolynomialConversionError -

Returns:

F.NIL if stopUnevaluatedOnPolynomialConversionError==true and one of the polynomials in listOfPolynomials are not convertible to JAS polynomials