-
LocalRings -- Localizing polynomial rings at a prime ideal
-
-
liftUp -- Lifts various objects over R_P to R.
-
-
-
localModulo -- find the pre-image (pullback) of image of a map over a local ring
-
-
-
LocalRing (missing documentation)
-
-
maxIdeal (missing documentation)
-
MaximalIdeal (missing documentation)
-
presentationComplex (missing documentation)
-
residueMap (missing documentation)
-
setMaxIdeal -- set the maximal ideal for local ring methods