Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2010

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

Search the Archive

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.


  • Prev by Date: Re: Calculate a numerical integral with enough precision
  • Next by Date: Re: Extracting outlines of thick lines
  • Previous by thread: CCP packing of spheres in icosahedron & cuboctahedron
  • Next by thread: Multiple Sums