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 rws)

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 from 0*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 rws

  • Branch set to u/rws/gosper_algorithm

comment:2 Changed 3 years ago by git

  • Commit set to 500332755b4187104f5ed47ec701a14d185d53d9

Branch pushed to git repo; I updated commit sha1. New commits:

dda7f2dMerge branch 'develop' into t/22090/gosper_algorithm
500332722090: test file

comment:3 Changed 3 years ago by rws

  • Authors set to Ralf Stephan
  • Description modified (diff)
  • Status changed from new to needs_review

comment:4 Changed 3 years ago by rws

  • Description modified (diff)
Note: See TracTickets for help on using tickets.