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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (516) hide show
  1. classiq/__init__.py +49 -34
  2. classiq/_analyzer_extras/_ipywidgets_async_extension.py +3 -2
  3. classiq/_analyzer_extras/interactive_hardware.py +3 -3
  4. classiq/_internals/api_wrapper.py +241 -95
  5. classiq/_internals/async_utils.py +2 -77
  6. classiq/_internals/authentication/auth0.py +26 -10
  7. classiq/_internals/authentication/authentication.py +11 -0
  8. classiq/_internals/authentication/device.py +18 -8
  9. classiq/_internals/authentication/password_manager.py +40 -13
  10. classiq/_internals/authentication/token_manager.py +11 -6
  11. classiq/_internals/client.py +106 -37
  12. classiq/_internals/config.py +3 -4
  13. classiq/_internals/host_checker.py +38 -15
  14. classiq/_internals/jobs.py +56 -50
  15. classiq/_internals/type_validation.py +9 -9
  16. classiq/analyzer/__init__.py +1 -3
  17. classiq/analyzer/analyzer.py +50 -47
  18. classiq/analyzer/analyzer_utilities.py +15 -15
  19. classiq/analyzer/rb.py +19 -20
  20. classiq/analyzer/show_interactive_hack.py +30 -7
  21. classiq/analyzer/url_utils.py +2 -3
  22. classiq/applications/__init__.py +3 -12
  23. classiq/applications/chemistry/__init__.py +14 -10
  24. classiq/applications/chemistry/ansatz_parameters.py +4 -4
  25. classiq/{applications_model_constructors → applications/chemistry}/chemistry_model_constructor.py +170 -170
  26. classiq/applications/chemistry/ground_state_problem.py +1 -1
  27. classiq/applications/combinatorial_helpers/allowed_constraints.py +23 -0
  28. classiq/applications/combinatorial_helpers/arithmetic/arithmetic_expression.py +35 -0
  29. classiq/applications/combinatorial_helpers/arithmetic/isolation.py +42 -0
  30. classiq/applications/combinatorial_helpers/combinatorial_problem_utils.py +166 -0
  31. classiq/applications/combinatorial_helpers/encoding_mapping.py +107 -0
  32. classiq/applications/combinatorial_helpers/encoding_utils.py +124 -0
  33. classiq/applications/combinatorial_helpers/memory.py +75 -0
  34. classiq/applications/combinatorial_helpers/optimization_model.py +193 -0
  35. classiq/applications/combinatorial_helpers/pauli_helpers/pauli_sparsing.py +31 -0
  36. classiq/applications/combinatorial_helpers/pauli_helpers/pauli_utils.py +46 -0
  37. classiq/applications/combinatorial_helpers/pyomo_utils.py +447 -0
  38. classiq/applications/combinatorial_helpers/sympy_utils.py +22 -0
  39. classiq/applications/combinatorial_helpers/transformations/encoding.py +189 -0
  40. classiq/applications/combinatorial_helpers/transformations/fixed_variables.py +143 -0
  41. classiq/applications/combinatorial_helpers/transformations/ising_converter.py +120 -0
  42. classiq/applications/combinatorial_helpers/transformations/penalty.py +31 -0
  43. classiq/applications/combinatorial_helpers/transformations/penalty_support.py +37 -0
  44. classiq/applications/combinatorial_helpers/transformations/sign_seperation.py +74 -0
  45. classiq/applications/combinatorial_helpers/transformations/slack_variables.py +87 -0
  46. classiq/applications/combinatorial_optimization/__init__.py +24 -5
  47. classiq/applications/combinatorial_optimization/combinatorial_optimization_config.py +2 -2
  48. classiq/applications/combinatorial_optimization/combinatorial_optimization_model_constructor.py +137 -0
  49. classiq/applications/combinatorial_optimization/combinatorial_problem.py +229 -0
  50. classiq/applications/combinatorial_optimization/examples/__init__.py +1 -3
  51. classiq/applications/finance/__init__.py +4 -5
  52. classiq/{applications_model_constructors → applications/finance}/finance_model_constructor.py +50 -57
  53. classiq/applications/grover/__init__.py +9 -0
  54. classiq/applications/grover/grover_model_constructor.py +157 -0
  55. classiq/applications/hamiltonian/__init__.py +0 -0
  56. classiq/applications/hamiltonian/pauli_decomposition.py +113 -0
  57. classiq/applications/libraries/__init__.py +0 -0
  58. classiq/applications/libraries/qmci_library.py +22 -0
  59. classiq/applications/qnn/__init__.py +2 -4
  60. classiq/applications/qnn/circuit_utils.py +8 -8
  61. classiq/applications/qnn/datasets/__init__.py +9 -11
  62. classiq/applications/qnn/datasets/dataset_base_classes.py +7 -5
  63. classiq/applications/qnn/datasets/dataset_not.py +2 -1
  64. classiq/applications/qnn/datasets/dataset_parity.py +2 -2
  65. classiq/applications/qnn/gradients/quantum_gradient.py +2 -2
  66. classiq/applications/qnn/gradients/simple_quantum_gradient.py +2 -1
  67. classiq/applications/qnn/qlayer.py +30 -10
  68. classiq/applications/qnn/torch_utils.py +4 -3
  69. classiq/applications/qnn/types.py +7 -7
  70. classiq/applications/qsvm/__init__.py +6 -4
  71. classiq/applications/qsvm/qsvm.py +4 -10
  72. classiq/applications/qsvm/qsvm_data_generation.py +5 -8
  73. classiq/{applications_model_constructors → applications/qsvm}/qsvm_model_constructor.py +30 -28
  74. classiq/execution/__init__.py +8 -3
  75. classiq/execution/all_hardware_devices.py +11 -0
  76. classiq/execution/execution_session.py +400 -0
  77. classiq/execution/iqcc.py +63 -0
  78. classiq/execution/jobs.py +197 -25
  79. classiq/execution/qnn.py +79 -0
  80. classiq/executor.py +23 -117
  81. classiq/interface/_version.py +1 -1
  82. classiq/interface/analyzer/analysis_params.py +49 -16
  83. classiq/interface/analyzer/cytoscape_graph.py +15 -9
  84. classiq/interface/analyzer/result.py +36 -32
  85. classiq/interface/applications/qsvm.py +28 -25
  86. classiq/interface/ast_node.py +16 -0
  87. classiq/interface/backend/backend_preferences.py +390 -119
  88. classiq/interface/backend/ionq/ionq_quantum_program.py +15 -23
  89. classiq/interface/backend/pydantic_backend.py +27 -22
  90. classiq/interface/backend/quantum_backend_providers.py +70 -16
  91. classiq/interface/chemistry/fermionic_operator.py +43 -32
  92. classiq/interface/chemistry/ground_state_problem.py +42 -24
  93. classiq/interface/chemistry/molecule.py +20 -14
  94. classiq/interface/chemistry/operator.py +75 -236
  95. classiq/interface/combinatorial_optimization/encoding_types.py +1 -1
  96. classiq/interface/combinatorial_optimization/examples/ascending_sequence.py +2 -4
  97. classiq/interface/combinatorial_optimization/examples/greater_than_ilp.py +1 -1
  98. classiq/interface/combinatorial_optimization/examples/ilp.py +2 -1
  99. classiq/interface/combinatorial_optimization/examples/integer_portfolio_optimization.py +2 -4
  100. classiq/interface/combinatorial_optimization/examples/knapsack.py +3 -3
  101. classiq/interface/combinatorial_optimization/examples/mds.py +2 -1
  102. classiq/interface/combinatorial_optimization/examples/mht.py +10 -6
  103. classiq/interface/combinatorial_optimization/examples/mis.py +4 -1
  104. classiq/interface/combinatorial_optimization/examples/mvc.py +2 -1
  105. classiq/interface/combinatorial_optimization/examples/portfolio_variations.py +2 -2
  106. classiq/interface/combinatorial_optimization/examples/set_cover.py +3 -3
  107. classiq/interface/combinatorial_optimization/examples/tsp.py +4 -3
  108. classiq/interface/combinatorial_optimization/examples/tsp_digraph.py +6 -2
  109. classiq/interface/combinatorial_optimization/mht_qaoa_input.py +14 -9
  110. classiq/interface/combinatorial_optimization/optimization_problem.py +2 -2
  111. classiq/interface/combinatorial_optimization/result.py +1 -3
  112. classiq/interface/combinatorial_optimization/solver_types.py +1 -1
  113. classiq/interface/debug_info/__init__.py +0 -0
  114. classiq/interface/debug_info/debug_info.py +86 -0
  115. classiq/interface/exceptions.py +201 -0
  116. classiq/interface/execution/iqcc.py +19 -0
  117. classiq/interface/execution/jobs.py +15 -12
  118. classiq/interface/execution/primitives.py +18 -0
  119. classiq/interface/executor/constants.py +1 -0
  120. classiq/interface/executor/estimation.py +2 -2
  121. classiq/interface/executor/execution_preferences.py +26 -143
  122. classiq/interface/executor/execution_request.py +36 -56
  123. classiq/interface/executor/execution_result.py +30 -8
  124. classiq/interface/executor/iqae_result.py +4 -6
  125. classiq/interface/executor/optimizer_preferences.py +34 -22
  126. classiq/interface/executor/{quantum_program.py → quantum_code.py} +44 -34
  127. classiq/interface/executor/quantum_instruction_set.py +3 -2
  128. classiq/interface/executor/register_initialization.py +12 -17
  129. classiq/interface/executor/result.py +122 -64
  130. classiq/interface/executor/vqe_result.py +11 -11
  131. classiq/interface/finance/function_input.py +42 -19
  132. classiq/interface/finance/gaussian_model_input.py +7 -5
  133. classiq/interface/finance/log_normal_model_input.py +6 -4
  134. classiq/interface/finance/model_input.py +6 -4
  135. classiq/interface/generator/adjacency.py +1 -3
  136. classiq/interface/generator/amplitude_loading.py +27 -14
  137. classiq/interface/generator/ansatz_library.py +5 -5
  138. classiq/interface/generator/application_apis/__init__.py +1 -0
  139. classiq/interface/generator/application_apis/arithmetic_declarations.py +17 -0
  140. classiq/interface/generator/application_apis/chemistry_declarations.py +27 -187
  141. classiq/interface/generator/application_apis/combinatorial_optimization_declarations.py +18 -21
  142. classiq/interface/generator/application_apis/entangler_declarations.py +11 -6
  143. classiq/interface/generator/application_apis/finance_declarations.py +48 -69
  144. classiq/interface/generator/application_apis/qsvm_declarations.py +0 -70
  145. classiq/interface/generator/arith/argument_utils.py +57 -6
  146. classiq/interface/generator/arith/arithmetic.py +37 -16
  147. classiq/interface/generator/arith/arithmetic_arg_type_validator.py +15 -17
  148. classiq/interface/generator/arith/arithmetic_expression_abc.py +70 -26
  149. classiq/interface/generator/arith/arithmetic_expression_parser.py +18 -12
  150. classiq/interface/generator/arith/arithmetic_expression_validator.py +61 -43
  151. classiq/interface/generator/arith/arithmetic_operations.py +19 -16
  152. classiq/interface/generator/arith/arithmetic_param_getters.py +7 -8
  153. classiq/interface/generator/arith/arithmetic_result_builder.py +21 -17
  154. classiq/interface/generator/arith/ast_node_rewrite.py +4 -3
  155. classiq/interface/generator/arith/binary_ops.py +375 -139
  156. classiq/interface/generator/arith/endianness.py +1 -1
  157. classiq/interface/generator/arith/extremum_operations.py +96 -23
  158. classiq/interface/generator/arith/logical_ops.py +16 -12
  159. classiq/interface/generator/arith/machine_precision.py +3 -0
  160. classiq/interface/generator/arith/number_utils.py +44 -48
  161. classiq/interface/generator/arith/register_user_input.py +70 -27
  162. classiq/interface/generator/arith/unary_ops.py +57 -46
  163. classiq/interface/generator/arith/uncomputation_methods.py +1 -1
  164. classiq/interface/generator/builtin_api_builder.py +2 -9
  165. classiq/interface/generator/chemistry_function_params.py +5 -5
  166. classiq/interface/generator/circuit_code/circuit_code.py +7 -7
  167. classiq/interface/generator/circuit_code/types_and_constants.py +4 -7
  168. classiq/interface/generator/commuting_pauli_exponentiation.py +8 -6
  169. classiq/interface/generator/compiler_keywords.py +8 -0
  170. classiq/interface/generator/complex_type.py +13 -25
  171. classiq/interface/generator/constant.py +3 -4
  172. classiq/interface/generator/control_state.py +35 -28
  173. classiq/interface/generator/copy.py +47 -0
  174. classiq/interface/generator/custom_ansatz.py +2 -5
  175. classiq/interface/generator/distance.py +3 -5
  176. classiq/interface/generator/excitations.py +3 -2
  177. classiq/interface/generator/expressions/atomic_expression_functions.py +26 -8
  178. classiq/interface/generator/expressions/enums/__init__.py +0 -10
  179. classiq/interface/generator/expressions/enums/finance_functions.py +12 -22
  180. classiq/interface/generator/expressions/evaluated_expression.py +21 -7
  181. classiq/interface/generator/expressions/expression.py +27 -15
  182. classiq/interface/generator/expressions/expression_constants.py +9 -3
  183. classiq/interface/generator/expressions/non_symbolic_expr.py +119 -0
  184. classiq/interface/generator/expressions/qmod_qarray_proxy.py +99 -0
  185. classiq/interface/generator/expressions/qmod_qscalar_proxy.py +59 -0
  186. classiq/interface/generator/expressions/qmod_qstruct_proxy.py +36 -0
  187. classiq/interface/generator/expressions/qmod_sized_proxy.py +30 -2
  188. classiq/interface/generator/expressions/qmod_struct_instance.py +14 -2
  189. classiq/interface/generator/expressions/sympy_supported_expressions.py +20 -11
  190. classiq/interface/generator/finance.py +3 -3
  191. classiq/interface/generator/function_param_library.py +6 -6
  192. classiq/interface/generator/function_param_list_without_self_reference.py +2 -10
  193. classiq/interface/generator/function_params.py +42 -69
  194. classiq/interface/generator/functions/__init__.py +0 -22
  195. classiq/interface/generator/functions/builtins/__init__.py +0 -0
  196. classiq/interface/generator/functions/builtins/internal_operators.py +16 -0
  197. classiq/interface/generator/functions/classical_function_declaration.py +18 -9
  198. classiq/interface/generator/functions/classical_type.py +47 -166
  199. classiq/interface/generator/functions/concrete_types.py +55 -0
  200. classiq/interface/generator/functions/function_declaration.py +13 -14
  201. classiq/interface/generator/functions/port_declaration.py +1 -13
  202. classiq/interface/generator/functions/qmod_python_interface.py +2 -1
  203. classiq/interface/generator/functions/type_name.py +90 -0
  204. classiq/interface/generator/generated_circuit_data.py +155 -22
  205. classiq/interface/generator/grover_diffuser.py +32 -25
  206. classiq/interface/generator/grover_operator.py +34 -23
  207. classiq/interface/generator/hamiltonian_evolution/exponentiation.py +4 -6
  208. classiq/interface/generator/hamiltonian_evolution/qdrift.py +4 -4
  209. classiq/interface/generator/hamiltonian_evolution/suzuki_trotter.py +12 -8
  210. classiq/interface/generator/hardware/hardware_data.py +76 -36
  211. classiq/interface/generator/hardware_efficient_ansatz.py +38 -17
  212. classiq/interface/generator/hartree_fock.py +14 -4
  213. classiq/interface/generator/identity.py +10 -6
  214. classiq/interface/generator/linear_pauli_rotations.py +33 -19
  215. classiq/interface/generator/mcmt_method.py +1 -1
  216. classiq/interface/generator/mcu.py +20 -16
  217. classiq/interface/generator/mcx.py +29 -20
  218. classiq/interface/generator/model/__init__.py +2 -5
  219. classiq/interface/generator/model/constraints.py +27 -8
  220. classiq/interface/generator/model/model.py +32 -203
  221. classiq/interface/generator/model/preferences/preferences.py +118 -43
  222. classiq/{quantum_register.py → interface/generator/model/quantum_register.py} +27 -22
  223. classiq/interface/generator/oracles/arithmetic_oracle.py +2 -4
  224. classiq/interface/generator/oracles/custom_oracle.py +17 -13
  225. classiq/interface/generator/oracles/oracle_abc.py +9 -9
  226. classiq/interface/generator/partitioned_register.py +7 -7
  227. classiq/interface/generator/piecewise_linear_amplitude_loading.py +45 -29
  228. classiq/interface/generator/preferences/optimization.py +1 -2
  229. classiq/interface/generator/qpe.py +47 -34
  230. classiq/interface/generator/qsvm.py +13 -17
  231. classiq/interface/generator/quantum_function_call.py +107 -87
  232. classiq/interface/generator/{generated_circuit.py → quantum_program.py} +50 -37
  233. classiq/interface/generator/range_types.py +13 -12
  234. classiq/interface/generator/register_role.py +18 -6
  235. classiq/interface/generator/slice_parsing_utils.py +11 -6
  236. classiq/interface/generator/standard_gates/controlled_standard_gates.py +32 -39
  237. classiq/interface/generator/standard_gates/standard_angle_metaclass.py +2 -6
  238. classiq/interface/generator/standard_gates/standard_gates.py +3 -3
  239. classiq/interface/generator/standard_gates/u_gate.py +7 -10
  240. classiq/interface/generator/state_preparation/bell_state_preparation.py +3 -3
  241. classiq/interface/generator/state_preparation/computational_basis_state_preparation.py +2 -1
  242. classiq/interface/generator/state_preparation/distributions.py +16 -15
  243. classiq/interface/generator/state_preparation/metrics.py +5 -7
  244. classiq/interface/generator/state_preparation/state_preparation.py +30 -23
  245. classiq/interface/generator/synthesis_metadata/synthesis_duration.py +0 -4
  246. classiq/interface/generator/synthesis_metadata/synthesis_execution_data.py +20 -6
  247. classiq/interface/generator/transpiler_basis_gates.py +7 -3
  248. classiq/interface/generator/types/builtin_enum_declarations.py +178 -0
  249. classiq/interface/generator/types/compilation_metadata.py +6 -0
  250. classiq/interface/generator/types/enum_declaration.py +54 -0
  251. classiq/interface/generator/types/qstruct_declaration.py +18 -0
  252. classiq/interface/generator/types/struct_declaration.py +15 -14
  253. classiq/interface/generator/ucc.py +9 -6
  254. classiq/interface/generator/unitary_gate.py +10 -6
  255. classiq/interface/generator/user_defined_function_params.py +4 -1
  256. classiq/interface/generator/validations/flow_graph.py +11 -9
  257. classiq/interface/generator/validations/validator_functions.py +8 -6
  258. classiq/interface/generator/visitor.py +23 -16
  259. classiq/interface/hardware.py +31 -10
  260. classiq/interface/helpers/classproperty.py +8 -0
  261. classiq/interface/helpers/custom_encoders.py +3 -0
  262. classiq/interface/helpers/custom_pydantic_types.py +40 -50
  263. classiq/interface/helpers/datastructures.py +26 -0
  264. classiq/interface/helpers/hashable_mixin.py +3 -2
  265. classiq/interface/helpers/hashable_pydantic_base_model.py +2 -1
  266. classiq/interface/helpers/pydantic_model_helpers.py +7 -11
  267. classiq/interface/helpers/validation_helpers.py +4 -21
  268. classiq/interface/helpers/versioned_model.py +1 -1
  269. classiq/interface/ide/ide_data.py +16 -20
  270. classiq/interface/ide/visual_model.py +130 -0
  271. classiq/interface/interface_version.py +1 -0
  272. classiq/interface/jobs.py +35 -6
  273. classiq/interface/model/allocate.py +16 -0
  274. classiq/interface/model/bind_operation.py +44 -14
  275. classiq/interface/model/classical_if.py +15 -0
  276. classiq/interface/model/classical_parameter_declaration.py +33 -3
  277. classiq/interface/model/control.py +45 -0
  278. classiq/interface/model/handle_binding.py +298 -20
  279. classiq/interface/model/inplace_binary_operation.py +31 -26
  280. classiq/interface/model/invert.py +12 -0
  281. classiq/interface/model/model.py +87 -73
  282. classiq/interface/model/native_function_definition.py +16 -21
  283. classiq/interface/model/parameter.py +13 -0
  284. classiq/interface/model/phase_operation.py +11 -0
  285. classiq/interface/model/port_declaration.py +27 -9
  286. classiq/interface/model/power.py +14 -0
  287. classiq/interface/model/quantum_expressions/amplitude_loading_operation.py +38 -21
  288. classiq/interface/model/quantum_expressions/arithmetic_operation.py +51 -14
  289. classiq/interface/model/quantum_expressions/quantum_expression.py +12 -35
  290. classiq/interface/model/quantum_function_call.py +146 -462
  291. classiq/interface/model/quantum_function_declaration.py +193 -152
  292. classiq/interface/model/quantum_lambda_function.py +65 -0
  293. classiq/interface/model/quantum_statement.py +71 -12
  294. classiq/interface/model/quantum_type.py +205 -67
  295. classiq/interface/model/quantum_variable_declaration.py +4 -26
  296. classiq/interface/model/repeat.py +15 -0
  297. classiq/interface/model/statement_block.py +58 -0
  298. classiq/interface/model/validation_handle.py +13 -6
  299. classiq/interface/model/variable_declaration_statement.py +3 -1
  300. classiq/interface/model/within_apply_operation.py +13 -0
  301. classiq/interface/pyomo_extension/pyomo_sympy_bimap.py +4 -1
  302. classiq/interface/server/global_versions.py +6 -7
  303. classiq/interface/server/routes.py +22 -21
  304. classiq/interface/source_reference.py +59 -0
  305. classiq/model_expansions/__init__.py +0 -0
  306. classiq/model_expansions/atomic_expression_functions_defs.py +253 -0
  307. classiq/model_expansions/capturing/__init__.py +0 -0
  308. classiq/model_expansions/capturing/captured_vars.py +435 -0
  309. classiq/model_expansions/capturing/mangling_utils.py +56 -0
  310. classiq/model_expansions/closure.py +171 -0
  311. classiq/model_expansions/debug_flag.py +3 -0
  312. classiq/model_expansions/evaluators/__init__.py +0 -0
  313. classiq/model_expansions/evaluators/arg_type_match.py +158 -0
  314. classiq/model_expansions/evaluators/argument_types.py +42 -0
  315. classiq/model_expansions/evaluators/classical_expression.py +36 -0
  316. classiq/model_expansions/evaluators/control.py +144 -0
  317. classiq/model_expansions/evaluators/parameter_types.py +226 -0
  318. classiq/model_expansions/evaluators/quantum_type_utils.py +239 -0
  319. classiq/model_expansions/evaluators/type_type_match.py +90 -0
  320. classiq/model_expansions/expression_evaluator.py +135 -0
  321. classiq/model_expansions/expression_renamer.py +76 -0
  322. classiq/model_expansions/function_builder.py +247 -0
  323. classiq/model_expansions/generative_functions.py +158 -0
  324. classiq/model_expansions/interpreters/__init__.py +0 -0
  325. classiq/model_expansions/interpreters/base_interpreter.py +263 -0
  326. classiq/model_expansions/interpreters/frontend_generative_interpreter.py +28 -0
  327. classiq/model_expansions/interpreters/generative_interpreter.py +249 -0
  328. classiq/model_expansions/model_tables.py +18 -0
  329. classiq/model_expansions/quantum_operations/__init__.py +9 -0
  330. classiq/model_expansions/quantum_operations/bind.py +60 -0
  331. classiq/model_expansions/quantum_operations/call_emitter.py +266 -0
  332. classiq/model_expansions/quantum_operations/classicalif.py +53 -0
  333. classiq/model_expansions/quantum_operations/declarative_call_emitter.py +87 -0
  334. classiq/model_expansions/quantum_operations/emitter.py +181 -0
  335. classiq/model_expansions/quantum_operations/quantum_function_call.py +33 -0
  336. classiq/model_expansions/quantum_operations/repeat.py +56 -0
  337. classiq/model_expansions/quantum_operations/shallow_emitter.py +180 -0
  338. classiq/model_expansions/quantum_operations/variable_decleration.py +28 -0
  339. classiq/model_expansions/scope.py +240 -0
  340. classiq/model_expansions/scope_initialization.py +150 -0
  341. classiq/model_expansions/sympy_conversion/__init__.py +0 -0
  342. classiq/model_expansions/sympy_conversion/arithmetics.py +49 -0
  343. classiq/model_expansions/sympy_conversion/expression_to_sympy.py +179 -0
  344. classiq/model_expansions/sympy_conversion/sympy_to_python.py +123 -0
  345. classiq/model_expansions/transformers/__init__.py +0 -0
  346. classiq/model_expansions/transformers/ast_renamer.py +26 -0
  347. classiq/model_expansions/transformers/var_splitter.py +299 -0
  348. classiq/model_expansions/utils/__init__.py +0 -0
  349. classiq/model_expansions/utils/counted_name_allocator.py +11 -0
  350. classiq/model_expansions/utils/handles_collector.py +33 -0
  351. classiq/model_expansions/visitors/__init__.py +0 -0
  352. classiq/model_expansions/visitors/boolean_expression_transformers.py +214 -0
  353. classiq/model_expansions/visitors/variable_references.py +144 -0
  354. classiq/open_library/__init__.py +4 -0
  355. classiq/open_library/functions/__init__.py +130 -0
  356. classiq/open_library/functions/amplitude_estimation.py +30 -0
  357. classiq/open_library/functions/discrete_sine_cosine_transform.py +181 -0
  358. classiq/open_library/functions/grover.py +157 -0
  359. classiq/open_library/functions/hea.py +115 -0
  360. classiq/open_library/functions/linear_pauli_rotation.py +82 -0
  361. classiq/open_library/functions/modular_exponentiation.py +201 -0
  362. classiq/open_library/functions/qaoa_penalty.py +117 -0
  363. classiq/open_library/functions/qft_functions.py +54 -0
  364. classiq/open_library/functions/qpe.py +46 -0
  365. classiq/open_library/functions/qsvt.py +331 -0
  366. classiq/open_library/functions/state_preparation.py +301 -0
  367. classiq/open_library/functions/swap_test.py +27 -0
  368. classiq/open_library/functions/utility_functions.py +81 -0
  369. classiq/open_library/functions/variational.py +52 -0
  370. classiq/qmod/__init__.py +17 -10
  371. classiq/qmod/builtins/__init__.py +19 -2
  372. classiq/qmod/builtins/classical_execution_primitives.py +60 -47
  373. classiq/qmod/builtins/classical_functions.py +44 -38
  374. classiq/qmod/builtins/constants.py +10 -0
  375. classiq/qmod/builtins/enums.py +208 -0
  376. classiq/qmod/builtins/functions/__init__.py +137 -0
  377. classiq/qmod/builtins/functions/allocation.py +150 -0
  378. classiq/qmod/builtins/functions/arithmetic.py +55 -0
  379. classiq/qmod/builtins/functions/benchmarking.py +8 -0
  380. classiq/qmod/builtins/functions/chemistry.py +91 -0
  381. classiq/qmod/builtins/functions/exponentiation.py +105 -0
  382. classiq/qmod/builtins/functions/finance.py +34 -0
  383. classiq/qmod/builtins/functions/operators.py +16 -0
  384. classiq/qmod/builtins/functions/qsvm.py +24 -0
  385. classiq/qmod/builtins/functions/standard_gates.py +651 -0
  386. classiq/qmod/builtins/operations.py +379 -57
  387. classiq/qmod/builtins/structs.py +103 -80
  388. classiq/qmod/cfunc.py +42 -0
  389. classiq/qmod/classical_function.py +8 -20
  390. classiq/qmod/cparam.py +64 -0
  391. classiq/qmod/create_model_function.py +56 -0
  392. classiq/qmod/declaration_inferrer.py +145 -112
  393. classiq/qmod/expression_query.py +39 -0
  394. classiq/qmod/generative.py +42 -0
  395. classiq/qmod/model_state_container.py +19 -5
  396. classiq/qmod/native/__init__.py +7 -0
  397. classiq/qmod/native/expression_to_qmod.py +194 -0
  398. classiq/qmod/native/pretty_printer.py +401 -0
  399. classiq/qmod/pretty_print/__init__.py +7 -0
  400. classiq/qmod/pretty_print/expression_to_python.py +222 -0
  401. classiq/qmod/pretty_print/pretty_printer.py +572 -0
  402. classiq/qmod/python_classical_type.py +67 -0
  403. classiq/qmod/qfunc.py +79 -0
  404. classiq/qmod/qmod_constant.py +143 -0
  405. classiq/qmod/qmod_parameter.py +84 -53
  406. classiq/qmod/qmod_variable.py +497 -100
  407. classiq/qmod/quantum_callable.py +17 -7
  408. classiq/qmod/quantum_expandable.py +278 -105
  409. classiq/qmod/quantum_function.py +232 -48
  410. classiq/qmod/semantics/__init__.py +0 -0
  411. classiq/qmod/semantics/annotation/__init__.py +0 -0
  412. classiq/qmod/semantics/annotation/call_annotation.py +92 -0
  413. classiq/qmod/semantics/annotation/qstruct_annotator.py +23 -0
  414. classiq/qmod/semantics/error_manager.py +88 -0
  415. classiq/qmod/semantics/lambdas.py +25 -0
  416. classiq/qmod/semantics/static_semantics_visitor.py +384 -0
  417. classiq/qmod/semantics/validation/__init__.py +0 -0
  418. classiq/qmod/semantics/validation/constants_validation.py +16 -0
  419. classiq/qmod/semantics/validation/func_call_validation.py +99 -0
  420. classiq/qmod/semantics/validation/function_name_collisions_validation.py +23 -0
  421. classiq/qmod/semantics/validation/handle_validation.py +85 -0
  422. classiq/qmod/semantics/validation/main_validation.py +33 -0
  423. classiq/qmod/semantics/validation/types_validation.py +128 -0
  424. classiq/qmod/symbolic.py +178 -111
  425. classiq/qmod/symbolic_expr.py +36 -12
  426. classiq/qmod/symbolic_type.py +2 -5
  427. classiq/qmod/type_attribute_remover.py +32 -0
  428. classiq/qmod/utilities.py +108 -1
  429. classiq/qmod/write_qmod.py +53 -0
  430. classiq/synthesis.py +210 -22
  431. {classiq-0.37.1.dist-info → classiq-0.65.3.dist-info}/METADATA +16 -8
  432. classiq-0.65.3.dist-info/RECORD +521 -0
  433. {classiq-0.37.1.dist-info → classiq-0.65.3.dist-info}/WHEEL +1 -1
  434. classiq/_internals/_qfunc_ext.py +0 -6
  435. classiq/applications/benchmarking/__init__.py +0 -9
  436. classiq/applications/benchmarking/mirror_benchmarking.py +0 -67
  437. classiq/applications/numpy_utils.py +0 -37
  438. classiq/applications_model_constructors/__init__.py +0 -17
  439. classiq/applications_model_constructors/combinatorial_optimization_model_constructor.py +0 -178
  440. classiq/applications_model_constructors/grover_model_constructor.py +0 -227
  441. classiq/applications_model_constructors/libraries/ampltitude_estimation_library.py +0 -11
  442. classiq/applications_model_constructors/libraries/qmci_library.py +0 -109
  443. classiq/builtin_functions/__init__.py +0 -43
  444. classiq/builtin_functions/amplitude_loading.py +0 -3
  445. classiq/builtin_functions/binary_ops.py +0 -1
  446. classiq/builtin_functions/exponentiation.py +0 -5
  447. classiq/builtin_functions/qpe.py +0 -4
  448. classiq/builtin_functions/qsvm.py +0 -7
  449. classiq/builtin_functions/range_types.py +0 -5
  450. classiq/builtin_functions/standard_gates.py +0 -1
  451. classiq/builtin_functions/state_preparation.py +0 -6
  452. classiq/builtin_functions/suzuki_trotter.py +0 -3
  453. classiq/exceptions.py +0 -131
  454. classiq/interface/executor/aws_execution_cost.py +0 -72
  455. classiq/interface/executor/error_mitigation.py +0 -6
  456. classiq/interface/generator/credit_risk_example/linear_gci.py +0 -115
  457. classiq/interface/generator/credit_risk_example/weighted_adder.py +0 -59
  458. classiq/interface/generator/expressions/enums/chemistry.py +0 -28
  459. classiq/interface/generator/expressions/enums/classical_enum.py +0 -5
  460. classiq/interface/generator/expressions/enums/ladder_operator.py +0 -16
  461. classiq/interface/generator/expressions/enums/optimizers.py +0 -9
  462. classiq/interface/generator/expressions/enums/pauli.py +0 -8
  463. classiq/interface/generator/expressions/enums/qsvm_feature_map_entanglement.py +0 -9
  464. classiq/interface/generator/expressions/qmod_qnum_proxy.py +0 -22
  465. classiq/interface/generator/functions/core_lib_declarations/quantum_functions/__init__.py +0 -18
  466. classiq/interface/generator/functions/core_lib_declarations/quantum_functions/atomic_quantum_functions.py +0 -641
  467. classiq/interface/generator/functions/core_lib_declarations/quantum_functions/exponentiation_functions.py +0 -89
  468. classiq/interface/generator/functions/core_lib_declarations/quantum_functions/std_lib_functions.py +0 -862
  469. classiq/interface/generator/functions/core_lib_declarations/quantum_operators.py +0 -169
  470. classiq/interface/generator/functions/foreign_function_definition.py +0 -106
  471. classiq/interface/generator/functions/function_implementation.py +0 -103
  472. classiq/interface/generator/functions/native_function_definition.py +0 -153
  473. classiq/interface/generator/functions/quantum_function_declaration.py +0 -69
  474. classiq/interface/generator/functions/register.py +0 -42
  475. classiq/interface/generator/functions/register_mapping_data.py +0 -102
  476. classiq/interface/generator/inequality_mixer.py +0 -51
  477. classiq/interface/generator/model/classical_main_validator.py +0 -106
  478. classiq/interface/generator/range_mixer.py +0 -56
  479. classiq/interface/generator/state_propagator.py +0 -63
  480. classiq/interface/generator/types/builtin_struct_declarations/__init__.py +0 -2
  481. classiq/interface/generator/types/builtin_struct_declarations/pauli_struct_declarations.py +0 -22
  482. classiq/interface/generator/types/builtin_struct_declarations/qaoa_declarations.py +0 -23
  483. classiq/interface/generator/types/combinatorial_problem.py +0 -26
  484. classiq/interface/ide/show.py +0 -34
  485. classiq/interface/model/common_model_types.py +0 -23
  486. classiq/interface/model/numeric_reinterpretation.py +0 -25
  487. classiq/interface/model/operator_synthesis_data.py +0 -48
  488. classiq/interface/model/quantum_expressions/control_state.py +0 -38
  489. classiq/interface/model/quantum_if_operation.py +0 -95
  490. classiq/interface/model/resolvers/function_call_resolver.py +0 -43
  491. classiq/interface/model/validations/handle_validation_base.py +0 -55
  492. classiq/interface/model/validations/handles_validator.py +0 -154
  493. classiq/interface/model/validations/port_to_wire_name_generator.py +0 -12
  494. classiq/model/__init__.py +0 -14
  495. classiq/model/composite_function_generator.py +0 -33
  496. classiq/model/function_handler.py +0 -466
  497. classiq/model/function_handler.pyi +0 -152
  498. classiq/model/logic_flow.py +0 -149
  499. classiq/model/logic_flow_change_handler.py +0 -71
  500. classiq/model/model.py +0 -246
  501. classiq/qmod/builtins/functions.py +0 -896
  502. classiq/qmod/qmod_struct.py +0 -37
  503. classiq/quantum_functions/__init__.py +0 -17
  504. classiq/quantum_functions/annotation_parser.py +0 -207
  505. classiq/quantum_functions/decorators.py +0 -22
  506. classiq/quantum_functions/function_library.py +0 -181
  507. classiq/quantum_functions/function_parser.py +0 -74
  508. classiq/quantum_functions/quantum_function.py +0 -236
  509. classiq-0.37.1.dist-info/RECORD +0 -418
  510. /classiq/{applications_model_constructors/libraries → applications/combinatorial_helpers}/__init__.py +0 -0
  511. /classiq/{interface/generator/credit_risk_example → applications/combinatorial_helpers/arithmetic}/__init__.py +0 -0
  512. /classiq/{interface/generator/functions/core_lib_declarations → applications/combinatorial_helpers/pauli_helpers}/__init__.py +0 -0
  513. /classiq/{interface/generator/functions/core_lib_declarations/quantum_functions/chemistry_functions.py → applications/combinatorial_helpers/py.typed} +0 -0
  514. /classiq/{interface/model/resolvers → applications/combinatorial_helpers/solvers}/__init__.py +0 -0
  515. /classiq/{interface/model/validations → applications/combinatorial_helpers/transformations}/__init__.py +0 -0
  516. /classiq/{_internals → interface}/enum_utils.py +0 -0
