Opened 5 years ago
Closed 5 years ago
#24156 closed enhancement (fixed)
Construction of RealSet from inequality
Reported by:  Ralf Stephan  Owned by:  

Priority:  major  Milestone:  sage8.2 
Component:  basic arithmetic  Keywords:  
Cc:  Merged in:  
Authors:  Ralf Stephan  Reviewers:  Travis Scrimshaw 
Report Upstream:  N/A  Work issues:  
Branch:  12b6464 (Commits, GitHub, GitLab)  Commit:  12b6464f31fa3d66964c63ee4e123b7e4cfeaf67 
Dependencies:  Stopgaps: 
Description
Make this possible:
sage: RealSet(x>0) (0, +oo) at the moment: ... ValueError: x > 0 does not determine real interval
Change History (9)
comment:1 Changed 5 years ago by
Component:  misc → basic arithmetic 

comment:2 Changed 5 years ago by
Branch:  → u/rws/construction_of_realset_from_inequality 

comment:3 Changed 5 years ago by
Authors:  → Ralf Stephan 

Commit:  → 51d309142abc07e2c4054161c37726afd86a0141 
Status:  new → needs_review 
comment:4 Changed 5 years ago by
Reviewers:  → Travis Scrimshaw 

Can you add tests for x <= oo
, x >= oo
, and x >= oo
to check these (essentially corner) cases? Otherwise LGTM.
comment:5 Changed 5 years ago by
Status:  needs_review → needs_work 

I somehow introduced this, needs to be fixed:
sage: RealSet(oo,oo) (oo, +Infinity) sage: RealSet(0,oo) (0, +oo)
comment:6 Changed 5 years ago by
Commit:  51d309142abc07e2c4054161c37726afd86a0141 → 12b6464f31fa3d66964c63ee4e123b7e4cfeaf67 

Branch pushed to git repo; I updated commit sha1. New commits:
12b6464  24156: fix Infinity output; more oo doctests

comment:7 Changed 5 years ago by
Status:  needs_work → needs_review 

comment:9 Changed 5 years ago by
Branch:  u/rws/construction_of_realset_from_inequality → 12b6464f31fa3d66964c63ee4e123b7e4cfeaf67 

Resolution:  → fixed 
Status:  positive_review → closed 
Note: See
TracTickets for help on using
tickets.
New commits:
24156: Construction of RealSet from inequality