PushForward

PushForward -- pushforward functor for finite ring maps. PushForward is a package that implements the pushforward functor for finite ring maps. Caveat: dWorks only for maps of rings finitely generated over a base field.