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

Author

• Claudiu Raicu <craicu@nd.edu>

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.

Exports