Macaulay2 package Parametrization - Rational parametrization of rational curves and related computations. Parametrization is a package to compute rational parametrizations of rational curves defined over ℚ. Suppose C is a rational plane curve C of degree n defined over ℚ. We use the package AdjointIdeal to compute the adjoint ideal of C. (The package exports also all functions available in AdjointIdeal, e.g., geometricGenus.) The corresponding linear system maps the curve birationally to a rational normal curve in ℙn-2. Iterating the anticanonical map we give a projection of the rational normal curve to ℙ1 for n odd or to a conic C2 in ℙ2 for n even. In the case that n is even we test for the existence of a rational point on the conic and if so give a rational parametrization of the conic. By inverting the birational map of C to ℙ1 or the conic we obtain a rational parametrization of C. If n is odd or C2 has a rational point C is parametrized by ℙ1 otherwise by C2. The main focus of the algorithm is to avoid unnecessary choices to obtain a parametrization of small height. For more theoretical details see J. Boehm: Rational parametrization of rational curves, http://www.math.uni-sb.de/ag/schreyer/jb/diplom%20janko%20boehm.pdf. The package is work in progress, so there will be future improvements and more testing is necessary.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element