Updates:
Status: Fixed
Comment #16 on issue 2696 by julien.r...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
The pull request has been committed but the issue tracker wasn't updated:
commit
Comment #14 on issue 2696 by julien.r...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
MatrixSymbol has many problems at first glance (issue 3150). Since I can no
longer have Symbols assumed real and noncommutative, I've opened
Comment #12 on issue 2696 by julien.r...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
Well, that's one example. It could also represent a differential operator.
Anyway, I always took this real=True assumption to mean
Comment #13 on issue 2696 by asmeu...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
I would be interested to know, where in the code does real imply
commutative.
Well, where this bug manifests itself for one thing :)
This
Comment #10 on issue 2696 by julien.r...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
About Symbol('x', real=True, commutative=False): I though that would be a
symbol representing e.g. a real-valued matrix.
--
You received
Comment #11 on issue 2696 by asmeu...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
I would use MatrixSymbol for that. The way our assumptions deductions
work, real implies things that are only true for real numbers
Comment #7 on issue 2696 by ronan.l...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
There's still the issue of x.is_irrational returning None instead of False,
and also the fact that inconsistent assumptions are allowed, like
Comment #3 on issue 2696 by asmeurer: Assumptions fail for non-commutative
symbols
http://code.google.com/p/sympy/issues/detail?id=2696
The result should be None then. To put it in the perspective of the
comment from facts.py, ? should equal None.
--
You received this message because
Comment #4 on issue 2696 by ronan.l...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
irrational implies real, which implies complex, which implies commutative,
so x.is_irrational should return False.
The new assumptions
Comment #5 on issue 2696 by ronan.l...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
The problem is that 'commutative' is special-cased in Symbol, which
prevents it from being handled correctly by the assumption system (this
Comment #2 on issue 2696 by smi...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
in facts.py it says
rules: {} of a - [b, c, ...]
return: {} of c - [a, b, ...]
Note however, that this prerequisites may
Status: Accepted
Owner: mrock...@gmail.com
Labels: Type-Defect Priority-Medium WrongResult
New issue 2696 by mrock...@gmail.com: Assumptions fail for non-commutative
symbols
http://code.google.com/p/sympy/issues/detail?id=2696
In [1]: x = Symbol('x', commutative=False)
In [2]:
Updates:
Labels: Assumptions
Comment #1 on issue 2696 by asmeurer: Assumptions fail for non-commutative
symbols
http://code.google.com/p/sympy/issues/detail?id=2696
The new assumptions seem to handle it correctly:
In [1]: x = Symbol('x', commutative=False)
In [2]: print
13 matches
Mail list logo
