Currently only localizations at prime ideals of a polynomial ring are supported.
|
|
|
|
The maximal ideal and a residue map to the residue field are stored in the ring.
|
|
|
Objects over the base ring can be localized easily.
|
The object LocalRing is a type, with ancestor classes EngineRing < Ring < Type < MutableHashTable < HashTable < Thing.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/LocalRings/doc.m2:234:0.