[Date Index] [Thread Index] [Author Index]

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.