@@ -1198,21 +1198,20 @@ def gens_vector(self, x, reduce=False):
1198
1198
1199
1199
We create a derived class and overwrite :meth:`gens`::
1200
1200
1201
- sage: from sage.modules.fg_pid.fgp_module import FGP_Module_class
1202
- sage: W = ZZ^3
1203
- sage: V = W.span(matrix.diagonal([1/6, 1/3, 1/12]))
1204
- sage: class FGP_with_gens(FGP_Module_class):
1205
- ....: def __init__(self, V, W, gens):
1206
- ....: FGP_Module_class.__init__(self, V, W)
1207
- ....: self._gens = tuple([self(g) for g in gens])
1208
- ....: def gens(self):
1209
- ....: return self._gens
1210
- sage: gens = [(1/2, 0, 0), (0, 0, 1/4), (1/3, 0, 0), (0, 1/3, 0), (0, 0, 2/3)]
1211
- sage: gens = [V(g) for g in gens]
1212
- sage: D = FGP_with_gens(V, W, gens)
1213
- sage: D.gens()
1214
- ((0, 3, 0), (0, 0, 3), (0, 4, 0), (1, 2, 0), (0, 0, 8))
1215
-
1201
+ sage: from sage.modules.fg_pid.fgp_module import FGP_Module_class
1202
+ sage: W = ZZ^3
1203
+ sage: V = W.span(matrix.diagonal([1/6, 1/3, 1/12]))
1204
+ sage: class FGP_with_gens(FGP_Module_class):
1205
+ ....: def __init__(self, V, W, gens):
1206
+ ....: FGP_Module_class.__init__(self, V, W)
1207
+ ....: self._gens = tuple([self(g) for g in gens])
1208
+ ....: def gens(self) -> tuple:
1209
+ ....: return self._gens
1210
+ sage: gens = [(1/2, 0, 0), (0, 0, 1/4), (1/3, 0, 0), (0, 1/3, 0), (0, 0, 2/3)]
1211
+ sage: gens = [V(g) for g in gens]
1212
+ sage: D = FGP_with_gens(V, W, gens)
1213
+ sage: D.gens()
1214
+ ((0, 3, 0), (0, 0, 3), (0, 4, 0), (1, 2, 0), (0, 0, 8))
1216
1215
1217
1216
We create some element of ``D``::
1218
1217
@@ -1620,7 +1619,7 @@ def _hom_general(self, im_gens, check=True):
1620
1619
EXAMPLES::
1621
1620
1622
1621
sage: class SillyModule(sage.modules.fg_pid.fgp_module.FGP_Module_class):
1623
- ....: def gens(self):
1622
+ ....: def gens(self) -> tuple :
1624
1623
....: return tuple(flatten([[x,x] for x in self.smith_form_gens()]))
1625
1624
sage: A = SillyModule(ZZ**1, span([[3]], ZZ))
1626
1625
sage: A.gen(0)
@@ -1662,7 +1661,7 @@ def _hom_from_smith(self, im_smith_gens, check=True):
1662
1661
EXAMPLES::
1663
1662
1664
1663
sage: class SillyModule(sage.modules.fg_pid.fgp_module.FGP_Module_class):
1665
- ....: def gens(self):
1664
+ ....: def gens(self) -> tuple :
1666
1665
....: return tuple(flatten([[x,x] for x in self.smith_form_gens()]))
1667
1666
sage: A = SillyModule(ZZ**1, span([[3]], ZZ))
1668
1667
sage: A.gen(0)
0 commit comments