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

classiq/interface/generator/expressions/qmod_qscalar_proxy.py

@@ -1,14 +1,22 @@
+from typing import Any, Mapping
+
 from sympy import Symbol
 
 from classiq.interface.generator.expressions.qmod_sized_proxy import QmodSizedProxy
+from classiq.interface.model.handle_binding import HandleBinding
 
 
 class QmodQScalarProxy(Symbol, QmodSizedProxy):
-    def __new__(cls, name, **assumptions):
+    def __new__(cls, name: str, **assumptions: bool) -> "QmodQScalarProxy":
         return super().__new__(cls, name, **assumptions)
 
     def __init__(self, name: str, size: int) -> None:
         super().__init__(size)
+        self.name = name
+
+    @property
+    def handle(self) -> HandleBinding:
+        return HandleBinding(name=self.name)
 
 
 class QmodQBitProxy(QmodQScalarProxy):
@@ -24,6 +32,10 @@ class QmodQNumProxy(QmodQScalarProxy):
         self._fraction_digits = fraction_digits
         self._is_signed = is_signed
 
+    @property
+    def size(self) -> int:
+        return self._size
+
     @property
     def fraction_digits(self) -> int:
         return self._fraction_digits
@@ -31,3 +43,12 @@ class QmodQNumProxy(QmodQScalarProxy):
     @property
     def is_signed(self) -> bool:
         return self._is_signed
+
+    @property
+    def fields(self) -> Mapping[str, Any]:
+        return {
+            "size": self.size,
+            "is_signed": self.is_signed,
+            "fraction_digits": self.fraction_digits,
+            "len": self.size,
+        }

classiq/interface/generator/expressions/qmod_sized_proxy.py

@@ -1,6 +1,28 @@
+from typing import TYPE_CHECKING, Any, Mapping
+
+from classiq.exceptions import ClassiqNotImplementedError
+
+if TYPE_CHECKING:
+    from classiq.interface.model.handle_binding import HandleBinding
+
+
 class QmodSizedProxy:
     def __init__(self, size: int) -> None:
         self._size = size
 
     def __len__(self) -> int:
         return self._size
+
+    @property
+    def handle(self) -> "HandleBinding":
+        raise ClassiqNotImplementedError("cannot compute handle")
+
+    @property
+    def len(self) -> int:
+        return self._size
+
+    @property
+    def fields(self) -> Mapping[str, Any]:
+        return {
+            "len": self.len,
+        }

classiq/interface/generator/functions/__init__.py

@@ -1,7 +1,7 @@
 from typing import List
 
