toki/numidr
1
0
Fork 0
Code Issues Pull requests Activity

Remove HACK annotation

Browse source 
Apparently there isn't a more efficient method.
This commit is contained in:
Kiana Sheibani 2022-10-21 17:49:41 -04:00
parent 3c2ebdc048
commit 8e58fc8a1a
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/Data/NumIdr/Transform/Rotation.idr
View file

@ -20,7 +20,6 @@ Rotation = Transform TRotation
||| Determine if a matrix represents a rotation. ||| Determine if a matrix represents a rotation.
-- HACK: Replace with more efficient method
export export
isRotation' : FieldCmp a => Matrix' n a -> Bool isRotation' : FieldCmp a => Matrix' n a -> Bool
isRotation' mat = isOrthonormal' mat && det mat == 1 isRotation' mat = isOrthonormal' mat && det mat == 1