Changes between Version 6 and Version 7 of Ticket #30278, comment 14
 Timestamp:
 Aug 3, 2020, 4:27:21 PM (2 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #30278, comment 14
v6 v7 1 **Suggestion:** What about just renaming `ExtPowerFreeModule` into something like `AltContrTensorFreeModule`, and keep th ings as they are (including the coercion).1 **Suggestion:** What about just renaming `ExtPowerFreeModule` into something like `AltContrTensorFreeModule`, and keep the coercion as it is. 2 2 3 3 In 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.