SheafMap ^ ZZ -- raises a SheafMap to a power

• Operator: ^

• Usage:

  f ^ n

• Inputs:
  • f, a morphism of sheaves, a sheaf map
  • n, an integer, a non-negative integer
• Outputs:
  • a morphism of sheaves, the sheaf map f raised to the power n

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : X = variety R

o2 = X

o2 : ProjectiveVariety

i3 : f = sheafHom(OO_X, OO_X)

        1
o3 = OO
       X

o3 : coherent sheaf on X, free of rank 1

i4 : g = f ^ 2

        2
o4 = OO
       X

o4 : coherent sheaf on X, free of rank 2