PushForward -- pushforward functor for finite ring maps
Description
PushForward is a package that implements the pushforward functor for finite ring maps
Caveat
Works only for maps of rings finitely generated over a base field
Version
This documentation describes version 0.1 of PushForward.
Source code
The source code from which this documentation is derived is in the file
PushForward.m2.