Re: [sage-devel] Adèles and ideles: choosing a category

My vote would be for a similar category to the p-adics: sage: Zp(5).category() Join of Category of complete discrete valuation rings and Category of infinite sets and Category of complete metric spaces sage: Qp(5).category() Join of Category of complete discrete valuation fields and Category

Re: [sage-devel] help needed with debugging

In case anyone is still interested: doing what I proposed, I got >95% of the way through my data processing before a similar thing happened, and now the traceback does help. I will post it here. In a nutshell, there is a try/except block deep in the coercion code, specifically these lines 154ff

[sage-devel] Adèles and ideles: choosing a category

Dear all, I am working on an implementation of adèles an idèles in SageMath and I am not sure which category to put these algebraic structures in. Let's take a concrete example: I implemented the ring of profinite integers . Currently this is a p

Re: [sage-devel] help needed with debugging

Thanks for the suggestion. At the moment I am more interested in completing my computation than in debugging Sage internals (this cannot possibly be anything specific to the elliptic curve class, surely?), so I am avoiding calling the isogeny_class() method and calling IsogenyClass_EC_NumberField(

Re: [sage-devel] help needed with debugging

2021-06-15 07:37:27 UTC, John Cremona: > > Thanks, William. So I don't have to rebuild Sage on the machine this > is running on, what I will do instead is to replace the call to > E.isogeny_class() with what that method actually does behind the > scenes, namely > > from sage.schemes.elliptic_curves

Re: [sage-devel] help needed with debugging

Thanks, William. So I don't have to rebuild Sage on the machine this is running on, what I will do instead is to replace the call to E.isogeny_class() with what that method actually does behind the scenes, namely from sage.schemes.elliptic_curves.isogeny_class import IsogenyClass_EC_Nu