On Sun, Apr 10, 2022 at 9:40 AM 'كاي' via sympy <[email protected]> wrote: > > 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?
Your first contribution doesn't have to be directly related to your project. Usually for the first PR I recommend just finding an issue that you think you can fix, even if it is in a part of SymPy that is unrelated to your project. Knowing how to contribute to an unrelated part of SymPy will still teach you important thing like how to make a PR, how to use git, how to respond to requests from reviews, the basic layout of code style of the SymPy codebase, and so on. Aaron Meurer > > 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. -- 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/CAKgW%3D6%2Bu1-8efLPLgytCTj34y5-zE890g3AnudWL5wmLTHrVJA%40mail.gmail.com.
