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


Ignore:
Timestamp:
07/28/20 18:49:16 (6 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30241, comment 1

    v1 v2  
    1 This 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.
     1This doesn't sound sensible to me. `ExtPowerDualFreeModule` and `TensorFreeModule` follow ''very'' different construction patterns. For a reason: even from the mathematical point of view, one forms and (0,1) tensors are constructed differently, though they are isomorphic.
    22
    33From that perspective, the current implementation makes perfect sense. What would make more sense is implementing the isomorphism.