Changes between Version 1 and Version 2 of Ticket #30241, comment 1
 Timestamp:
 07/28/20 18:49:16 (6 months ago)
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.1 This 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. 2 2 3 3 From that perspective, the current implementation makes perfect sense. What would make more sense is implementing the isomorphism.