Status: New
Owner:
Labels: Type-Defect Priority-Medium
New issue 1880 by notmyadd...@teewars.org: Matrix(...).det() takes forever
http://code.google.com/p/sympy/issues/detail?id=1880
I just checked out current master branch and test this:
E = Symbol('E')
J = Symbol('J')
F = Symbol('F')
Status: New
Owner:
Labels: Type-Defect Priority-Medium
New issue 1881 by notmyadd...@teewars.org: solve - OverflowError: mpz too
large for int
http://code.google.com/p/sympy/issues/detail?id=1881
related Issue 1880 I took the result form current release and try to solve
it with current
Updates:
Status: Fixed
Labels: -NeedsReview
Comment #4 on issue 1878 by Vinzent.Steinberg: For non-commutative symbols
all comparisons evaluate to False
http://code.google.com/p/sympy/issues/detail?id=1878
(No comment was entered for this change.)
--
You received this
Updates:
Status: Accepted
Cc: mattpap
Labels: Polynomial
Comment #1 on issue 1881 by Vinzent.Steinberg: solve - OverflowError: mpz
too large for int
http://code.google.com/p/sympy/issues/detail?id=1881
Confirmed, this does not finish within some minutes on my
Comment #6 on issue 1879 by Vinzent.Steinberg: Satisfiable theory resulting
in False
http://code.google.com/p/sympy/issues/detail?id=1879
Looks fine and works, +1.
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
Comment #7 on issue 1879 by ronan.l...@gmail.com: Satisfiable theory
resulting in False
http://code.google.com/p/sympy/issues/detail?id=1879
Well spotted! However, I'm not sure your change to dpll is useful: the real
problem
seems to be a bug in unit_propagate where clauses consisting
Comment #5 on issue 1878 by ronan.l...@gmail.com: For non-commutative
symbols all comparisons evaluate to False
http://code.google.com/p/sympy/issues/detail?id=1878
Before I forget, I should point out that this is just a workaround: the
underlying
issue that (a-b).is_negative - False is
Comment #14 on issue 1545 by ronan.l...@gmail.com: Efficient data
representation in logic.satisfiable()
http://code.google.com/p/sympy/issues/detail?id=1545
This should be 'raise ValueError(...). I know, your patch does not
introduce this,
but I just spotted it. :)
I'll change it.
Would
Comment #8 on issue 1879 by christian.muise: Satisfiable theory resulting
in False
http://code.google.com/p/sympy/issues/detail?id=1879
The use of clauses rather than unknown clauses is definitely a bug. The
test case I
put in (f5) may pass in the 1545 branch, but I'm sure there's some
Comment #9 on issue 1879 by ronan.l...@gmail.com: Satisfiable theory
resulting in False
http://code.google.com/p/sympy/issues/detail?id=1879
I guess you're probably right (since I can't prove you're wrong). But this
is related
to a bigger issue: there shouldn't be any known True clauses
I think he meant to put commutative=False, not noncommutative=True.
Exactly, I put up another branch fix__lt__2, where this is fixed.
It's weird that Symbol will let you create nonexistent assumptions
on it:
But that can be quite useful:
In [4]: r = Symbol('r',something=True)
In [5]:
2010/3/29 Øyvind Jensen jensen.oyv...@gmail.com:
I think he meant to put commutative=False, not noncommutative=True.
Exactly, I put up another branch fix__lt__2, where this is fixed.
Thanks! I'm +1 for this one. I have only a few minor stylistic remarks:
+assert (ab) == Lt(a,b)
+
There was a critical bug in the DPLL procedure for sat theories that
didn't contain any unit clauses or pure literals.
- git://github.com/haz/sympy.git
- Branch: sat-bug
--
You received this message because you are subscribed to the Google Groups
sympy-patches group.
To post to this group,
Toon Verstraelen toon.verstrae...@ugent.be Mar 28 11:54PM +0200 ^
Vinzent Steinberg wrote:
docs, see for example [1].
Vinzent
[1]
http://mpmath.googlecode.com/svn/trunk/doc/build/calculus/optimization.html
Oh, that is indeed working. The mpmath documentation within sympy is not
like
On Mar 28, 11:54 pm, Toon Verstraelen toon.verstrae...@ugent.be
wrote:
Vinzent Steinberg wrote:
On Mar 27, 7:00 pm, Toon Verstraelen toon.verstrae...@ugent.be
wrote:
OK, thanks. I'll do that. (Apparently the docstrings of the mpmath
functions are not visible in the html generated by
Hallo,
I trying to solve a generalized eigenvalue problem with two matrices
= 8x8.
A*x = lambda*B*x where A and B are symmetric matrices
Sympy only take one matrix for method eigenvals. So what I have tried
by now is
B^-1 *A*x = lambda*x
but inverting B is much to heavy. In maple inverting B
Øyvind,
I discovered a bug in the canonical ordering of the commutator. It
actually never happened due to a bug in Basic.__gt__ for
noncommutative symbols. These issues are fixed in my branch
'fix__lt__3' on github, and I also pushed my own copy of your quantum
branch and commited a fix
Le dimanche 28 mars 2010 à 22:59 -0600, Aaron S. Meurer a écrit :
The None is essentially inert substitution, so maybe it should work like
Integral(f(x), x)(y).
I'd like to get the same syntax working for f(x).diff(x)(y) to mean f'(y)
(the derivative of f
evaluated at y) as per issue
On Mon, Mar 29, 2010 at 3:34 AM, notmyaddr...@teewars.org
notmyaddr...@teewars.org wrote:
Hallo,
I trying to solve a generalized eigenvalue problem with two matrices
= 8x8.
A*x = lambda*B*x where A and B are symmetric matrices
Sympy only take one matrix for method eigenvals. So what I have
Please send all applications to the Python Software Foundation and
also the Portland State University, possibly other organisation if you
think your application might fit their goals.
Ondrej
-- Forwarded message --
From: Leslie Hawthorn lhawth...@google.com
Date: Mon, Mar 29,
Thanks, Mateusz. I ran into another expression and tried
extension=True but it failed with an error. q should factor neatly
into (x+sqrt(2)/2)*(x-sqrt(3)/3). Whatever is the solution to get that
to factor should probably be applied in the solving routine so
solutions come back in a simple form.
Hi,
I have gone through sympy and made a list of the functions and methods
(of Basic) that are essential action verbs, like expand,
simplify, etc. I plan on using sympy with students and for this
purpose, I need to have a super clean user interface. My students and
I will go crazy if I have to
Hi Brian!
On Mon, Mar 29, 2010 at 7:50 PM, Brian Granger ellisonbg@gmail.com wrote:
Hi,
[...]
What do people think?
First of all -- thanks for taking an initiative on this!
I suggest to take all functions in the cathegory 2 (Only global
function) and add them as methods of Basic too, in
N() is equivalent to .evalf(). Also, Chris is refactoring the expand_*
functions so that you can just do expand(expr, mul=True) instead of
expand_mul(expr). I think it's one of his 1766 branches at smichr at github.
I think .fdiff() not used very often by the user.
Note that in my branch Basic-split for issue 1798, many methods of Basic
have been moved to the new class Expr. It might not make much of a
difference to your students who will probably only use subclasses of
Expr, but it's something to keep in mind.
Ronan
--
You received this message because
25 matches
Mail list logo
