Added DoubleAsStringWithPrecision function - Multiple Katas (#1897)

Added DoubleAsStringWithPrecision function to following katas 1. Multi Qubit Gates 2. Preparing Quantum States 3. Measurement in Single-Qubit Systems 4. Distinguishing Quantum States
microsoft · Oct 1, 2024 · 7ea6941 · 7ea6941
1 parent 0380457
commit 7ea6941
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 4 deletions.
diff --git a/katas/content/distinguishing_states/a_b/Verification.qs b/katas/content/distinguishing_states/a_b/Verification.qs
@@ -28,7 +28,8 @@ namespace Kata.Verification {
             );
 
             if not isCorrect {
-                Message($"Test fails for alpha={alpha}");
+                let precision = 3;
+                Message($"Test fails for alpha={DoubleAsStringWithPrecision(alpha, precision)}");
                 return false;
             }
         }

diff --git a/katas/content/multi_qubit_gates/controlled_rotation/Verification.qs b/katas/content/multi_qubit_gates/controlled_rotation/Verification.qs
@@ -15,8 +15,9 @@ namespace Kata.Verification {
             let solution = register => Kata.ControlledRotation(register, angle);
             let reference = register => ControlledRotation(register, angle);
             if not CheckOperationsAreEqual(2, solution, reference) {
+                let precision = 3;
                 Message("Incorrect.");
-                Message($"The test case for theta={angle} did not pass");
+                Message($"The test case for theta={DoubleAsStringWithPrecision(angle, precision)} did not pass");
                 return false;
             }
         }

diff --git a/katas/content/preparing_states/unequal_superposition/Verification.qs b/katas/content/preparing_states/unequal_superposition/Verification.qs
@@ -10,11 +10,12 @@ namespace Kata.Verification {
     @EntryPoint()
     operation CheckSolution() : Bool {
         let limit = 36;
+        let precision = 3;
         for i in 0 .. limit {
             let alpha = 2.0 * PI() * IntAsDouble(i) / IntAsDouble(limit);
             let solution = Kata.UnequalSuperposition(_, alpha);
             let reference = UnequalSuperposition_Reference(_, alpha);
-            Message($"Testing for alpha = {alpha}...");
+            Message($"Testing for alpha = {DoubleAsStringWithPrecision(alpha, precision)}...");
             if not CheckOperationsEquivalenceOnZeroStateWithFeedback(
                 qs => solution(qs[0]), 
                 qs => reference(qs[0]),

diff --git a/katas/content/single_qubit_measurements/a_b_basis_measurements/Verification.qs b/katas/content/single_qubit_measurements/a_b_basis_measurements/Verification.qs
@@ -27,7 +27,8 @@ namespace Kata.Verification {
                 [$"|B⟩=(-i sin({i}π/10)|0⟩ + cos({i}π/10)|1⟩)", $"|A⟩=(cos({i}π/10)|0⟩ + i sin({i}π/10)|1⟩)"],
                 true);
             if not isCorrect {
-                Message($"Test fails for alpha={alpha}");
+                let precision = 3;
+                Message($"Test fails for alpha={DoubleAsStringWithPrecision(alpha, precision)}");
                 return false;
             }
         }