First time here? Check out the FAQ!
answered 2012-09-02 12:58:13 +0100
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 $