Changes between Initial Version and Version 1 of Ticket #30266, comment 29
 Timestamp:
 08/04/20 16:29:08 (4 months ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #30266, comment 29
initial v1 4 4 Sorry, sure. See #30116 for the discussion. 5 5 6 SageManifolds!allows coercions from scalar fields on `M` to scalar fields on `U`, where `U` is a subset of `M`, i.e. a restriction. Since #30116, the equality check compares scalar fields on a common subset and returns `True` if they are the same on that domain. Nevertheless, both scalar fields on different domains are still distinct objects defined in distinct sets.6 Manifolds allows coercions from scalar fields on `M` to scalar fields on `U`, where `U` is a subset of `M`, i.e. a restriction. Since #30116, the equality check compares scalar fields on a common subset and returns `True` if they are the same on that domain. Nevertheless, both scalar fields on different domains are still distinct objects defined in distinct sets.