#9944: categories for polynomial rings
--------------------------------------------+-------------------------------
Reporter: robertwb | Owner: nthiery
Type: defect | Status: new
Priority: major | Milestone: sage-4.7.1
Component: categories | Resolution:
Keywords: | Work_issues: fix on 32-bit
Upstream: N/A | Reviewer: Nicolas M.
Thiéry, Mike Hansen, Martin Raum
Author: Robert Bradshaw, Simon King | Merged:
Dependencies: |
--------------------------------------------+-------------------------------
Comment(by SimonKing):
I think I found it!
The problem occurs during initialisation of
`sage.modular.abvar.homspace.EndomorphismSubring`. It is first initialised
as a homset with a specific category `cat` that does not belong to the
category of rings, and then as a ring. The second initialisation tries to
put it into the category of rings, which seems to be a bad idea after the
first initialisation.
Solution:
Form the join of `cat` with the category of rings. Initialise it as a ring
with that join category (which became possible with #9944!). Eventually,
initialise it as a homspace, with the same category.
With that little magic, the error seems to disappear. But now I need to do
tests.
Cheers,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9944#comment:43>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
