Opened 3 months ago

Last modified 4 weeks ago

#27030 new enhancement

show(f) after assume(x > 0, x < 1)

Reported by: gh-kendonB Owned by:
Priority: minor Milestone: sage-8.8
Component: symbolics Keywords: show, assume
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

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

comment:1 Changed 3 months ago by embray

  • Milestone changed from sage-8.6 to sage-8.7

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.

comment:2 Changed 4 weeks ago by embray

  • Milestone changed from sage-8.7 to 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)

Note: See TracTickets for help on using tickets.