LocalRings -- Localizing polynomial rings at a prime ideal
-
liftUp -- Lifts various objects over R_P to R.
localComplement (missing documentation)
localMingens (missing documentation)
localModulo (missing documentation)
localPrune (missing documentation)
localResolution (missing documentation)
localsyz (missing documentation)
maxIdeal (missing documentation)
presentationComplex (missing documentation)
residueMap (missing documentation)
setMaxIdeal (missing documentation)