(no subject) / substitute, evaluate, integrate..

Robert Dodier wrote:
> 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.
>>     
>
>   

ev(eqq,F(t)=sin(t),integrate);

works.   or shorthand:

  eqq,F(t)=sin(t),integrate;