Synopsis:
Code:
-- ../m2/varieties.m2:299 Module ^** ZZ := (F,n) -> binaryPower(F,n,tensor,() -> (ring F)^1, dual)