Wasn't there an implementation in Maple? Is it online? Aaron Meurer
On Sat, Mar 7, 2015 at 11:27 AM, someone <someb...@bluewin.ch> wrote: > Hi, > > >> I want to implement Karr Algorithm for GSoC 2015. I have read the >> Karr's original paper > > This is just for Background and basic definition. > It is not complete enough for a modern implementation. > >> and Brucin Erocal's thesis >> <http://www.sagemath.org/files/thesis/erocal-thesis-2011.pdf> > > He has a very good itroduction to the topic. > However, his focus was algebraic extensions > of the difference fields. For an implementation > I would go after transcendental ones first. > Algebraic extensions are always most difficult. > (Compare also to Risch integration.) > >> I found Karr's original paper is a little hard to read >> from So I am currently reading Carsten Schneider Thesis >> <file:///home/vramana/Downloads/SymbSumTHESIS.pdf> . > > Perfect. But this assumes the same algebraic setting > of difference algebra. > >> Erocal Thesis mentions of an existing implementation of Karr >> algorithm using Sage. But I couldn't find it anywhere. > > The Code was never merged into Sage and is not online. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/54fb3501.cb5ab40a.03bf.ffffe7eaSMTPIN_ADDED_BROKEN%40gmr-mx.google.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6JnRbQgP6gdeKvJbinCfev2JX-RhswxJP%2BKgTNzSUhZJg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.