From 1e2ede485e723b628438d0fab502ad676f877bee Mon Sep 17 00:00:00 2001 From: Olivia Di Matteo Date: Sat, 24 Aug 2024 13:50:33 -0700 Subject: [PATCH] Add description of equivalence checking to docs. --- ionizer/transforms.py | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/ionizer/transforms.py b/ionizer/transforms.py index c509085..e306b30 100644 --- a/ionizer/transforms.py +++ b/ionizer/transforms.py @@ -20,11 +20,10 @@ performs end-to-end transpilation and optimization of circuits. It calls a number of helper transforms which can also be used individually. -While all transforms should preserve the behaviour of the circuit, they contain -a mechanism for under-the-hood equivalence checking (up to a global phase) -through the ``verify_equivalence`` flag. When set, an error will be raised if -the transpiled circuit is not equivalent to the original. This flag is ``False`` -by default as equivalence is checked at the unitary matrix level. For more details, see +All transforms contain a mechanism for under-the-hood equivalence checking (up +to a global phase) through the ``verify_equivalence`` flag. When set, an error +will be raised if the transpiled circuit is not equivalent to the original. For +details and example usage see :ref:`basic_usage-equivalence_validation` and :func:`ionizer.utils.flag_non_equivalence`. """