Hello SymPy developers, I am interested in contributing to SymPy by implementing a power series domain, specifically formal power series rings (e.g., QQ[[x]]). Currently, the ring_series module provides low-level operations, but there is no dedicated domain representation for power series. Integrating this with SymPy’s domain system—similar to how python-flint handles fmpq_series—could significantly enhance symbolic series computations.
There is an ongoing discussion on this topic in gh-26957 <https://github.com/sympy/sympy/issues/26957>, which provides a strong starting point for this project. The discussion outlines key considerations and potential approaches, making it a well-structured project to work on. I had previously written a proposal for improving PDE-solving functionality in SymPy. Which of these two would better fit SymPy’s roadmap and priorities? I would also appreciate any further guidance on design choices, integration challenges, or other considerations not covered in the discussion. Thank you for your time and consideration. I look forward to your response. Jatin Bhardwaj -- 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/64cffffd-25f9-4244-a7eb-c8b082d52977n%40googlegroups.com.
