Opened 3 years ago
Last modified 2 years ago
#22090 closed enhancement
Gosper algorithm — at Version 4
Reported by: | rws | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.0 |
Component: | symbolics | Keywords: | |
Cc: | Merged in: | ||
Authors: | Ralf Stephan | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | u/rws/gosper_algorithm (Commits) | Commit: | 500332755b4187104f5ed47ec701a14d185d53d9 |
Dependencies: | #19461, pynac-0.7.3 | Stopgaps: |
Description (last modified by )
Pynac-0.7.3 will have Gosper's hypergeometric summation algorithm. The ticket will implement the interface and add an extensive test file. Later tickets may call it before delegating unsolved sums to Maxima.
The test file has three tests marked as known bug. Each of them shows an area where the implementation will have to be improved:
- expressions with algebraic coefficients (i.e. manipulations of polynomials over algebraic fields)
- the final computation in Gosper's algorithm may result in
NaN
from0*inf
,0/0
or such. Here a limit computation will give the result. I didn't want to call Maxima from Pynac however. - enhancement of GiNaC's resultant implementation
Change History (4)
comment:1 Changed 3 years ago by
- Branch set to u/rws/gosper_algorithm
comment:2 Changed 3 years ago by
- Commit set to 500332755b4187104f5ed47ec701a14d185d53d9
comment:3 Changed 3 years ago by
- Description modified (diff)
- Status changed from new to needs_review
comment:4 Changed 3 years ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.
Branch pushed to git repo; I updated commit sha1. New commits:
Merge branch 'develop' into t/22090/gosper_algorithm
22090: test file