curver.kernel.moves.Isometry

class curver.kernel.moves.Isometry(source_triangulation, target_triangulation, label_map)

Bases: curver.kernel.moves.FlipGraphMove

This represents an isometry from one Triangulation to another.

Triangulations can create the isometries between themselves and this is the standard way users are expected to create these.

apply_homology(homology_class)

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

apply_lamination(lamination)

Return the lamination obtained by mapping the given lamination through this move.

encode()

Return the Encoding induced by this move.

flip_mapping()

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

inverse()

Return the inverse of this move.

is_identity()

Return whether this isometry is the identity.

package()

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

pl_action(multicurve)

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