[Date Index] [Thread Index] [Author Index]
Re: LessEqual vs Inequality, was ..Re: Replacement Rule with Sqrt
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.