randomMonomialCurve -- creates the ideal of a random monomial curve of degree (d,e) in P^1xP^2

Synopsis

Usage:

randomMonomialCurve(d,e,F)

randomMonomialCurve(d,e)
Inputs:
- d, an integer, degree of curve on the $\PP^1$ factor of $\PP^1\times\PP^2$
- e, an integer, degree of curve on the $\PP^2$ factor of $\PP^1\times\PP^2$
- F, a ring, base ring
Outputs:
- an ideal, defining random monomial curve in $\PP^1\times\PP^2$ of degree (d,e) over F.

Description

Given two positive integers d,e and a ring F, randomMonomialCurve returns the ideal of a random curve in $\PP^1\times\PP^2$ of degree (d,e) defined over the base ring F.

This is done by randomly generating a monomial $m$ of degree $e$ in $F[s,t]$, which is not $s^e$ or $t^e$. This allows one to define two maps $\PP^1\to\PP^1$ and $\PP^1\to\PP^2$ given by {s^d,t^d} and {s^e,m,t^e}, respectively. The graph of the product of these two maps in $\PP^1\times(\PP^1\times\PP^2)$ is computed, from which a curve of bi-degree (d,e) in $\PP^1\times\PP^2$ over F is obtained by saturating and then eliminating.

If no base ring is specified, the computations are performed over ZZ/101.

i1 : randomMonomialCurve(2,3,QQ);

o1 : Ideal of QQ[x   ..x   , x   ..x   ]
                  0,0   0,1   1,0   1,2

Caveat

This creates a ring $F[x_{0,0},x_{0,1},x_{1,0},x_{1,1},x_{1,2}]$ in which the resulting ideal is defined.

Ways to use randomMonomialCurve :

randomMonomialCurve(ZZ,ZZ)
randomMonomialCurve(ZZ,ZZ,Ring)

For the programmer

The object randomMonomialCurve is a method function.