Description
Computes the arithmetic genus of the coherent sheaf
F that is (1)^dimsupport * (chi(F)  1)). If
F is a module over a ring, then the genus of
F~ is computed. If
I is an ideal in a ring
R then the genus of
(R/I)~ is computed.
i1 : V = Proj(QQ[x,y,z]/ideal(y^2*zx^2*(x+z)))
o1 = V
o1 : ProjectiveVariety

i2 : genus OO_V^1
o2 = 1
