Synopsis:
Code:
-- ../m2/varieties.m2:300 CoherentSheaf ^** ZZ := (F,n) -> binaryPower(F,n,tensor,() -> OO_(F.variety), dual)