Opened 5 years ago
Last modified 5 years ago
#21973 closed defect
Doctest: x.is_negative() when assuming x < 0 — at Version 5
Reported by: | pelegm | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.1 |
Component: | symbolics | Keywords: | is_negative |
Cc: | Merged in: | ||
Authors: | Ralf Stephan | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | u/rws/doctest__x_is_negative___when_assuming_x___0 | Commit: | 5db378f330bcbfe5b663586e3f4f0e67a59672d6 |
Dependencies: | #23325 | Stopgaps: |
Description (last modified by )
I understand the is_negative
flag is still experimental. I just document it here, and mention that is_positive
does work as expected when assuming x > 0.
Here's an example:
sage: var('x,y') sage: assume(x>0) sage: assume(y<0) sage: x.is_positive() True sage: y.is_negative() False
Tested on 7.5.beta4.
Change History (5)
comment:1 Changed 5 years ago by
comment:2 Changed 5 years ago by
- Dependencies set to pynac-0.7.9
- Milestone changed from sage-7.5 to sage-8.1
- Summary changed from is_negative() is False when assuming x < 0 to Doctest: x.is_negative() when assuming x < 0
comment:3 Changed 5 years ago by
- Dependencies changed from pynac-0.7.9 to #23325
comment:4 Changed 5 years ago by
- Branch set to u/rws/doctest__x_is_negative___when_assuming_x___0
comment:5 Changed 5 years ago by
- Commit set to 5db378f330bcbfe5b663586e3f4f0e67a59672d6
- Description modified (diff)
- Status changed from new to needs_review
New commits:
5db378f | 21973: Doctest: x.is_negative() when assuming x < 0
|
Note: See
TracTickets for help on using
tickets.
Reported as https://github.com/pynac/pynac/issues/220