On 23.07.23 02:18, '68th' via FriCAS - computer algebra system wrote:
(4) -> normalize(ex2)
That's it! Thank you very much! This one command gets me directly to
the expression that I will use to find an antiderivative.
Ah!
I guess you'd say that I can simply integrate what I want and FriCAS
will automagically do everything needed. Well, I tried it but I was
not satisfied with the output. I think I'll get to that in a separate
thread.
Yes, that would be it. As far as I know, FriCAS applies "normalize"
before it does integration. But Waldek is the expert in integration.
FriCAS cannot solve every integral, but it would certainly be
interesting to learn why it fails to deliver the answer that you have in
mind.
By the way, is there a way to show steps a command like 'normalize'
takes to derive its result?
In general the answer is NO. I wouldn´t say that this is impossible, but
I'm afraid that in general recording the derivations is probably not
nicely human readable. For your hand calculation it is perhaps as easy
as replacing cos(x) by the respective expression in tan(x/2) and then
substitute a and b by (l-k)/2 and (l+k)/2 and simplify.
It would help to pinpoint a mistake in my calculations if FriCAS
gives a different result.
BTW, have you tried to enter your result into FriCAS and subtract
normalize(ex2) from it. Perhaps it's zero and your result is just a
different form of what FriCAS computed. Or simply apply "normalize" to
your entered expression. Waldek suggested that in one of his mails.
Ralf
--
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/6fb6da95-e947-8918-66d8-ec48431fcb6f%40hemmecke.org.
