Opened 3 years ago

Closed 22 months ago

#21973 closed defect (fixed)

Doctest: x.is_negative() when assuming x < 0

Reported by: pelegm Owned by:
Priority: major Milestone: sage-8.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 rws)

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:2 Changed 2 years ago by rws

  • 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 2 years ago by rws

  • Dependencies changed from pynac-0.7.9 to #23325

comment:4 Changed 22 months ago by rws

  • Branch set to u/rws/doctest__x_is_negative___when_assuming_x___0

comment:5 Changed 22 months ago by rws

  • Authors set to Ralf Stephan
  • Commit set to 5db378f330bcbfe5b663586e3f4f0e67a59672d6
  • Description modified (diff)
  • Status changed from new to needs_review

New commits:

5db378f21973: Doctest: x.is_negative() when assuming x < 0

comment:6 Changed 22 months ago by jdemeyer

  • Reviewers set to Jeroen Demeyer
  • Status changed from needs_review to positive_review

comment:7 Changed 22 months ago by vbraun

  • 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.