I'm not sure what the procedure of cylindrical algebraic decomposition is, and I'm likely not suited for the topic of quantification in complex algebras, polynomials, etc. But as far as quantifier elimination stands for boolean logic (ala http://en.wikipedia.org/wiki/Quantifier_elimination ), I can definitely put together the code for that.
Is it not too artificial to create an issue (that's not exactly a bug, but a feature request), and then resolve it in order to strengthen a SoC application? I definitely have a number of ideas for larger scale projects that may fit the SoC timeline nicely, but I'm coming up short for immediate issues as part of the application phase. Thanks for the reply and info. Cheers Christian On Tue, Mar 16, 2010 at 1:15 PM, Mateusz Paprocki <[email protected]> wrote: > Hi, > > On Tue, Mar 16, 2010 at 07:24:19AM -0700, Christian Muise wrote: > > Hello, > > I was interested in applying for SoC this year, and as such I went > > looking for issues to work on as part of the application process. > > However, my main interest is primarily in logic, ie. anything that > > goes under here: > > - http://tinyurl.com/ylxkjdy > > > > Issue 1545 is the only relevant looking one ( > > http://code.google.com/p/sympy/issues/detail?id=1545 ), but I don't > > want to step on the toes of Fabian or Ronan. Are there any other > > options, or issues that I'm missing? > > > > maybe you can consider working on quantifier elimination and cylindrical > algebraic decomposition, see > > http://reference.wolfram.com/mathematica/tutorial/Quantifiers.html > > (for example). Of course you're free to propose something else, which > matches your preferences more precisely. > > > Cheers > > > > -- > > You received this message because you are subscribed to the Google Groups > "sympy" group. > > To post to this group, send email to [email protected]. > > To unsubscribe from this group, send email to > [email protected] <sympy%[email protected]>. > > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > > > > -- > Mateusz > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
