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 eventually get bundled in Sage is getting the FriCAS source for the first package installed. My Debian box doesn't have FriCAS or Axiom bundled with my from source Sage install, and I remember a while back having multiple issues getting FriCAS installed on a Gentoo machine. Maxie On Saturday, November 19, 2016 at 1:50:32 PM UTC-6, David Roe wrote: > > > > On Sat, Nov 19, 2016 at 2:40 PM, Thierry <sage-goo...@lma.metelu.net > <javascript:>> 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 guess a sequence will already be aware of OEIS. >> > David >> >> >> sage: oeis? > > > I just meant, in whatever functions Maxie is planning on writing, either > use oeis as (part of) one of the guessing regimes, or at least include a > link to Sage's oeis function in the docstring. > David > > >> >> >> > On Sat, Nov 19, 2016 at 2:00 PM, Fredrik Johansson < >> > fredrik....@gmail.com <javascript:>> wrote: >> > >> > > >> > > >> > > 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 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). >> Related >> > >> functions are Mathematica's RSolve (https://reference.wolfram.com >> > >> /language/ref/RSolve.html?q=RSolve) used to solve recurrence >> relations >> > >> in closed-form formulas, and the closed-source RISC Sigma package ( >> > >> >> https://www.risc.jku.at/research/combinat/risc/software/Sigma/index.php) >> > >> which is able to generate recurrences for many sums and simplify sums >> > >> involving harmonic numbers. >> > >> >> > >> The closest open source alternative I have come across so far is >> Rubey's >> > >> software written in FriCAS described at >> http://axiom-wiki.newsynthesis >> > >> .org/GuessingFormulasForSequences. However, looking at the source >> code >> > >> for the package leaves quite a bit of work to do to reproduce the >> output of >> > >> the Mathematica functions mentioned above. Is there a better open >> source >> > >> alternative to the Mathematica functions FindSequenceFunction and >> RSolve >> > >> that I'm missing in Sage? >> > >> >> > >> If there isn't a good complete replacement for using Mathematica's >> > >> routines for sequence formula guessing and solving recurrences, I'm >> > >> interested in trying to write functions / packages that will replace >> > >> Mathematica for these tasks. I have already done some work in Sage >> related >> > >> to guessing formulas for special polynomial sequences in my Master's >> thesis >> > >> at UIUC posted at https://arxiv.org/abs/1609.07301. Any suggestions >> or >> > >> links to related open source software are appreciated. >> > >> >> > >> >> > > Open source alternatives to Mathematica would be most welcome. >> > > >> > > The ore_algebra package allows guessing holonomic sequences ( >> > > http://www.risc.jku.at/research/combinat/software/ >> > > ore_algebra/doc/guessing.html) but there is nothing in Sage for closed >> > > forms, Stirling-type sequences or multi-sums as far as I know. >> > > >> > > Fredrik >> > > >> > > -- >> > > You received this message because you are subscribed to the Google >> Groups >> > > "sage-devel" group. >> > > To unsubscribe from this group and stop receiving emails from it, >> send an >> > > email to sage-devel+...@googlegroups.com <javascript:>. >> > > To post to this group, send email to sage-...@googlegroups.com >> <javascript:>. >> > > Visit this group at https://groups.google.com/group/sage-devel. >> > > For more options, visit https://groups.google.com/d/optout. >> > > >> > >> > -- >> > You received this message because you are subscribed to the Google >> Groups "sage-devel" group. >> > To unsubscribe from this group and stop receiving emails from it, send >> an email to sage-devel+...@googlegroups.com <javascript:>. >> > To post to this group, send email to sage-...@googlegroups.com >> <javascript:>. >> > Visit this group at https://groups.google.com/group/sage-devel. >> > For more options, visit https://groups.google.com/d/optout. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-devel+...@googlegroups.com <javascript:>. >> To post to this group, send email to sage-...@googlegroups.com >> <javascript:>. >> Visit this group at https://groups.google.com/group/sage-devel. >> For more options, visit https://groups.google.com/d/optout. >> > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
