This does look like a good start. I would run through the code of manualintegrate() on this integral and see what steps are missing. It looks like this integral makes use of a straightforward trig substitution which turns the integral into a rational integral. Rational integrals are easy to solve (the ratint() function can solve all of them).
Aaron Meurer On Wed, Jan 28, 2026 at 6:41 AM kaddy <[email protected]> wrote: > > Hello community, > > I am considering applying to GSoC 2026 to work under the sympy org. An idea > which I've taken an interest in and explored a bit is extending > manualintegrate. I have gone through the code and the run the test cases to > see where manualintegrate is used and I believe I have a decent idea of the > flow of control which leads to calls to manualintegrate. > > In particular, I noticed that solving issues like Issue 16396 which are > addressed in test_failing_integrals.py, which should be easy for a student to > calculate using change of variables and integration identities could be a > target for the project. An ambitious target could also be to be able to > compute the antiderivative analytically like it is done over here. I believe > they use a combination of manual identities and a complete implementation of > Risch algorithm, which is also something I would be interesting in going for > in case there are ideas around it. > > I have my dev environment set up and I have submitted 2 bug-fixing PRs to > sympy in the past. I don't have a college math background to be able to > understand stuff like Risch algorithm well, but I am open to learning. Due to > time constraints, I would prefer to take on a 90-hour project. > > I would appreciate guidance from the community on how best to proceed from > here. > > Thanks and regards, > ButteryPaws (on github). > > -- > 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 view this discussion visit > https://groups.google.com/d/msgid/sympy/829a739c-4828-40d5-aece-d5f041242f94n%40googlegroups.com. -- 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 view this discussion visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6JQ%2BrjH8QgOPZKDF4H7X%3DHdd2q1ymy0SW%2BN94SY6XcbGQ%40mail.gmail.com.
