Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

What does assume(x, "real")?

I do not understand what permits the construction assume(x, "real"). For instance,

sage: assume(x, "real")
sage: bool(x*x>0)

I would expect the answer to be True.

Note that Maxima always answers True for the same inequality:

sage: forget()
sage: bool(maxima(x*x>0))

I am not sure this is a better behaviour though.