Hello,
I'd like to formally request that this branch be merged into the
SymPy trunk:
- http://github.com/haz/sympy/tree/soc-final
It contains a new SAT solver, and improvements to the assumptions
system (specifically in the ask function). Info on the work done in
this branch has been
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 routine and suggested he should use
factoring. He says, that's gong to
Hi,
here is a project idea. I would really use an online app, that would
work like this:
http://gist.github.com/
* you don't need a login to post a gist
* you post it, it gets public, it even has it's own git repository,
automatic syntax highlighting, and so on
Here is an example:
I like it.
One idea is that anyone should be able to edit the post very easily, and it
will automatically create a fork, which would be easy to see from the original
(something like http://github.com/asmeurer/sympy/network). Making it a git
repository like gists would make this really easy to
On Mon, Aug 9, 2010 at 1:34 PM, Aaron S. Meurer asmeu...@gmail.com wrote:
I like it.
One idea is that anyone should be able to edit the post very easily, and it
will automatically create a fork, which would be easy to see from the
original (something like