Updates:
Status: Fixed
Comment #11 on issue 1879 by christian.muise: Satisfiable theory resulting
in False
http://code.google.com/p/sympy/issues/detail?id=1879
Marking as fixed.
--
You received this message because you are listed in the owner
or CC fields of this issue, or because yo
Comment #5 on issue 1884 by Vinzent.Steinberg: local assumptions
http://code.google.com/p/sympy/issues/detail?id=1884
The correct git url is
git://github.com/vks/sympy.git local_assump
sorry.
--
You received this message because you are listed in the owner
or CC fields of this issue, or b
Updates:
Labels: NeedsReview
Comment #6 on issue 1884 by Vinzent.Steinberg: local assumptions
http://code.google.com/p/sympy/issues/detail?id=1884
I finally managed to implement as wanted (import inspect is the key),
please review.
The next step is to replace the old system used for al
Comment #8 on issue 51 by mattpap: RootOf for polynomial equations
http://code.google.com/p/sympy/issues/detail?id=51
I made some progress with RootOf implementation. A few examples follow:
In [1]: f = cyclotomic_poly(20, x)
In [2]: RootOf(f, 0)
Out[2]:
⎛ 2468⎞
ζ₀⎝1 - x + x
Comment #7 on issue 1884 by mattpap: local assumptions
http://code.google.com/p/sympy/issues/detail?id=1884
need to improve the performance of ask() using caching for trivial queries
That's one thing. First we need to improve ask() itself, e.g. by removing
get_class()
from it, using mro att
Comment #62 on issue 966 by Vinzent.Steinberg: Can't simplify exp(2 * pi *
I * a) when a is integer
http://code.google.com/p/sympy/issues/detail?id=966
Sorry for the late reply. I updated your branch for current master (see my
github
account) and still get the same failure:
In [6]: _undet
Updates:
Summary: remove old assumptions
Comment #8 on issue 1884 by Vinzent.Steinberg: remove old assumptions
http://code.google.com/p/sympy/issues/detail?id=1884
(No comment was entered for this change.)
--
You received this message because you are listed in the owner
or CC fields of