#20028: sorting of number field elements
-------------------------------------+-------------------------------------
Reporter: cremona | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-7.1
Component: number fields | Resolution:
Keywords: sort number field | Merged in:
elements | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | 77618de1e986cc52605e071be2542e43d767bbc0
u/nbruin/sorting_of_number_field_elements| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by cremona):
Replying to [comment:9 nbruin]:
> Getting "rings" to pass was easy. In elliptic curves there seem to be
some more assumptions about things being sortable that are not sortable.
Some preliminary fixes put in place. Comments welcome.
>
> In particular, please take a look at isogeny_small_degree. The approach
I took for the first bit can most certainly be extended, but if you have
strong opinions in another direction, then feel free to implement that.
As you know from the original thread, one of my aims in starting this was
to get the isogenies in a fixed order. Partly that is just so that we can
doctest, since there is no intrinsic mathematical ordering on the set of
isogenies from a given curve. For this it would suffice to arrange for
the doctest outputs not to be order-sensitive which would be rather
tedious but a Godd Thing in the long run (as I think Volker would agree).
In situations were I do care about the order of the curves in an isogeny
class, that is something which can be achieved elsewhere, in the code for
the isogeny class itself; the class could have one or more methods for
sorting the curves in it, to be use by people who care (such as me).
I will do some work on this right now, just in
sage/schemes/elliptic_curves, building on commit 77618de1e986c
--
Ticket URL: <http://trac.sagemath.org/ticket/20028#comment:12>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
