next
| previous |
forward
| backward | up | top |
index
|
toc
|
directory
|
Macaulay 2 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 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)