Skip to content

Commit

Permalink
Update documentation for modules built upon a FiniteRankFreeModule (s…
Browse files Browse the repository at this point in the history
  • Loading branch information
egourgoulhon committed Nov 25, 2022
1 parent 84f02af commit fbfb3e2
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions src/sage/tensor/modules/ext_pow_free_module.py
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,7 @@ class ExtPowerFreeModule(FiniteRankFreeModule_abstract):
`R`, where `n` is the rank of `M`.
Accordingly, the class :class:`ExtPowerFreeModule` inherits from the
class
:class:`~sage.tensor.modules.finite_rank_free_module.FiniteRankFreeModule`.
:class:`~sage.tensor.modules.finite_rank_free_module.FiniteRankFreeModule_abstract`.
This is a Sage *parent* class, whose *element* class is
:class:`~sage.tensor.modules.alternating_contr_tensor.AlternatingContrTensor`
Expand Down Expand Up @@ -465,7 +465,7 @@ class ExtPowerDualFreeModule(FiniteRankFreeModule_abstract):
`R`, where `n` is the rank of `M`.
Accordingly, the class :class:`ExtPowerDualFreeModule` inherits from
the class
:class:`~sage.tensor.modules.finite_rank_free_module.FiniteRankFreeModule`.
:class:`~sage.tensor.modules.finite_rank_free_module.FiniteRankFreeModule_abstract`.
This is a Sage *parent* class, whose *element* class is
:class:`~sage.tensor.modules.free_module_alt_form.FreeModuleAltForm`.
Expand Down
2 changes: 1 addition & 1 deletion src/sage/tensor/modules/tensor_free_module.py
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@
`T^{(k,l)}(M)` is itself a free module over `R`, of rank `n^{k+l}`, `n`
being the rank of `M`. Accordingly the class :class:`TensorFreeModule`
inherits from the class
:class:`~sage.tensor.modules.finite_rank_free_module.FiniteRankFreeModule`.
:class:`~sage.tensor.modules.finite_rank_free_module.FiniteRankFreeModule_abstract`.
.. TODO::
Expand Down

0 comments on commit fbfb3e2

Please sign in to comment.