diff --git a/src/Data/NumIdr/Transform/Rotation.idr b/src/Data/NumIdr/Transform/Rotation.idr index b4f32e1..7ed18be 100644 --- a/src/Data/NumIdr/Transform/Rotation.idr +++ b/src/Data/NumIdr/Transform/Rotation.idr @@ -20,7 +20,6 @@ Rotation = Transform TRotation ||| Determine if a matrix represents a rotation. --- HACK: Replace with more efficient method export isRotation' : FieldCmp a => Matrix' n a -> Bool isRotation' mat = isOrthonormal' mat && det mat == 1