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);
> assumed(u); # no assumption for u
> `property/object`[n];
See Also:
assume .
Version History:
Version 1.0 as of December 01, 1997
Version 1.1 as of October 20, 1998