MathGroup Archive 2005

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

Search the Archive

FullSimplify with Assumptions

  • To: mathgroup at
  • Subject: [mg53339] FullSimplify with Assumptions
  • From: "Goyder Dr HGD" <h.g.d.goyder at>
  • Date: Thu, 6 Jan 2005 22:00:39 -0500 (EST)
  • Sender: owner-wri-mathgroup at

In the examples below I would expect FullSimplify to give L. 
However, I get results that depend on the symbols I use.
It would appear that symbols x and y are treated differently. 

How can I force FullSimplify to use the LeafCount as the ComplexityFunction?

In[14]:= r1 = FullSimplify[(L - L*y^2)/x^2, {-1 + x^2 + y^2 == 0}]

Out[14]= (L - L*y^2)/x^2

In[15]:= r2 = FullSimplify[(L - L*x^2)/y^2, {-1 + x^2 + y^2 == 0}]

Out[15]= L

In[16]:= LeafCount[r1]

Out[16]= 12

In[17]:= LeafCount[r2]

Out[17]= 1

In[18]:= $Version

Out[18]= "5.1 for Microsoft Windows (October 25, 2004)"

Thanks for any comment

Hugh Goyder

This message has been scanned for viruses and
dangerous content by the Cranfield MailScanner, and is
believed to be clean.

  • Prev by Date: Re: Re: Re: Re: Re: Slowdown
  • Next by Date: Re: Run, RunThrough on OSX?
  • Previous by thread: Re: global assumptions?? How far can I go?
  • Next by thread: Re: FullSimplify with Assumptions