Having dug deeper, it appears that first order logic isn't even included in the current version of sympy. Is there some manner of generic (existential and universal) quantification in the sympy core that I'm missing?
Thanks. Cheers On Mar 16, 1:37 pm, Christian Muise <christian.mu...@gmail.com> wrote: > 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 (alahttp://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 <matt...@gmail.com> 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 sy...@googlegroups.com. > > > To unsubscribe from this group, send email to > > sympy+unsubscr...@googlegroups.com <sympy%2bunsubscr...@googlegroups.com>. > > > 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 sy...@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
