I would reiterate that it's good to start to submit code (start a pull
request) early, even before you have a working prototype, so that you can
get feedback as early as possible. This is good for any project, but doubly
so for a difficult project. Not getting feedback as early as possible would
be setting yourself up for failure.
On Tue, Sep 20, 2016 at 3:25 AM, 'Reinhard Oldenburg' via sympy <
> Hi all,
> having quantifier elimination in sympy would be great. However, some
> - 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,
> 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.
> 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 email@example.com.
> Visit this group at https://groups.google.com/group/sympy.
> To view this discussion on the web visit https://groups.google.com/d/
> For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to firstname.lastname@example.org.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit
For more options, visit https://groups.google.com/d/optout.