Hi all, having quantifier elimination in sympy would be great. However, some thoughts: - This is a non-trivial piece of software, I hope your advisor knows that. - Performance is a key issue. QEPCAD is written in C and still much to slow for many easy problems. Why don't you look at RegularChains as implemented in Maple? There is a quantifier elimination on top of this (C. Chen and M. Moreno Maza. Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains. In Proc. ISSAC 2014, pages 91–98, 2014.) So, good luck - I'd be happy if something useful comes out of this because QE is from my point of view (math education) one of the most interesting features a computer algebra system can have but up to now, Mathematica is the only system that can be used - and it is far too expensive for wide use in education. Reinhard
-- 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 post to this group, send email to sympy@googlegroups.com. 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/d0280170-803e-48a5-b262-b2ac3a0a4760%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.