Issue 2014 in sympy: sympy.solvers.solvers.solve should also allow frozenset to hold equations

2010-08-10 Thread sympy
Status: New Owner: Labels: Type-Defect Priority-Medium New issue 2014 by torstenm...@googlemail.com: sympy.solvers.solvers.solve should also allow frozenset to hold equations http://code.google.com/p/sympy/issues/detail?id=2014 Currently only tuple, list and set seem to be allowed.

Re: Issue 2014 in sympy: sympy.solvers.solvers.solve should also allow frozenset to hold equations

2010-08-10 Thread sympy
Comment #1 on issue 2014 by jensen.oyvind: sympy.solvers.solvers.solve should also allow frozenset to hold equations http://code.google.com/p/sympy/issues/detail?id=2014 sympy.core.Tuple would also be very useful. Then one could do eqs = Tuple(x + y, x - 3) eqs.subs(x, z) Tuple(z + y, z

Re: Issue 2014 in sympy: sympy.solvers.solvers.solve should also allow frozenset to hold equations

2010-08-10 Thread sympy
Updates: Status: Accepted Labels: Solvers Comment #2 on issue 2014 by asmeurer: sympy.solvers.solvers.solve should also allow frozenset to hold equations http://code.google.com/p/sympy/issues/detail?id=2014 Tuple should be a different issue. So solve() (and really, any sympy

Re: Issue 1545 in sympy: Efficient data representation in logic.satisfiable()

2010-08-10 Thread sympy
Comment #19 on issue 1545 by christian.muise: Efficient data representation in logic.satisfiable() http://code.google.com/p/sympy/issues/detail?id=1545 The current SAT solver uses the more efficient representation, and so does the proposed new sat solver at this branch: -

Re: Issue 1694 in sympy: solve has many issues with fractions

2010-08-10 Thread sympy
Comment #116 on issue 1694 by asmeurer: solve has many issues with fractions http://code.google.com/p/sympy/issues/detail?id=1694 May I modify the test to allow f(x) == pi*I*x + log(log(C1*x)**(-x)) as a solution ? As long as the solution is still correct, I think it should be fine. The

Re: SAT Solver and Improvements to the Assumptions System

2010-08-10 Thread Ronan Lamy
Le lundi 09 août 2010 à 13:15 -0700, Christian Muise a écrit : Hello, I'd like to formally request that this branch be merged into the SymPy trunk: - http://github.com/haz/sympy/tree/soc-final That's quite a big chunk to review! Globally, this looks good, but I don't have time to review it

Re: SAT Solver and Improvements to the Assumptions System

2010-08-10 Thread Ronan Lamy
Le mardi 10 août 2010 à 14:07 -0400, Christian Muise a écrit : I really don't think that static compilation to Python code is a good idea. It prevents any extension to the system and makes it very hard to maintain. It would be much more useful to

Re: SAT Solver and Improvements to the Assumptions System

2010-08-10 Thread Aaron S. Meurer
On Aug 10, 2010, at 1:06 PM, Ronan Lamy wrote: Le mardi 10 août 2010 à 14:07 -0400, Christian Muise a écrit : I really don't think that static compilation to Python code is a good idea. It prevents any extension to the system and makes it very hard to maintain.

Re: [sympy] github's gist for sympy

2010-08-10 Thread James Pearson
On Mon, Aug 9, 2010 at 1:07 PM, Ondrej Certik ond...@certik.cz wrote: and instead of a plain text / Python source code, it would be an interactive sympy session. The online version would show the results. So it would be similar to a public notebook, like this: