We define the cyclotomic field of the 6th root of unity.
{{{id=1| K.Just a test.
{{{id=2| eta^2-eta+1; /// 0 }}}The 3-dimensional affine space over K.
{{{id=3| A3.The hypersurface W=\cal{W} (see Proposition 10.3).
{{{id=4| W = A3.subscheme(zeta^2-(nu*nub-2)*zeta+nu^3+nub^3-5*nu*nub+5); /// }}}The locus where g is not defined.
{{{id=6| gsing = (A3.subscheme([zeta-1])).union(A3.subscheme([zeta-nu*nub+3])); /// }}}The singular set Y of g: W -> X.
{{{id=5| Y = W.intersection(gsing); /// }}}The decomposition of Y into irreducible componenets.
{{{id=7| Y.irreducible_components(); /// [ Closed subscheme of Affine Space of dimension 3 over Cyclotomic Field of order 6 and degree 2 defined by: nu + nub + 2, zeta - 1, Closed subscheme of Affine Space of dimension 3 over Cyclotomic Field of order 6 and degree 2 defined by: nu + (eta - 1)*nub + (-2*eta), zeta - 1, Closed subscheme of Affine Space of dimension 3 over Cyclotomic Field of order 6 and degree 2 defined by: nu + (-eta)*nub + (2*eta - 2), zeta - 1, Closed subscheme of Affine Space of dimension 3 over Cyclotomic Field of order 6 and degree 2 defined by: nu + nub + 2, nub^2 + zeta + 2*nub + 3, Closed subscheme of Affine Space of dimension 3 over Cyclotomic Field of order 6 and degree 2 defined by: nu + (eta - 1)*nub + (-2*eta), nub^2 + (-eta)*zeta + (2*eta - 2)*nub + (-3*eta), Closed subscheme of Affine Space of dimension 3 over Cyclotomic Field of order 6 and degree 2 defined by: nu + (-eta)*nub + (2*eta - 2), nub^2 + (eta - 1)*zeta + (-2*eta)*nub + (3*eta - 3) ] }}}