curver.kernel.moves.Isometry

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

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)[source]

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

apply_lamination(lamination)[source]

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

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.

is_identity()[source]

Return whether this isometry is the identity.

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.