-import classiq.interface.generator.functions.core_lib_declarations.quantum_functions
-import classiq.interface.generator.functions.core_lib_declarations.quantum_operators
+import classiq.interface.generator.functions.builtins.core_library
+import classiq.interface.generator.functions.builtins.quantum_operators
 from classiq.interface.generator.functions.foreign_function_definition import *
 from classiq.interface.generator.functions.foreign_function_definition import (
     SynthesisForeignFunctionDefinition as ForeignFunctionDefinition,

classiq/interface/generator/functions/builtins/__init__.py

@@ -0,0 +1,15 @@
+from classiq.interface.generator.functions.builtins.core_library import CORE_LIB_DECLS
+from classiq.interface.generator.functions.builtins.open_lib_functions import (
+    OPEN_LIB_DECLS,
+)
+from classiq.interface.generator.functions.builtins.quantum_operators import (
+    STD_QMOD_OPERATORS,
+)
+from classiq.interface.helpers.pydantic_model_helpers import nameables_to_dict
+from classiq.interface.model.quantum_function_declaration import (
+    QuantumFunctionDeclaration,
+)
+
+QuantumFunctionDeclaration.BUILTIN_FUNCTION_DECLARATIONS.update(
+    nameables_to_dict(STD_QMOD_OPERATORS + CORE_LIB_DECLS + OPEN_LIB_DECLS)
+)

classiq/interface/generator/functions/builtins/core_library/__init__.py

@@ -0,0 +1,14 @@
+from classiq.interface.generator.application_apis.chemistry_declarations import *  # noqa: F403
+from classiq.interface.generator.application_apis.combinatorial_optimization_declarations import *  # noqa: F403
+from classiq.interface.generator.application_apis.finance_declarations import *  # noqa: F403
+from classiq.interface.generator.application_apis.qsvm_declarations import *  # noqa: F403
+from classiq.interface.model.quantum_function_declaration import (
+    QuantumFunctionDeclaration,
+)
+
+from .atomic_quantum_functions import *  # noqa: F403
+from .exponentiation_functions import *  # noqa: F403
+
+CORE_LIB_DECLS = [
+    func for func in vars().values() if isinstance(func, QuantumFunctionDeclaration)
+]

classiq/interface/generator/functions/{core_lib_declarations/quantum_functions → builtins/core_library}/atomic_quantum_functions.py

@@ -423,7 +423,7 @@ UNITARY_FUNCTION = QuantumFunctionDeclaration(
         DEFAULT_TARGET_NAME: PortDeclaration(
             name=DEFAULT_TARGET_NAME,
             direction=PortDeclarationDirection.Inout,
-            size=Expression(expr="log(len(elements[0]), 2)"),
+            size=Expression(expr="log(get_field(elements[0], 'len'), 2)"),
         )
     },
 )
@@ -436,7 +436,7 @@ PREPARE_STATE_FUNCTION = QuantumFunctionDeclaration(
         "out": PortDeclaration(
             name="out",
             direction=PortDeclarationDirection.Output,
-            size=Expression(expr="log(len(probabilities), 2)"),
+            size=Expression(expr="log(get_field(probabilities, 'len'), 2)"),
         )
     },
 )
@@ -448,7 +448,7 @@ PREPARE_AMPLITUDES_FUNCTION = QuantumFunctionDeclaration(
         "out": PortDeclaration(
             name="out",
             direction=PortDeclarationDirection.Output,
-            size=Expression(expr="log(len(amplitudes), 2)"),
+            size=Expression(expr="log(get_field(amplitudes, 'len'), 2)"),
         )
     },
 )
@@ -467,7 +467,9 @@ ADD_FUNCTION = QuantumFunctionDeclaration(
         "result": PortDeclaration(
             name="result",
             direction=PortDeclarationDirection.Output,
-            size=Expression(expr="Max(len(left), len(right)) + 1"),
+            size=Expression(
+                expr="Max(get_field(left, 'len'), get_field(right, 'len')) + 1"
+            ),
         ),
     },
 )
@@ -578,7 +580,7 @@ INPLACE_PREPARE_STATE = QuantumFunctionDeclaration(
         "target": PortDeclaration(
             name="target",
             direction=PortDeclarationDirection.Inout,
-            size=Expression(expr="log(len(probabilities), 2)"),
+            size=Expression(expr="log(get_field(probabilities, 'len'), 2)"),
         )
     },
 )
@@ -591,7 +593,7 @@ INPLACE_PREPARE_AMPLITUDES = QuantumFunctionDeclaration(
         "target": PortDeclaration(
             name="target",
             direction=PortDeclarationDirection.Inout,
-            size=Expression(expr="log(len(amplitudes), 2)"),
+            size=Expression(expr="log(get_field(amplitudes, 'len'), 2)"),
         )
     },
 )

classiq/interface/generator/functions/{core_lib_declarations/quantum_functions → builtins/core_library}/exponentiation_functions.py

@@ -26,7 +26,7 @@ SINGLE_PAULI_EXPONENT_FUNCTION = QuantumFunctionDeclaration(
         "qbv": PortDeclaration(
             name="qbv",
             direction=PortDeclarationDirection.Inout,
-            size=Expression(expr="len(pauli_string)"),
+            size=Expression(expr="get_field(pauli_string, 'len')"),
         )
     },
 )
