Opened 5 years ago
Last modified 4 years ago
#23236 new enhancement
Create p-maximal orders
| Reported by: | roed | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | sage-8.0 |
| Component: | number fields | Keywords: | sd87, padicIMA |
| Cc: | Merged in: | ||
| Authors: | Reviewers: | ||
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Status badges
Description
There should be a parent in Sage for p-maximal orders within number fields. When we add completions, these will be a natural parent to complete to get rings of integers in p-adic fields.
In particular, the change method introduced in #20310 uses ring_of_integers, which can be expensive once p-adic extension fields can arise as completions of number fields. Once p-maximal orders exist, change should be changed accordingly.
Note: See
TracTickets for help on using
tickets.
