i1 : R = QQ[x, y, z] / ideal(x *y - z^2);
|
i2 : D = divisor({1/2, 4/3}, {ideal(x, z), ideal(y, z)}, CoefficientType => QQ)
o2 = 4/3*Div(y, z) + 1/2*Div(x, z)
o2 : QWeilDivisor on R
|
i3 : ceiling( D )
o3 = 2*Div(y, z) + Div(x, z)
o3 : WeilDivisor on R
|
i4 : floor( D )
o4 = Div(y, z)
o4 : WeilDivisor on R
|
i5 : E = divisor({0.3, -0.7}, {ideal(x, z), ideal(y,z)}, CoefficientType => RR)
o5 = -.7*Div(y, z) + .3*Div(x, z)
o5 : RWeilDivisor on R
|
i6 : ceiling( E )
o6 = Div(x, z)
o6 : WeilDivisor on R
|
i7 : floor( E )
o7 = -Div(z, y)
o7 : WeilDivisor on R
|