ambientFivefold X





When $X$ is a GM fourfold, the ambient fivefold of $X$ is a fivefold $Y\subset\mathbb{P}^8$ of degree 5 such that $X\subset Y$ is a quadric hypersurface. We have that the fourfold $X$ is of ordinary type if and only if $Y$ is smooth.





The object ambientFivefold is a method function.