Re: Custom Function's Rules Ignored in Simplify/FullSimplify?
- To: mathgroup at smc.vnet.net
- Subject: [mg27855] Re: [mg27828] Custom Function's Rules Ignored in Simplify/FullSimplify?
- From: BobHanlon at aol.com
- Date: Thu, 22 Mar 2001 04:29:59 -0500 (EST)
- Sender: owner-wri-mathgroup at wolfram.com
Use TagSet Clear[f, x, p]; f[x_ /; x > 1] := 99; f[p] f[p] p /: p > 1 = True; f[p] 99 Bob Hanlon In a message dated 2001/3/19 1:54:19 AM, ste-ve at kate-ch.com writes: >I'm having a problem with Mathematica 4.0. > > >Say I define a function: > > f[x_ /; x > 1] := 99 > > >Then I try a Simplify or FullSimplify using assumptions: > > FullSimplify[f[x], x > 1] > > >Obviously, the correct result should be: > > 99 > > >But the best I can get Mathematica to do is: > > f[x] > > >How can I get Mathematica to incorporate my function's rules into Simplify >and FullSimplify? >