MathGroup Archive 2000

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

Search the Archive

Simplify Anomaly

  • To: mathgroup at smc.vnet.net
  • Subject: [mg25648] Simplify Anomaly
  • From: "Ersek, Ted R" <ErsekTR at navair.navy.mil>
  • Date: Wed, 18 Oct 2000 02:52:22 -0400 (EDT)
  • Sender: owner-wri-mathgroup at wolfram.com

The anomaly below (using Version 4) was recently brought to my attention by
Dave Park in a slightly different context.
---------

In[1]:=
  Simplify[ a^2/Sqrt[a^2(a^2 + b^2)], a>0 && Element[b,Reals] ]

Out[1]=
  a^2/Sqrt[a^2(a^2 + b^2)]


In[2]:=
  Simplify[ a^2/Sqrt[a^2(a^2 + b^2)], a>0 && Element[b,Reals],
ComplexityFunction->LeafCount ]

Out[2]=
  a/Sqrt[a^2 + b^2]


The documentation for ComplexityFunction says: 
"With the default setting ComplexityFunction->Automatic, 
forms are ranked primarily according to their LeafCount, 
with corrections to treat integers with more digits as more complex." 

Then why isn't the simpler form returned using the 
default setting (ComplexityFunction->Automatic)?
I get the same result using FullSimplify.

--------------------
Regards,
Ted Ersek

Mathematica tips, tricks have moved to
http://www.verbeia.com/mathematica/tips/Tricks.html



  • Prev by Date: Re: Associated Legendre Definition
  • Next by Date: wrong Factor[] result
  • Previous by thread: Re: Change objetive function in Non-Linear Fit
  • Next by thread: wrong Factor[] result