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:

Status badges

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 (5)

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

  • Dependencies changed from pynac-0.7.9 to #23325

comment:4 Changed 5 years ago by rws

  • Branch set to u/rws/doctest__x_is_negative___when_assuming_x___0

comment:5 Changed 5 years 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
Note: See TracTickets for help on using tickets.