Opened 17 months ago

Last modified 3 months ago

#32120 new enhancement

Chart-wise assumptions — at Initial Version

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

Status badges

Description

(from https://trac.sagemath.org/ticket/31901#comment:19)

The assumptions should not be global but chart-wise.

There is already a context manager assuming. We could create it at initialization and invoke it using with whenever computations are done with this chart.

We go through a new method assuming of CalculusMethod that dispatches in the same way as the simplify method does.

Change History (0)

Note: See TracTickets for help on using tickets.