Opened 4 years ago
Last modified 21 months ago
#27030 new enhancement
Display 1 - x rather than -x + 1 after assume(x > 0, x < 1)
Reported by: | gh-kendonB | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | sage-wishlist |
Component: | symbolics | Keywords: | show, assume |
Cc: | slelievre | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
The behavior of show
could be improved using assume
.
Start with:
x = var('x') f(x) = 1 - x assume(x < 1, x > 0)
The current behavior is that show(f)
will output -x + 1
,
whereas a human mathematician would always write this as 1 - x
.
Change History (4)
comment:1 Changed 4 years ago by
Milestone: | sage-8.6 → sage-8.7 |
---|
comment:2 Changed 4 years ago by
Milestone: | sage-8.7 → sage-8.8 |
---|
Ticket retargeted after milestone closed (if you don't believe this ticket is appropriate for the Sage 8.8 release please retarget manually)
comment:3 Changed 4 years ago by
Milestone: | sage-8.8 |
---|
As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).
comment:4 Changed 21 months ago by
Cc: | slelievre added |
---|---|
Description: | modified (diff) |
Milestone: | → sage-wishlist |
Summary: | show(f) after assume(x > 0, x < 1) → Display 1 - x rather than -x + 1 after assume(x > 0, x < 1) |
Retarging tickets optimistically to the next milestone. If you are responsible for this ticket (either its reporter or owner) and don't believe you are likely to complete this ticket before the next release (8.7) please retarget this ticket's milestone to sage-pending or sage-wishlist.