Ticket #6635: trac_6635-part2.patch

sage/modular/abvar/abvar.py

@@ -3409 +3409 @@
         return self.decomposition()[i:j]
 
 
+    def hecke_index_in_saturation(self):
+        """
+        Let T' be the saturation in End(self) of the Hecke algebra T
+        associated to self.  Return the invariants of the finite group
+        T'/T.
+        """
+        S = self.modular_symbols(sign=0)
+        T = S.hecke_algebra()
+        return T._index_in_saturation(range(1, S.sturm_bound()+1), self.dimension()).invariants()
+
+
 
 class ModularAbelianVariety(ModularAbelianVariety_abstract):
     def __init__(self, groups, lattice=None, base_field=QQ, is_simple=None, newform_level=None,
@@ -4380 +4391 @@
         self.__brandt_module[p] = V
         return V
 
-
 def sqrt_poly(f):
     """
     Return the square root of the polynomial `f`.

sage/modular/abvar/homspace.py

@@ -673 +673 @@
 
         return [ Mf * self._get_matrix(e) * Mg for e in ls ]
 
-# NOTE/WARNING/TODO:  Below in the __init__, etc. we do *not* check
-# that the input gens are give something that spans a sub*ring*, as apposed
-# to just a subgroup. 
+# NOTE/WARNING/TODO: Below in the __init__, etc. we do *not* check
+# that the input gens give something that spans a sub*ring*, as
+# apposed to just a subgroup.
 class EndomorphismSubring(Homspace, Ring):
 
     def __init__(self, A, gens=None):