Sympy: Risch algorithm

[Jia En Toh]

Hi. I'm Jia En. I'm a BSc (Maths) graduate who is interested in algebra (covered group theory, field extensions, Galois theory, some algebraic topology, algebraic number theory). I've touched on these topics while studying. My goal is to improve my programming skills (can code in Python but never integrated code into a big project that was not an assignment). 

I've read through the thread started by Anurag Sharma and understand that there is a great deal of technical knowledge that needs to be understood before coding can even begin. I noticed that there were three people since Anurag made the post who asked about continuing the project. Could I know why no one worked on it? Is it too difficult? 

If I don't get selected for GSOC 2026 (since it's pretty late to get started) it's fine. I would like to work on it anyway, if Aaron or another person is willing to guide me. 

Regards

Jia En

[Aaron Meurer]

I wouldn't say it's too late to get started. We haven't even submitted
our application to Google yet to be part of the program (the
applications open next week). Getting involved in January is pretty
early in my experience.

As far as getting up to speed on the background, I would start by
looking at the polys module and understanding how it works at a high
level (i.e., representing polynomials over different rings). There's
also a ton of issues there that you could look at working on.
Everything in the Risch implementation is based on top of this module.

The Risch algorithm implementation in SymPy is mostly based on
Bronstein's book. The first chapters of those books go over the
mathematical basics. If you can build a high level understanding of
how the rational function integration algorithm works (in ratint.py),
that is a good start.

Aaron Meurer

>
> Regards
> Jia En
>
> --
> 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+un...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/sympy/277a3c49-b7a0-4c7b-984f-5dc88a5b175bn%40googlegroups.com.