The function start from a random rational curve ICrat of degree d. Then we choose two forms of degrees fY0 and fY1 in ideal of the rational curve to define a the complete intersection Y. The quotient ideal IE=(IY:ICrat) will compute the ideal of curve. We may get the curve with desired genus in two steps liaison, then we need to pick random forms of degrees fX0 and fX1 to define the second complete intersection X. The quotient ideal IX:IE will compute the ideal of the curve with desired genus.
i1 : p=101; |
i2 : C=time curveViaLiaison(p,{1,1,3},{{0,0,0},{0,0,0}},{{2,2,1},{2,2,2}});
-- used 1.37059 seconds
|
i3 : C=time curveViaLiaison(p,{1,1,4},{{0,0,0},{0,0,0}},{{3,2,2},{2,3,2}});
-- used 318.345 seconds
|