org.matheclipse.core.eval.util

Interface IAssumptions

All Known Implementing Classes:

AbstractAssumptions, Assumptions

public interface IAssumptions

Method Summary

Modifier and Type	Method and Description
boolean	isAlgebraic(IExpr expr) Gives true, if the symbol is assumed to be an algebraic value (i.e. an element of the Algebraics domain), false in all other cases.
boolean	isBoolean(IExpr expr) Gives true, if the symbol is assumed to be a boolean value (i.e. an element of the Booleans domain), false in all other cases.
boolean	isComplex(IExpr expr) Gives true, if the symbol is assumed to be a complex value (i.e. an element of the Complexes domain), false in all other cases.
boolean	isInteger(IExpr expr) Gives true, if the symbol is assumed to be an integer value (i.e. an element of the Integers domain), false in all other cases.
boolean	isNegative(IExpr expr) Gives true, if the symbol is assumed to be a negative value, false in all other cases.
boolean	isNonNegative(IExpr expr) Gives true, if the symbol is assumed to be a non-negative value, false in all other cases.
boolean	isPositive(IExpr expr) Gives true, if the symbol is assumed to be a positive value, false in all other cases.
boolean	isPrime(IExpr expr) Gives true, if the symbol is assumed to be a prime number (i.e. an element of the Primes domain), false in all other cases.
boolean	isRational(IExpr expr) Gives true, if the symbol is assumed to be a rational value (i.e. an element of the Rationals domain), false in all other cases.
boolean	isReal(IExpr expr) Gives true, if the symbol is assumed to be an integer value (i.e. an element of the Reals domain), false in all other cases.

Method Detail

isNegative

boolean isNegative(IExpr expr)

Gives true, if the symbol is assumed to be a negative value, false in all other cases.

Parameters:

expr -

Returns:

isPositive

boolean isPositive(IExpr expr)

Gives true, if the symbol is assumed to be a positive value, false in all other cases.

Parameters:

expr -

Returns:

isNonNegative

boolean isNonNegative(IExpr expr)

Gives true, if the symbol is assumed to be a non-negative value, false in all other cases.

Parameters:

expr -

Returns:

isAlgebraic

boolean isAlgebraic(IExpr expr)

Gives true, if the symbol is assumed to be an algebraic value (i.e. an element of the Algebraics domain), false in all other cases.

Parameters:

expr -

Returns:

isBoolean

boolean isBoolean(IExpr expr)

Gives true, if the symbol is assumed to be a boolean value (i.e. an element of the Booleans domain), false in all other cases.

Parameters:

expr -

Returns:

isComplex

boolean isComplex(IExpr expr)

Gives true, if the symbol is assumed to be a complex value (i.e. an element of the Complexes domain), false in all other cases.

Parameters:

expr -

Returns:

isInteger

boolean isInteger(IExpr expr)

Gives true, if the symbol is assumed to be an integer value (i.e. an element of the Integers domain), false in all other cases.

Parameters:

expr -

Returns:

isPrime

boolean isPrime(IExpr expr)

Gives true, if the symbol is assumed to be a prime number (i.e. an element of the Primes domain), false in all other cases.

Parameters:

expr -

Returns:

isRational

boolean isRational(IExpr expr)

Gives true, if the symbol is assumed to be a rational value (i.e. an element of the Rationals domain), false in all other cases.

Parameters:

expr -

Returns:

isReal

boolean isReal(IExpr expr)

Gives true, if the symbol is assumed to be an integer value (i.e. an element of the Reals domain), false in all other cases.

Parameters:

expr -

Returns: