Changes between Version 4 and Version 8 of Ticket #22090


Ignore:
Timestamp:
01/06/17 14:12:47 (2 years ago)
Author:
rws
Comment:

Still missing is better documentation. As to performance 75% of complicated summations are spent in computation of one symbolic matrix determinant, of which 2/3 is expansions. It is astonishing that the 12x12 matrix determinant from the summation of (((n^4-14*n^2-24*n-9) * 2^n / n^2 / (n+1)^2 / (n+2)^2 / (n+3)^2)) needs 4,316 first level expansions, even with the supposedly optimized "enhanced Laplace-expansion" determinant algorithm used. Resultants should be later computed in Pynac via Singular which apparently uses a subresultant algorithm.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22090

    • Property Dependencies changed from #19461, pynac-0.7.3 to
    • Property Milestone changed from sage-7.5 to sage-7.6
    • Property Commit changed from 500332755b4187104f5ed47ec701a14d185d53d9 to 17c5e409466c4b258e1eb07fc490cf6828dff9ba
  • Ticket #22090 – Description

    v4 v8  
    1 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.
     1Pynac-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
    33The test file has three tests marked as known bug. Each of them shows an area where the implementation will have to be improved: