Hi Samuel,
thank you for all the links!
Best regards,
Simon
On 2018-12-07, slelievre <samuel.lelie...@gmail.com> wrote:
> Fri 2018-12-07 13:56:34 UTC+1, Simon King:
>
>> Let x_0 be given, let f be a function defining a sequence (x_0,x_1,...)
>> recursively by x_{n+1}=f(x_n).
>>
>> Is there a tool in Sage that can (at least in sufficiently simple cases)
>> deduce a closed formula for x_n? I tried search_def('recurs'), but it
>> revealed nothing I could recognise.
>
> There's competition between the words "recursion" and "recurrence",
> you might have had more luck with "recurr".
>
> This should be possible using either SymPy, or FriCAS,
> or the optional "Ore algebra" package:
>
> http://www.kauers.de/software.html
> https://github.com/mkauers/ore_algebra/
>
> Some related discussions can be found through the following queries:
>
> -
> https://groups.google.com/forum/#!searchin/sage-devel/ore_algebra%7Csort:date
> -
> https://groups.google.com/forum/#!searchin/sage-support/ore_algebra%7Csort:date
> -
> https://ask.sagemath.org/questions/scope:all/sort:activity-desc/page:1/query:ore_algebra/
> - https://trac.sagemath.org/query?order=id&desc=1&summary=~ore_a
>
> To highlight some relevant results from sage-devel and sage-support:
>
> - sage-devel, 2016-11
> Recurrences and Sequence Formula Guessing Functions in Sage
> https://groups.google.com/d/topic/sage-devel/FfJrjaSdkF8/discussion
>
> - sage-support, 2014-09
> Formula for simple recursive sequences
> https://groups.google.com/d/topic/sage-support/tTqX2BCzjgY/discussion
>
> - sage-devel, 2014-01
> class LinearRecurrence
> https://groups.google.com/d/topic/sage-devel/PTx12wrVG0c/discussion
>
> - sage-devel, 2013-06
> New ore_algebra Sage package is available
> https://groups.google.com/d/topic/sage-devel/S7Wv67C6DvE/discussion
>
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
