Hi Oscar, Thanks for the advice, I am looking to prompty begin condensing my proposal and making contributions to the SymPy codebase.
To eliminate some confusion, would you be able to explain how a solver for a linear system of inequalities would be integrated into the CAD algorithm, as from my understanding, we can input a linear system into the CAD and it would output cells from which we can easily determine the solution set of the system? Essentially this would be doing the same thing twice, or am I mistaken - could this solver be a prerequiasite check to see if the system has a solution before applying the CAD? Furthermore, can you reccommend which part of this project/idea would be suitable for my first contribution to SymPy, this will also be my patch requirement for GSoC, I was thinking maybe a data structure to hold the set of polynomial inequlaities but it would be great to hear your thoughts first? Also can you kindly explain a little more about what you meant by *assumptions system* in your previous reply? Thanks again Best Wishes Kai On Sunday, April 10, 2022 at 12:01:06 PM UTC+1 Oscar wrote: > On Sun, 10 Apr 2022 at 01:46, 'كاي' via sympy <[email protected]> > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/4385e126-efce-4a4b-97d8-87580de5f2b9n%40googlegroups.com.
