Function: math[assumed] - checks for a name with assumptions

Calling Sequence:

assumed(n);

Parameters:

n - a single expression

Description:

assumed determines whether one or more assumptions have been made for an object n. If n is of type name, it can be properly evaluated.

The result of a call to assumed is either true or false. If n is assigned a value other than its own name, false is returned.

When defining an assumption for a name with assume , Maple V adds this name and the corresponding assumption(s) to the global table `property/object` which is used by assumed to determine whether a name is included in that table.

This function is part of the math package, and so can be used only after performing the command with(math) or with(math, assumed).

Examples:

> with(math, assumed):

> assume(n, integer, n > 0):

> assumed(n);

[Maple Math]

> assumed(u); # no assumption for u

[Maple Math]

> `property/object`[n];

[Maple Math]

See Also:

assume .

Version History:

Version 1.0 as of December 01, 1997

Version 1.1 as of October 20, 1998