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 $\mathbb{P}^{1} \times \mathbb{P}^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.

Ways to use `isSmoothBihomModel` :

"isSmoothBihomModel(Ideal)"

For the programmer

The object isSmoothBihomModel is a method function.

isSmoothBihomModel -- check whether the model in P1xP3 is smooth or not

Synopsis

Description

See also

Ways to use isSmoothBihomModel :

For the programmer

Ways to use `isSmoothBihomModel` :