From 8e58fc8a1a1c2b0e3c6f8c28fc41c606b8a9f35b Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Fri, 21 Oct 2022 17:49:41 -0400 Subject: [PATCH] Remove HACK annotation Apparently there isn't a more efficient method. --- src/Data/NumIdr/Transform/Rotation.idr | 1 - 1 file changed, 1 deletion(-) 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