Pullback -- pullback in the category of rings
Description
Pullback is a package that implements pullback for diagrams of rings
Caveat
Works only for maps of rings finitely generated over a base field and one of the two maps is surjective
Authors
-
Drew Ellingson
-
Karl Schwede
Version
This documentation describes version 1.03 of Pullback.
Source code
The source code from which this documentation is derived is in the file Pullback.m2.
Exports
-
Functions and commands
-
Methods
-
"internalUseDirectSum(Ring,Ring)" -- see internalUseDirectSum -- Compute direct sum of two rings.
-
"pullback(RingMap,RingMap)" -- see pullback -- Compute the pullback of a diagram of rings