Changes between Version 26 and Version 44 of Ticket #9944


Ignore:
Timestamp:
05/06/11 13:49:07 (8 years ago)
Author:
SimonKing
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

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9944

    • Property Reviewers changed from Nicolas M. Thiéry, Mike Hansen to Nicolas M. Thiéry, Mike Hansen, Martin Raum
    • Property Milestone changed from sage-4.7 to sage-4.7.1
  • Ticket #9944 – Description

    v26 v44  
    66  3. [attachment:trac-9944-poly-cat-review.patch]
    77  4. [attachment:trac9944_polynomial_speedup.patch]
     8  5. [attachment:trac9944_abvar_endomorphism.patch]