GSOC Project

[Jigar Mistry]

Hello i am jigar mistry. I want to implement following module during gsoc

Concrete module: Implement Karr algorithm, a decision procedure for symbolic summation

can anybody help me how can i start?

[someone]

Hi,

> can anybody help me how can i start?

Read the literature on the Karr Algorithm. There is not so much.

You can start with the two original papers by M. Karr.
Burcin Erocal's thesis contains also a good introduction.

Get familiar with the core ideas on difference algebra.


Ping me in irc for more information. There is also a mail thread
on this list from a previous gsoc. (I think 2 years ago.)


And do not underestimate this topic, it is *really* difficult
and needs very advanced algebra not covered by the usual courses.

[Jigar Mistry]

ok if this is difficult no problem

i will try my best to do

but can you give me some reference to this?

[someone]

Hi,

> but can you give me some reference to this?

I think I pointed you to some references in the last mail.
Titles of some more or less important literature on the topic:

Summation in Finite Terms
Theory of Summation in Finite Terms
Algebraic Extensions for Summation in Finite Terms
A Refined Difference Field Theory for Symbolic Summation
An Implementation of Karr's Summation Algorithm in Mathematica
Product Representations in ΠΣ-Fields
Simplifying Sums in ΠΣ-Extensions
Solving Parameterized Linear Difference Equations in ΠΣ-Fields
Symbolic Summation with Single-Nested Sum Extensions
Structural theorems for symbolic summation
Symbolic Summation in Difference Fields
The Summation Package Sigma: Underlying Principles and a Rhombus Tiling Application


Just search for these articles, you should be able to find most
of them online.

[Jigar Mistry]

ok will read that all.

and try to understand the concept of karr algorithm.

thanks

On Monday, 3 March 2014 21:38:23 UTC+5:30, Jigar Mistry wrote:

[someone]

Hi,

> ok will read that all.

Reading it *all* could easily take months. I'd start with
Erocal's thesis, chapter two I think is sufficient. This
gives a basic overview on what to expect. After that I'd
read the original papers by Karr. And then see what I need
to get further insight also on the implementation side.

> and try to understand the concept of karr algorithm.
> thanks

The concept is easy, the details are nasty ...

[Jigar Mistry]

so you say what i have to do for this?

i read that second chapter

actually we have to make one module for karr algorithm or we have to use exciting module?

On Monday, 3 March 2014 21:38:23 UTC+5:30, Jigar Mistry wrote:

[someone]

Hi,

> actually we have to make one module for karr algorithm or we have to
> use exciting module?

The code shown in that thesis is build upon but not part of Sage[1].
The idea is to build a new module from scratch.


[1]: http://www.sagemath.org/

[Jigar Mistry]

ok

understood

and i would like to chat with you for discussion over this?

can you give me your gtalk contact details?

and i had search for this.

and is there any need to solve bugs of sympy?

because we gonna implement new module

and i know coding of sympy of most of modules

please reply on that...:)

[Jigar Mistry]

have look at this pdf file

its contain information about what we want to implement for sympy...

thanks

[Jigar Mistry]

[someone]

Hi,

> have look at this pdf file
> its contain information about what we want to implement for sympy...

Correct. This is the presentation related to the thesis.

If after gsoc we can run these examples within sympy
this will be a big success.

[someone]

Hi,

> and i would like to chat with you for discussion over this?
> can you give me your gtalk contact details?

I don't use gtalk at all. Ping me on irc whenever
you like. (I might not respond, in that case I'm online
but afk.)

> and is there any need to solve bugs of sympy?

There is the usual patch requirement for gsoc.
Fix any sympy bug and get the fix merged before
gsoc. There are also bugs related to summation,
just search the issue tracker.

[Jigar Mistry]

ya i want to get that big success..:)

just need your guidance in this project

[Jigar Mistry]

ok will solve bugs.

and can you guide me in proposal?

[someone]

Hi,

> ok will solve bugs.
> and can you guide me in proposal?

Go the the issue tracker, search for bugs related to
summation (if you like) and look maybe for the label
"easy to fix". Then propose a few and let us know which
ones you try to work on.

About the proposal: see what is implemented by looking
at sympy doc and code, then see what is missing and hence
what you need to implement to get the thing working.

[Jigar Mistry]

good one

when i have to submit proposal to sympy?

is there any time limit?

Thank you very much for your support :)

[Jigar Mistry]

Is there any mentor for this project?

need help!