update readme & minors

dakk · Mar 20, 2024 · 68a4faf · 68a4faf
1 parent a608479
commit 68a4faf
Show file tree

Hide file tree

Showing 5 changed files with 19 additions and 12 deletions.
diff --git a/docs/source/_images/grover_circ.png b/docs/source/_images/grover_circ.png
diff --git a/docs/source/_images/h_circ.png b/docs/source/_images/h_circ.png
diff --git a/docs/source/example_grover.ipynb b/docs/source/example_grover.ipynb
diff --git a/qlasskit/compiler/internalcompiler.py b/qlasskit/compiler/internalcompiler.py
@@ -98,6 +98,13 @@ def compile_expr(  # noqa: C901
         elif expr in self.expqmap:
             return self.expqmap[expr]
 
+        # Special mappings sectiona
+        # Add here special expressions mappings to QC
+
+        # (a & b) ^ (a ^ b) & c => MCX(a,b,new), MCX(b,c,new)
+
+        # End of speccial mappings section
+
         elif isinstance(expr, Xor):
             if dest is None:
                 d = qc.get_free_ancilla()

diff --git a/qlasskit/types/__init__.py b/qlasskit/types/__init__.py
@@ -23,7 +23,7 @@ def _neq(a, b):
 
 
 def _eq(a, b):
-    return Not(_neq(a, b))
+    return Not(Xor(a, b))
 
 
 def _half_adder(a, b):  # Carry x Sum
@@ -32,15 +32,15 @@ def _half_adder(a, b):  # Carry x Sum
 
 def _full_adder(c, a, b):  # Carry x Sum
     return (a & b) ^ (a ^ b) & c, Xor(Xor(a, b), c)
-
-    # from ..boolquant import H, CX, MCX
+    # from ..boolquant import Q
     # from sympy import Symbol
-    # o = Symbol('new_qubit')
-    # o = MCX(a, b, o)
-    # b = CX(a, b)
-    # o = MCX(b, c, o)
-    # c = CX(b,c)
-    # return c, o
+    # c_o = Symbol('carry')
+    # c_o = Q.MCX(a, b, c_o)
+    # b = Q.CX(a, b)
+    # c_o = Q.MCX(b, c, c_o)
+    # c = Q.CX(b, c)
+    # b = Q.CX(a, b)
+    # return c_o, c
 
 
 from .qtype import (  # noqa: F401, E402