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: |

### 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

### comment:2 Changed 10 months ago by

Milestone: | sage-9.5 → sage-9.6 |
---|

### comment:3 Changed 7 months ago by

Milestone: | sage-9.6 → sage-9.7 |
---|

### comment:4 Changed 4 weeks ago by

Milestone: | sage-9.7 → sage-9.8 |
---|

**Note:**See TracTickets for help on using tickets.

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.