pushforwardMultiplicity(X,X',mult,k)
The list mult is the list of multiplicities of the tropicalization of the intersection of a subvariety Y of X with the torus. The tropicalization has the fan structure of the fan of X', and k is the dimension of Y. This function calculates the intersection products of Y and V(sigma), where sigma is a cone of X of dimension k. This is done by calculating the pullback of V(sigma) in X', and substituting V(sigma') with m(sigma'), where sigma' is a cone of dimension k in X'. This is the same as taking the class in X' corresponding to the Minkowski weights given by Y and computing the Minkowski weights corresponding to the pushforward of this class on X.








The object pushforwardMultiplicity is a method function.