Data.NumIdr.Transform.Trivial

Definitions

Trivial : Nat -> Type -> Type

  A trivial transform is a transform that must leave all points unchanged.
  This transform type only exists so that `linearize` can take a translation
  as input.

Totality: total
Visibility: public export

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

  Determine if a homogeneous matrix is trivial.

Totality: total
Visibility: export