classiq 0.93.0__py3-none-any.whl → 0.100.0__py3-none-any.whl

classiq/interface/generator/transpiler_basis_gates.py

@@ -1,11 +1,16 @@
-from typing import TYPE_CHECKING, Optional
-
-from typing_extensions import TypeAlias
+from typing import TYPE_CHECKING, TypeAlias
 
 from classiq.interface.enum_utils import StrEnum
 
 BasisGates: TypeAlias = frozenset[str]
 
+NATIVE_GATES_TO_CLASSIQ_GATES_MAP: dict[str, str] = {
+    "cnot": "cx",
+    "toffoli": "ccx",
+    "p": "rz",
+    "i": "id",
+}
+
 SINGLE_QUBIT_GATES: BasisGates = frozenset(
     (
         "u1",
@@ -66,6 +71,7 @@ DEFAULT_BASIS_GATES: BasisGates = SINGLE_QUBIT_GATES | BASIC_TWO_QUBIT_GATES
 ALL_GATES: BasisGates = (
     SINGLE_QUBIT_GATES | TWO_QUBIT_GATES | THREE_QUBIT_GATES | NON_UNITARY_GATES
 )
+ALL_NON_3_QBIT_GATES: BasisGates = ALL_GATES - THREE_QUBIT_GATES
 
 ROUTING_TWO_QUBIT_BASIS_GATES: BasisGates = frozenset(
     ("cx", "ecr", "rzx", "ryy", "rxx", "rzz", "cy", "cz", "cp", "swap")
@@ -80,7 +86,7 @@ ALL_GATES_DICT = {gate.upper(): gate.lower() for gate in sorted(ALL_GATES)}
 
 class LowerValsEnum(StrEnum):
     @classmethod
-    def _missing_(cls, value: Optional[str]) -> Optional[str]:  # type: ignore[override]
+    def _missing_(cls, value: str | None) -> str | None:  # type: ignore[override]
         if not isinstance(value, str):
             return None
         lower = value.lower()

classiq/interface/generator/types/builtin_enum_declarations.py

@@ -4,139 +4,6 @@
 from enum import IntEnum
 
 
-class Element(IntEnum):
-    H = 0
-    He = 1
-    Li = 2
-    Be = 3
-    B = 4
-    C = 5
-    N = 6
-    O = 7  # noqa: E741
-    F = 8
-    Ne = 9
-    Na = 10
-    Mg = 11
-    Al = 12
-    Si = 13
-    P = 14
-    S = 15
-    Cl = 16
-    Ar = 17
-    K = 18
-    Ca = 19
-    Sc = 20
-    Ti = 21
-    V = 22
-    Cr = 23
-    Mn = 24
-    Fe = 25
-    Co = 26
-    Ni = 27
-    Cu = 28
-    Zn = 29
-    Ga = 30
-    Ge = 31
-    As = 32
-    Se = 33
-    Br = 34
-    Kr = 35
-    Rb = 36
-    Sr = 37
-    Y = 38
-    Zr = 39
-    Nb = 40
-    Mo = 41
-    Tc = 42
-    Ru = 43
-    Rh = 44
-    Pd = 45
-    Ag = 46
-    Cd = 47
-    In = 48
-    Sn = 49
-    Sb = 50
-    Te = 51
-    I = 52  # noqa: E741
-    Xe = 53
-    Cs = 54
-    Ba = 55
-    La = 56
-    Ce = 57
-    Pr = 58
-    Nd = 59
-    Pm = 60
-    Sm = 61
-    Eu = 62
-    Gd = 63
-    Tb = 64
-    Dy = 65
-    Ho = 66
-    Er = 67
-    Tm = 68
-    Yb = 69
-    Lu = 70
-    Hf = 71
-    Ta = 72
-    W = 73
-    Re = 74
-    Os = 75
-    Ir = 76
-    Pt = 77
-    Au = 78
-    Hg = 79
-    Tl = 80
-    Pb = 81
-    Bi = 82
-    Po = 83
-    At = 84
-    Rn = 85
-    Fr = 86
-    Ra = 87
-    Ac = 88
-    Th = 89
-    Pa = 90
-    U = 91
-    Np = 92
-    Pu = 93
-    Am = 94
-    Cm = 95
-    Bk = 96
-    Cf = 97
-    Es = 98
-    Fm = 99
-    Md = 100
-    No = 101
-    Lr = 102
-    Rf = 103
-    Db = 104
-    Sg = 105
-    Bh = 106
-    Hs = 107
-    Mt = 108
-    Ds = 109
-    Rg = 110
-    Cn = 111
-    Nh = 112
-    Fl = 113
-    Mc = 114
-    Lv = 115
-    Ts = 116
-    Og = 117
-
-
-class FermionMapping(IntEnum):
-    JORDAN_WIGNER = 0
-    PARITY = 1
-    BRAVYI_KITAEV = 2
-    FAST_BRAVYI_KITAEV = 3
-
-
-class LadderOperator(IntEnum):
-    PLUS = 0
-    MINUS = 1
-
-
 class Optimizer(IntEnum):
     COBYLA = 1
     SPSA = 2
@@ -153,19 +20,7 @@ class Pauli(IntEnum):
     Z = 3
 
 
-class QSVMFeatureMapEntanglement(IntEnum):
-    FULL = 0
-    LINEAR = 1
-    CIRCULAR = 2
-    SCA = 3
-    PAIRWISE = 4
-
-
 __all__ = [
-    "Element",
-    "FermionMapping",
-    "LadderOperator",
     "Optimizer",
     "Pauli",
-    "QSVMFeatureMapEntanglement",
 ]

classiq/interface/generator/types/compilation_metadata.py

@@ -3,9 +3,10 @@ from pydantic import BaseModel, Field, NonNegativeInt, PrivateAttr
 
 class CompilationMetadata(BaseModel):
     should_synthesize_separately: bool = Field(default=False)
-    occurrences_number: NonNegativeInt = Field(default=1)
+    occurrences_number: NonNegativeInt = Field(default=0)
     _occupation_number: NonNegativeInt = PrivateAttr(default=0)
-    unchecked: list[str] = Field(default_factory=list)
+    disable_perm_check: bool = Field(default=False)
+    disable_const_checks: list[str] | bool = Field(default=False)
 
     @property
     def occupation_number(self) -> NonNegativeInt:
@@ -14,3 +15,13 @@ class CompilationMetadata(BaseModel):
     @occupation_number.setter
     def occupation_number(self, value: NonNegativeInt) -> None:
         self._occupation_number = value
+
+    @property
+    def has_user_directives(self) -> bool:
+        return bool(self.disable_perm_check or self.disable_const_checks)
+
+    def copy_user_directives(self) -> "CompilationMetadata":
+        return CompilationMetadata(
+            disable_perm_check=self.disable_perm_check,
+            disable_const_checks=self.disable_const_checks,
+        )

classiq/interface/generator/types/enum_declaration.py

@@ -1,6 +1,7 @@
 from collections import Counter
+from collections.abc import Callable
 from enum import Enum, EnumMeta, IntEnum
-from typing import Any, Callable
+from typing import Any
 
 import pydantic
 

classiq/interface/generator/validations/flow_graph.py

@@ -2,7 +2,7 @@ from collections import Counter, defaultdict
 from collections.abc import Collection, Iterable, Mapping
 from dataclasses import dataclass
 from itertools import chain
-from typing import Optional, TypeVar
+from typing import TypeVar
 
 import networkx as nx
 
@@ -23,8 +23,8 @@ RECURRING_NAMES_ERROR_MSG = "Recurring wire names"
 
 @dataclass
 class Wire:
-    start: Optional[PydanticNonEmptyString] = None
-    end: Optional[PydanticNonEmptyString] = None
+    start: PydanticNonEmptyString | None = None
+    end: PydanticNonEmptyString | None = None
 
 
 def _parse_call_inputs(

classiq/interface/generator/visitor.py

@@ -1,11 +1,9 @@
 from collections import abc, defaultdict
-from collections.abc import Collection, Mapping, Sequence
+from collections.abc import Callable, Collection, Mapping, Sequence
 from functools import partial
 from typing import (
     TYPE_CHECKING,
     Any,
-    Callable,
-    Optional,
     TypeVar,
     Union,
 )
@@ -30,7 +28,7 @@ Ret = TypeVar("Ret", bound=RetType)
 
 
 class Visitor:
-    def visit(self, node: NodeType) -> Optional[RetType]:
+    def visit(self, node: NodeType) -> RetType | None:
         for cls in type(node).__mro__:
             method = "visit_" + cls.__name__
             if hasattr(self, method):
@@ -38,40 +36,40 @@ class Visitor:
                 return visitor(node)
         return self.generic_visit(node)
 
-    def generic_visit(self, node: NodeType) -> Optional[RetType]:
+    def generic_visit(self, node: NodeType) -> RetType | None:
         if isinstance(node, BaseModel):
             return self.visit_BaseModel(node)
 
         return node
 
-    def visit_list(self, node: list[NodeType]) -> Optional[RetType]:
+    def visit_list(self, node: list[NodeType]) -> RetType | None:
         for elem in node:
             self.visit(elem)
 
         return None
 
-    def visit_dict(self, node: dict[Key, NodeType]) -> Optional[RetType]:
+    def visit_dict(self, node: dict[Key, NodeType]) -> RetType | None:
         for value in node.values():
             self.visit(value)
 
         return None
 
-    def visit_tuple(self, node: tuple[NodeType, ...]) -> Optional[tuple[RetType, ...]]:
+    def visit_tuple(self, node: tuple[NodeType, ...]) -> tuple[RetType, ...] | None:
         for value in node:
             self.visit(value)
 
         return None
 
-    def visit_BaseModel(self, node: BaseModel) -> Optional[RetType]:
+    def visit_BaseModel(self, node: BaseModel) -> RetType | None:
         for _, value in node:
             self.visit(value)
 
         return None
 
-    def visit_int(self, n: int) -> Optional[RetType]:
+    def visit_int(self, n: int) -> RetType | None:
         return None
 
-    def visit_bool(self, b: bool) -> Optional[RetType]:
+    def visit_bool(self, b: bool) -> RetType | None:
         return None
 
 
@@ -103,7 +101,7 @@ class Transformer(Visitor):
         return tuple(self.visit(value) for value in node)
 
     def visit_BaseModel(
-        self, node: BaseModel, fields_to_skip: Optional[Collection[str]] = None
+        self, node: BaseModel, fields_to_skip: Collection[str] | None = None
     ) -> RetType:
         fields_to_skip = fields_to_skip or set()
 

classiq/interface/hardware.py

@@ -32,7 +32,6 @@ class Provider(StrEnum):
     OQC = "OQC"
     INTEL = "Intel"
     AQT = "AQT"
-    IQCC = "IQCC"
     CINECA = "CINECA"
 
     @property
@@ -71,7 +70,7 @@ class HardwareStatus(pydantic.BaseModel):
         default=None,
         description="The estimated queue time for the hardware in seconds.",
     )
-    pending_jobs: Optional[int] = None
+    pending_jobs: int | None = None
 
 
 if TYPE_CHECKING:
@@ -87,7 +86,7 @@ class HardwareInformation(pydantic.BaseModel):
     display_name: str
     device_type: DeviceType
     number_of_qubits: int
-    connectivity_map: Optional[list[ConnectivityMapEntry]] = None
+    connectivity_map: list[ConnectivityMapEntry] | None = None
     basis_gates: list[str]
     status: HardwareStatus
 

classiq/interface/helpers/classproperty.py

@@ -1,8 +1,8 @@
-from typing import TYPE_CHECKING, Any, Optional
+from typing import TYPE_CHECKING, Any
 
 
 class classproperty(property):  # noqa: N801
-    def __get__(self, owner_self: Any, owner_cls: Optional[type] = None) -> Any:
+    def __get__(self, owner_self: Any, owner_cls: type | None = None) -> Any:
         if TYPE_CHECKING:
             assert self.fget is not None
         return self.fget(owner_cls)

classiq/interface/helpers/custom_encoders.py

@@ -1,3 +1,4 @@
-from typing import Any, Callable
+from collections.abc import Callable
+from typing import Any
 
 CUSTOM_ENCODERS: dict[type, Callable[[Any], Any]] = {complex: str}

classiq/interface/helpers/custom_pydantic_types.py

@@ -8,7 +8,7 @@ from classiq.interface.generator.parameters import ParameterComplexType
 
 # General int types
 
-MAX_EXPRESSION_SIZE = 32768
+MAX_EXPRESSION_SIZE = 2**20
 
 if TYPE_CHECKING:
     PydanticLargerThanOneInteger = int

classiq/interface/helpers/text_utils.py

@@ -1,7 +1,4 @@
-from typing import Union
-
-
-def s(items: Union[list, int]) -> str:
+def s(items: list | int) -> str:
     if isinstance(items, list):
         items = len(items)
     return "" if items == 1 else "s"
@@ -15,6 +12,10 @@ def they(items: list) -> str:
     return "it" if len(items) == 1 else "they"
 
 
+def conj(items: list) -> str:
+    return "s" if len(items) == 1 else ""
+
+
 def readable_list(items: list, quote: bool = False) -> str:
     if quote:
         items = [repr(str(item)) for item in items]

classiq/interface/ide/visual_model.py

@@ -3,7 +3,7 @@ from collections import Counter
 from collections.abc import Iterator
 from functools import cached_property
 from itertools import count
-from typing import Any, Optional
+from typing import Any
 
 import pydantic
 from pydantic import ConfigDict, field_validator
@@ -43,10 +43,11 @@ class OperationType(StrEnum):
     FREE = "FREE"
     BIND = "BIND"
     ATOMIC = "ATOMIC"
+    UNORDERED_CHILDREN = "UNORDERED_CHILDREN"
 
 
 class OperationData(pydantic.BaseModel):
-    approximated_depth: Optional[int] = None
+    approximated_depth: int | None = None
     width: int
     gate_count: Counter[str] = pydantic.Field(default_factory=dict)
 
@@ -65,7 +66,7 @@ class ProgramData(pydantic.BaseModel):
 
 class OperationLink(pydantic.BaseModel):
     label: str
-    inner_label: Optional[str] = None
+    inner_label: str | None = None
     qubits: tuple[int, ...]
     type: str
     is_captured: bool = False
@@ -148,14 +149,14 @@ class AtomicGate(StrEnum):
 
 class Operation(pydantic.BaseModel):
     name: str
-    inner_label: Optional[str] = None
+    inner_label: str | None = None
     _id: int = pydantic.PrivateAttr(default_factory=_operation_id_counter.next_id)
     qasm_name: str = pydantic.Field(default="")
     details: str = pydantic.Field(default="")
     children: list["Operation"] = pydantic.Field(default_factory=list)
     # children_ids is optional in order to support backwards compatibility.
     children_ids: list[int] = pydantic.Field(default_factory=list)
-    operation_data: Optional[OperationData] = None
+    operation_data: OperationData | None = None
     operation_links: OperationLinks
     control_qubits: tuple[int, ...] = pydantic.Field(default_factory=tuple)
     auxiliary_qubits: tuple[int, ...]

classiq/interface/interface_version.py

@@ -1 +1 @@
-INTERFACE_VERSION = "13"
+INTERFACE_VERSION = "15"

classiq/interface/jobs.py

@@ -1,4 +1,4 @@
-from typing import Any, Generic, Optional, TypeVar, Union
+from typing import Any, Generic, TypeVar, Union
 
 import pydantic
 from pydantic import BaseModel
@@ -43,8 +43,8 @@ For unsuccessful jobs, we expect failure_details to be a string and result to be
 
 class JobDescription(BaseModel, Generic[T], json_encoders=CUSTOM_ENCODERS):
     status: JobStatus
-    failure_details: Optional[str] = pydantic.Field(default=None)
-    result: Optional[T] = pydantic.Field(default=None)
+    failure_details: str | None = pydantic.Field(default=None)
+    result: T | None = pydantic.Field(default=None)
 
     @pydantic.model_validator(mode="after")
     def validate_status_and_fields(self) -> Self:

classiq/interface/model/allocate.py

@@ -1,5 +1,5 @@
 from collections.abc import Mapping
-from typing import Literal, Optional
+from typing import Literal
 
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.model.handle_binding import ConcreteHandleBinding, HandleBinding
@@ -8,9 +8,9 @@ from classiq.interface.model.quantum_statement import QuantumOperation
 
 class Allocate(QuantumOperation):
     kind: Literal["Allocate"]
-    size: Optional[Expression] = None
-    is_signed: Optional[Expression] = None
-    fraction_digits: Optional[Expression] = None
+    size: Expression | None = None
+    is_signed: Expression | None = None
+    fraction_digits: Expression | None = None
     target: ConcreteHandleBinding
 
     @property

classiq/interface/model/bind_operation.py

@@ -46,3 +46,6 @@ class BindOperation(QuantumOperation):
             )
             for handle in self.out_handles
         ]
+
+    def inverse(self) -> "BindOperation":
+        return BindOperation(in_handles=self.out_handles, out_handles=self.in_handles)

classiq/interface/model/block.py

@@ -1,4 +1,4 @@
-from typing import TYPE_CHECKING, Literal, Optional
+from typing import TYPE_CHECKING, Literal
 
 import pydantic
 
@@ -13,4 +13,8 @@ class Block(QuantumOperation):
 
     statements: "StatementBlock"
 
-    label: Optional[str] = pydantic.Field(default=None)
+    label: str | None = pydantic.Field(default=None)
+
+    @property
+    def blocks(self) -> dict[str, "StatementBlock"]:
+        return {"statements": self.statements}

classiq/interface/model/bounds.py

@@ -1,4 +1,4 @@
-from typing import Literal, Optional
+from typing import Literal
 
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.model.handle_binding import ConcreteHandleBinding
@@ -9,8 +9,8 @@ class SetBoundsStatement(QuantumOperation):
     kind: Literal["SetBoundsStatement"]
 
     target: ConcreteHandleBinding
-    lower_bound: Optional[Expression]
-    upper_bound: Optional[Expression]
+    lower_bound: Expression | None
+    upper_bound: Expression | None
 
     @property
     def expressions(self) -> list[Expression]:

classiq/interface/model/classical_if.py

@@ -31,6 +31,10 @@ class ClassicalIf(QuantumOperation):
     def expressions(self) -> list[Expression]:
         return [self.condition]
 
+    @property
+    def blocks(self) -> dict[str, "StatementBlock"]:
+        return {"then": self.then, "else_": self.else_}
+
     @property
     def wiring_inputs(self) -> Mapping[str, HandleBinding]:
         return functools.reduce(

classiq/interface/model/control.py

@@ -19,7 +19,7 @@ class Control(QuantumExpressionOperation):
     else_block: Optional["StatementBlock"] = None
 
     _ctrl_size: int = pydantic.PrivateAttr(default=0)
-    _result_type: Optional[QuantumType] = pydantic.PrivateAttr(
+    _result_type: QuantumType | None = pydantic.PrivateAttr(
         default=None,
     )
 
@@ -47,3 +47,10 @@ class Control(QuantumExpressionOperation):
 
     def _as_back_ref(self: ASTNodeType) -> ASTNodeType:
         return reset_lists(self, ["body", "else_block"])
+
+    @property
+    def blocks(self) -> dict[str, "StatementBlock"]:
+        blocks = {"body": self.body}
+        if self.else_block is not None:
+            blocks["else_block"] = self.else_block
+        return blocks

classiq/interface/model/inplace_binary_operation.py

@@ -1,5 +1,5 @@
 from collections.abc import Mapping, Sequence
-from typing import Literal, Union
+from typing import Literal
 
 from classiq.interface.enum_utils import StrEnum
 from classiq.interface.generator.expressions.expression import Expression
@@ -16,7 +16,7 @@ class InplaceBinaryOperation(QuantumOperation):
     kind: Literal["InplaceBinaryOperation"]
 
     target: ConcreteHandleBinding
-    value: Union[ConcreteHandleBinding, Expression]
+    value: ConcreteHandleBinding | Expression
     operation: BinaryOperation
 
     @property

classiq/interface/model/invert.py

@@ -14,3 +14,7 @@ class Invert(QuantumOperation):
 
     def _as_back_ref(self: ASTNodeType) -> ASTNodeType:
         return reset_lists(self, ["body"])
+
+    @property
+    def blocks(self) -> dict[str, "StatementBlock"]:
+        return {"body": self.body}

classiq/interface/model/model.py

@@ -185,14 +185,14 @@ class Model(VersionedModel, ASTNode):
         return constants
 
     def dump_no_metadata(self) -> dict[str, Any]:
-        compilation_metadata_with_unchecked = {
-            name: CompilationMetadata(unchecked=comp_metadata.unchecked)
+        compilation_metadata_user_directives = {
+            name: comp_metadata.copy_user_directives()
             for name, comp_metadata in self.functions_compilation_metadata.items()
-            if len(comp_metadata.unchecked) > 0
+            if comp_metadata.has_user_directives
         }
         model = self.model_copy(
             update={
-                "functions_compilation_metadata": compilation_metadata_with_unchecked,
+                "functions_compilation_metadata": compilation_metadata_user_directives,
             }
         )
         return model.model_dump(

classiq/interface/model/model_visitor.py

@@ -1,5 +1,12 @@
+from collections.abc import Collection
+
+from pydantic import BaseModel
+
 from classiq.interface.debug_info.debug_info import DebugInfoCollection
-from classiq.interface.generator.visitor import Transformer, Visitor
+from classiq.interface.generator.visitor import RetType, Transformer, Visitor
+from classiq.interface.model.model import Model
+from classiq.interface.model.native_function_definition import NativeFunctionDefinition
+from classiq.interface.model.quantum_statement import QuantumStatement
 
 
 class ModelVisitor(Visitor):
@@ -7,8 +14,40 @@ class ModelVisitor(Visitor):
         return
 
 
+class ModelStatementsVisitor(ModelVisitor):
+    def visit_BaseModel(self, node: BaseModel) -> RetType | None:
+        if isinstance(node, Model):
+            return self.visit(node.functions)
+        if isinstance(node, NativeFunctionDefinition):
+            return self.visit(node.body)
+        if isinstance(node, QuantumStatement):
+            for block in node.blocks.values():
+                self.visit(block)
+            return None
+        return super().visit_BaseModel(node)
+
+
 class ModelTransformer(Transformer):
     def visit_DebugInfoCollection(
         self, debug_info: DebugInfoCollection
     ) -> DebugInfoCollection:
         return debug_info
+
+
+class ModelStatementsTransformer(ModelTransformer):
+    def visit_BaseModel(
+        self, node: BaseModel, fields_to_skip: Collection[str] | None = None
+    ) -> RetType:
+        if isinstance(node, Model):
+            new_functions = self.visit(node.functions)
+            return node.model_copy(update=dict(functions=new_functions))
+        if isinstance(node, NativeFunctionDefinition):
+            new_body = self.visit(node.body)
+            return node.model_copy(update=dict(body=new_body))
+        if isinstance(node, QuantumStatement):
+            new_blocks = {
+                block_name: self.visit(block)
+                for block_name, block in node.blocks.items()
+            }
+            return node.model_copy(update=new_blocks)
+        return super().visit_BaseModel(node, fields_to_skip)