On Saturday, November 26, 2016 at 1:08:32 AM UTC, Maxie Schmidt wrote:
>
> I have a working draft of the sage code for sequence formula guessing
> posted at https://github.com/maxieds/sage-guess. I'm still very much
> working on adding the documentation / doc strings. Besides this, does
> anyo
I have a working draft of the sage code for sequence formula guessing
posted at https://github.com/maxieds/sage-guess. I'm still very much
working on adding the documentation / doc strings. Besides this, does
anyone else have any suggestions for what else I could add to this package
to improve
On Sunday, November 20, 2016 at 8:28:28 AM UTC+1, Martin R wrote:
>
> 2.As to guessing holonomic recurrences there is the Ore algebra package.
>> It would be nice to have a tutorial.
>>
>
> what's wrong with https://arxiv.org/abs/1306.4263 ?
>
Let me rephrase that. It would be nice to have ore-
>
> 2.As to guessing holonomic recurrences there is the Ore algebra package.
> It would be nice to have a tutorial.
>
what's wrong with https://arxiv.org/abs/1306.4263 ?
Martin
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe fr
Did anybody ever compare the possibilities speed-wise?
The scope of these packages is quite different: ore_algebra is for the
holonomic and q-holonomic universe, the guessing facility in fricas is for
guessing only - but covers also polynomial recurrences and differential
equations (and their q
1. Sage can guess rational generating functions and provide formulae for
experimental math:
sage: C. = CFiniteSequences(QQ)
sage: C.guess([1,3,5,7,9,11,13])
C-finite sequence, generated by (x + 1)/(x^2 - 2*x + 1)
sage: _.closed_form()
2*n + 1
sage: C.guess([0,1,1,2,3,5,8,13,21]).closed_form()
1/5
> One of the (sets of) functions haven't yet found a suitable open source
alternative
> for is related to guessing formulas and generating functions for an input
sequence
> (as in Mathematica's FindSequenceFunction and FindGeneratingFunction).
I am amazed that no one has yet mentioned Gfun, the
On Saturday, November 19, 2016 at 8:23:10 PM UTC, Maxie Schmidt wrote:
>
> Thanks for all of the suggestions. I think I will start by getting all of
> Martin's package routines working under a single wrapper function and try
> to improve from there. I will definitely include options to search t
Am Samstag, 19. November 2016 21:23:10 UTC+1 schrieb Maxie Schmidt:
>
> Thanks for all of the suggestions. I think I will start by getting all of
> Martin's package routines working under a single wrapper function and try
> to improve from there.
>
I think that one question is how you want to r
Thanks for all of the suggestions. I think I will start by getting all of
Martin's package routines working under a single wrapper function and try
to improve from there. I will definitely include options to search the OEIS
database.
The only thing I'm a little concerned about if this would ev
On Sat, Nov 19, 2016 at 2:40 PM, Thierry
wrote:
> On Sat, Nov 19, 2016 at 02:31:42PM -0500, David Roe wrote:
> > Another thing that might be nice to tie in is the Online Encyclopedia of
> > Integer Sequences. Or at least include a link in the documentation,
> though
> > most people looking to gu
I forgot to add: once a diffeq for a generating function is found, the
package can also give you the 1783-th coefficient of the generating
function.
And, most importantly: the main thing to do to make it really useful for
sage, is to implement a better conversion from sage lists to fricas lists
out off the box, the FriCAS package can do the following (described in some
detail in https://arxiv.org/abs/math/0702086, the journal published a
shortened version):
1) Generating functions:
* rational (guessPade)
* algebraic (guessAlg)
* linear diffeq (guessHolo)
* polynomial diffeq (guessADE)
On Sat, Nov 19, 2016 at 02:31:42PM -0500, David Roe wrote:
> Another thing that might be nice to tie in is the Online Encyclopedia of
> Integer Sequences. Or at least include a link in the documentation, though
> most people looking to guess a sequence will already be aware of OEIS.
> David
Another thing that might be nice to tie in is the Online Encyclopedia of
Integer Sequences. Or at least include a link in the documentation, though
most people looking to guess a sequence will already be aware of OEIS.
David
On Sat, Nov 19, 2016 at 2:00 PM, Fredrik Johansson <
fredrik.johans...@g
On Saturday, November 19, 2016 at 4:56:42 PM UTC+1, Maxie Schmidt wrote:
>
> Hello,
>
> I have been working back and forth between Sage and Mathematica for a
> while now trying to learn how to use Sage to replace Mathematica's core
> functionality in my day to day use of it. One of the (sets o
Needless to say perhaps, but Maxima has some capabilities in this respect,
not sure how much of it is exposed in Sage.
E.g. ggf should be able to do rational generating functions:
http://maxima.sourceforge.net/docs/manual/maxima_60.html#Item_003a-ggf
And it does have things like Gosper and Zeilb
I'm aware that the FriCAS package can be called from within Sage / Python,
and I don't see any reason to rewrite what's already there, just extend
it's current recognition capabilities and put a nice friendly wrapper
function around all of these disparate routines. Something like
find_sequence_
I'd be interested in what output you'd like to have.
The hard part in the FriCAS package was to get decent speed, changing
output should be relatively straightforward.
(I guess that you are aware of the possibility of using the package from
within sage)
Martin
Am Samstag, 19. November 2016 16
19 matches
Mail list logo
