org.matheclipse.core.reflection.system

Class LessEqual

java.lang.Object

org.matheclipse.core.eval.interfaces.AbstractEvaluator

org.matheclipse.core.eval.interfaces.AbstractFunctionEvaluator

org.matheclipse.core.reflection.system.Greater

org.matheclipse.core.reflection.system.LessEqual

All Implemented Interfaces:

IFunctionEvaluator, ITernaryComparator<IExpr>, IEvaluator

public class LessEqual
extends Greater

<= operator implementation.

Nested Class Summary

Nested classes/interfaces inherited from interface org.matheclipse.core.generic.ITernaryComparator

ITernaryComparator.COMPARE_RESULT

Field Summary

Fields

Modifier and Type	Field and Description
static LessEqual	CONST

Constructor Summary

Constructors

Constructor and Description
LessEqual()

Method Summary

Modifier and Type	Method and Description
protected IExpr	checkAssumptions(IExpr arg1, IExpr arg2) Check assumptions for the comparison operator.
ITernaryComparator.COMPARE_RESULT	compare(IExpr a0, IExpr a1) Return TRUE if the comparison is true Return FALSE if the comparison is false Return UNDEFINED if the comparison is undetermined (i.e. could not be evaluated)
protected IAST	simplifyCompare(IExpr a1, IExpr a2) Try to simplify a comparator expression.

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

evaluate, prepareCompare, setUp, simplifyCompare

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

createRuleFromMethod, getNormalizedNegativeExpression, getNormalizedNegativeExpression, getPeriodicParts, getPureImaginaryPart, getRuleAST, initSerializedRules, 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 LessEqual CONST

Constructor Detail

LessEqual

public LessEqual()

Method Detail

checkAssumptions

protected IExpr checkAssumptions(IExpr arg1,
                                 IExpr arg2)

Check assumptions for the comparison operator. Will be overridden in GreaterEqual, Less, LessEqual.

Overrides:

checkAssumptions in class Greater

Parameters:

arg1 - the left-hand-side of the comparison

arg2 - the right-hand-side of the comparison

Returns:

simplifyCompare

protected IAST simplifyCompare(IExpr a1,
                               IExpr a2)

Try to simplify a comparator expression. Example: 3*x > 6 will be simplified to x > 2.

Overrides:

simplifyCompare in class Greater

Parameters:

a1 - left-hand-side of the comparator expression

a2 - right-hand-side of the comparator expression

Returns:

the simplified comparator expression or null if no simplification was found

compare

public ITernaryComparator.COMPARE_RESULT compare(IExpr a0,
                                                 IExpr a1)

• Return TRUE if the comparison is true
• Return FALSE if the comparison is false
• Return UNDEFINED if the comparison is undetermined (i.e. could not be evaluated)

Specified by:

compare in interface ITernaryComparator<IExpr>

Overrides:

compare in class Greater

Returns: