------- Original Message -------
On Sunday, July 23rd, 2023 at 8:36 PM, Waldek Hebisch 
<de...@fricas.math.uni.wroc.pl> wrote:

> )trace INTEF )math

Can ')trace' be somehow used for 'normalize' to see its intermediate steps?

> Theory says that this is simplest possible expression
> of similar form.

That's not how I found the simpler antiderivative. I don't use complex 
exponential functions. It only takes a right u-substitution.

> But in this case it does not work.

Okay, FriCAS magic doesn't work. The question is: is it still possible to make 
FriCAS find the simpler antiderivative? Can a user have any control over the 
integration process? Let's say:

u := l/k*tan(gamma/2)

If I will be able to do all the necessary transformation to the integrand, can 
I then use u as the second argument in the 'integrate' command?

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/7o4jPF9rxFT4krtUvU0jIDKrZGvr7bAQRLk1BaaFMuuSGTd-bUcHPTUqUZ8q2zKUlIsSecA-i1xfcBifD72kr_cvIE6UGQXeU0WFLaOCtQ4%3D%40proton.me.

Reply via email to