Hi, On Wed, Mar 17, 2010 at 08:25:15AM -0700, Christian Muise wrote: > 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? >
there is no currently, so it might be one of your objectives to implement them. > 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. > -- Mateusz
signature.asc
Description: This is a digitally signed message part