Changes between Version 5 and Version 6 of Ticket #30229


Ignore:
Timestamp:
07/27/20 17:39:30 (17 months ago)
Author:
egourgoulhon
Comment:

Replying to mkoeppe:

It could also be considered whether these three classes should really be subclasses of FiniteRankFreeModule, or perhaps rather a new common baseclass.

Yes, indeed!

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30229 – Description

    v5 v6  
    11Setup:
    22{{{
    3 sage: from sage.tensor.modules.ext_pow_free_module import ExtPowerFreeModule
    4 sage: from sage.tensor.modules.tensor_free_module import TensorFreeModule
    53sage: M = FiniteRankFreeModule(ZZ, 3, name='M')
    64sage: e = M.basis('e')
     
    97Problems:
    108{{{
    11 sage: A = ExtPowerFreeModule(M, 2) ; A
     9sage: A = M.exterior_power(2); A
    12102nd exterior power of the Rank-3 free module M over the Integer Ring
    1311sage: A.default_basis()
     
    1715}}}
    1816{{{
    19 sage: T = TensorFreeModule(M, (1,2)) ; T
     17sage: T = M.tensor_module(1, 2); T
    2018Free module of type-(1,2) tensors on the Rank-3 free module M over the Integer Ring
    2119sage: T.default_basis()