On Sun, 10 Apr 2022 at 01:46, 'كاي' via sympy <sympy@googlegroups.com> wrote: > > I would be interested in implementing the cylindrical algebraic decomposition > algorithm in SymPy over the course of this program, and I am currently > writing my proposal for doing so.
I think implementing CAD itself is way too much for a single project. The preliminary work needed before someone can even begin to implement this would probably make multiple projects. If you break that down then it should be possible to propose something that is achievable. SymPy does not currently have solvers for linear systems of inequalities over the reals or integers. Implementing those along with making use of them as part of other solvers or the assumptions system is plenty enough work for a single project. -- Oscar -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAHVvXxT68uwhrdWuG_phf0F0Avr6FL7UHd7%3DhKuJN_-PDKL0Dg%40mail.gmail.com.
