Ask Your Question

Revision history [back]

You can use the assume function (which is not alwys reliable, so you shoud test it):

sage: var('t')
t
sage: assume(t,'real')
sage: assumptions()
[t is real]