substitute a function into equation with integral

Here is a solution that I have used (there are other solutions)

 (%i72) eqq:integrate(F(t),t,0,1)=a;
 (%o72) integrate(F(t),t,0,1)=a

 (%i73) subst([F = 'sin, nounify(integrate) = lambda([s,x,a,b], integrate
 (s,x,a,b))], eqq);
 (%o73) 1-cos(1)=a

If you are thinking that is shouldn't be this hard, I agree. Maybe there is
an
alternative to nounify(integrate), but I don't know it. For indefinite
integrals,
you'll need to change the lambda form :( (There is a way around that, I
think).

Barton

-----maxima-bounces at math.utexas.edu wrote: -----

Hello,

I need to substitute a function into equation, which integrates a function
being substitued.

Let say:

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