Data.NumIdr.Transform.Isometry

Definitions

Isometry : Nat -> Type -> Type

  An isometry is an affine transformation that preserves distance between
  points. It encompasses translations, rotations, and reflections.

Totality: total
Visibility: public export

isIsometry : Eq a => Num a => HMatrix' n a -> Bool

  Determine if a matrix represents an isometry.

Totality: total
Visibility: export

fromHMatrix : Eq a => Num a => HMatrix' n a -> Maybe (Isometry n a)

  Try to construct an isometry from a homogeneous matrix.

Totality: total
Visibility: export