test: cover angle equality and name

CQCL · Nov 10, 2023 · 403dbec · 403dbec
1 parent ddc8414
commit 403dbec
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tket2/src/extension/angle.rs b/tket2/src/extension/angle.rs
@@ -297,6 +297,11 @@ mod test {
         assert_eq!(const_af1.log_denom(), 5);
 
         assert!(ConstAngle::from_radians_rounding(54, 0.21874 * TAU).is_err());
+
+        assert_eq!(const_a32_7, ConstAngle::new(5, 7).unwrap());
+        assert_ne!(const_a32_7, const_a33_7);
+
+        assert_eq!(const_a32_8.name(), "a(2π*8/2^6)");
     }
     #[test]
     fn test_binop_sig() {