------- 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.