Esempio n. 1
0
 def stalk(self, point):
     """
       Return the stalk of ``self`` at the point ``point``.
       
       INPUT:
       
       - ``point`` -- A point in the domain poset of ``self``. 
       
       OUTPUT:
       
       The stalk of ``self`` at ``point``
     """
     stalk = FiniteRankFreeModule(self._base_ring, self._stalk_dict[point], name="Stalk of {} at {}".format(self, point))
     stalk.basis('e')
     return stalk
Esempio n. 2
0
 def global_sections(self):
     """
       Return the global sections of ``self``.  
     """
     c = self.cohomology(0)
     return FiniteRankFreeModule(self._base_ring, c.ngens(), name="Global Sections of {}".format(self))