Status: Accepted
Owner: christian.muise
Labels: Type-Defect Priority-Medium Assumptions
New issue 2019 by christian.muise: Add new (assumptions) fact about
algebraic elements.
http://code.google.com/p/sympy/issues/detail?id=2019
This fact seems to be missing:
- Implies(Q.algebraic, Q.complex)
Comment #2 on issue 2019 by skirpic...@gmail.com: Add new (assumptions)
fact about algebraic elements.
http://code.google.com/p/sympy/issues/detail?id=2019
Perhaps, Implies(Q.rational, Q.algebraic) we should include too:
https://github.com/sympy/sympy/pull/1899
--
You received this message
Updates:
Status: Fixed
Comment #3 on issue 2019 by skirpic...@gmail.com: Add new (assumptions)
fact about algebraic elements.
http://code.google.com/p/sympy/issues/detail?id=2019
(No comment was entered for this change.)
--
You received this message because this project is configured