Completions

Local Rings can be obtained by completing an order at a prime ideal (see Chapter ORDERS AND ALGEBRAIC FIELDS and tttRef{RngOrd:Completion1}).

Completion(P, n) : RngOrdIdl, RngIntElt -> RngLoc, Map

LocalRing(P, n) : RngOrdIdl, RngIntElt -> RngLoc, Map

The completion (as a local ring) of the order at the prime ideal P up to precision n and the embedding of the order into the resulting local ring.