Skip to content

Commit

Permalink
Trac #34792: Slight documentation update for modules built upon a Fin…
Browse files Browse the repository at this point in the history
…iteRankFreeModule

After #34424 (merged in Sage 9.7.rc0), the documentation of
`TensorFreeModule`, `ExtPowerFreeModule` and `ExtPowerDualFreeModule`
should say that these classes inherit from
`FiniteRankFreeModule_abstract`, not `FiniteRankFreeModule`.

URL: https://trac.sagemath.org/34792
Reported by: egourgoulhon
Ticket author(s): Eric Gourgoulhon
Reviewer(s): Matthias Koeppe
  • Loading branch information
Release Manager committed Dec 4, 2022
2 parents 48952fb + fbfb3e2 commit 0ead75a
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 0ead75a

Please sign in to comment.