I forgot to add: on sci.math.symbolic there was a related challenge. Look for
Peter L. Montgomery Re: Semi-tough simplify test If you teach axiom the trick - in a sensible manner - this would be great. I guess this all boils down to introduce an Expression Domain without variables. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
