Changes between Version 8 and Version 13 of Ticket #22090


Ignore:
Timestamp:
01/23/17 08:10:08 (3 years ago)
Author:
rws
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22090

    • Property Dependencies changed from to pynac-0.7.5
    • Property Commit changed from 17c5e409466c4b258e1eb07fc490cf6828dff9ba to e74a4141763cec2b68ce5a27fdfe2650c88b07d4
    • Property Summary changed from Gosper algorithm to Gosper algorithm and Wilf-Zeilberger certificate
  • Ticket #22090 – Description

    v8 v13  
    11Pynac-0.7.3 introduces Gosper's hypergeometric summation algorithm. The ticket will implement the interface and add an extensive test file. Later tickets may call the function before delegating unsolved sums to Maxima.
    22
    3 The test file has three tests marked as known bug. Each of them shows an area where the implementation will have to be improved:
    4  - expressions with algebraic coefficients (i.e. manipulations of polynomials over algebraic fields)
    5  - 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.
    6  - enhancement of GiNaC's resultant implementation
     3Also, the WZ certificate can be computed to prove hypegeometric identities.
     4
     5The test file has one test marked as known bug. Its resolution depends on handling of expressions with algebraic coefficients (i.e. manipulations of polynomials over algebraic fields).
     6
     7Pynac-0.7.5 adds a crucial improvement and a faster implementation.