Changes between Version 10 and Version 13 of Ticket #28916


Ignore:
Timestamp:
01/06/20 00:54:53 (21 months ago)
Author:
gh-DeRhamSource
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #28916

    • Property Commit changed from 6775b86a3a5c4dd10185bc1e7e2eb25136c31041 to ee4ad9352b5ac563b7ea1efde674d423ab8cc9b8
  • Ticket #28916 – Description

    v10 v13  
    22
    33At this stage, the method `degree` is used and special cases are handled separately. But notice that not all coercible objects provide this method (symbolic ring). Or conversely, having this method doesn't mean being coercible into a differential form. Hence this invocation is now entirely avoided.
     4
     5In particular we have:
     6{{{
     7sage: M = Manifold(2, 'M')
     8sage: Omega = M.mixed_form_algebra()
     9sage: Omega1 = M.diff_form_module(1)
     10sage: T01 = M.tensor_field_module((0,1))
     11sage: Omega1.has_coerce_map_from(T01)
     12True
     13}}}
     14But at this stage:
     15{{{
     16sage: Omega.has_coerce_map_from(T01)
     17False
     18}}}
     19**With this ticket:**
     20{{{
     21sage: Omega.has_coerce_map_from(T01)
     22True
     23}}}