On 5/9/09, Konstantin Malakhanov <malakhanov at gmx.de> wrote:
> eqq:integrate(F(t),t,0,1)=a;
>
> I thought that
>
> ev(subst(sin(t), F(t), eqq), 'nouns);
>
> would give me
> 1-cos(1)=a
> (as from integrate(sin(t),t,0,1)=a;)
> but it just writes integral as it is without evaluating it.
How about if you do it in 2 steps?
block (subst(sin(t), F(t), eqq), ev(%%, nouns));
=> 1 - cos(1) = a
I'm pretty sure the observed behavior is correct -- Maxima has
a "one-time" evaluation policy. So eqq is evaluated to 'integrate(...)
but 'integrate(...) is not re-evaluated.
best
Robert Dodier