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.

Change History (1)

comment:1 Changed 4 years ago by roed

  • Keywords padicIMA added
Note: See TracTickets for help on using tickets.