Opened 4 years ago
Closed 3 years ago
#21973 closed defect (fixed)
Doctest: x.is_negative() when assuming x < 0
Reported by:  pelegm  Owned by:  

Priority:  major  Milestone:  sage8.1 
Component:  symbolics  Keywords:  is_negative 
Cc:  Merged in:  
Authors:  Ralf Stephan  Reviewers:  Jeroen Demeyer 
Report Upstream:  N/A  Work issues:  
Branch:  5db378f (Commits)  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 (7)
comment:1 Changed 4 years ago by
comment:2 Changed 3 years ago by
 Dependencies set to pynac0.7.9
 Milestone changed from sage7.5 to sage8.1
 Summary changed from is_negative() is False when assuming x < 0 to Doctest: x.is_negative() when assuming x < 0
comment:3 Changed 3 years ago by
 Dependencies changed from pynac0.7.9 to #23325
comment:4 Changed 3 years ago by
 Branch set to u/rws/doctest__x_is_negative___when_assuming_x___0
comment:5 Changed 3 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

comment:6 Changed 3 years ago by
 Reviewers set to Jeroen Demeyer
 Status changed from needs_review to positive_review
comment:7 Changed 3 years ago by
 Branch changed from u/rws/doctest__x_is_negative___when_assuming_x___0 to 5db378f330bcbfe5b663586e3f4f0e67a59672d6
 Resolution set to fixed
 Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Reported as https://github.com/pynac/pynac/issues/220