Opened 14 months ago

Last modified 4 weeks ago

#32276 new enhancement

SymbolicSubringWithAssumptions

Reported by: Matthias Köppe Owned by:
Priority: major Milestone: sage-9.8
Component: symbolics Keywords:
Cc: Daniel Krenn, Michael Jung Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

In extension of SymbolicSubring, we introduce rings of symbolic expressions with a fixed set of symbolic assumptions. Arithmetic within such a ring is allowed to use the assumptions for simplification. Coercions are allowed to rings with more assumptions.

Change History (4)

comment:1 Changed 14 months ago by Michael Jung

I like that idea. Do you think this could replace the usage of assumptions on the symbolic ring long-term? Setting assumptions on a global scale is imho not optimal.

comment:2 Changed 10 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:3 Changed 7 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:4 Changed 4 weeks ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.