Programs

Construction of rational surfaces of degree 12 in projective fourspace

Macaulay 2 scripts
  • rational-deg12.m2
    This includes the functions idealOfDeg12Surf, firstAdjoint and tangentSpaceOfDeg12Surfs.
    • idealOfDeg12Surf computes the ideal of a smooth surface X in P4 over F5 following Construction I.
    • firstAdjoint finds the ideal of the first adjoint surface of X. This also computes the number of (-1)-curve on X.
    • tangentSpaceOfDeg12Surfs is used to compute the dimension of the tangent space to the Hilbert scheme at X.

  • monadConstruction.m2
    The main function is randomSmoothSurface, which is used to construct a smooth surface following Construction II.

Last Updated: Aug. 13 2006 by Hirotachi Abo