curver.kernel.encoding.Mapping¶
-
class
curver.kernel.encoding.
Mapping
(sequence)[source]¶ Bases:
curver.kernel.encoding.Encoding
An Encoding where every move is a FlipGraphMove.
Hence this encoding is a sequence of moves in the same flip graph.
-
homology_matrix
()[source]¶ Return a matrix describing the action of this mapping on first homology (relative to the punctures).
The matrix is given with respect to the homology bases of the source and target triangulations.
-
intersection_matrix
()[source]¶ Return the matrix M = {signed_intersection(self(e_i), e’_j)}_{ij}. Here e_i and e’_j are the edges of self.source_triangulation and self.target_triangulation respectively.
Except when on S_{1,1}, this uniquely determines self.
-
inverse
()¶ Return the inverse of this encoding.
-
package
()¶ Return a small amount of info that self.source_triangulation can use to reconstruct this triangulation.
-
pl_action
(multicurve)[source]¶ Return the PartialLinearFunction that this Mapping applies to the given multicurve.
-
promote
()¶ Return this Encoding in its finest form.
-