diff --git a/tket2/src/extension/angle.rs b/tket2/src/extension/angle.rs index 28b4d5d25..a0956002e 100644 --- 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() {