On Saturday, March 7, 2015 at 10:57:32 PM UTC+5:30, rl 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. >
Yeah. It was very much unreadable for me in the later portions. > > 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.) > > You suggested this one and the carsten's thesis on an old thread from there I picked these ones. I didn't look at Algebraic extensions as such. There seems to be a lot of issues in implementing just the transcendental ones. I think Erocal's implementation uses a lot of Sage's Field module which is currently non-existent in sympy afaik. So I have to see how of it do I need for this project. > > 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. > I am currently struggling to see how do I start the implementation and what are the things I need to implement before it. Can you tell me what will be the high level approach to this project? So, for now I'll read this thoroughly and get a better understanding. > 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 [email protected]. To post to this group, send email to [email protected]. 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/f63b14b2-4bd9-475d-827c-3ee8369f35c6%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
