id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
12875,Fix the homset category initialization for ModularAbelianVariety's homspaces,nthiery,craigcitro,"Before the patch, the following was wrong (probably introduced by #9138):
{{{
sage: End(J0(37)).homset_category()
Join of Category of hom sets in Category of sets and Category of rings
}}}
After the patch:
{{{
sage: End(J0(37)).homset_category()
Category of modular abelian varieties over Rational Field
}}}
In both cases, we have, as desired:
{{{
sage: End(J0(37)).category()
Join of Category of hom sets in Category of sets and Category of rings
}}}
By the way, this removes a direct call to _Hom_, using Hom instead, preparing for #11935.
Note: #11935 depends on this ticket.
",defect,closed,major,sage-5.1,modular forms,fixed,"categories, abelian varieties",sage-combinat,sage-5.1.beta0,Nicolas M. Thiéry,Simon King,N/A,,,,,