@@ -44,7 +44,9 @@ SUZUKI_TROTTER_FUNCTION = QuantumFunctionDeclaration(
         "qbv": PortDeclaration(
             name="qbv",
             direction=PortDeclarationDirection.Inout,
-            size=Expression(expr="len(get_field(pauli_operator[0], 'pauli'))"),
+            size=Expression(
+                expr="get_field(get_field(pauli_operator[0], 'pauli'), 'len')"
+            ),
         )
     },
 )
@@ -60,7 +62,9 @@ QDRIFT_FUNCTION = QuantumFunctionDeclaration(
         "qbv": PortDeclaration(
             name="qbv",
             direction=PortDeclarationDirection.Inout,
-            size=Expression(expr="len(get_field(pauli_operator[0], 'pauli'))"),
+            size=Expression(
+                expr="get_field(get_field(pauli_operator[0], 'pauli'), 'len')"
+            ),
         )
     },
 )
@@ -76,7 +80,9 @@ EXPONENTIATION_WITH_DEPTH_CONSTRAINT = QuantumFunctionDeclaration(
         "qbv": PortDeclaration(
             name="qbv",
             direction=PortDeclarationDirection.Inout,
-            size=Expression(expr="len(get_field(pauli_operator[0], 'pauli'))"),
+            size=Expression(
+                expr="get_field(get_field(pauli_operator[0], 'pauli'), 'len')"
+            ),
         )
     },
 )

classiq/interface/generator/functions/builtins/internal_operators.py

@@ -0,0 +1,62 @@
+from classiq.interface.generator.functions.builtins.quantum_operators import (
+    get_single_empty_operand_operator,
+)
+from classiq.interface.generator.functions.classical_type import Bool, Integer
+from classiq.interface.generator.functions.port_declaration import (
+    PortDeclarationDirection,
+)
+from classiq.interface.helpers.pydantic_model_helpers import nameables_to_dict
+from classiq.interface.model.port_declaration import PortDeclaration
+from classiq.interface.model.quantum_function_declaration import (
+    QuantumFunctionDeclaration,
+    QuantumOperandDeclaration,
+)
+
+_CTRL_FIELD_NAME = "ctrl"
+CONTROL_OPERATOR = get_single_empty_operand_operator(
+    operator_name="control",
+    port_declarations={
+        _CTRL_FIELD_NAME: PortDeclaration(
+            name=_CTRL_FIELD_NAME,
+            direction=PortDeclarationDirection.Inout,
+        )
+    },
+)
+
+REPEAT_OPERATOR = QuantumFunctionDeclaration(
+    name="repeat",
+    param_decls={"count": Integer()},
+    operand_declarations={
+        "iteration": QuantumOperandDeclaration(
+            name="iteration", param_decls={"index": Integer()}
+        )
+    },
+)
+POWER_OPERATOR = get_single_empty_operand_operator(
+    operator_name="power", param_decls={"power": Integer()}
+)
+INVERT_OPERATOR = get_single_empty_operand_operator(operator_name="invert")
+
+IF_OPERATOR = QuantumFunctionDeclaration(
+    name="if",
+    param_decls={"condition": Bool()},
+    operand_declarations={
+        "then": QuantumOperandDeclaration(name="then"),
+        "else": QuantumOperandDeclaration(name="else"),
+    },
+)
+COMPUTE = get_single_empty_operand_operator(operator_name="compute")
+UNCOMPUTE = get_single_empty_operand_operator(operator_name="uncompute")
+
+
+INTERNAL_OPERATORS = nameables_to_dict(
+    [
+        CONTROL_OPERATOR,
+        REPEAT_OPERATOR,
+        POWER_OPERATOR,
+        INVERT_OPERATOR,
+        IF_OPERATOR,
+        COMPUTE,
+        UNCOMPUTE,
+    ]
+)