[Absolute beginner here.]
The expression pi>0 has the type sage.symbolic.expression.Expression. How can I force the evaluation and get the result True.
Also, as per the question title, can you please point me to a reference on the evaluation model in Sage?
