Created
February 20, 2024 14:29
-
-
Save GiacomoPope/b4c0951a6bb4041a42d4e3aa146e897c to your computer and use it in GitHub Desktop.
Failure for tests after change to coercion
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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