Synopsis:
F ++ G -- direct sum of coherent sheaves.
Code:
-- ../m2/varieties.m2:120 CoherentSheaf ++ CoherentSheaf := CoherentSheaf => (F,G) -> sheaf(F.variety, F.module ++ G.module)