Data.NumIdr.Transform.Affine

Definitions

Affine : Nat -> Type -> Type

  An affine transform can contain any invertible affine map.

Totality: total
Visibility: public export

isAffine : FieldCmp a => HMatrix' n a -> Bool

  Determine if a homogeneous matrix represents an affine transform
  (i.e. is invertible).

Totality: total
Visibility: export

fromHMatrix : FieldCmp a => HMatrix' n a -> Maybe (Affine n a)

  Try to construct an affine transform from a homogeneous matrix.

Totality: total
Visibility: export