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
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))