@@ -1,862 +0,0 @@
1
- # This file is auto generated by `generate_declarations.py`. #AUTOGENERATED
2
-
3
- from classiq.interface.model.quantum_function_declaration import (
4
- QuantumFunctionDeclaration,
5
- )
6
-
7
- QFT_STEP = QuantumFunctionDeclaration.parse_raw(
8
- """{
9
- "name": "qft_step",
10
- "param_decls": {},
11
- "port_declarations": {
12
- "target": {
13
- "name": "target",
14
- "direction": "inout"
15
- }
16
- },
17
- "operand_declarations": {},
18
- "positional_arg_declarations": []
19
- }"""
20
- )
21
-
22
- QFT = QuantumFunctionDeclaration.parse_raw(
23
- """{
24
- "name": "qft",
25
- "param_decls": {},
26
- "port_declarations": {
27
- "target": {
28
- "name": "target",
29
- "direction": "inout"
30
- }
31
- },
32
- "operand_declarations": {},
33
- "positional_arg_declarations": []
34
- }"""
35
- )
36
-
37
- QPE_FLEXIBLE = QuantumFunctionDeclaration.parse_raw(
38
- """{
39
- "name": "qpe_flexible",
40
- "param_decls": {},
41
- "port_declarations": {
42
- "phase": {
43
- "name": "phase",
44
- "quantum_type": {
45
- "size": null,
46
- "kind": "qnum"
47
- },
48
- "direction": "inout"
49
- }
50
- },
51
- "operand_declarations": {
52
- "unitary_with_power": {
53
- "name": "unitary_with_power",
54
- "positional_arg_declarations": [
55
- {
56
- "name": "arg0",
57
- "classical_type": {
58
- "kind": "int"
59
- }
60
- }
61
- ],
62
- "is_list": false
63
- }
64
- },
65
- "positional_arg_declarations": [
66
- {
67
- "name": "unitary_with_power",
68
- "positional_arg_declarations": [
69
- {
70
- "name": "arg0",
71
- "classical_type": {
72
- "kind": "int"
73
- }
74
- }
75
- ],
76
- "is_list": false
77
- },
78
- {
79
- "name": "phase",
80
- "quantum_type": {
81
- "size": null,
82
- "kind": "qnum"
83
- },
84
- "direction": "inout"
85
- }
86
- ]
87
- }"""
88
- )
89
-
90
- QPE = QuantumFunctionDeclaration.parse_raw(
91
- """{
92
- "name": "qpe",
93
- "param_decls": {},
94
- "port_declarations": {
95
- "phase": {
96
- "name": "phase",
97
- "quantum_type": {
98
- "size": null,
99
- "kind": "qnum"
100
- },
101
- "direction": "inout"
102
- }
103
- },
104
- "operand_declarations": {
105
- "unitary": {
106
- "name": "unitary",
107
- "positional_arg_declarations": [],
108
- "is_list": false
109
- }
110
- },
111
- "positional_arg_declarations": [
112
- {
113
- "name": "unitary",
114
- "positional_arg_declarations": [],
115
- "is_list": false
116
- },
117
- {
118
- "name": "phase",
119
- "quantum_type": {
120
- "size": null,
121
- "kind": "qnum"
122
- },
123
- "direction": "inout"
124
- }
125
- ]
126
- }"""
127
- )
128
-
129
- STANDARD_QPE = QuantumFunctionDeclaration.parse_raw(
130
- """{
131
- "name": "standard_qpe",
132
- "param_decls": {
133
- "precision": {
134
- "kind": "int"
135
- }
136
- },
137
- "port_declarations": {
138
- "phase": {
139
- "name": "phase",
140
- "size": {
141
- "expr": "precision"
142
- },
143
- "direction": "inout"
144
- }
145
- },
146
- "operand_declarations": {
147
- "unitary": {
148
- "name": "unitary"
149
- }
150
- },
151
- "positional_arg_declarations": []
152
- }"""
153
- )
154
-
155
- SINGLE_PAULI = QuantumFunctionDeclaration.parse_raw(
156
- """{
157
- "name": "single_pauli",
158
- "param_decls": {
159
- "slope": {
160
- "kind": "real"
161
- },
162
- "offset": {
163
- "kind": "real"
164
- }
165
- },
166
- "port_declarations": {
167
- "x": {
168
- "name": "x",
169
- "direction": "inout"
170
- },
171
- "q": {
172
- "name": "q",
173
- "size": {
174
- "expr": "1"
175
- },
176
- "direction": "inout"
177
- }
178
- },
179
- "operand_declarations": {
180
- "q1_qfunc": {
181
- "name": "q1_qfunc",
182
- "param_decls": {
183
- "theta": {
184
- "kind": "real"
185
- }
186
- },
187
- "port_declarations": {
188
- "target": {
189
- "name": "target",
190
- "size": {
191
- "expr": "1"
192
- },
193
- "direction": "inout"
194
- }
195
- }
196
- }
197
- },
198
- "positional_arg_declarations": []
199
- }"""
200
- )
201
-
202
- LINEAR_PAULI_ROTATIONS = QuantumFunctionDeclaration.parse_raw(
203
- """{
204
- "name": "linear_pauli_rotations",
205
- "param_decls": {
206
- "bases": {
207
- "kind": "list",
208
- "element_type": {
209
- "kind": "pauli"
210
- }
211
- },
212
- "slopes": {
213
- "kind": "list",
214
- "element_type": {
215
- "kind": "real"
216
- }
217
- },
218
- "offsets": {
219
- "kind": "list",
220
- "element_type": {
221
- "kind": "real"
222
- }
223
- }
224
- },
225
- "port_declarations": {
226
- "x": {
227
- "name": "x",
228
- "direction": "inout"
229
- },
230
- "q": {
231
- "name": "q",
232
- "direction": "inout"
233
- }
234
- },
235
- "operand_declarations": {},
236
- "positional_arg_declarations": []
237
- }"""
238
- )
239
-
240
- AMPLITUDE_ESTIMATION = QuantumFunctionDeclaration.parse_raw(
241
- """{
242
- "name": "amplitude_estimation",
243
- "param_decls": {
244
- "num_phase_qubits": {
245
- "kind": "int"
246
- },
247
- "num_unitary_qubits": {
248
- "kind": "int"
249
- }
250
- },
251
- "port_declarations": {
252
- "phase_port": {
253
- "name": "phase_port",
254
- "size": {
255
- "expr": "num_phase_qubits"
256
- },
257
- "direction": "output"
258
- },
259
- "unitary_port": {
260
- "name": "unitary_port",
261
- "size": {
262
- "expr": "num_unitary_qubits"
263
- },
264
- "direction": "output"
265
- }
266
- },
267
- "operand_declarations": {
268
- "sp_op": {
269
- "name": "sp_op",
270
- "param_decls": {
271
- "num_unitary_qubits": {
272
- "kind": "int"
273
- }
274
- },
275
- "port_declarations": {
276
- "spq": {
277
- "name": "spq",
278
- "size": {
279
- "expr": "num_unitary_qubits"
280
- },
281
- "direction": "inout"
282
- }
283
- }
284
- },
285
- "oracle_op": {
286
- "name": "oracle_op",
287
- "param_decls": {
288
- "num_unitary_qubits": {
289
- "kind": "int"
290
- }
291
- },
292
- "port_declarations": {
293
- "oq": {
294
- "name": "oq",
295
- "size": {
296
- "expr": "num_unitary_qubits"
297
- },
298
- "direction": "inout"
299
- }
300
- }
301
- }
302
- },
303
- "positional_arg_declarations": []
304
- }"""
305
- )
306
-
307
- SIMPLE_ORACLE = QuantumFunctionDeclaration.parse_raw(
308
- """{
309
- "name": "simple_oracle",
310
- "param_decls": {},
311
- "port_declarations": {
312
- "target": {
313
- "name": "target",
314
- "direction": "inout"
315
- }
316
- },
317
- "operand_declarations": {
318
- "predicate": {
319
- "name": "predicate",
320
- "port_declarations": {
321
- "vars": {
322
- "name": "vars",
323
- "size": {
324
- "expr": "len(target)"
325
- },
326
- "direction": "inout"
327
- },
328
- "result": {
329
- "name": "result",
330
- "size": {
331
- "expr": "1"
332
- },
333
- "direction": "inout"
334
- }
335
- }
336
- }
337
- },
338
- "positional_arg_declarations": []
339
- }"""
340
- )
341
-
342
- GROVER_DIFFUSER = QuantumFunctionDeclaration.parse_raw(
343
- """{
344
- "name": "grover_diffuser",
345
- "param_decls": {
346
- "num_qubits": {
347
- "kind": "int"
348
- }
349
- },
350
- "port_declarations": {
351
- "p": {
352
- "name": "p",
353
- "size": {
354
- "expr": "num_qubits"
355
- },
356
- "direction": "inout"
357
- }
358
- },
359
- "operand_declarations": {},
360
- "positional_arg_declarations": []
361
- }"""
362
- )
363
-
364
- GROVER_OPERATOR = QuantumFunctionDeclaration.parse_raw(
365
- """{
366
- "name": "grover_operator",
367
- "param_decls": {
368
- "num_qubits": {
369
- "kind": "int"
370
- }
371
- },
372
- "port_declarations": {
373
- "p": {
374
- "name": "p",
375
- "size": {
376
- "expr": "num_qubits"
377
- },
378
- "direction": "inout"
379
- }
380
- },
381
- "operand_declarations": {
382
- "sp_op": {
383
- "name": "sp_op",
384
- "param_decls": {
385
- "num_qubits": {
386
- "kind": "int"
387
- }
388
- },
389
- "port_declarations": {
390
- "spq": {
391
- "name": "spq",
392
- "size": {
393
- "expr": "num_qubits"
394
- },
395
- "direction": "inout"
396
- }
397
- }
398
- },
399
- "oracle_op": {
400
- "name": "oracle_op",
401
- "param_decls": {
402
- "num_qubits": {
403
- "kind": "int"
404
- }
405
- },
406
- "port_declarations": {
407
- "oq": {
408
- "name": "oq",
409
- "size": {
410
- "expr": "num_qubits"
411
- },
412
- "direction": "inout"
413
- }
414
- }
415
- }
416
- },
417
- "positional_arg_declarations": []
418
- }"""
419
- )
420
-
421
- HADAMARD_TRANSFORM = QuantumFunctionDeclaration.parse_raw(
422
- """{
423
- "name": "hadamard_transform",
424
- "param_decls": {},
425
- "port_declarations": {
426
- "target": {
427
- "name": "target",
428
- "direction": "inout"
429
- }
430
- },
431
- "operand_declarations": {},
432
- "positional_arg_declarations": []
433
- }"""
434
- )
435
-
436
- APPLY_TO_ALL = QuantumFunctionDeclaration.parse_raw(
437
- """{
438
- "name": "apply_to_all",
439
- "param_decls": {},
440
- "port_declarations": {
441
- "target": {
442
- "name": "target",
443
- "direction": "inout"
444
- }
445
- },
446
- "operand_declarations": {
447
- "gate_operand": {
448
- "name": "gate_operand",
449
- "port_declarations": {
450
- "target": {
451
- "name": "target",
452
- "size": {
453
- "expr": "1"
454
- },
455
- "direction": "inout"
456
- }
457
- }
458
- }
459
- },
460
- "positional_arg_declarations": []
461
- }"""
462
- )
463
-
464
- GROVER_SEARCH = QuantumFunctionDeclaration.parse_raw(
465
- """{
466
- "name": "grover_search",
467
- "param_decls": {
468
- "num_qubits": {
469
- "kind": "int"
470
- },
471
- "reps": {
472
- "kind": "int"
473
- }
474
- },
475
- "port_declarations": {
476
- "gsq": {
477
- "name": "gsq",
478
- "size": {
479
- "expr": "num_qubits"
480
- },
481
- "direction": "inout"
482
- }
483
- },
484
- "operand_declarations": {
485
- "oracle_op": {
486
- "name": "oracle_op",
487
- "param_decls": {
488
- "num_qubits": {
489
- "kind": "int"
490
- }
491
- },
492
- "port_declarations": {
493
- "oq": {
494
- "name": "oq",
495
- "size": {
496
- "expr": "num_qubits"
497
- },
498
- "direction": "inout"
499
- }
500
- }
501
- }
502
- },
503
- "positional_arg_declarations": []
504
- }"""
505
- )
506
-
507
- PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
508
- """{
509
- "name": "prepare_int",
510
- "param_decls": {
511
- "val": {
512
- "kind": "int"
513
- }
514
- },
515
- "port_declarations": {
516
- "out": {
517
- "name": "out",
518
- "quantum_type": {
519
- "kind": "qnum"
520
- },
521
- "direction": "output"
522
- }
523
- },
524
- "operand_declarations": {},
525
- "positional_arg_declarations": []
526
- }"""
527
- )
528
-
529
- ALLOCATE_NUM = QuantumFunctionDeclaration.parse_raw(
530
- """{
531
- "name": "allocate_num",
532
- "param_decls": {
533
- "num_qubits": {
534
- "kind": "int"
535
- },
536
- "is_signed": {
537
- "kind": "bool"
538
- },
539
- "fraction_digits": {
540
- "kind": "int"
541
- }
542
- },
543
- "port_declarations": {
544
- "out": {
545
- "name": "out",
546
- "quantum_type": {
547
- "kind": "qnum"
548
- },
549
- "direction": "output"
550
- }
551
- },
552
- "operand_declarations": {},
553
- "positional_arg_declarations": []
554
- }"""
555
- )
556
-
557
- QAOA_MIXER_LAYER = QuantumFunctionDeclaration.parse_raw(
558
- """{
559
- "name": "qaoa_mixer_layer",
560
- "param_decls": {
561
- "b": {
562
- "kind": "real"
563
- }
564
- },
565
- "port_declarations": {
566
- "target": {
567
- "name": "target",
568
- "direction": "inout"
569
- }
570
- },
571
- "operand_declarations": {},
572
- "positional_arg_declarations": []
573
- }"""
574
- )
575
-
576
- QAOA_COST_LAYER = QuantumFunctionDeclaration.parse_raw(
577
- """{
578
- "name": "qaoa_cost_layer",
579
- "param_decls": {
580
- "g": {
581
- "kind": "real"
582
- },
583
- "hamiltonian": {
584
- "kind": "list",
585
- "element_type": {
586
- "kind": "struct_instance",
587
- "name": "PauliTerm"
588
- }
589
- },
590
- "is_st": {
591
- "kind": "bool"
592
- }
593
- },
594
- "port_declarations": {
595
- "target": {
596
- "name": "target",
597
- "direction": "inout"
598
- }
599
- },
600
- "operand_declarations": {},
601
- "positional_arg_declarations": []
602
- }"""
603
- )
604
-
605
- QAOA_LAYER = QuantumFunctionDeclaration.parse_raw(
606
- """{
607
- "name": "qaoa_layer",
608
- "param_decls": {
609
- "g": {
610
- "kind": "real"
611
- },
612
- "b": {
613
- "kind": "real"
614
- },
615
- "hamiltonian": {
616
- "kind": "list",
617
- "element_type": {
618
- "kind": "struct_instance",
619
- "name": "PauliTerm"
620
- }
621
- },
622
- "is_st": {
623
- "kind": "bool"
624
- }
625
- },
626
- "port_declarations": {
627
- "target": {
628
- "name": "target",
629
- "direction": "inout"
630
- }
631
- },
632
- "operand_declarations": {},
633
- "positional_arg_declarations": []
634
- }"""
635
- )
636
-
637
- QAOA_INIT = QuantumFunctionDeclaration.parse_raw(
638
- """{
639
- "name": "qaoa_init",
640
- "param_decls": {},
641
- "port_declarations": {
642
- "target": {
643
- "name": "target",
644
- "direction": "inout"
645
- }
646
- },
647
- "operand_declarations": {},
648
- "positional_arg_declarations": []
649
- }"""
650
- )
651
-
652
- QAOA_PENALTY = QuantumFunctionDeclaration.parse_raw(
653
- """{
654
- "name": "qaoa_penalty",
655
- "param_decls": {
656
- "num_qubits": {
657
- "kind": "int"
658
- },
659
- "params_list": {
660
- "kind": "list",
661
- "element_type": {
662
- "kind": "real"
663
- }
664
- },
665
- "hamiltonian": {
666
- "kind": "list",
667
- "element_type": {
668
- "kind": "struct_instance",
669
- "name": "PauliTerm"
670
- }
671
- },
672
- "is_st": {
673
- "kind": "bool"
674
- }
675
- },
676
- "port_declarations": {
677
- "target": {
678
- "name": "target",
679
- "size": {
680
- "expr": "num_qubits"
681
- },
682
- "direction": "inout"
683
- }
684
- },
685
- "operand_declarations": {},
686
- "positional_arg_declarations": []
687
- }"""
688
- )
689
-
690
- FULL_HEA = QuantumFunctionDeclaration.parse_raw(
691
- """{
692
- "name": "full_hea",
693
- "param_decls": {
694
- "num_qubits": {
695
- "kind": "int"
696
- },
697
- "is_parametrized": {
698
- "kind": "list",
699
- "element_type": {
700
- "kind": "int"
701
- }
702
- },
703
- "angle_params": {
704
- "kind": "list",
705
- "element_type": {
706
- "kind": "real"
707
- }
708
- },
709
- "connectivity_map": {
710
- "kind": "list",
711
- "element_type": {
712
- "kind": "list",
713
- "element_type": {
714
- "kind": "int"
715
- }
716
- }
717
- },
718
- "reps": {
719
- "kind": "int"
720
- }
721
- },
722
- "port_declarations": {
723
- "x": {
724
- "name": "x",
725
- "size": {
726
- "expr": "num_qubits"
727
- },
728
- "direction": "inout"
729
- }
730
- },
731
- "operand_declarations": {
732
- "operands_1qubit": {
733
- "name": "operands_1qubit",
734
- "param_decls": {
735
- "angle": {
736
- "kind": "real"
737
- }
738
- },
739
- "port_declarations": {
740
- "q": {
741
- "name": "q",
742
- "size": {
743
- "expr": "1"
744
- },
745
- "direction": "inout"
746
- }
747
- },
748
- "is_list": true
749
- },
750
- "operands_2qubit": {
751
- "name": "operands_2qubit",
752
- "param_decls": {
753
- "angle": {
754
- "kind": "real"
755
- }
756
- },
757
- "port_declarations": {
758
- "q1": {
759
- "name": "q1",
760
- "size": {
761
- "expr": "1"
762
- },
763
- "direction": "inout"
764
- },
765
- "q2": {
766
- "name": "q2",
767
- "size": {
768
- "expr": "1"
769
- },
770
- "direction": "inout"
771
- }
772
- },
773
- "is_list": true
774
- }
775
- },
776
- "positional_arg_declarations": []
777
- }"""
778
- )
779
-
780
- SWAP_TEST = QuantumFunctionDeclaration.parse_raw(
781
- """{
782
- "name": "swap_test",
783
- "param_decls": {},
784
- "port_declarations": {
785
- "state1": {
786
- "name": "state1",
787
- "quantum_type": {
788
- "length": null,
789
- "kind": "qvec"
790
- },
791
- "direction": "inout"
792
- },
793
- "state2": {
794
- "name": "state2",
795
- "quantum_type": {
796
- "length": null,
797
- "kind": "qvec"
798
- },
799
- "direction": "inout"
800
- },
801
- "test": {
802
- "name": "test",
803
- "quantum_type": {
804
- "kind": "qbit"
805
- },
806
- "direction": "output"
807
- }
808
- },
809
- "operand_declarations": {},
810
- "positional_arg_declarations": [
811
- {
812
- "name": "state1",
813
- "quantum_type": {
814
- "length": null,
815
- "kind": "qvec"
816
- },
817
- "direction": "inout"
818
- },
819
- {
820
- "name": "state2",
821
- "quantum_type": {
822
- "length": null,
823
- "kind": "qvec"
824
- },
825
- "direction": "inout"
826
- },
827
- {
828
- "name": "test",
829
- "quantum_type": {
830
- "kind": "qbit"
831
- },
832
- "direction": "output"
833
- }
834
- ]
835
- }"""
836
- )
837
-
838
- __all__ = [
839
- "QFT_STEP",
840
- "QFT",
841
- "QPE_FLEXIBLE",
842
- "QPE",
843
- "STANDARD_QPE",
844
- "SINGLE_PAULI",
845
- "LINEAR_PAULI_ROTATIONS",
846
- "AMPLITUDE_ESTIMATION",
847
- "SIMPLE_ORACLE",
848
- "GROVER_DIFFUSER",
849
- "GROVER_OPERATOR",
850
- "HADAMARD_TRANSFORM",
851
- "APPLY_TO_ALL",
852
- "GROVER_SEARCH",
853
- "PREPARE_INT",
854
- "ALLOCATE_NUM",
855
- "QAOA_MIXER_LAYER",
856
- "QAOA_COST_LAYER",
857
- "QAOA_LAYER",
858
- "QAOA_INIT",
859
- "QAOA_PENALTY",
860
- "FULL_HEA",
861
- "SWAP_TEST",
862
- ]