Skip to content

Implementation of Pushforward

Jonathan Zachhuberrequested to merge
pushforward into master

This branch contains an implementation of the pushforward from the level moduli space to \bar{M_{g,n}}.

More precisely, diffstrata's ELGTautClasses may now be "transformed" into admcycles tautclasses. This allows a generalisation of Strataclass to arbitrary GeneralisedStratum objects.

Merge request reports