curver.kernel.crush.Lift

class curver.kernel.crush.Lift(source_triangulation, target_triangulation, matrix)[source]

Bases: curver.kernel.crush.LinearTransformation

This represents the inverse of crushing along a curve.

apply_homology(homology_class)

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.

inverse()

Return the inverse of this move.

package()

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