Changes between Initial Version and Version 1 of Ticket #30241, comment 1


Ignore:
Timestamp:
07/28/20 18:45:38 (2 years ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30241, comment 1

    initial v1  
    1 This doesn't sound sensible to me. `ExtPowerDualFreeModule` and `TensorFreeModule` follow ''very'' different construction patterns. For a reason: mathematically, meaning very strictly speaking, the first exterior power of one forms and (0,1) tensors are defined differently, though they are isomorphic.
     1This doesn't sound sensible to me. `ExtPowerDualFreeModule` and `TensorFreeModule` follow ''very'' different construction patterns. For a reason: mathematically, meaning very strictly speaking, one forms and (0,1) tensors are defined differently, though they are isomorphic.
    22
    33From that perspective, the current implementation makes perfect sense. What would make more sense is implementing the isomorphism.