https://github.com/mkauers/ore_algebra
Revision f40ba8c78b567814511df63af3f23089cf946958 authored by Marc Mezzarobba on 04 January 2017, 15:06:41 UTC, committed by Marc Mezzarobba on 04 January 2017, 16:17:44 UTC
For now, we artificially increase the order, because our current strategy of using vectors of coeffs of the form [u(n-s'), ..., u(n+r-1)] to make the initial values as simple as possible would break otherwise. But note that when s' < 0, the functions 1, x, ..., x^(-s'+1) are local solutions. In the longer term, it would probably be better to always normalize the recurrence to Sn-valuation zero, and add the columns corresponding to 1, x, ... in partial_sums().
1 parent 45d7271
Tip revision: f40ba8c78b567814511df63af3f23089cf946958 authored by Marc Mezzarobba on 04 January 2017, 15:06:41 UTC
binsplit: fix(?) bugs when ordrec < orddeq
binsplit: fix(?) bugs when ordrec < orddeq
Tip revision: f40ba8c
Computing file changes ...
