org.matheclipse.core.eval.util

Class AbstractAssumptions

java.lang.Object

org.matheclipse.core.eval.util.AbstractAssumptions

All Implemented Interfaces:

IAssumptions

Direct Known Subclasses:

Assumptions

public class AbstractAssumptions
extends java.lang.Object
implements IAssumptions

Constructor Summary

Constructors

Constructor and Description
AbstractAssumptions()

Method Summary

Modifier and Type	Method and Description
static ISymbol	assumeAlgebraic(IExpr expr) TODO implement algebraic number conditions.
static ISymbol	assumeBoolean(IExpr expr)
static ISymbol	assumeComplex(IExpr expr)
static ISymbol	assumeInteger(IExpr expr)
static boolean	assumeNegative(IExpr expr)
static boolean	assumeNonNegative(IExpr expr)
static boolean	assumePositive(IExpr expr)
static ISymbol	assumePrime(IExpr expr)
static ISymbol	assumeRational(IExpr expr)
static ISymbol	assumeReal(IExpr expr)
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 java.lang.Object

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

Constructor Detail

AbstractAssumptions

public AbstractAssumptions()

Method Detail

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

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

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

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

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

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

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

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

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

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

Returns:

assumeNegative

public static boolean assumeNegative(IExpr expr)

assumePositive

public static boolean assumePositive(IExpr expr)

assumeNonNegative

public static boolean assumeNonNegative(IExpr expr)

assumeAlgebraic

public static ISymbol assumeAlgebraic(IExpr expr)

TODO implement algebraic number conditions.

Parameters:

expr -

Returns:

assumeBoolean

public static ISymbol assumeBoolean(IExpr expr)

assumeComplex

public static ISymbol assumeComplex(IExpr expr)

assumeInteger

public static ISymbol assumeInteger(IExpr expr)

assumePrime

public static ISymbol assumePrime(IExpr expr)

assumeRational

public static ISymbol assumeRational(IExpr expr)

assumeReal

public static ISymbol assumeReal(IExpr expr)