Data.NumIdr.Transform.Linear

Definitions

Linear : Nat -> Type -> Type

  A linear transform can contain any invertible linear map.

Totality: total
Visibility: public export

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

  Determine if a homogeneous matrix represents a linear transform.

Totality: total
Visibility: export

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

  Try to construct a linear transform from a homogeneous matrix.

Totality: total
Visibility: export

fromMatrix : FieldCmp a => Matrix' n a -> Maybe (Linear n a)

  Try to construct a linear transform from a matrix.
  This will fail if the matrix is not invertible.

Totality: total
Visibility: export