#14793: Unique representation for homsets
-------------------------------+--------------------------------------------
Reporter: nthiery | Owner: nthiery
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.12
Component: categories | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Simon King | Merged in:
Dependencies: | Stopgaps:
-------------------------------+--------------------------------------------
Comment (by SimonKing):
Let's look at the errors more closely:
{{{
sage -t sage/modular/hecke/morphism.py
**********************************************************************
File "sage/modular/hecke/morphism.py", line 110, in
sage.modular.hecke.morphism.HeckeModuleMorphism_matrix.__init__
Failed example:
t == loads(dumps(t))
Exception raised:
Traceback (most recent call last):
File "/home/simon/SAGE/prerelease/sage-5.10.rc1/local/lib/python2.7
/site-packages/sage/doctest/forker.py", line 486, in _run
self.execute(example, compiled, test.globs)
File "/home/simon/SAGE/prerelease/sage-5.10.rc1/local/lib/python2.7
/site-packages/sage/doctest/forker.py", line 845, in execute
exec compiled in globs
File "<doctest
sage.modular.hecke.morphism.HeckeModuleMorphism_matrix.__init__[2]>", line
1, in <module>
t == loads(dumps(t))
File "sage_object.pyx", line 1236, in
sage.structure.sage_object.loads
(build/cythonized/sage/structure/sage_object.c:11044)
File "/home/simon/SAGE/prerelease/sage-5.10.rc1/local/lib/python2.7
/site-packages/sage/categories/homset.py", line 291, in Hom
cat_X = X.category()
File "module.pyx", line 45, in
sage.modules.module.Module_old.category
(build/cythonized/sage/modules/module.c:1501)
File "classcall_metaclass.pyx", line 330, in
sage.misc.classcall_metaclass.ClasscallMetaclass.__call__
(build/cythonized/sage/misc/classcall_metaclass.c:1224)
File "/home/simon/SAGE/prerelease/sage-5.10.rc1/local/lib/python2.7
/site-packages/sage/categories/modules.py", line 108, in
__classcall_private__
result = super(Modules, cls).__classcall__(cls, base_ring)
File "/home/simon/SAGE/prerelease/sage-5.10.rc1/local/lib/python2.7
/site-packages/sage/categories/category.py", line 468, in __classcall__
return super(Category, cls).__classcall__(cls, *args, **options)
File "cachefunc.pyx", line 992, in
sage.misc.cachefunc.WeakCachedFunction.__call__
(build/cythonized/sage/misc/cachefunc.c:5394)
File "/home/simon/SAGE/prerelease/sage-5.10.rc1/local/lib/python2.7
/site-packages/sage/structure/unique_representation.py", line 447, in
__classcall__
instance = typecall(cls, *args, **options)
File "classcall_metaclass.pyx", line 518, in
sage.misc.classcall_metaclass.typecall
(build/cythonized/sage/misc/classcall_metaclass.c:1586)
File "/home/simon/SAGE/prerelease/sage-5.10.rc1/local/lib/python2.7
/site-packages/sage/categories/category_types.py", line 326, in __init__
assert base in Rings(), "base must be a ring"
AssertionError: <unprintable AssertionError object>
**********************************************************************
1 item had failures:
1 of 4 in
sage.modular.hecke.morphism.HeckeModuleMorphism_matrix.__init__
[19 tests, 1 failure, 0.23 s]
----------------------------------------------------------------------
sage -t sage/modular/hecke/morphism.py # 1 doctest failed
----------------------------------------------------------------------
Total time for all tests: 0.3 seconds
cpu time: 0.2 seconds
cumulative wall time: 0.2 seconds
}}}
and this actually looks like it is due to the `__reduce__` method, not due
to the `WithEqualityById`.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14793#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
