next
| previous |
forward
| backward | up | top |
index
|
toc
|
Macaulay2 web site
LocalRings -- Polynomial rings localized at a maximal ideal
Description
LocalRings
is a package for finding minimal generators, syzygies and resolutions for polynomial rings localized at a maximal ideal.
Authors
David Eisenbud
<
de@msri.org
>
Mike Stillman
<
mike@math.cornell.edu
>
Version
This documentation describes version
1.0
of LocalRings.
Source code
The source code from which this documentation is derived is in the file
LocalRings.m2
.
Exports
Functions
localComplement
-- find the splitting of the target of a map
localMingens
-- finds a minimal set of generators
localModulo
-- find the pre-image (pullback) of image of a map over a local ring
localPrune
-- find a minimal presentation
localResolution
-- find a resolution over a local ring
localsyz
-- find syzygies
setMaxIdeal
-- set the maximal ideal for local ring methods
Symbols
maxIdeal
(missing documentation)
residueMap
(missing documentation)