next | previous | forward | backward | up | top | index | toc | Macaulay2 website
MultiprojectiveVarieties :: multidegree(MultirationalMap)

multidegree(MultirationalMap) -- projective degrees of a multi-rational map

Synopsis

Description

This calculates the multidegree of the graph and converts it to the list of projective degrees.

i1 : ZZ/300007[x_0..x_3], f = rationalMap {x_2^2-x_1*x_3, x_1*x_2-x_0*x_3, x_1^2-x_0*x_2}, g = rationalMap {x_1^2-x_0*x_2, x_0*x_3, x_1*x_3, x_2*x_3, x_3^2};
i2 : Phi = last graph rationalMap {f,g};

o2 : MultirationalMap (rational map from threefold in PP^3 x PP^2 x PP^4 to PP^2 x PP^4)
i3 : time multidegree Phi
     -- used 1.2028 seconds

o3 = {66, 46, 31, 20}

o3 : List
i4 : (degree source Phi,degree image Phi)

o4 = (66, 20)

o4 : Sequence

References

ArXiv preprint: Computations with rational maps between multi-projective varieties.

See also