classiq 0.32.1__py3-none-any.whl → 0.34.0__py3-none-any.whl

classiq/interface/generator/model/preferences/preferences.py

@@ -66,7 +66,7 @@ class TranspilationOption(StrEnum):
     LIGHT = "light"
     MEDIUM = "medium"
 
-    def __bool__(self):
+    def __bool__(self) -> bool:
         return self != TranspilationOption.NONE
 
 
@@ -89,9 +89,9 @@ class Preferences(pydantic.BaseModel, extra=pydantic.Extra.forbid):
         description="Custom hardware settings which will be used during optimization. "
         "This field is ignored if backend preferences are given.",
     )
-    support_circuit_visualization: bool = pydantic.Field(
+    debug_mode: bool = pydantic.Field(
         default=True,
-        description="Support visualizing the circuit via the IDE. "
+        description="Add debug information to the synthesized result. "
         "Setting this option to False can potentially speed up the synthesis, and is "
         "recommended for executing iterative algorithms.",
     )

classiq/interface/generator/partitioned_register.py

@@ -44,7 +44,7 @@ class PartitionedRegister:
     # Special partition containing qubits from [0..num_qubits) not in any other
     # partition. May contain no qubits.
     @property
-    def leftover_partition(self):
+    def leftover_partition(self) -> "RegisterPartition":
         return RegisterPartition(self, _index=None)
 
     @property

classiq/interface/generator/quantum_function_call.py

@@ -79,7 +79,7 @@ class WirePair(HashablePydanticBaseModel):
     out_wire: WireName
 
 
-SUFFIX_RANDOMIZER = random.Random()
+SUFFIX_RANDOMIZER = random.Random()  # nosec B311
 
 
 def split_wire_pair_to_wires(

classiq/interface/generator/validations/validator_functions.py

@@ -1,4 +1,4 @@
-from typing import Iterable, List, Sized, Tuple, TypeVar
+from typing import Iterable, List, Sequence, Sized, Tuple, TypeVar
 
 import numpy as np
 
@@ -32,7 +32,9 @@ def validate_amplitudes(amp: Amplitude) -> Amplitude:
     return amp
 
 
-def validate_probabilities(cls, pmf):
+def validate_probabilities(
+    cls: type, pmf: Sequence[PydanticProbabilityFloat]
+) -> Sequence[PydanticProbabilityFloat]:
     if not is_probabilities_sum_to_one(pmf):
         raise ValueError(NOT_SUM_TO_ONE_ERROR)
     if not _is_power_of_two(pmf):

classiq/interface/hardware.py

@@ -13,6 +13,7 @@ class Provider(StrEnum):
     IONQ = "IonQ"
     CLASSIQ = "Classiq"
     GOOGLE = "Google"
+    ALICE_AND_BOB = "Alice and Bob"
 
     @property
     def id(self):
@@ -27,7 +28,7 @@ class AvailabilityStatus(StrEnum):
     UNAVAILABLE = "unavailable"
 
     @property
-    def is_available(self):
+    def is_available(self) -> bool:
         return self == self.AVAILABLE
 
 
@@ -37,7 +38,7 @@ class DeviceType(StrEnum):
     STATEVECTOR = "state_vector_simulator"
 
     @property
-    def is_simulator(self):
+    def is_simulator(self) -> bool:
         return self != self.HARDWARE
 
 

classiq/interface/ide/show.py

@@ -1,10 +1,8 @@
 import re
-from typing import Union
 
 import pydantic
 
 from classiq.interface.analyzer.result import QasmCode
-from classiq.interface.generator.generated_circuit import ExecutionCircuit
 
 from classiq import GeneratedCircuit
 from classiq._internals.api_wrapper import ApiWrapper
@@ -26,22 +24,11 @@ qasm_show_interactive = syncify_function(qasm_show_interactive_async)
 CANT_PARSE_QUANTUM_PROGRAM_MSG = (
     "Can not parse quantum_program into GeneratedCircuit, \n"
 )
-CANT_SHOW_EXECUTION_CIRCUIT_MSG = (
-    "It looks like the flag `support_circuit_visualization` in the model preferences "
-    "has been turned off. \n"
-    "The resulting circuit does not support visualization. \n"
-    "Make sure to set the flag to True, the default setting, and try again."
-)
-_Circuit = Union[GeneratedCircuit, ExecutionCircuit]
 
 
 def show(quantum_program: SerializedQuantumProgram) -> None:
     try:
         circuit = GeneratedCircuit.parse_raw(quantum_program)
     except pydantic.error_wrappers.ValidationError as exc:
-        try:
-            ExecutionCircuit.parse_raw(quantum_program)
-            raise ClassiqValueError(CANT_SHOW_EXECUTION_CIRCUIT_MSG) from None
-        except pydantic.error_wrappers.ValidationError:
-            raise ClassiqValueError(CANT_PARSE_QUANTUM_PROGRAM_MSG) from exc
+        raise ClassiqValueError(CANT_PARSE_QUANTUM_PROGRAM_MSG) from exc
     circuit.show()  # type: ignore[attr-defined]

classiq/interface/model/bind_operation.py

@@ -0,0 +1,20 @@
+from typing import Mapping
+
+from classiq.interface.model.handle_binding import HandleBinding
+from classiq.interface.model.quantum_statement import QuantumOperation
+
+BIND_INPUT_NAME = "bind_input"
+BIND_OUTPUT_NAME = "bind_output"
+
+
+class BindOperation(QuantumOperation):
+    in_handle: HandleBinding
+    out_handle: HandleBinding
+
+    @property
+    def wiring_inputs(self) -> Mapping[str, HandleBinding]:
+        return {BIND_INPUT_NAME: self.in_handle}
+
+    @property
+    def wiring_outputs(self) -> Mapping[str, HandleBinding]:
+        return {BIND_OUTPUT_NAME: self.out_handle}

classiq/interface/model/handle_binding.py

@@ -11,6 +11,14 @@ class HandleBinding(BaseModel):
         extra = Extra.forbid
 
 
+class SubscriptHandleBinding(HandleBinding):
+    index: Expression
+
+    class Config:
+        frozen = True
+        extra = Extra.forbid
+
+
 class SlicedHandleBinding(HandleBinding):
     start: Expression
     end: Expression

classiq/interface/model/native_function_definition.py

@@ -2,8 +2,8 @@ from typing import Any, Dict, List, Optional, Union
 
 import pydantic
 
-from classiq.interface.generator.function_params import IOName
 from classiq.interface.generator.parameters import ParameterFloatType, ParameterMap
+from classiq.interface.model.bind_operation import BindOperation
 from classiq.interface.model.local_variable_declaration import LocalVariableDeclaration
 from classiq.interface.model.port_declaration import PortDeclaration
 from classiq.interface.model.quantum_expressions.amplitude_loading_operation import (
@@ -17,11 +17,18 @@ from classiq.interface.model.quantum_function_declaration import (
     QuantumFunctionDeclaration,
 )
 from classiq.interface.model.validations.handles_validator import HandleValidator
+from classiq.interface.model.variable_declaration_statement import (
+    VariableDeclarationStatement,
+)
 
 from classiq.exceptions import ClassiqValueError
 
 ConcreteQuantumStatement = Union[
-    QuantumFunctionCall, ArithmeticOperation, AmplitudeLoadingOperation
+    QuantumFunctionCall,
+    ArithmeticOperation,
+    AmplitudeLoadingOperation,
+    VariableDeclarationStatement,
+    BindOperation,
 ]
 
 
@@ -49,8 +56,11 @@ class NativeFunctionDefinition(QuantumFunctionDeclaration):
     def validate_body(self) -> None:
         handle_validator = HandleValidator(self.port_declarations, self.local_handles)
 
-        for call in self.body:
-            handle_validator.handle_call(call)
+        for statement in self.body:
+            if isinstance(statement, VariableDeclarationStatement):
+                handle_validator.handle_variable_declaration(statement)
+            else:
+                handle_validator.handle_call(statement)
 
         handle_validator.report_errored_handles(ClassiqValueError)
 
@@ -64,7 +74,7 @@ class NativeFunctionDefinition(QuantumFunctionDeclaration):
     def validate_local_handles(
         cls, local_handles: List[LocalVariableDeclaration], values: Dict[str, Any]
     ) -> List[LocalVariableDeclaration]:
-        ports: Optional[Dict[IOName, PortDeclaration]] = values.get("port_declarations")
+        ports: Optional[Dict[str, PortDeclaration]] = values.get("port_declarations")
         if ports is None:
             return local_handles
 

classiq/interface/model/quantum_expressions/amplitude_loading_operation.py

@@ -6,8 +6,11 @@ from classiq.interface.generator.amplitude_loading import (
     AMPLITUDE_IO_NAME,
     TARGET_OUTPUT_NAME,
 )
-from classiq.interface.generator.function_params import IOName
-from classiq.interface.model.handle_binding import HandleBinding, SlicedHandleBinding
+from classiq.interface.model.handle_binding import (
+    HandleBinding,
+    SlicedHandleBinding,
+    SubscriptHandleBinding,
+)
 from classiq.interface.model.quantum_expressions.quantum_expression import (
     QuantumExpressionOperation,
 )
@@ -34,7 +37,9 @@ class AmplitudeLoadingOperation(QuantumExpressionOperation):
     @property
     def wiring_inouts(
         self,
-    ) -> Mapping[IOName, Union[SlicedHandleBinding, HandleBinding]]:
+    ) -> Mapping[
+        str, Union[SlicedHandleBinding, SubscriptHandleBinding, HandleBinding]
+    ]:
         assert len(self.var_handles) > 0
         return {AMPLITUDE_IO_NAME: self.var_handles[0]}
 

classiq/interface/model/quantum_expressions/arithmetic_operation.py

@@ -6,8 +6,11 @@ from classiq.interface.generator.arith.arithmetic import (
     ARITHMETIC_EXPRESSION_RESULT_NAME,
     compute_arithmetic_result_type,
 )
-from classiq.interface.generator.function_params import IOName
-from classiq.interface.model.handle_binding import HandleBinding, SlicedHandleBinding
+from classiq.interface.model.handle_binding import (
+    HandleBinding,
+    SlicedHandleBinding,
+    SubscriptHandleBinding,
+)
 from classiq.interface.model.quantum_expressions.quantum_expression import (
     QuantumExpressionOperation,
 )
@@ -26,14 +29,16 @@ class ArithmeticOperation(QuantumExpressionOperation):
     @property
     def wiring_inouts(
         self,
-    ) -> Mapping[IOName, Union[SlicedHandleBinding, HandleBinding]]:
+    ) -> Mapping[
+        str, Union[SlicedHandleBinding, SubscriptHandleBinding, HandleBinding]
+    ]:
         inouts = dict(super().wiring_inouts)
         if self.inplace_result:
             inouts[self.result_name()] = self.result_var
         return inouts
 
     @property
-    def wiring_outputs(self) -> Mapping[IOName, HandleBinding]:
+    def wiring_outputs(self) -> Mapping[str, HandleBinding]:
         if self.inplace_result:
             return {}
         return super().wiring_outputs

classiq/interface/model/quantum_expressions/quantum_expression.py

@@ -7,9 +7,12 @@ import pydantic
 from classiq.interface.generator.expressions.sympy_supported_expressions import (
     SYMPY_SUPPORTED_EXPRESSIONS,
 )
-from classiq.interface.generator.function_params import IOName
 from classiq.interface.helpers.pydantic_model_helpers import nameables_to_dict
-from classiq.interface.model.handle_binding import HandleBinding, SlicedHandleBinding
+from classiq.interface.model.handle_binding import (
+    HandleBinding,
+    SlicedHandleBinding,
+    SubscriptHandleBinding,
+)
 from classiq.interface.model.quantum_statement import QuantumOperation
 from classiq.interface.model.quantum_type import QuantumType
 
@@ -18,7 +21,7 @@ class VarRefCollector(ast.NodeVisitor):
     def __init__(self) -> None:
         self.var_names: Set[str] = set()
 
-    def generic_visit(self, node):
+    def generic_visit(self, node: ast.AST) -> None:
         if isinstance(node, ast.Name) and node.id not in set(
             SYMPY_SUPPORTED_EXPRESSIONS
         ):
@@ -57,11 +60,13 @@ class QuantumExpressionOperation(QuantumOperation):
     @property
     def wiring_inouts(
         self,
-    ) -> Mapping[IOName, Union[SlicedHandleBinding, HandleBinding]]:
+    ) -> Mapping[
+        str, Union[SlicedHandleBinding, SubscriptHandleBinding, HandleBinding]
+    ]:
         return nameables_to_dict(self.var_handles)
 
     @property
-    def wiring_outputs(self) -> Mapping[IOName, HandleBinding]:
+    def wiring_outputs(self) -> Mapping[str, HandleBinding]:
         return {self.result_name(): self.result_var}
 
     @property