isSmoothBihomModel -- check whether the model in P1xP3 is smooth or not
Synopsis
Usage:
isSmoothBihomModel(J)
Inputs:
J, an ideal, defining a variety in the product of projective spaces P1xP3
Outputs:
a Boolean value, whether the variety is smooth or not
Description
The procedure checks whether the variety in ℙ1 ×ℙ3 is smooth or not. Usually, the ideal J defines the image of a Godeaux surface under the product of the bi- and tricanonical map.
See also
bihomogeneousModel -- compute a birational model of a numerical Godeaux surface in P1xP3