Opened 7 years ago
Last modified 7 years ago
#16816 new enhancement
symbolic sums of roots
Reported by: | kcrisman | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | calculus | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
See this sage-devel discussion, where it is pointed out that both Maxima and Sympy can return solutions to integrals using a symbolic sum of roots, e.g.
sage: f=1/(x^4+x^3+1) sage: fm=f._maxima_() sage: fm.integrate() 'integrate(1/(x^4+x^3+1),x) sage: fs=f._sympy_() sage: fs.integrate() RootSum(229*_t**4 + 6*_t**2 + _t + 1, Lambda(_t, _t*log(-37785*_t**3/3547 - 5496*_t**2/3547 + 12979*_t/3547 + x + 691/3547)))
(Thanks to mmarco for this.)
Perhaps this shouldn't be the default return for integrals but it certainly could be useful.
Note: See
TracTickets for help on using
tickets.
The object itself can be created in pynac using algebraic numbers. The problem is to handle it then. I posted an example in the sage-devel discussion.