curver.kernel.moves.EdgeFlip

class curver.kernel.moves.EdgeFlip(source_triangulation, target_triangulation, edge)[source]

Bases: curver.kernel.moves.FlipGraphMove

Represents the change to a curve caused by flipping an edge.

apply_homology(homology_class)[source]

Return the homology class obtained by mapping the given homology class through this move.

apply_lamination(lamination)[source]

See Lemma 5.1.3 of [Bell15] for details of the cases involved in performing a flip.

encode()

Return the Encoding induced by this move.

flip_mapping()[source]

Return a Mapping equal to self.encoding() but that only uses EdgeFlips and Isometries.

inverse()

Return the inverse of this move.

package()[source]

Return a small amount of data such that self.source_triangulation.encode([data]) == self.encode().

pl_action(multicurve)[source]

Return the PartialLinearFunction that this FlipGraphMove applies to the given multicurve.