Add tests for GridRotation::inverse().

kpreid · Oct 3, 2023 · 3d4b154 · 3d4b154
1 parent 78e1567
commit 3d4b154
Showing 1 changed file with 26 additions and 0 deletions.
diff --git a/all-is-cubes/src/math/rotation.rs b/all-is-cubes/src/math/rotation.rs
@@ -515,6 +515,32 @@ mod tests {
         );
     }
 
+    #[test]
+    fn inverse_axioms() {
+        assert_eq!(GridRotation::IDENTITY.inverse(), GridRotation::IDENTITY);
+        for rot in GridRotation::ALL {
+            assert_eq!(rot * rot.inverse(), GridRotation::IDENTITY, "{rot:?}");
+            assert_eq!(rot.inverse().inverse(), rot, "{rot:?}");
+        }
+    }
+
+    #[test]
+    fn inverse_effect() {
+        let v = GridVector::new(1, 5, 100);
+        for rot in GridRotation::ALL {
+            assert_eq!(
+                rot.transform_vector(rot.inverse().transform_vector(v)),
+                v,
+                "{rot:?}"
+            );
+            assert_eq!(
+                rot.inverse().transform_vector(rot.transform_vector(v)),
+                v,
+                "{rot:?}"
+            );
+        }
+    }
+
     #[test]
     fn is_reflection_consistency() {
         for a in GridRotation::ALL {