org.matheclipse.core.eval.util

Class Assumptions

java.lang.Object

org.matheclipse.core.eval.util.AbstractAssumptions

org.matheclipse.core.eval.util.Assumptions

All Implemented Interfaces:

IAssumptions

public class Assumptions
extends AbstractAssumptions

Method Summary

Modifier and Type	Method and Description
static IAssumptions	getInstance(IExpr expr) Create Assumptions from the given expression.
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.

Methods inherited from class org.matheclipse.core.eval.util.AbstractAssumptions

assumeAlgebraic, assumeBoolean, assumeComplex, assumeInteger, assumeNegative, assumeNonNegative, assumePositive, assumePrime, assumeRational, assumeReal

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static IAssumptions getInstance(IExpr expr)

Create Assumptions from the given expression. If the creation is not possible return null

Parameters:

expr -

Returns:

null if Assumptions could not be created from the given expression.

isNegative

public boolean isNegative(IExpr expr)

Description copied from interface: IAssumptions

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

Specified by:

isNegative in interface IAssumptions

Overrides:

isNegative in class AbstractAssumptions

Returns:

isPositive

public boolean isPositive(IExpr expr)

Description copied from interface: IAssumptions

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

Specified by:

isPositive in interface IAssumptions

Overrides:

isPositive in class AbstractAssumptions

Returns:

isNonNegative

public boolean isNonNegative(IExpr expr)

Description copied from interface: IAssumptions

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

Specified by:

isNonNegative in interface IAssumptions

Overrides:

isNonNegative in class AbstractAssumptions

Returns:

isAlgebraic

public boolean isAlgebraic(IExpr expr)

Description copied from interface: IAssumptions

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.

Specified by:

isAlgebraic in interface IAssumptions

Overrides:

isAlgebraic in class AbstractAssumptions

Returns:

isBoolean

public boolean isBoolean(IExpr expr)

Description copied from interface: IAssumptions

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.

Specified by:

isBoolean in interface IAssumptions

Overrides:

isBoolean in class AbstractAssumptions

Returns:

isComplex

public boolean isComplex(IExpr expr)

Description copied from interface: IAssumptions

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.

Specified by:

isComplex in interface IAssumptions

Overrides:

isComplex in class AbstractAssumptions

Returns:

isInteger

public boolean isInteger(IExpr expr)

Description copied from interface: IAssumptions

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.

Specified by:

isInteger in interface IAssumptions

Overrides:

isInteger in class AbstractAssumptions

Returns:

isPrime

public boolean isPrime(IExpr expr)

Description copied from interface: IAssumptions

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.

Specified by:

isPrime in interface IAssumptions

Overrides:

isPrime in class AbstractAssumptions

Returns:

isRational

public boolean isRational(IExpr expr)

Description copied from interface: IAssumptions

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.

Specified by:

isRational in interface IAssumptions

Overrides:

isRational in class AbstractAssumptions

Returns:

isReal

public boolean isReal(IExpr expr)

Description copied from interface: IAssumptions

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.

Specified by:

isReal in interface IAssumptions

Overrides:

isReal in class AbstractAssumptions

Returns: