Changes between Version 6 and Version 7 of Ticket #30278, comment 14


Ignore:
Timestamp:
Aug 3, 2020, 4:27:21 PM (2 years ago)
Author:
Michael Jung
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30278, comment 14

    v6 v7  
    1 **Suggestion:** What about just renaming `ExtPowerFreeModule` into something like `AltContrTensorFreeModule`, and keep things as they are (including the coercion).
     1**Suggestion:** What about just renaming `ExtPowerFreeModule` into something like `AltContrTensorFreeModule`, and keep the coercion as it is.
    22
    33In a next step, we create the class `ExtPowerFreeModule` which behaves similar to quotients of polynomial rings. Namely, applying a tensor to `ExtPowerFreeModule` (i.e. reducing w.r.t. the ideal `<x*x>`) yields an element of `AltContrTensorFreeModule`. In that class, we can include all the things we need for a quotient such as a method lift and the coercion from tensor fields to the exterior algebra given by this quotient.