next | previous | forward | backward | up | top | index | toc | Macaulay2 website
MultiprojectiveVarieties :: toRationalMap

toRationalMap -- convert a multi-rational map consisting of a single rational map to a standard rational map

Synopsis

Description

This is useful when you need to use tools from the package Cremona.

i1 : Phi = rationalMap(PP_QQ^(1,4),Dominant=>true);

o1 : MultirationalMap (dominant rational map from PP^4 to hypersurface in PP^5)
i2 : class Phi

o2 = MultirationalMap

o2 : Type
i3 : f = toRationalMap Phi;

o3 : RationalMap (quadratic dominant rational map from PP^4 to hypersurface in PP^5)
i4 : class f

o4 = RationalMap

o4 : Type
i5 : assert(Phi == f and Phi =!= f)

See also

Ways to use toRationalMap :

For the programmer

The object toRationalMap is a method function.