On Tuesday, 11 December 2012 13:15:09 UTC, kcrisman wrote: > > I wouldn't worry about it, since in general there is no way to define > "simpler" expression that is fully useful at all times, and for more > complicated expressions more detail work would be needed anyway. > Pedantic Note. Jacques Carette's paper: Understanding Expression Simplification. Proc. ISSAC 2004 (ed. J. Gutierrez), ACM Press, New York, 2004, pp. 72-79. http://www.cas.mcmaster.ca/~carette/publications/simplification.pdf. defines it in a useful way, just not in a computable way (that I can see in practice).
-- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
