#9944: categories for polynomial rings
--------------------------------------------+-------------------------------
Reporter: robertwb | Owner: nthiery
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.7.1
Component: categories | Resolution:
Keywords: | Work_issues:
Upstream: N/A | Reviewer: Nicolas M.
Thiéry, Mike Hansen, Martin Raum
Author: Robert Bradshaw, Simon King | Merged:
Dependencies: |
--------------------------------------------+-------------------------------
Changes (by SimonKing):
* status: new => needs_review
* work_issues: fix on 32-bit =>
Old description:
> Currently, they're always just commutative rings.
>
> '''Apply:'''
> 1. [attachment:9944-poly-cat.patch]
> 2. [attachment:trac-9944-poly_cat_doctests.patch]
> 3. [attachment:trac-9944-poly-cat-review.patch]
> 4. [attachment:trac9944_polynomial_speedup.patch]
New description:
Currently, they're always just commutative rings.
'''Apply:'''
1. [attachment:9944-poly-cat.patch]
2. [attachment:trac-9944-poly_cat_doctests.patch]
3. [attachment:trac-9944-poly-cat-review.patch]
4. [attachment:trac9944_polynomial_speedup.patch]
5. [attachment:trac9944_abvar_endomorphism.patch]
--
Comment:
The problem seems solved.
What I did: Initialise the endomorphism ring first as a ring, and provide
it with the intended category. Then initialise it as a homset as well.
That solves the problem in the sense that it disappears.
Admittedly I can not explain how exactly the problem has originally
emerged. But I guess it makes sense that it is a problem if a homset gives
itself a certain category and then sage.rings.ring.Ring tries to work with
another category.
With the new patch, we have (also as an additional doc test)
{{{
sage: J = J1(12345)
sage: J.endomorphism_ring()
Endomorphism ring of Abelian variety J1(12345) of dimension 5405473
}}}
both on my machine (x86_64 Linux) and on bsd.math in a 32 bit
installation. Moreover, on both machines, the tests in sage.modular pass.
Needs review, I guess.
Apply 9944-poly-cat.patch 9944-poly-cat-doctests.patch trac-9944-poly-cat-
review.patch trac9944_polynomial_speedup.patch
trac9944_abvar_endomorphism.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9944#comment:44>
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.
