i2 : D = divisor({1, -3, -5, 8}, {ideal(x, u), ideal(y, v), ideal(x, v), ideal(y, u)})
o2 = -5*Div(x, v) + 8*Div(y, u) + 1*Div(x, u) + -3*Div(y, v) of R
o2 : WDiv
|
i3 : nonCartierLocus( D )
5 4 4 4 2 3 3 3 2 3 2 3 3 2
o3 = ideal (v , u*v , y*v , x*v , u v , y*u*v , x*u*v , y v , x v , u v ,
------------------------------------------------------------------------
2 2 2 2 2 2 2 2 3 2 3 2 4 3 3 2 2
y*u v , x*u v , y u*v , x u*v , y v , x v , u v, y*u v, x*u v, y u v,
------------------------------------------------------------------------
2 2 3 3 4 4 5 4 4 2 3 2 3 3 2 3 2
x u v, y u*v, x u*v, y v, x v, u , y*u , x*u , y u , x u , y u , x u ,
------------------------------------------------------------------------
4 4 5 5
y u, x u, y , x )
o3 : Ideal of R
|