Re: LessEqual vs Inequality, was ..Re: Replacement Rule with Sqrt
- To: mathgroup at smc.vnet.net
- Subject: [mg114723] Re: LessEqual vs Inequality, was ..Re: Replacement Rule with Sqrt
- From: Charles Gillingham <cgillingham1 at me.com>
- Date: Tue, 14 Dec 2010 06:55:31 -0500 (EST)
I wish that Simplify, Reduce and LogicalExpand produced canonical forms that were both completely documented and completely reliable. Programs written in Mathematica need to be able to pattern match against expressions returned by these functions. Pattern matching code is only reliable if it is matching against a reliable canonical form. If Mathematica made more of an effort to produce well-documented canonical forms, it would help us.