On Sun, Dec 17, 2023 at 08:40:11AM +0800, Qian Yun wrote:
> Looks OK. I only have one question:
>
> "do_rr" returns a list of length 1. Does this mean it can't
> handle some parameterized integral?
Yes, the code can handle some parameterized integrals, but will
fail on majority of parameteric cases. More precisely,
'do_rr' is called only when we get sucessful result
from 'complex_roots' and 'complex_roots' returns sucessfully
only when it can determine actual configuration of roots.
In principle we could call 'do_rr' for each hypotethical
configuration of roots, but already for general degree 4
there is several possible configurations. And wrong configurations
and hard cases are likely to generate complicated expressions.
So, to keep things simple, if there is any doubt, then we fall back
to current code.
Theoretically, we could attach validity conditions to various
configurations, that is produce only configurations that are
valid on a nonempty set of parameters. But again, to keep
things simple I am not doing this. And if there are conditions
for given configuration, then it would be natural to return
list of 'suchThat' constructs. But then the thing would propagate
needing more changes.
--
Waldek Hebisch
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZX5M3s1g5KDEpCn6%40fricas.org.
