Re: factoring

2010-08-11 Thread smichr
On Aug 10, 1:23 am, Mateusz Paprocki matt...@gmail.com wrote: Hi, On Sat, Aug 07, 2010 at 04:57:18AM -0700, smichr wrote: I've asked about factoring before but am just jotting down some observations that I've made in the last few days. I was talking with Aaron the other day about a

Re: SAT Solver and Improvements to the Assumptions System

2010-08-11 Thread Christian Muise
Ok, so I went through the growing pains of figuring all this git stuff out, at we should be good to go with this branch: - http://github.com/haz/sympy/tree/soc-final-fixed http://github.com/haz/sympy/tree/soc-final-fixed The commits are linear, all tests should be running clean (regardless of

Re: SAT Solver and Improvements to the Assumptions System

2010-08-11 Thread Aaron S. Meurer
On Aug 11, 2010, at 2:28 PM, Christian Muise wrote: Ok, so I went through the growing pains of figuring all this git stuff out, at we should be good to go with this branch: - http://github.com/haz/sympy/tree/soc-final-fixed The commits are linear, all tests should be running clean

Re: SAT Solver and Improvements to the Assumptions System

2010-08-11 Thread Christian Muise
Cool. So the next step is to make this work: x = Symbol('x') assert ask(x, Q.integer) is None local_context = AssumptionsContext() local_context.add(Assume(x, Q.integer)) with local_context: assert ask(x, Q.integer) is True It doesn't really need any setup / tear-down...you mean

Re: SAT Solver and Improvements to the Assumptions System

2010-08-11 Thread Aaron S. Meurer
On Aug 11, 2010, at 2:47 PM, Christian Muise wrote: Cool. So the next step is to make this work: x = Symbol('x') assert ask(x, Q.integer) is None local_context = AssumptionsContext() local_context.add(Assume(x, Q.integer)) with local_context: assert ask(x, Q.integer) is True

Re: SAT Solver and Improvements to the Assumptions System

2010-08-11 Thread Christian Muise
Cool. So the next step is to make this work: x = Symbol('x') assert ask(x, Q.integer) is None local_context = AssumptionsContext() local_context.add(Assume(x, Q.integer)) with local_context: assert ask(x, Q.integer) is True It doesn't really need any setup / tear-down...you mean

hydrogen atom energies

2010-08-11 Thread Ondrej Certik
Hi, I started implementing the energies, for the hydrogen atom first: http://github.com/certik/sympy/commit/a9d53910dd2f0bfe9fe3a25614f3586faaadded0 no tests/doctests so far, but I have a question: what would be the best API for that? Just see that simple patch to get an idea about the

Re: hydrogen atom energies

2010-08-11 Thread Ondrej Certik
On Wed, Aug 11, 2010 at 3:33 PM, Ondrej Certik ond...@certik.cz wrote: Hi, I started implementing the energies, for the hydrogen atom first: http://github.com/certik/sympy/commit/a9d53910dd2f0bfe9fe3a25614f3586faaadded0 no tests/doctests so far, but I have a question: what would be the

Re: hydrogen atom energies

2010-08-11 Thread Ondrej Certik
On Wed, Aug 11, 2010 at 3:53 PM, Brian Granger elliso...@gmail.com wrote: On Wed, Aug 11, 2010 at 3:35 PM, Ondrej Certik ond...@certik.cz wrote: On Wed, Aug 11, 2010 at 3:33 PM, Ondrej Certik ond...@certik.cz wrote: Hi, I started implementing the energies, for the hydrogen atom first:

Re: factoring

2010-08-11 Thread smichr
On Aug 11, 12:01 pm, smichr smi...@gmail.com wrote: On Aug 10, 1:23 am, Mateusz Paprocki matt...@gmail.com wrote: This factoring business is so easy to get wrong. The routine at gist handles pure symbolic factors well (at least the current version I have here) but it fails for stragglers: a +