First time here? Check out the FAQ!

Sorry, this content is no longer available

Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

answered 9 years ago

Volker Braun gravatar image

Pynac/ginac tracks latex_name, so its a bit tricky to get at it.

The assumptions (like domain="real") are tracked in Sage:

sage: var('xt1', domain='real') 
xt1
sage: assumptions(xt1) 
[xt1 is real]
sage: forget(xt1, 'real') 
sage: assumptions(xt1) 
[] 
sage: assume(xt1 > 0)