Hi, On Wed, Nov 17, 2010 at 03:14:35PM -0800, Ondrej Certik wrote: > On Wed, Nov 17, 2010 at 3:12 PM, Mateusz Paprocki <matt...@gmail.com> wrote: > > Hi, > > > > On Wed, Nov 17, 2010 at 02:05:42PM -0800, Filip Dominec wrote: > >> Hi, I am trying to solve a inequality as is demonstrated at > >> http://code.google.com/p/sympy/issues/detail?id=1646#c22. Aaron's > >> output was > >> > >> In [3]: x = Symbol('x', real=True) > >> In [4]: e = Le(x**2, 2) > >> In [5]: solve(e, x) > >> Out[5]: > >> ⎡⎡ ⎽⎽⎽ ⎽⎽⎽⎤⎤ > >> ⎣⎣-╲╱ 2 , ╲╱ 2 ⎦⎦ > >> > >> However, I am not able to get this nice result nor with the 0.6.7 > >> version, nor with the today's git > >> version, nor with https://github.com/mattpap/sympy-polys/tree/polys11. > > > > This feature is implemented only in polys11 at this point. You should > > get the following output in complex and real cases: > > > > In [1]: solve(x**2 < 2, x) > > Out[1]: > > ⎽⎽⎽ ⎽⎽⎽ > > -╲╱ 2 < re(x) ∧ re(x) < ╲╱ 2 ∧ im(x) = 0 > > > > In [2]: solve([x**2 < 2, Assume(x, Q.real)], x) > > Out[2]: > > ⎽⎽⎽ ⎽⎽⎽ > > -╲╱ 2 < x ∧ x < ╲╱ 2 > > > >> Can you please point me to what I am doing wrong? > >> > >> The /usr/lib/pymodules/python2.6/sympy/solvers/solvers.pyc module > >> raises "ValueError: Could not parse expression x**2 <= 2" (at line > >> 334). > > > > This suggests that you are using the system wide version of sympy. > > To use the new feature you have to import sympy from the cloned git > > repository, e.g.: > > > > $ git clone https://matt...@github.com/mattpap/sympy-polys.git > > > ^^^ I guess without the "mattpap@" >
Right this was my private clone url. This should be preferably: $ git clone git://github.com/mattpap/sympy-polys.git (all urls are available from https://github.com/mattpap/sympy-polys). > Ondrej > > -- > 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