Re: Do we need a When function?
- To: mathgroup at smc.vnet.net
- Subject: [mg132421] Re: Do we need a When function?
- From: Szabolcs HorvÃt <szhorvat at gmail.com>
- Date: Tue, 11 Mar 2014 03:37:28 -0400 (EDT)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-outx@smc.vnet.net
- Delivered-to: mathgroup-newsendx@smc.vnet.net
- References: <20140308074231.0A4506A0B@smc.vnet.net> <lfjtkc$hhc$1@smc.vnet.net>
On 2014-3-10, 4:37 , Itai Seggev wrote:
> On Sat, Mar 08, 2014 at 02:42:31AM -0500, David Bailey wrote:
>> Dear All,
>>
>> Recently I wanted to create an expression that only evaluated when x was
>> a number. Obviously, one way to do that is to write something like:
>>
>> If[x<1000000000000,f[x]]
>>
>> This will stay unevaluated until x is assigned to a number - as required
>> - but it is very ugly because it makes it hard to understand what is
>> going on.
>
> Why isn't this simply
>
> If[NumericQ[x], f[x]] (*are NumberQ, if want an actual number type*)
>
> But I'm further confused by your statement that it stays unevlauate until x is
> assigned a number. That's not true, it will evaluate to Null unless x is
> numeric prior to the start of evaluation.
>
>> More generally, it would be nice to write an expression that will only
>> evaluate when an expression is true. I solved that by writing a function
>> When:
>>
>> SetAttributes[When, HoldAll];
>> When[cond_, val_] := val /; cond
>>
>> However, my point is that this construction is sufficiently useful that
>> it should be built in to Mathematica, and my solution might not be
>> obvious to all users.
>>
>> Am I missing a simpler solution?
>>
>> Do others agree that this is an omission in the language?
>
> I'm not sure what your use case is. F[x] will of course stay unevluated until
> x has some value which F knows what to do with...
>
Hello Itai,
What (I believe) David means is that
If[NumericQ[x], f[x]]
immediately evaluates to Null if the symbol x has no assigned value.
When[NumericQ[x], f[x]] does not evaluate in this case, so later you can
substitute in a number for x and have f[x] evaluate correctly in case
f[x] only works with numbers, not symbols.
Then you could do something like
FindRoot[
When[NumericQ[a], First@FindMaximum[Exp[-a x] x^2, {x, 1}] - 0.5],
{a, 1}
]
without having to go to the trouble of defining
f[a_?NumericQ] := First@FindMaximum[Exp[-a x] x^2, {x, 1}]
first, and keeping in mind that the symbol f is defined (or Clear[]ing
it afterwards). This is potentially convenient when f would really be a
one-time use function.
Szabolcs
P.S. Personally I am not convinced that When[] is necessary, but I felt
the need to clarify since most responders seem to have missed the point
of the suggestion.
- References:
- Do we need a When function?
- From: David Bailey <dave@removedbailey.co.uk>
- Do we need a When function?