Changes between Version 2 and Version 9 of Ticket #28916


Ignore:
Timestamp:
12/28/19 11:23:42 (21 months ago)
Author:
gh-DeRhamSource
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #28916

    • Property Authors changed from to Michael Jung
    • Property Commit changed from 4ba780eeb294c0390f3d83f1ffc355802590e018 to 6775b86a3a5c4dd10185bc1e7e2eb25136c31041
  • Ticket #28916 – Description

    v2 v9  
    11This makes the coercion model of mixed forms more robust against modifications regarding differential forms. For instance: As soon as all differential forms of another mixed form have a coerce map, the mixed form has one too. The same now holds for any algebraic element which is coercible into a single differential form.
     2
     3At this stage, the method `degree` is used and special cases are handled separately. But notice that not all coercible objects provide this method (symbold ring). Or conversely, having this method doesn't mean being coercible into a differential form. Hence this invocation is now entirely avoided.