diff --git a/ToricExtras/HelperFunctions.m2 b/ToricExtras/HelperFunctions.m2 index 19c30a0..2b122fc 100644 --- a/ToricExtras/HelperFunctions.m2 +++ b/ToricExtras/HelperFunctions.m2 @@ -46,7 +46,7 @@ permutationIsomorphic := (X, Y) -> ( --- Calculates the dimension of the cohomology group H^0(TX), i.e. the dimension of the space of global vector fields on X +-- Calculates the dimension of H^0(TX), i.e. the dimension of the space of global vector fields on X vectorFields = method(); vectorFields := X -> ( @@ -87,6 +87,13 @@ primitiveCollections := X -> ( ); +-- Calculates the tensor product of two sheaves on toric varieties, using Hom-tensor adjunction: F tensor G = Hom(F^*, G) = Hom(Hom(F, O), G) +-- When I tried ** it didn't work + +tensor2 = method(); +tensor2 := (sheaf1, sheaf2) -> (prune sheafHom(prune sheafHom(cotangentSheaf(X), sheaf(X, ring X)), cotangentSheaf(X))); + + end--