Hi, I have occasionally commented on CAD on this list. If I recall correctly, this thread https://groups.google.com/forum/#!topic/sympy/p-PcoCJMiN0 was the last one, and there are probably links to older threads. One of the problems of implementing CAD in SymPy is that the theory of real algebraic numbers has not been developed. The implementation should be capable of finding the real roots of a polynomial with real algebraic coefficients and ordering them properly. I would start by investigating that subject.
Kalevi Suominen On Thursday, March 2, 2017 at 11:29:24 AM UTC+2, Arif Ahmed wrote: > > Hello, > > My name is Arif Ahmed, currently a 2nd year student of Mathematics and > Computer Science at BITS Pilani Goa Campus(India). I have completed > mathematics courses such as Basic Algebra, Discrete Mathematics, Real > Analysis, Optimization,etc . I have been contributing to Sympy for a few > months and have addressed some issues( > https://github.com/sympy/sympy/pulls/ArifAhmed1995). > > I went through the various posts on this group regarding CAD and found > that it was a project idea for GSoC 2012 - 2016. Quite a few proposals had > been submitted , but unfortunately nothing was implemented. > > Implementation of First Order Logic is a requirement for CAD > implementation and was almost completed in > https://github.com/sympy/sympy/pull/7608 . > > I wonder if there's a confirmed mentor for CAD this year. It seems to be > an important enhancement for Sympy( > https://mattpap.github.io/masters-thesis/html/src/conclusions.html#cylindrical-algebraic-decomposition). > > > Please do reply to this thread if you are willing to mentor. I would love > to discuss an implementation plan and begin drafting a proposal for the > same. > > Regards ---- > Arif Ahmed > -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/da8900cc-9059-4f50-8bf0-fee396b409cb%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
