> > I'm not sure how this would play with the "large" algorithms like
> > f.e. Gruntz, Risch, MeijerG etc. And even if it would finally work
> > out reasonable, the results are more for insight in CAS theory and
> > debugging. These algorithms work fundamentally different that what
> > a human would do by hand ("step-by-step") to solve the same problem.
>
> Indeed, but I think that we agree on that. All the
> step-by-step/rewrite-rules discussions are about the algorithms like
> simplification, etc, that already employ similar style.
Just wanted to repeat the argument. Because OTOH "step by step" could
be most helpful for users when showing how to do complicated integrals f.e.
or how to solve some ODE. But that are exactly the cases where it fails first.
Do you really want to get back a trace through Kovacic for solving a 2nd order
ODE? (Apart from the fact we don't have this algorithm at all :-/)
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
