Updates:
Status: Fixed
Labels: -NeedsReview -Milestone-Release0.7.0
Comment #40 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Those are now issue 2364 and issue 2365, respectively. Closing this one…
--
You received this
Comment #39 on issue 1646 by matt...@gmail.com: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
The state of art in master is as follows:
1. SymPy has support for solving inequalities and systems of inequalities
involving univariate polynomials and absolute values
Comment #38 on issue 1646 by matt...@gmail.com: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Is there a way to make solve return an Interval rather than an And of
inequalities.
Currently not, but adding support for returning intervals should be trivial
(note
Comment #32 on issue 1646 by mattpap: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
In e1becad2d38088231fbc7f690a4d66f7c71b09b9 in polys11 I added support for
solving inequalities with absolute values (arbitrarily nested), e.g.:
In [1]: solve([abs(x - 5) 3,
Comment #33 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Nice, although it isn't clear that you need to add the Assume to make it
work. I guess the solve() docstring needs to be updated.
Also, this is probably a problem with ask, but
Comment #34 on issue 1646 by mattpap: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
This is not a problem with ask. I simply use new assumptions, so obviously
Symbol('x', real=True) won't work.
--
You received this message because you are subscribed to the Google
Updates:
Labels: mattpap
Comment #31 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
(No comment was entered for this change.)
--
You received this message because you are subscribed to the Google Groups
sympy-issues group.
To post
Comment #30 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Somebody should jump on that thread. Nobody seems to have thought of the
kind of use case we are envisioning. Also, I don't know if they know about
that old thread I linked to.
Comment #29 on issue 1646 by ronan.l...@gmail.com: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
There's recently been another discussion of this in python-ideas:
http://mail.python.org/pipermail/python-ideas/2010-July/007733.html
--
You received this message
Comment #27 on issue 1646 by mattpap: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
btw. Can anyone tell me why this happens:
In [3]: class X(object):
...: def __contains__(self, other):
...: return other
...:
...:
In [4]: 'a' in X()
Out[4]:
Comment #28 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
It seems that it isn't possible for __contains__ to return anything other
than a bool right now. See
Updates:
Labels: Milestone-Release0.7.0
Comment #24 on issue 1646 by mattpap: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
As long as we work with relational representation, then solving
inequalities with complex symbols in not a big deal. I added such
Comment #25 on issue 1646 by christian.muise: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
The work on assumptions is currently under way. The new assumption system
is drastically sped up as part of my summer of code, and will hopefully be
included in the trunk
Comment #26 on issue 1646 by mattpap: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
That's good. It's unfortunate but currently we underutilize assumptions in
SymPy (for known reasons). Anyway, in solve() I would like to have
additional syntax, e.g.:
Updates:
Labels: Polynomial NeedsReview
Comment #21 on issue 1646 by mattpap: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
btw. solving of inequalities was added in 256bfe on polys10 (related issue
7).
--
You received this message because you are
Comment #22 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
I get this in polys9:
In [1]: e = Le(x**2, 2)
In [2]: solve(e, x)
---
ValueError
Comment #23 on issue 1646 by mattpap: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Well, maybe we should finally make symbols real, because we anyway assume
this in many other places without actually checking things.
--
You received this message because you are
Updates:
Cc: -ondrej.certik
Comment #20 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Yes, I forgot about our coverage requirements, as they are fairly new.
Once we get 100% coverage, we should
have ./setup.py test run that
Comment #15 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Yeah, I noticed that you had the same name for test_interval.py as another
existing test. sets.py is a better name,
as there already is a lot more in there than just intervals.
Comment #16 on issue 1646 by jorn.baayen: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Hmm, this coverage tool is great! I've added tests to cover all code, as
well as
explicit tests for the bits you mention.
--
You received this message because you are listed in
Comment #17 on issue 1646 by ondrej.certik: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Hi Jorn!
the patches look very good to me, well documented, all tests pass. One last
thing,
please make sure the doctest coverage tool reports 100% for the
Comment #18 on issue 1646 by jorn.baayen: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Thanks for taking a look. :-)
I've added doctests to the documented methods where they were missing. The
remaining
undocumented methods were actually 'overrides' of 'abstract'
Comment #19 on issue 1646 by ondrej.certik: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Thanks! I pushed the patches in. The original issue is still there, so I'll
leave it
open:
In [1]: e=Le(x**2,2)
In [2]: solve(e,x)
Comment #14 on issue 1646 by jorn.baayen: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Oops, fixed. I've also corrected the doctests in the meanwhile, and taken
the liberty
to rename 'interval.py' to 'sets.py' for clarity.
--
You received this message because you
Comment #8 on issue 1646 by jorn.baayen: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Okay, I've fixed the issues you mention, added tests and documentation and
uploaded
everything at http://github.com/jbaayen/sympy/tree/interval.
--
You received this message
Comment #12 on issue 1646 by jorn.baayen: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Okay I can implement evalf() using the following simple 'trick' (on the
Interval class):
+def _eval_evalf(self, prec):
+return mpi(self.start.evalf(prec),
Comment #7 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Wow. This is shaping up nicely. Here are some things I found:
This test fails:
sympy/printing/tests/test_str.py:test_Interval
File
Comment #3 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
Well, it looks better that what already exists. There are some things
though. For starters, I found this bug:
In [13]: a = Interval(3, 4)
In [14]: b = Interval(1, 2)
In [15]:
Comment #1 on issue 1646 by asmeurer: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
We will be glad to help you. Just ask on the list or on IRC.
Were you thinking of using the Interval class? I think we first will need
to expand the it first to work with open
29 matches
Mail list logo
