Re: Rule to Function, Frontend funnies
- To: mathgroup at smc.vnet.net
- Subject: [mg5335] Re: [mg5307] Rule to Function, Frontend funnies
- From: jpk at apex.mpe.FTA-Berlin.de (Jens-Peer Kuska)
- Date: Wed, 27 Nov 1996 01:47:50 -0500
- Sender: owner-wri-mathgroup at wolfram.com
> how can I convert a rule to a function?
> if I get a result from
>
> rulesoln = DSolve[{y'[x]==y[x]/(c+1/x),y[0]==1},y[x],x]
>
> in the form :
>
> 2
> x/c - Log[1 + c x]/c
> {{y[x] -> E }}
>
> how do I get the definition :
>
> y[x_]:= E^(x/c - Log[1 + c x]/c^2)
>
> Anybody out there to whom this happens too?
> After some {soul,FullForm}-searching, I came up with this rule-eating-rule :
>
> Flatten[rulesoln]/.y[x]->y[x_]/.Rule->SetDelayed
>
> {Null}
>
> you don't get to see much except "{Null}", but it results in:
>
> ?y
>
> Global`y
> y[x_] := E^(x/c - Log[1 + c*x]/c^2)
>
> (*************************************************************************)
>
> Is there a fast & easy Cut-and-Paste way to do it, not leaving the FrontEnd?
> Is this the same on a Mac-machine?
> Is this the same in Mma 3.0 for Windows?
>
What do You want? The SetDelayed is evaluated and the result of it is
Null. The best is to make a definition
thisSolutionY[x_]:=y[x] /. Flatten[rulesoln]
How ever if You don't want to evaluate Your delayed rule You can do the
following
In[27]:= Clear[y]
In[28]:= rulesoln=DSolve[{y'[x]==y[x]/(c+1/x),y[0]==1},y[x],x] //InputForm
Out[28]=
{{y[x] -> E^(x/c)/(1 + c*x)^c^(-2)}}
In[29]:= sol=rulesoln[[1,1,1]] //InputForm
Out[29]//InputForm= y[x] -> E^(x/c)/(1 + c*x)^c^(-2)
In[31]:= Hold[Evaluate[sol] ]/. {y[x] :> HoldPattern[y[x_]],Rule->SetDelayed}
Out[31]= Hold[HoldPattern[y[x_]] := E^(x/c)/(1 + c*x)^c^(-2)]
now You see the definition. A simple
In[32]:=ReleaseHold[%]
will evaluate this. With Mma 2.2 You must use Literal instead of HoldPattern.
Somewehre in Your 2.2 Frontend is the command - Copy Output from above.
Hope that helps
Jens