       FullSimplify with Assumptions

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

```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:= r1 = FullSimplify[(L - L*y^2)/x^2, {-1 + x^2 + y^2 == 0}]

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

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

Out= L

In:= LeafCount[r1]

Out= 12

In:= LeafCount[r2]

Out= 1

In:= \$Version

Out= "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