I have an expression. Simplified it manually and got an answer. Entered this expression into the Axiom - got another answer. To find mistake in my manual simplification I'd like to see how the Axiom did the simplification of the original expression step by step. Is it possible? If yes, how?
_______________________________________________ Axiom-math mailing list Axiom-math@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-math
