Changes between Initial Version and Version 1 of Ticket #23331, comment 19


Ignore:
Timestamp:
Jul 21, 2017, 4:20:37 PM (5 years ago)
Author:
David Roe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23331, comment 19

    initial v1  
    55> I don't unserstand why implementing `exact_ring` would require something more than just calling `ZZ.extension(...)` that creates the order in a number field defined by the given polynomial. We do not care if it is not the maximal order, don't we?
    66
    7 Good point.  I'll make another followup.
    8  
     7Good point.  See #23507.
    98> > > Shouldn't we have a coercion map from the exact subfield/subring to the p-adic field/ring?
    109> > Yes.  I'll add this to the the followup ticket #23471