Mathematica 9 is now available
Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2004

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

Search the Archive

Simplify, SetDelayed and Condition ... again

  • To: mathgroup at
  • Subject: [mg52476] Simplify, SetDelayed and Condition ... again
  • From: alvaro diaz <alvarodiazfalconi at>
  • Date: Sun, 28 Nov 2004 01:07:19 -0500 (EST)
  • Sender: owner-wri-mathgroup at

This is True

--- True

Now define a function f[x] that f[x]:=3x/;x>0

1st try


--- f[x]>0
--- f[x]>0
--- f[x]>0

2nd try


--- f[x]>0
--- f[x]>0

3st try

>FullSimplify[f[x]>0,x>0] (* 1 *)

--- f[x]>0
--- f[x]>0

but ...


--- True

FullSimplify is not hold. Why do not work (* 1 *)?


And the really question ... I need to modify Condition
to work better? Or there are another way without
FullSimplify in Condition?

For example, define a norm that




--- Abs[z]

but fail


--- norm[z]


Do you Yahoo!? 
Read only the mail you want - Yahoo! Mail SpamGuard. 

  • Prev by Date: Re: On constants and D's behaviour
  • Next by Date: a bug in many variables integration ?
  • Previous by thread: Re: Integration of piecewise function
  • Next by thread: a bug in many variables integration ?