Error: cannot assume on a constant object

This error occurs when the first argument to assume or additionally contains no names upon which to make assumptions. The most common cause is an attempt to make an assumption about a variable that has already been assigned a constant value. It doesn't matter whether or not this value has the property being assumed.

> x:= 3:
assume(x > 0);

Error, (in assume) cannot assume on a constant object

Like most procedures, assume begins by evaluating its arguments. This replaces the variable x by the value assigned to that variable, so the effect is the same as if you typed assume(3 > 0) . It happens to be true, but that's irrelevant: it doesn't say anything about any variables, and therefore it results in an error message.

See also: additionally , assume , Changing assumptions and names , type[constant]

Maple Advisor Database R. Israel, 1998