next | previous | forward | backward | up | top | index | toc | Macaulay2 website
NumericalGodeaux :: isSmoothModelInP5

isSmoothModelInP5 -- check whether the model in the weighted P5 is smooth or not

Synopsis

Description

The procedure computes first the quasi-singular locus of the variety in weighted projective space. Afterwards the image of the variety under the 6-uple embedding of $\mathbb{P}(2,2,3,3,3,3)$ into $\mathbb{P}^{13}$ is determined and the points in the quasi-smooth locus are checked for smoothness. Usually, the ideal $I$ defines a surface in the weighted projective obtained by our construction method.

Caveat

The computation of the quasi-smooth locus of the surfaces obtained by our construction is usually very time consuming.

See also

Ways to use isSmoothModelInP5 :

For the programmer

The object isSmoothModelInP5 is a method function.