Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Thank you for answer. I am now satisfied by another trial with a "print" command:


$ cat test2.sage
var('x')
assume(x > 0)
print bool(sqrt(x^2) == x)
$ sage test2.sage
True
$