classiq 0.37.1__py3-none-any.whl → 0.38.0__py3-none-any.whl

classiq/interface/generator/functions/core_lib_declarations/quantum_functions/std_lib_functions.py

@@ -42,7 +42,6 @@ QPE_FLEXIBLE = QuantumFunctionDeclaration.parse_raw(
         "phase": {
             "name": "phase",
             "quantum_type": {
-                "size": null,
                 "kind": "qnum"
             },
             "direction": "inout"
@@ -78,7 +77,6 @@ QPE_FLEXIBLE = QuantumFunctionDeclaration.parse_raw(
         {
             "name": "phase",
             "quantum_type": {
-                "size": null,
                 "kind": "qnum"
             },
             "direction": "inout"
@@ -95,7 +93,6 @@ QPE = QuantumFunctionDeclaration.parse_raw(
         "phase": {
             "name": "phase",
             "quantum_type": {
-                "size": null,
                 "kind": "qnum"
             },
             "direction": "inout"
@@ -117,7 +114,6 @@ QPE = QuantumFunctionDeclaration.parse_raw(
         {
             "name": "phase",
             "quantum_type": {
-                "size": null,
                 "kind": "qnum"
             },
             "direction": "inout"
@@ -251,6 +247,18 @@ AMPLITUDE_ESTIMATION = QuantumFunctionDeclaration.parse_raw(
     "port_declarations": {
         "phase_port": {
             "name": "phase_port",
+            "quantum_type": {
+                "kind": "qnum",
+                "size": {
+                    "expr": "num_phase_qubits"
+                },
+                "is_signed": {
+                    "expr": "False"
+                },
+                "fraction_digits": {
+                    "expr": "num_phase_qubits"
+                }
+            },
             "size": {
                 "expr": "num_phase_qubits"
             },
@@ -304,117 +312,311 @@ AMPLITUDE_ESTIMATION = QuantumFunctionDeclaration.parse_raw(
 }"""
 )
 
-SIMPLE_ORACLE = QuantumFunctionDeclaration.parse_raw(
+PHASE_ORACLE = QuantumFunctionDeclaration.parse_raw(
     """{
-    "name": "simple_oracle",
+    "name": "phase_oracle",
     "param_decls": {},
     "port_declarations": {
         "target": {
             "name": "target",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
             "direction": "inout"
         }
     },
     "operand_declarations": {
         "predicate": {
             "name": "predicate",
-            "port_declarations": {
-                "vars": {
-                    "name": "vars",
-                    "size": {
-                        "expr": "len(target)"
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
                     },
                     "direction": "inout"
                 },
-                "result": {
-                    "name": "result",
-                    "size": {
-                        "expr": "1"
+                {
+                    "name": "arg1",
+                    "quantum_type": {
+                        "kind": "qbit"
                     },
                     "direction": "inout"
                 }
-            }
+            ],
+            "is_list": false
         }
     },
-    "positional_arg_declarations": []
+    "positional_arg_declarations": [
+        {
+            "name": "predicate",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
+                    },
+                    "direction": "inout"
+                },
+                {
+                    "name": "arg1",
+                    "quantum_type": {
+                        "kind": "qbit"
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "target",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
+        }
+    ]
 }"""
 )
 
-GROVER_DIFFUSER = QuantumFunctionDeclaration.parse_raw(
+REFLECT_ABOUT_ZERO = QuantumFunctionDeclaration.parse_raw(
     """{
-    "name": "grover_diffuser",
-    "param_decls": {
-        "num_qubits": {
-            "kind": "int"
+    "name": "reflect_about_zero",
+    "param_decls": {},
+    "port_declarations": {
+        "packed_vars": {
+            "name": "packed_vars",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
         }
     },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "packed_vars",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+GROVER_DIFFUSER = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "name": "grover_diffuser",
+    "param_decls": {},
     "port_declarations": {
-        "p": {
-            "name": "p",
-            "size": {
-                "expr": "num_qubits"
+        "packed_vars": {
+            "name": "packed_vars",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
             },
             "direction": "inout"
         }
     },
-    "operand_declarations": {},
-    "positional_arg_declarations": []
+    "operand_declarations": {
+        "space_transform": {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        }
+    },
+    "positional_arg_declarations": [
+        {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "packed_vars",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
+        }
+    ]
 }"""
 )
 
 GROVER_OPERATOR = QuantumFunctionDeclaration.parse_raw(
     """{
     "name": "grover_operator",
+    "param_decls": {},
+    "port_declarations": {
+        "packed_vars": {
+            "name": "packed_vars",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {
+        "oracle": {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        "space_transform": {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        }
+    },
+    "positional_arg_declarations": [
+        {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "packed_vars",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+GROVER_SEARCH = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "name": "grover_search",
     "param_decls": {
-        "num_qubits": {
+        "reps": {
             "kind": "int"
         }
     },
     "port_declarations": {
-        "p": {
-            "name": "p",
-            "size": {
-                "expr": "num_qubits"
+        "packed_vars": {
+            "name": "packed_vars",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
             },
             "direction": "inout"
         }
     },
     "operand_declarations": {
-        "sp_op": {
-            "name": "sp_op",
-            "param_decls": {
-                "num_qubits": {
-                    "kind": "int"
-                }
-            },
-            "port_declarations": {
-                "spq": {
-                    "name": "spq",
-                    "size": {
-                        "expr": "num_qubits"
+        "oracle": {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
                     },
                     "direction": "inout"
                 }
+            ],
+            "is_list": false
+        }
+    },
+    "positional_arg_declarations": [
+        {
+            "name": "reps",
+            "classical_type": {
+                "kind": "int"
             }
         },
-        "oracle_op": {
-            "name": "oracle_op",
-            "param_decls": {
-                "num_qubits": {
-                    "kind": "int"
-                }
-            },
-            "port_declarations": {
-                "oq": {
-                    "name": "oq",
-                    "size": {
-                        "expr": "num_qubits"
+        {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "length": null,
+                        "kind": "qvec"
                     },
                     "direction": "inout"
                 }
-            }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "packed_vars",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
         }
-    },
-    "positional_arg_declarations": []
+    ]
 }"""
 )
 
@@ -461,71 +663,6 @@ APPLY_TO_ALL = QuantumFunctionDeclaration.parse_raw(
 }"""
 )
 
-GROVER_SEARCH = QuantumFunctionDeclaration.parse_raw(
-    """{
-    "name": "grover_search",
-    "param_decls": {
-        "num_qubits": {
-            "kind": "int"
-        },
-        "reps": {
-            "kind": "int"
-        }
-    },
-    "port_declarations": {
-        "gsq": {
-            "name": "gsq",
-            "size": {
-                "expr": "num_qubits"
-            },
-            "direction": "inout"
-        }
-    },
-    "operand_declarations": {
-        "oracle_op": {
-            "name": "oracle_op",
-            "param_decls": {
-                "num_qubits": {
-                    "kind": "int"
-                }
-            },
-            "port_declarations": {
-                "oq": {
-                    "name": "oq",
-                    "size": {
-                        "expr": "num_qubits"
-                    },
-                    "direction": "inout"
-                }
-            }
-        }
-    },
-    "positional_arg_declarations": []
-}"""
-)
-
-PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
-    """{
-    "name": "prepare_int",
-    "param_decls": {
-        "val": {
-            "kind": "int"
-        }
-    },
-    "port_declarations": {
-        "out": {
-            "name": "out",
-            "quantum_type": {
-                "kind": "qnum"
-            },
-            "direction": "output"
-        }
-    },
-    "operand_declarations": {},
-    "positional_arg_declarations": []
-}"""
-)
-
 ALLOCATE_NUM = QuantumFunctionDeclaration.parse_raw(
     """{
     "name": "allocate_num",
@@ -544,7 +681,16 @@ ALLOCATE_NUM = QuantumFunctionDeclaration.parse_raw(
         "out": {
             "name": "out",
             "quantum_type": {
-                "kind": "qnum"
+                "kind": "qnum",
+                "size": {
+                    "expr": "num_qubits"
+                },
+                "is_signed": {
+                    "expr": "is_signed"
+                },
+                "fraction_digits": {
+                    "expr": "fraction_digits"
+                }
             },
             "direction": "output"
         }
@@ -586,9 +732,6 @@ QAOA_COST_LAYER = QuantumFunctionDeclaration.parse_raw(
                 "kind": "struct_instance",
                 "name": "PauliTerm"
             }
-        },
-        "is_st": {
-            "kind": "bool"
         }
     },
     "port_declarations": {
@@ -618,9 +761,6 @@ QAOA_LAYER = QuantumFunctionDeclaration.parse_raw(
                 "kind": "struct_instance",
                 "name": "PauliTerm"
             }
-        },
-        "is_st": {
-            "kind": "bool"
         }
     },
     "port_declarations": {
@@ -668,9 +808,6 @@ QAOA_PENALTY = QuantumFunctionDeclaration.parse_raw(
                 "kind": "struct_instance",
                 "name": "PauliTerm"
             }
-        },
-        "is_st": {
-            "kind": "bool"
         }
     },
     "port_declarations": {
@@ -835,6 +972,230 @@ SWAP_TEST = QuantumFunctionDeclaration.parse_raw(
 }"""
 )
 
+PREPARE_GHZ_STATE = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "name": "prepare_ghz_state",
+    "param_decls": {
+        "size": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "q": {
+            "name": "q",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "output"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "size",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "q",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "output"
+        }
+    ]
+}"""
+)
+
+PREPARE_EXPONENTIAL_STATE = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "name": "prepare_exponential_state",
+    "param_decls": {
+        "rate": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "q": {
+            "name": "q",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "rate",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "q",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+PREPARE_BELL_STATE = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "name": "prepare_bell_state",
+    "param_decls": {
+        "state_num": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "q": {
+            "name": "q",
+            "quantum_type": {
+                "length": {
+                    "expr": "2"
+                },
+                "kind": "qvec"
+            },
+            "direction": "output"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "state_num",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "q",
+            "quantum_type": {
+                "length": {
+                    "expr": "2"
+                },
+                "kind": "qvec"
+            },
+            "direction": "output"
+        }
+    ]
+}"""
+)
+
+INPLACE_PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "name": "inplace_prepare_int",
+    "param_decls": {
+        "value": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "target": {
+            "name": "target",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "value",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "target",
+            "quantum_type": {
+                "length": null,
+                "kind": "qvec"
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "name": "prepare_int",
+    "param_decls": {
+        "value": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "out": {
+            "name": "out",
+            "quantum_type": {
+                "kind": "qnum"
+            },
+            "direction": "output"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "value",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "out",
+            "quantum_type": {
+                "kind": "qnum"
+            },
+            "direction": "output"
+        }
+    ]
+}"""
+)
+
+SWITCH = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "name": "switch",
+    "param_decls": {
+        "selector": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {},
+    "operand_declarations": {
+        "cases": {
+            "name": "cases",
+            "positional_arg_declarations": [],
+            "is_list": true
+        }
+    },
+    "positional_arg_declarations": [
+        {
+            "name": "selector",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "cases",
+            "positional_arg_declarations": [],
+            "is_list": true
+        }
+    ]
+}"""
+)
+
 __all__ = [
     "QFT_STEP",
     "QFT",
@@ -844,13 +1205,13 @@ __all__ = [
     "SINGLE_PAULI",
     "LINEAR_PAULI_ROTATIONS",
     "AMPLITUDE_ESTIMATION",
-    "SIMPLE_ORACLE",
+    "PHASE_ORACLE",
+    "REFLECT_ABOUT_ZERO",
     "GROVER_DIFFUSER",
     "GROVER_OPERATOR",
+    "GROVER_SEARCH",
     "HADAMARD_TRANSFORM",
     "APPLY_TO_ALL",
-    "GROVER_SEARCH",
-    "PREPARE_INT",
     "ALLOCATE_NUM",
     "QAOA_MIXER_LAYER",
     "QAOA_COST_LAYER",
@@ -859,4 +1220,10 @@ __all__ = [
     "QAOA_PENALTY",
     "FULL_HEA",
     "SWAP_TEST",
+    "PREPARE_GHZ_STATE",
+    "PREPARE_EXPONENTIAL_STATE",
+    "PREPARE_BELL_STATE",
+    "INPLACE_PREPARE_INT",
+    "PREPARE_INT",
+    "SWITCH",
 ]