I'll forward this to sage-nt. I have not used orders in number fields much myself, but it looks to me as if several of these should be easy. One of them (about quaternion orders) is altogether different since that is about orders in quaternion algebras (over number fields), not about orders in number fields.
John On Wed, 21 Jul 2021 at 10:35, Samuel Lelievre <samuel.lelie...@gmail.com> wrote: > > Orders in number fields certainly need work. > > This Sage Trac query: > > https://trac.sagemath.org/query?order=id&desc=1&summary=~orders > > and similar queries with "order" or "ring of integers" reveal the following > open tickets > > #28706 clarify order generation in number fields with bracket syntax > #28552 Elements in orders in number fields are considered as field > elements > #27413 Implement picard group and unit group for non-maximal orders > #25709 inject_variables is broken for orders of number fields > #24934 Orders are not unique parents > #24031 Coercion between Matrices over orders and over the number field > #23971 Euclidean division in quadratic imaginary orders > #23321 Implemented functionality for Quotient Rings of Orders > #23236 Create p-maximal orders > #18865 Can't make ring homomorphism from ring of integers to a residue > field > #16556 AbsoluteOrder.random_element and > PolynomialQuotientRing_integer.random_element > #14740 Infinite loop in creation of number field order > #13568 Quaternion Orders over Number Fields > #12242 Divisibility of number field order elements needs work > #5893 Norm Form for Number Fields and Orders > #4738 base_ring of orders in relative number fields is wrong > #1134 optimize creating elements of orders and number fields by > coercing in lists > > I can also link to discussions on other channels if that seems useful. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/9b44b324-797a-42a8-bb09-d54ae57e9a83n%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAD0p0K7uVusXXGL9V9ghNv7PM1nyr6hXca5EYfk2PpK32QZrKA%40mail.gmail.com.
