Re: integrate bug

This isn't an answer to your question, but the user documentation for integrate states:

" integrate does not respect implicit dependencies established by the depends<https://maxima.sourceforge.io/docs/manual/maxima_singlepage.html#depends> function."

One way to avoid the outativity is to make the dependence explicit:

(%i4)  integrate(f(y(x))*diff(y(x),x),x);
(%o4) integrate(f(y(x))*('diff(y(x),x,1)),x)

Notice that integrate can handle

(%i11)       integrate(cos(y(x))*diff(y(x),x),x);
(%o11)      sin(y(x))

But Maxima doesn't have a feature that allows a user to declare that F is an antiderivative of f. Maybe somebody would like to work on that.

--Barton




________________________________
From: Aleksas Domarkas <[email protected]>
Sent: Monday, April 27, 2026 1:35 AM
To: <[email protected]> <[email protected]>
Subject: [Maxima-discuss] integrate bug

Caution: Non-NU Email

 --> depends(y,x);
(%o1) [y(x)]
 --> integrate(f(y)*diff(y,x),x);
(%o39) f(y)*integrate('diff(y,x),x)
 --> constantp(f(y));
(%o2) false
Why integrate is outative for not constant ?

Aleksas

_______________________________________________
Maxima-discuss mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/maxima-discuss