Rational map of projective varieties (source code)

= Rational map of projective varieties

A rational map is a morphism on a dense open subset, considered up to agreement on a smaller dense open subset.

It is the projective-source-and-target case of a <rational map of algebraic varieties>.