Skip to content

Instantly share code, notes, and snippets.

@GiacomoPope
Created February 20, 2024 14:29
Show Gist options
  • Save GiacomoPope/b4c0951a6bb4041a42d4e3aa146e897c to your computer and use it in GitHub Desktop.
Save GiacomoPope/b4c0951a6bb4041a42d4e3aa146e897c to your computer and use it in GitHub Desktop.
Failure for tests after change to coercion
sage -t --long --random-seed=286735480429121101562228604801325644303 src/sage/modular/arithgroup/congroup_gammaH.py
**********************************************************************
File "src/sage/modular/arithgroup/congroup_gammaH.py", line 200, in sage.modular.arithgroup.congroup_gammaH.GammaH_class
Failed example:
GammaH(20, [9]).dimension_cusp_forms(1)
Exception raised:
Traceback (most recent call last):
File "sage/misc/cachefunc.pyx", line 1007, in sage.misc.cachefunc.CachedFunction.__call__
return self.cache[k]
KeyError: ((Congruence Subgroup Gamma_H(20) with H generated by [9],), ())
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "sage/misc/cachefunc.pyx", line 1962, in sage.misc.cachefunc.CachedMethodCaller.__call__
return cache[k]
KeyError: ((None, True), ())
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "sage/structure/coerce.pyx", line 1219, in sage.structure.coerce.CoercionModel.bin_op
action = self._action_maps.get(xp, yp, op)
File "sage/structure/coerce_dict.pyx", line 1326, in sage.structure.coerce_dict.TripleDict.get
raise KeyError((k1, k2, k3))
KeyError: (<class 'int'>, Ambient free module of rank 2 over Ring of integers modulo 4, <built-in function mul>)
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/Users/Jack/sage/sage/src/sage/doctest/forker.py", line 712, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Users/Jack/sage/sage/src/sage/doctest/forker.py", line 1147, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.modular.arithgroup.congroup_gammaH.GammaH_class[11]>", line 1, in <module>
GammaH(Integer(20), [Integer(9)]).dimension_cusp_forms(Integer(1))
File "/Users/Jack/sage/sage/src/sage/modular/arithgroup/congroup_gammaH.py", line 1236, in dimension_cusp_forms
return dimension_wt1_cusp_forms_gH(self)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "sage/misc/cachefunc.pyx", line 1012, in sage.misc.cachefunc.CachedFunction.__call__
w = self.f(*args, **kwds)
File "/Users/Jack/sage/sage/src/sage/modular/modform/weight1.py", line 215, in dimension_wt1_cusp_forms_gH
chis = [g.minimize_base_ring() for g in group.characters_mod_H(galois_orbits=True)]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "sage/misc/cachefunc.pyx", line 1967, in sage.misc.cachefunc.CachedMethodCaller.__call__
w = self._instance_call(*args, **kwds)
File "sage/misc/cachefunc.pyx", line 1842, in sage.misc.cachefunc.CachedMethodCaller._instance_call
return self.f(self._instance, *args, **kwds)
File "/Users/Jack/sage/sage/src/sage/modular/arithgroup/congroup_gammaH.py", line 1371, in characters_mod_H
chis = DirichletGroup(self.level()).galois_orbits()
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 3028, in galois_orbits
orbit = x.galois_orbit(sort=sort)
^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 1286, in galois_orbit
v = [P.element_class(P, m * z, check=False) for m in Auts]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 1286, in <listcomp>
v = [P.element_class(P, m * z, check=False) for m in Auts]
~~^~~
File "sage/structure/element.pyx", line 3676, in sage.structure.element.Vector.__mul__
return coercion_model.bin_op(left, right, mul)
File "sage/structure/coerce.pyx", line 1221, in sage.structure.coerce.CoercionModel.bin_op
action = self.get_action(xp, yp, op, x, y)
File "sage/structure/coerce.pyx", line 1759, in sage.structure.coerce.CoercionModel.get_action
action = self.discover_action(R, S, op, r, s)
File "sage/structure/coerce.pyx", line 1905, in sage.structure.coerce.CoercionModel.discover_action
action = (<Parent>S).get_action(R, op, False, s, r)
File "sage/structure/parent.pyx", line 2587, in sage.structure.parent.Parent.get_action
action = self.discover_action(S, op, self_on_left, self_el, S_el)
File "sage/structure/parent.pyx", line 2683, in sage.structure.parent.Parent.discover_action
R_el = _Integer(S_el) # Map integer-like to Integer
TypeError: 'NoneType' object is not callable
**********************************************************************
File "src/sage/modular/arithgroup/congroup_gammaH.py", line 1228, in sage.modular.arithgroup.congroup_gammaH.GammaH_class.dimension_cusp_forms
Failed example:
GammaH(31, [7]).dimension_cusp_forms(1)
Exception raised:
Traceback (most recent call last):
File "sage/misc/cachefunc.pyx", line 1007, in sage.misc.cachefunc.CachedFunction.__call__
return self.cache[k]
KeyError: ((Congruence Subgroup Gamma_H(31) with H generated by [7],), ())
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "sage/misc/cachefunc.pyx", line 1962, in sage.misc.cachefunc.CachedMethodCaller.__call__
return cache[k]
KeyError: ((None, True), ())
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "sage/structure/coerce.pyx", line 1219, in sage.structure.coerce.CoercionModel.bin_op
action = self._action_maps.get(xp, yp, op)
File "sage/structure/coerce_dict.pyx", line 1326, in sage.structure.coerce_dict.TripleDict.get
raise KeyError((k1, k2, k3))
KeyError: (<class 'int'>, Ambient free module of rank 1 over Ring of integers modulo 30, <built-in function mul>)
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/Users/Jack/sage/sage/src/sage/doctest/forker.py", line 712, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Users/Jack/sage/sage/src/sage/doctest/forker.py", line 1147, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.modular.arithgroup.congroup_gammaH.GammaH_class.dimension_cusp_forms[1]>", line 1, in <module>
GammaH(Integer(31), [Integer(7)]).dimension_cusp_forms(Integer(1))
File "/Users/Jack/sage/sage/src/sage/modular/arithgroup/congroup_gammaH.py", line 1236, in dimension_cusp_forms
return dimension_wt1_cusp_forms_gH(self)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "sage/misc/cachefunc.pyx", line 1012, in sage.misc.cachefunc.CachedFunction.__call__
w = self.f(*args, **kwds)
File "/Users/Jack/sage/sage/src/sage/modular/modform/weight1.py", line 215, in dimension_wt1_cusp_forms_gH
chis = [g.minimize_base_ring() for g in group.characters_mod_H(galois_orbits=True)]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "sage/misc/cachefunc.pyx", line 1967, in sage.misc.cachefunc.CachedMethodCaller.__call__
w = self._instance_call(*args, **kwds)
File "sage/misc/cachefunc.pyx", line 1842, in sage.misc.cachefunc.CachedMethodCaller._instance_call
return self.f(self._instance, *args, **kwds)
File "/Users/Jack/sage/sage/src/sage/modular/arithgroup/congroup_gammaH.py", line 1371, in characters_mod_H
chis = DirichletGroup(self.level()).galois_orbits()
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 3028, in galois_orbits
orbit = x.galois_orbit(sort=sort)
^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 1286, in galois_orbit
v = [P.element_class(P, m * z, check=False) for m in Auts]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 1286, in <listcomp>
v = [P.element_class(P, m * z, check=False) for m in Auts]
~~^~~
File "sage/structure/element.pyx", line 3676, in sage.structure.element.Vector.__mul__
return coercion_model.bin_op(left, right, mul)
File "sage/structure/coerce.pyx", line 1221, in sage.structure.coerce.CoercionModel.bin_op
action = self.get_action(xp, yp, op, x, y)
File "sage/structure/coerce.pyx", line 1759, in sage.structure.coerce.CoercionModel.get_action
action = self.discover_action(R, S, op, r, s)
File "sage/structure/coerce.pyx", line 1905, in sage.structure.coerce.CoercionModel.discover_action
action = (<Parent>S).get_action(R, op, False, s, r)
File "sage/structure/parent.pyx", line 2587, in sage.structure.parent.Parent.get_action
action = self.discover_action(S, op, self_on_left, self_el, S_el)
File "sage/structure/parent.pyx", line 2683, in sage.structure.parent.Parent.discover_action
R_el = _Integer(S_el) # Map integer-like to Integer
TypeError: 'NoneType' object is not callable
**********************************************************************
File "src/sage/modular/arithgroup/congroup_gammaH.py", line 1355, in sage.modular.arithgroup.congroup_gammaH.GammaH_class.characters_mod_H
Failed example:
GammaH(5, [-1]).characters_mod_H()
Exception raised:
Traceback (most recent call last):
File "sage/misc/cachefunc.pyx", line 1962, in sage.misc.cachefunc.CachedMethodCaller.__call__
return cache[k]
KeyError: ((None, False), ())
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "sage/structure/coerce.pyx", line 1219, in sage.structure.coerce.CoercionModel.bin_op
action = self._action_maps.get(xp, yp, op)
File "sage/structure/coerce_dict.pyx", line 1326, in sage.structure.coerce_dict.TripleDict.get
raise KeyError((k1, k2, k3))
KeyError: (<class 'int'>, Ambient free module of rank 1 over Ring of integers modulo 4, <built-in function mul>)
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/Users/Jack/sage/sage/src/sage/doctest/forker.py", line 712, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Users/Jack/sage/sage/src/sage/doctest/forker.py", line 1147, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.modular.arithgroup.congroup_gammaH.GammaH_class.characters_mod_H[0]>", line 1, in <module>
GammaH(Integer(5), [-Integer(1)]).characters_mod_H()
File "sage/misc/cachefunc.pyx", line 1967, in sage.misc.cachefunc.CachedMethodCaller.__call__
w = self._instance_call(*args, **kwds)
File "sage/misc/cachefunc.pyx", line 1842, in sage.misc.cachefunc.CachedMethodCaller._instance_call
return self.f(self._instance, *args, **kwds)
File "/Users/Jack/sage/sage/src/sage/modular/arithgroup/congroup_gammaH.py", line 1371, in characters_mod_H
chis = DirichletGroup(self.level()).galois_orbits()
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 3028, in galois_orbits
orbit = x.galois_orbit(sort=sort)
^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 1286, in galois_orbit
v = [P.element_class(P, m * z, check=False) for m in Auts]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 1286, in <listcomp>
v = [P.element_class(P, m * z, check=False) for m in Auts]
~~^~~
File "sage/structure/element.pyx", line 3676, in sage.structure.element.Vector.__mul__
return coercion_model.bin_op(left, right, mul)
File "sage/structure/coerce.pyx", line 1221, in sage.structure.coerce.CoercionModel.bin_op
action = self.get_action(xp, yp, op, x, y)
File "sage/structure/coerce.pyx", line 1759, in sage.structure.coerce.CoercionModel.get_action
action = self.discover_action(R, S, op, r, s)
File "sage/structure/coerce.pyx", line 1905, in sage.structure.coerce.CoercionModel.discover_action
action = (<Parent>S).get_action(R, op, False, s, r)
File "sage/structure/parent.pyx", line 2587, in sage.structure.parent.Parent.get_action
action = self.discover_action(S, op, self_on_left, self_el, S_el)
File "sage/structure/parent.pyx", line 2683, in sage.structure.parent.Parent.discover_action
R_el = _Integer(S_el) # Map integer-like to Integer
TypeError: 'NoneType' object is not callable
**********************************************************************
File "src/sage/modular/arithgroup/congroup_gammaH.py", line 1358, in sage.modular.arithgroup.congroup_gammaH.GammaH_class.characters_mod_H
Failed example:
Gamma1(31).characters_mod_H(galois_orbits=True,sign=-1)
Exception raised:
Traceback (most recent call last):
File "sage/misc/cachefunc.pyx", line 1962, in sage.misc.cachefunc.CachedMethodCaller.__call__
return cache[k]
KeyError: ((-1, True), ())
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "sage/structure/coerce.pyx", line 1219, in sage.structure.coerce.CoercionModel.bin_op
action = self._action_maps.get(xp, yp, op)
File "sage/structure/coerce_dict.pyx", line 1326, in sage.structure.coerce_dict.TripleDict.get
raise KeyError((k1, k2, k3))
KeyError: (<class 'int'>, Ambient free module of rank 1 over Ring of integers modulo 30, <built-in function mul>)
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/Users/Jack/sage/sage/src/sage/doctest/forker.py", line 712, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Users/Jack/sage/sage/src/sage/doctest/forker.py", line 1147, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.modular.arithgroup.congroup_gammaH.GammaH_class.characters_mod_H[1]>", line 1, in <module>
Gamma1(Integer(31)).characters_mod_H(galois_orbits=True,sign=-Integer(1))
File "sage/misc/cachefunc.pyx", line 1967, in sage.misc.cachefunc.CachedMethodCaller.__call__
w = self._instance_call(*args, **kwds)
File "sage/misc/cachefunc.pyx", line 1842, in sage.misc.cachefunc.CachedMethodCaller._instance_call
return self.f(self._instance, *args, **kwds)
File "/Users/Jack/sage/sage/src/sage/modular/arithgroup/congroup_gammaH.py", line 1371, in characters_mod_H
chis = DirichletGroup(self.level()).galois_orbits()
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 3028, in galois_orbits
orbit = x.galois_orbit(sort=sort)
^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 1286, in galois_orbit
v = [P.element_class(P, m * z, check=False) for m in Auts]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Users/Jack/sage/sage/src/sage/modular/dirichlet.py", line 1286, in <listcomp>
v = [P.element_class(P, m * z, check=False) for m in Auts]
~~^~~
File "sage/structure/element.pyx", line 3676, in sage.structure.element.Vector.__mul__
return coercion_model.bin_op(left, right, mul)
File "sage/structure/coerce.pyx", line 1221, in sage.structure.coerce.CoercionModel.bin_op
action = self.get_action(xp, yp, op, x, y)
File "sage/structure/coerce.pyx", line 1759, in sage.structure.coerce.CoercionModel.get_action
action = self.discover_action(R, S, op, r, s)
File "sage/structure/coerce.pyx", line 1905, in sage.structure.coerce.CoercionModel.discover_action
action = (<Parent>S).get_action(R, op, False, s, r)
File "sage/structure/parent.pyx", line 2587, in sage.structure.parent.Parent.get_action
action = self.discover_action(S, op, self_on_left, self_el, S_el)
File "sage/structure/parent.pyx", line 2683, in sage.structure.parent.Parent.discover_action
R_el = _Integer(S_el) # Map integer-like to Integer
TypeError: 'NoneType' object is not callable
**********************************************************************
3 items had failures:
1 of 13 in sage.modular.arithgroup.congroup_gammaH.GammaH_class
2 of 4 in sage.modular.arithgroup.congroup_gammaH.GammaH_class.characters_mod_H
1 of 3 in sage.modular.arithgroup.congroup_gammaH.GammaH_class.dimension_cusp_forms
[158 tests, 4 failures, 3.59 s]
----------------------------------------------------------------------
sage -t --long --random-seed=286735480429121101562228604801325644303 src/sage/modular/arithgroup/congroup_gammaH.py # 4 doctests failed
----------------------------------------------------------------------
Total time for all tests: 6.1 seconds
cpu time: 1.9 seconds
cumulative wall time: 3.6 seconds
Features detected for doctesting: gap_package_polycyclic,sage.libs.pari
pytest is not installed in the venv, skip checking tests that rely on it
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment