classiq 0.38.0__py3-none-any.whl → 0.65.4__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 (499) hide show
  1. classiq/__init__.py +47 -32
  2. classiq/_analyzer_extras/_ipywidgets_async_extension.py +2 -1
  3. classiq/_internals/api_wrapper.py +235 -97
  4. classiq/_internals/async_utils.py +1 -3
  5. classiq/_internals/authentication/auth0.py +26 -10
  6. classiq/_internals/authentication/authentication.py +11 -0
  7. classiq/_internals/authentication/device.py +10 -5
  8. classiq/_internals/authentication/password_manager.py +18 -6
  9. classiq/_internals/authentication/token_manager.py +10 -5
  10. classiq/_internals/client.py +94 -33
  11. classiq/_internals/config.py +3 -4
  12. classiq/_internals/host_checker.py +38 -15
  13. classiq/_internals/jobs.py +60 -57
  14. classiq/_internals/type_validation.py +9 -9
  15. classiq/analyzer/__init__.py +1 -3
  16. classiq/analyzer/analyzer.py +24 -19
  17. classiq/analyzer/analyzer_utilities.py +10 -10
  18. classiq/analyzer/rb.py +15 -15
  19. classiq/analyzer/show_interactive_hack.py +27 -4
  20. classiq/analyzer/url_utils.py +2 -3
  21. classiq/applications/__init__.py +3 -12
  22. classiq/applications/chemistry/__init__.py +14 -10
  23. classiq/applications/chemistry/ansatz_parameters.py +4 -4
  24. classiq/{applications_model_constructors → applications/chemistry}/chemistry_model_constructor.py +165 -158
  25. classiq/applications/chemistry/ground_state_problem.py +1 -1
  26. classiq/{applications_model_constructors → applications}/combinatorial_helpers/allowed_constraints.py +4 -1
  27. classiq/{applications_model_constructors → applications}/combinatorial_helpers/arithmetic/arithmetic_expression.py +1 -1
  28. classiq/{applications_model_constructors → applications}/combinatorial_helpers/arithmetic/isolation.py +1 -1
  29. classiq/{applications_model_constructors → applications}/combinatorial_helpers/combinatorial_problem_utils.py +51 -15
  30. classiq/{applications_model_constructors → applications}/combinatorial_helpers/encoding_mapping.py +12 -12
  31. classiq/{applications_model_constructors → applications}/combinatorial_helpers/encoding_utils.py +8 -6
  32. classiq/{applications_model_constructors → applications}/combinatorial_helpers/memory.py +7 -11
  33. classiq/{applications_model_constructors → applications}/combinatorial_helpers/optimization_model.py +67 -40
  34. classiq/applications/combinatorial_helpers/pauli_helpers/pauli_utils.py +46 -0
  35. classiq/applications/combinatorial_helpers/pyomo_utils.py +447 -0
  36. classiq/{applications_model_constructors → applications}/combinatorial_helpers/sympy_utils.py +2 -2
  37. classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/encoding.py +15 -20
  38. classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/fixed_variables.py +14 -15
  39. classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/ising_converter.py +11 -15
  40. classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/penalty.py +1 -2
  41. classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/penalty_support.py +3 -7
  42. classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/sign_seperation.py +2 -3
  43. classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/slack_variables.py +5 -8
  44. classiq/applications/combinatorial_optimization/__init__.py +20 -6
  45. classiq/applications/combinatorial_optimization/combinatorial_optimization_config.py +2 -2
  46. classiq/{applications_model_constructors → applications/combinatorial_optimization}/combinatorial_optimization_model_constructor.py +35 -33
  47. classiq/applications/combinatorial_optimization/combinatorial_problem.py +229 -0
  48. classiq/applications/combinatorial_optimization/examples/__init__.py +1 -3
  49. classiq/applications/finance/__init__.py +4 -5
  50. classiq/{applications_model_constructors → applications/finance}/finance_model_constructor.py +48 -42
  51. classiq/applications/grover/__init__.py +9 -0
  52. classiq/{applications_model_constructors → applications/grover}/grover_model_constructor.py +52 -51
  53. classiq/applications/hamiltonian/pauli_decomposition.py +113 -0
  54. classiq/applications/libraries/qmci_library.py +22 -0
  55. classiq/applications/qnn/__init__.py +2 -4
  56. classiq/applications/qnn/circuit_utils.py +6 -6
  57. classiq/applications/qnn/datasets/__init__.py +9 -11
  58. classiq/applications/qnn/datasets/dataset_base_classes.py +7 -5
  59. classiq/applications/qnn/datasets/dataset_not.py +2 -1
  60. classiq/applications/qnn/datasets/dataset_parity.py +2 -2
  61. classiq/applications/qnn/gradients/quantum_gradient.py +1 -1
  62. classiq/applications/qnn/gradients/simple_quantum_gradient.py +2 -1
  63. classiq/applications/qnn/qlayer.py +30 -10
  64. classiq/applications/qnn/torch_utils.py +4 -3
  65. classiq/applications/qnn/types.py +5 -5
  66. classiq/applications/qsvm/__init__.py +6 -4
  67. classiq/applications/qsvm/qsvm.py +3 -6
  68. classiq/applications/qsvm/qsvm_data_generation.py +3 -3
  69. classiq/{applications_model_constructors → applications/qsvm}/qsvm_model_constructor.py +30 -28
  70. classiq/execution/__init__.py +8 -3
  71. classiq/execution/all_hardware_devices.py +11 -0
  72. classiq/execution/execution_session.py +400 -0
  73. classiq/execution/iqcc.py +63 -0
  74. classiq/execution/jobs.py +197 -25
  75. classiq/execution/qnn.py +79 -0
  76. classiq/executor.py +20 -115
  77. classiq/interface/_version.py +1 -1
  78. classiq/interface/analyzer/analysis_params.py +43 -13
  79. classiq/interface/analyzer/cytoscape_graph.py +15 -9
  80. classiq/interface/analyzer/result.py +28 -32
  81. classiq/interface/applications/qsvm.py +20 -29
  82. classiq/interface/ast_node.py +16 -0
  83. classiq/interface/backend/backend_preferences.py +390 -121
  84. classiq/interface/backend/ionq/ionq_quantum_program.py +15 -23
  85. classiq/interface/backend/pydantic_backend.py +25 -22
  86. classiq/interface/backend/quantum_backend_providers.py +69 -16
  87. classiq/interface/chemistry/fermionic_operator.py +30 -21
  88. classiq/interface/chemistry/ground_state_problem.py +28 -25
  89. classiq/interface/chemistry/molecule.py +14 -10
  90. classiq/interface/chemistry/operator.py +64 -231
  91. classiq/interface/combinatorial_optimization/encoding_types.py +1 -1
  92. classiq/interface/combinatorial_optimization/examples/ascending_sequence.py +1 -3
  93. classiq/interface/combinatorial_optimization/examples/integer_portfolio_optimization.py +2 -4
  94. classiq/interface/combinatorial_optimization/examples/knapsack.py +3 -3
  95. classiq/interface/combinatorial_optimization/examples/mht.py +10 -6
  96. classiq/interface/combinatorial_optimization/examples/portfolio_variations.py +2 -2
  97. classiq/interface/combinatorial_optimization/examples/set_cover.py +1 -2
  98. classiq/interface/combinatorial_optimization/mht_qaoa_input.py +8 -9
  99. classiq/interface/combinatorial_optimization/optimization_problem.py +2 -2
  100. classiq/interface/combinatorial_optimization/result.py +1 -3
  101. classiq/interface/combinatorial_optimization/solver_types.py +1 -1
  102. classiq/interface/debug_info/debug_info.py +86 -0
  103. classiq/{exceptions.py → interface/exceptions.py} +37 -9
  104. classiq/interface/execution/iqcc.py +19 -0
  105. classiq/interface/execution/jobs.py +15 -12
  106. classiq/interface/execution/primitives.py +18 -0
  107. classiq/interface/executor/constants.py +1 -0
  108. classiq/interface/executor/execution_preferences.py +26 -114
  109. classiq/interface/executor/execution_request.py +24 -46
  110. classiq/interface/executor/execution_result.py +30 -8
  111. classiq/interface/executor/iqae_result.py +4 -6
  112. classiq/interface/executor/optimizer_preferences.py +17 -14
  113. classiq/interface/executor/quantum_code.py +28 -24
  114. classiq/interface/executor/quantum_instruction_set.py +2 -2
  115. classiq/interface/executor/register_initialization.py +11 -14
  116. classiq/interface/executor/result.py +83 -56
  117. classiq/interface/executor/vqe_result.py +10 -10
  118. classiq/interface/finance/function_input.py +35 -25
  119. classiq/interface/finance/gaussian_model_input.py +5 -5
  120. classiq/interface/finance/log_normal_model_input.py +4 -4
  121. classiq/interface/finance/model_input.py +4 -4
  122. classiq/interface/generator/adjacency.py +1 -3
  123. classiq/interface/generator/amplitude_loading.py +22 -12
  124. classiq/interface/generator/ansatz_library.py +5 -5
  125. classiq/interface/generator/application_apis/arithmetic_declarations.py +8 -5
  126. classiq/interface/generator/application_apis/chemistry_declarations.py +27 -187
  127. classiq/interface/generator/application_apis/combinatorial_optimization_declarations.py +18 -21
  128. classiq/interface/generator/application_apis/entangler_declarations.py +11 -6
  129. classiq/interface/generator/application_apis/finance_declarations.py +48 -69
  130. classiq/interface/generator/application_apis/qsvm_declarations.py +0 -70
  131. classiq/interface/generator/arith/argument_utils.py +46 -5
  132. classiq/interface/generator/arith/arithmetic.py +35 -16
  133. classiq/interface/generator/arith/arithmetic_arg_type_validator.py +6 -7
  134. classiq/interface/generator/arith/arithmetic_expression_abc.py +66 -25
  135. classiq/interface/generator/arith/arithmetic_expression_parser.py +11 -11
  136. classiq/interface/generator/arith/arithmetic_expression_validator.py +47 -43
  137. classiq/interface/generator/arith/arithmetic_operations.py +14 -6
  138. classiq/interface/generator/arith/arithmetic_param_getters.py +7 -8
  139. classiq/interface/generator/arith/arithmetic_result_builder.py +21 -17
  140. classiq/interface/generator/arith/ast_node_rewrite.py +3 -2
  141. classiq/interface/generator/arith/binary_ops.py +218 -130
  142. classiq/interface/generator/arith/endianness.py +1 -1
  143. classiq/interface/generator/arith/extremum_operations.py +96 -25
  144. classiq/interface/generator/arith/logical_ops.py +14 -12
  145. classiq/interface/generator/arith/number_utils.py +12 -6
  146. classiq/interface/generator/arith/register_user_input.py +60 -37
  147. classiq/interface/generator/arith/unary_ops.py +49 -29
  148. classiq/interface/generator/arith/uncomputation_methods.py +1 -1
  149. classiq/interface/generator/builtin_api_builder.py +2 -9
  150. classiq/interface/generator/chemistry_function_params.py +3 -3
  151. classiq/interface/generator/circuit_code/circuit_code.py +7 -7
  152. classiq/interface/generator/circuit_code/types_and_constants.py +4 -7
  153. classiq/interface/generator/commuting_pauli_exponentiation.py +7 -7
  154. classiq/interface/generator/compiler_keywords.py +5 -1
  155. classiq/interface/generator/complex_type.py +13 -18
  156. classiq/interface/generator/constant.py +3 -4
  157. classiq/interface/generator/control_state.py +34 -29
  158. classiq/interface/generator/copy.py +47 -0
  159. classiq/interface/generator/custom_ansatz.py +2 -5
  160. classiq/interface/generator/distance.py +3 -5
  161. classiq/interface/generator/excitations.py +3 -2
  162. classiq/interface/generator/expressions/atomic_expression_functions.py +21 -5
  163. classiq/interface/generator/expressions/enums/__init__.py +0 -10
  164. classiq/interface/generator/expressions/enums/finance_functions.py +12 -22
  165. classiq/interface/generator/expressions/evaluated_expression.py +5 -5
  166. classiq/interface/generator/expressions/expression.py +26 -14
  167. classiq/interface/generator/expressions/expression_constants.py +9 -3
  168. classiq/interface/generator/expressions/non_symbolic_expr.py +119 -0
  169. classiq/interface/generator/expressions/qmod_qarray_proxy.py +99 -0
  170. classiq/interface/generator/expressions/qmod_qscalar_proxy.py +34 -8
  171. classiq/interface/generator/expressions/qmod_qstruct_proxy.py +36 -0
  172. classiq/interface/generator/expressions/qmod_sized_proxy.py +30 -2
  173. classiq/interface/generator/expressions/qmod_struct_instance.py +14 -2
  174. classiq/interface/generator/expressions/sympy_supported_expressions.py +19 -11
  175. classiq/interface/generator/finance.py +2 -2
  176. classiq/interface/generator/function_param_library.py +6 -6
  177. classiq/interface/generator/function_param_list_without_self_reference.py +2 -10
  178. classiq/interface/generator/function_params.py +36 -64
  179. classiq/interface/generator/functions/__init__.py +0 -22
  180. classiq/interface/generator/functions/builtins/internal_operators.py +16 -0
  181. classiq/interface/generator/functions/classical_function_declaration.py +18 -9
  182. classiq/interface/generator/functions/classical_type.py +47 -166
  183. classiq/interface/generator/functions/concrete_types.py +55 -0
  184. classiq/interface/generator/functions/function_declaration.py +13 -14
  185. classiq/interface/generator/functions/port_declaration.py +1 -13
  186. classiq/interface/generator/functions/qmod_python_interface.py +2 -1
  187. classiq/interface/generator/functions/type_name.py +90 -0
  188. classiq/interface/generator/generated_circuit_data.py +153 -20
  189. classiq/interface/generator/grover_diffuser.py +32 -25
  190. classiq/interface/generator/grover_operator.py +34 -25
  191. classiq/interface/generator/hamiltonian_evolution/exponentiation.py +4 -6
  192. classiq/interface/generator/hamiltonian_evolution/qdrift.py +4 -4
  193. classiq/interface/generator/hamiltonian_evolution/suzuki_trotter.py +9 -9
  194. classiq/interface/generator/hardware/hardware_data.py +72 -34
  195. classiq/interface/generator/hardware_efficient_ansatz.py +20 -16
  196. classiq/interface/generator/hartree_fock.py +13 -5
  197. classiq/interface/generator/identity.py +10 -6
  198. classiq/interface/generator/linear_pauli_rotations.py +32 -20
  199. classiq/interface/generator/mcmt_method.py +1 -1
  200. classiq/interface/generator/mcu.py +17 -15
  201. classiq/interface/generator/mcx.py +24 -17
  202. classiq/interface/generator/model/__init__.py +2 -5
  203. classiq/interface/generator/model/constraints.py +26 -8
  204. classiq/interface/generator/model/model.py +27 -190
  205. classiq/interface/generator/model/preferences/preferences.py +115 -41
  206. classiq/{quantum_register.py → interface/generator/model/quantum_register.py} +14 -17
  207. classiq/interface/generator/oracles/arithmetic_oracle.py +2 -4
  208. classiq/interface/generator/oracles/custom_oracle.py +15 -13
  209. classiq/interface/generator/oracles/oracle_abc.py +7 -7
  210. classiq/interface/generator/partitioned_register.py +7 -7
  211. classiq/interface/generator/piecewise_linear_amplitude_loading.py +45 -29
  212. classiq/interface/generator/preferences/optimization.py +1 -2
  213. classiq/interface/generator/qpe.py +41 -30
  214. classiq/interface/generator/qsvm.py +9 -10
  215. classiq/interface/generator/quantum_function_call.py +88 -73
  216. classiq/interface/generator/quantum_program.py +41 -24
  217. classiq/interface/generator/range_types.py +11 -12
  218. classiq/interface/generator/register_role.py +18 -6
  219. classiq/interface/generator/slice_parsing_utils.py +5 -5
  220. classiq/interface/generator/standard_gates/controlled_standard_gates.py +30 -39
  221. classiq/interface/generator/standard_gates/standard_angle_metaclass.py +2 -6
  222. classiq/interface/generator/standard_gates/standard_gates.py +3 -3
  223. classiq/interface/generator/standard_gates/u_gate.py +7 -10
  224. classiq/interface/generator/state_preparation/bell_state_preparation.py +3 -3
  225. classiq/interface/generator/state_preparation/computational_basis_state_preparation.py +2 -1
  226. classiq/interface/generator/state_preparation/distributions.py +16 -15
  227. classiq/interface/generator/state_preparation/metrics.py +4 -7
  228. classiq/interface/generator/state_preparation/state_preparation.py +25 -20
  229. classiq/interface/generator/synthesis_metadata/synthesis_duration.py +0 -4
  230. classiq/interface/generator/synthesis_metadata/synthesis_execution_data.py +20 -6
  231. classiq/interface/generator/transpiler_basis_gates.py +7 -3
  232. classiq/interface/generator/types/builtin_enum_declarations.py +178 -0
  233. classiq/interface/generator/types/compilation_metadata.py +6 -0
  234. classiq/interface/generator/types/enum_declaration.py +54 -0
  235. classiq/interface/generator/types/qstruct_declaration.py +18 -0
  236. classiq/interface/generator/types/struct_declaration.py +7 -11
  237. classiq/interface/generator/ucc.py +5 -4
  238. classiq/interface/generator/unitary_gate.py +5 -5
  239. classiq/interface/generator/user_defined_function_params.py +4 -1
  240. classiq/interface/generator/validations/flow_graph.py +7 -7
  241. classiq/interface/generator/validations/validator_functions.py +4 -4
  242. classiq/interface/generator/visitor.py +23 -16
  243. classiq/interface/hardware.py +29 -8
  244. classiq/interface/helpers/classproperty.py +8 -0
  245. classiq/interface/helpers/custom_encoders.py +2 -2
  246. classiq/interface/helpers/custom_pydantic_types.py +40 -50
  247. classiq/interface/helpers/datastructures.py +26 -0
  248. classiq/interface/helpers/hashable_mixin.py +3 -2
  249. classiq/interface/helpers/hashable_pydantic_base_model.py +2 -1
  250. classiq/interface/helpers/pydantic_model_helpers.py +7 -5
  251. classiq/interface/helpers/validation_helpers.py +3 -20
  252. classiq/interface/helpers/versioned_model.py +1 -4
  253. classiq/interface/ide/ide_data.py +16 -20
  254. classiq/interface/ide/visual_model.py +130 -0
  255. classiq/interface/interface_version.py +1 -0
  256. classiq/interface/jobs.py +29 -69
  257. classiq/interface/model/allocate.py +16 -0
  258. classiq/interface/model/bind_operation.py +32 -9
  259. classiq/interface/model/classical_if.py +15 -0
  260. classiq/interface/model/classical_parameter_declaration.py +33 -3
  261. classiq/interface/model/control.py +45 -0
  262. classiq/interface/model/handle_binding.py +298 -20
  263. classiq/interface/model/inplace_binary_operation.py +29 -24
  264. classiq/interface/model/invert.py +12 -0
  265. classiq/interface/model/model.py +69 -61
  266. classiq/interface/model/native_function_definition.py +17 -20
  267. classiq/interface/model/parameter.py +13 -0
  268. classiq/interface/model/phase_operation.py +11 -0
  269. classiq/interface/model/port_declaration.py +27 -9
  270. classiq/interface/model/power.py +14 -0
  271. classiq/interface/model/quantum_expressions/amplitude_loading_operation.py +30 -18
  272. classiq/interface/model/quantum_expressions/arithmetic_operation.py +51 -14
  273. classiq/interface/model/quantum_expressions/quantum_expression.py +12 -35
  274. classiq/interface/model/quantum_function_call.py +141 -343
  275. classiq/interface/model/quantum_function_declaration.py +190 -157
  276. classiq/interface/model/quantum_lambda_function.py +33 -32
  277. classiq/interface/model/quantum_statement.py +71 -12
  278. classiq/interface/model/quantum_type.py +177 -40
  279. classiq/interface/model/quantum_variable_declaration.py +3 -25
  280. classiq/interface/model/repeat.py +15 -0
  281. classiq/interface/model/statement_block.py +40 -14
  282. classiq/interface/model/validation_handle.py +13 -6
  283. classiq/interface/model/variable_declaration_statement.py +3 -1
  284. classiq/interface/model/within_apply_operation.py +7 -5
  285. classiq/interface/server/global_versions.py +6 -7
  286. classiq/interface/server/routes.py +17 -21
  287. classiq/interface/source_reference.py +59 -0
  288. classiq/model_expansions/atomic_expression_functions_defs.py +253 -0
  289. classiq/model_expansions/capturing/__init__.py +0 -0
  290. classiq/model_expansions/capturing/captured_vars.py +435 -0
  291. classiq/model_expansions/capturing/mangling_utils.py +56 -0
  292. classiq/model_expansions/closure.py +171 -0
  293. classiq/model_expansions/debug_flag.py +3 -0
  294. classiq/model_expansions/evaluators/__init__.py +0 -0
  295. classiq/model_expansions/evaluators/arg_type_match.py +158 -0
  296. classiq/model_expansions/evaluators/argument_types.py +42 -0
  297. classiq/model_expansions/evaluators/classical_expression.py +36 -0
  298. classiq/model_expansions/evaluators/control.py +144 -0
  299. classiq/model_expansions/evaluators/parameter_types.py +226 -0
  300. classiq/model_expansions/evaluators/quantum_type_utils.py +239 -0
  301. classiq/model_expansions/evaluators/type_type_match.py +90 -0
  302. classiq/model_expansions/expression_evaluator.py +135 -0
  303. classiq/model_expansions/expression_renamer.py +76 -0
  304. classiq/model_expansions/function_builder.py +247 -0
  305. classiq/model_expansions/generative_functions.py +158 -0
  306. classiq/model_expansions/interpreters/__init__.py +0 -0
  307. classiq/model_expansions/interpreters/base_interpreter.py +263 -0
  308. classiq/model_expansions/interpreters/frontend_generative_interpreter.py +28 -0
  309. classiq/model_expansions/interpreters/generative_interpreter.py +249 -0
  310. classiq/model_expansions/model_tables.py +18 -0
  311. classiq/model_expansions/quantum_operations/__init__.py +9 -0
  312. classiq/model_expansions/quantum_operations/bind.py +60 -0
  313. classiq/model_expansions/quantum_operations/call_emitter.py +266 -0
  314. classiq/model_expansions/quantum_operations/classicalif.py +53 -0
  315. classiq/model_expansions/quantum_operations/declarative_call_emitter.py +87 -0
  316. classiq/model_expansions/quantum_operations/emitter.py +181 -0
  317. classiq/model_expansions/quantum_operations/quantum_function_call.py +33 -0
  318. classiq/model_expansions/quantum_operations/repeat.py +56 -0
  319. classiq/model_expansions/quantum_operations/shallow_emitter.py +180 -0
  320. classiq/model_expansions/quantum_operations/variable_decleration.py +28 -0
  321. classiq/model_expansions/scope.py +240 -0
  322. classiq/model_expansions/scope_initialization.py +150 -0
  323. classiq/model_expansions/sympy_conversion/__init__.py +0 -0
  324. classiq/model_expansions/sympy_conversion/arithmetics.py +49 -0
  325. classiq/model_expansions/sympy_conversion/expression_to_sympy.py +179 -0
  326. classiq/model_expansions/sympy_conversion/sympy_to_python.py +123 -0
  327. classiq/model_expansions/transformers/__init__.py +0 -0
  328. classiq/model_expansions/transformers/ast_renamer.py +26 -0
  329. classiq/model_expansions/transformers/var_splitter.py +299 -0
  330. classiq/model_expansions/utils/__init__.py +0 -0
  331. classiq/model_expansions/utils/counted_name_allocator.py +11 -0
  332. classiq/model_expansions/utils/handles_collector.py +33 -0
  333. classiq/model_expansions/visitors/__init__.py +0 -0
  334. classiq/model_expansions/visitors/boolean_expression_transformers.py +214 -0
  335. classiq/model_expansions/visitors/variable_references.py +144 -0
  336. classiq/open_library/__init__.py +4 -0
  337. classiq/open_library/functions/__init__.py +130 -0
  338. classiq/open_library/functions/amplitude_estimation.py +30 -0
  339. classiq/open_library/functions/discrete_sine_cosine_transform.py +181 -0
  340. classiq/open_library/functions/grover.py +157 -0
  341. classiq/open_library/functions/hea.py +115 -0
  342. classiq/open_library/functions/linear_pauli_rotation.py +82 -0
  343. classiq/open_library/functions/modular_exponentiation.py +201 -0
  344. classiq/open_library/functions/qaoa_penalty.py +117 -0
  345. classiq/open_library/functions/qft_functions.py +54 -0
  346. classiq/open_library/functions/qpe.py +46 -0
  347. classiq/open_library/functions/qsvt.py +331 -0
  348. classiq/open_library/functions/state_preparation.py +301 -0
  349. classiq/open_library/functions/swap_test.py +27 -0
  350. classiq/open_library/functions/utility_functions.py +81 -0
  351. classiq/open_library/functions/variational.py +52 -0
  352. classiq/qmod/__init__.py +10 -10
  353. classiq/qmod/builtins/__init__.py +19 -2
  354. classiq/qmod/builtins/classical_execution_primitives.py +36 -14
  355. classiq/qmod/builtins/classical_functions.py +39 -43
  356. classiq/qmod/builtins/constants.py +10 -0
  357. classiq/qmod/builtins/enums.py +208 -0
  358. classiq/qmod/builtins/functions/__init__.py +137 -0
  359. classiq/qmod/builtins/functions/allocation.py +150 -0
  360. classiq/qmod/builtins/functions/arithmetic.py +55 -0
  361. classiq/qmod/builtins/functions/benchmarking.py +8 -0
  362. classiq/qmod/builtins/functions/chemistry.py +91 -0
  363. classiq/qmod/builtins/functions/exponentiation.py +105 -0
  364. classiq/qmod/builtins/functions/finance.py +34 -0
  365. classiq/qmod/builtins/functions/operators.py +16 -0
  366. classiq/qmod/builtins/functions/qsvm.py +24 -0
  367. classiq/qmod/builtins/functions/standard_gates.py +651 -0
  368. classiq/qmod/builtins/operations.py +373 -40
  369. classiq/qmod/builtins/structs.py +103 -80
  370. classiq/qmod/cfunc.py +2 -2
  371. classiq/qmod/classical_function.py +4 -8
  372. classiq/qmod/cparam.py +64 -0
  373. classiq/qmod/create_model_function.py +56 -0
  374. classiq/qmod/declaration_inferrer.py +143 -101
  375. classiq/qmod/expression_query.py +20 -4
  376. classiq/qmod/generative.py +42 -0
  377. classiq/qmod/model_state_container.py +18 -6
  378. classiq/qmod/native/__init__.py +7 -0
  379. classiq/qmod/native/expression_to_qmod.py +16 -11
  380. classiq/qmod/native/pretty_printer.py +187 -97
  381. classiq/qmod/pretty_print/__init__.py +7 -0
  382. classiq/qmod/pretty_print/expression_to_python.py +222 -0
  383. classiq/qmod/pretty_print/pretty_printer.py +572 -0
  384. classiq/qmod/python_classical_type.py +67 -0
  385. classiq/qmod/qfunc.py +60 -8
  386. classiq/qmod/qmod_constant.py +93 -26
  387. classiq/qmod/qmod_parameter.py +68 -59
  388. classiq/qmod/qmod_variable.py +468 -155
  389. classiq/qmod/quantum_callable.py +17 -7
  390. classiq/qmod/quantum_expandable.py +269 -96
  391. classiq/qmod/quantum_function.py +196 -41
  392. classiq/qmod/semantics/__init__.py +0 -0
  393. classiq/qmod/semantics/annotation/__init__.py +0 -0
  394. classiq/qmod/semantics/annotation/call_annotation.py +92 -0
  395. classiq/qmod/semantics/annotation/qstruct_annotator.py +23 -0
  396. classiq/qmod/semantics/error_manager.py +88 -0
  397. classiq/qmod/semantics/lambdas.py +25 -0
  398. classiq/qmod/semantics/static_semantics_visitor.py +384 -0
  399. classiq/qmod/semantics/validation/__init__.py +0 -0
  400. classiq/qmod/semantics/validation/constants_validation.py +16 -0
  401. classiq/qmod/semantics/validation/func_call_validation.py +99 -0
  402. classiq/qmod/semantics/validation/function_name_collisions_validation.py +23 -0
  403. classiq/qmod/semantics/validation/handle_validation.py +85 -0
  404. classiq/qmod/semantics/validation/main_validation.py +33 -0
  405. classiq/qmod/semantics/validation/types_validation.py +128 -0
  406. classiq/qmod/symbolic.py +147 -123
  407. classiq/qmod/symbolic_expr.py +27 -12
  408. classiq/qmod/symbolic_type.py +2 -5
  409. classiq/qmod/type_attribute_remover.py +32 -0
  410. classiq/qmod/utilities.py +98 -4
  411. classiq/qmod/write_qmod.py +17 -3
  412. classiq/synthesis.py +210 -22
  413. {classiq-0.38.0.dist-info → classiq-0.65.4.dist-info}/METADATA +16 -9
  414. classiq-0.65.4.dist-info/RECORD +521 -0
  415. classiq/_internals/_qfunc_ext.py +0 -6
  416. classiq/applications/benchmarking/__init__.py +0 -9
  417. classiq/applications/benchmarking/mirror_benchmarking.py +0 -70
  418. classiq/applications/numpy_utils.py +0 -37
  419. classiq/applications_model_constructors/__init__.py +0 -25
  420. classiq/applications_model_constructors/combinatorial_helpers/multiple_comp_basis_sp.py +0 -34
  421. classiq/applications_model_constructors/combinatorial_helpers/pauli_helpers/pauli_utils.py +0 -65
  422. classiq/applications_model_constructors/combinatorial_helpers/pyomo_utils.py +0 -243
  423. classiq/applications_model_constructors/libraries/ampltitude_estimation_library.py +0 -11
  424. classiq/applications_model_constructors/libraries/qmci_library.py +0 -107
  425. classiq/builtin_functions/__init__.py +0 -43
  426. classiq/builtin_functions/amplitude_loading.py +0 -3
  427. classiq/builtin_functions/binary_ops.py +0 -1
  428. classiq/builtin_functions/exponentiation.py +0 -5
  429. classiq/builtin_functions/qpe.py +0 -4
  430. classiq/builtin_functions/qsvm.py +0 -7
  431. classiq/builtin_functions/range_types.py +0 -5
  432. classiq/builtin_functions/standard_gates.py +0 -1
  433. classiq/builtin_functions/state_preparation.py +0 -6
  434. classiq/builtin_functions/suzuki_trotter.py +0 -3
  435. classiq/interface/executor/aws_execution_cost.py +0 -73
  436. classiq/interface/executor/error_mitigation.py +0 -6
  437. classiq/interface/generator/credit_risk_example/linear_gci.py +0 -122
  438. classiq/interface/generator/credit_risk_example/weighted_adder.py +0 -69
  439. classiq/interface/generator/expressions/enums/chemistry.py +0 -28
  440. classiq/interface/generator/expressions/enums/classical_enum.py +0 -5
  441. classiq/interface/generator/expressions/enums/ladder_operator.py +0 -16
  442. classiq/interface/generator/expressions/enums/optimizers.py +0 -9
  443. classiq/interface/generator/expressions/enums/pauli.py +0 -8
  444. classiq/interface/generator/expressions/enums/qsvm_feature_map_entanglement.py +0 -9
  445. classiq/interface/generator/functions/core_lib_declarations/quantum_functions/__init__.py +0 -18
  446. classiq/interface/generator/functions/core_lib_declarations/quantum_functions/atomic_quantum_functions.py +0 -641
  447. classiq/interface/generator/functions/core_lib_declarations/quantum_functions/exponentiation_functions.py +0 -89
  448. classiq/interface/generator/functions/core_lib_declarations/quantum_functions/std_lib_functions.py +0 -1229
  449. classiq/interface/generator/functions/core_lib_declarations/quantum_operators.py +0 -95
  450. classiq/interface/generator/functions/foreign_function_definition.py +0 -114
  451. classiq/interface/generator/functions/function_implementation.py +0 -107
  452. classiq/interface/generator/functions/native_function_definition.py +0 -155
  453. classiq/interface/generator/functions/quantum_function_declaration.py +0 -69
  454. classiq/interface/generator/functions/register.py +0 -44
  455. classiq/interface/generator/functions/register_mapping_data.py +0 -106
  456. classiq/interface/generator/inequality_mixer.py +0 -51
  457. classiq/interface/generator/model/classical_main_validator.py +0 -106
  458. classiq/interface/generator/range_mixer.py +0 -56
  459. classiq/interface/generator/state_propagator.py +0 -74
  460. classiq/interface/generator/types/builtin_struct_declarations/__init__.py +0 -1
  461. classiq/interface/generator/types/builtin_struct_declarations/pauli_struct_declarations.py +0 -22
  462. classiq/interface/ide/show.py +0 -34
  463. classiq/interface/model/call_synthesis_data.py +0 -68
  464. classiq/interface/model/common_model_types.py +0 -23
  465. classiq/interface/model/quantum_expressions/control_state.py +0 -38
  466. classiq/interface/model/quantum_if_operation.py +0 -94
  467. classiq/interface/model/resolvers/function_call_resolver.py +0 -43
  468. classiq/interface/model/validations/handle_validation_base.py +0 -55
  469. classiq/interface/model/validations/handles_validator.py +0 -156
  470. classiq/interface/model/validations/port_to_wire_name_generator.py +0 -12
  471. classiq/model/__init__.py +0 -14
  472. classiq/model/composite_function_generator.py +0 -33
  473. classiq/model/function_handler.py +0 -462
  474. classiq/model/logic_flow.py +0 -149
  475. classiq/model/logic_flow_change_handler.py +0 -71
  476. classiq/model/model.py +0 -229
  477. classiq/qmod/builtins/functions.py +0 -913
  478. classiq/qmod/qmod_struct.py +0 -37
  479. classiq/quantum_functions/__init__.py +0 -17
  480. classiq/quantum_functions/annotation_parser.py +0 -205
  481. classiq/quantum_functions/decorators.py +0 -22
  482. classiq/quantum_functions/function_library.py +0 -181
  483. classiq/quantum_functions/function_parser.py +0 -74
  484. classiq/quantum_functions/quantum_function.py +0 -236
  485. classiq-0.38.0.dist-info/RECORD +0 -454
  486. /classiq/{applications_model_constructors → applications}/combinatorial_helpers/__init__.py +0 -0
  487. /classiq/{applications_model_constructors → applications}/combinatorial_helpers/arithmetic/__init__.py +0 -0
  488. /classiq/{applications_model_constructors → applications}/combinatorial_helpers/pauli_helpers/__init__.py +0 -0
  489. /classiq/{applications_model_constructors → applications}/combinatorial_helpers/pauli_helpers/pauli_sparsing.py +0 -0
  490. /classiq/{applications_model_constructors → applications}/combinatorial_helpers/py.typed +0 -0
  491. /classiq/{applications_model_constructors/combinatorial_helpers/transformations → applications/combinatorial_helpers/solvers}/__init__.py +0 -0
  492. /classiq/{applications_model_constructors/libraries → applications/combinatorial_helpers/transformations}/__init__.py +0 -0
  493. /classiq/{interface/generator/credit_risk_example → applications/hamiltonian}/__init__.py +0 -0
  494. /classiq/{interface/generator/functions/core_lib_declarations → applications/libraries}/__init__.py +0 -0
  495. /classiq/interface/{model/resolvers → debug_info}/__init__.py +0 -0
  496. /classiq/{_internals → interface}/enum_utils.py +0 -0
  497. /classiq/interface/{model/validations → generator/functions/builtins}/__init__.py +0 -0
  498. /classiq/{interface/generator/functions/core_lib_declarations/quantum_functions/chemistry_functions.py → model_expansions/__init__.py} +0 -0
  499. {classiq-0.38.0.dist-info → classiq-0.65.4.dist-info}/WHEEL +0 -0
@@ -1,37 +0,0 @@
1
- import dataclasses
2
- from typing import Any, Type
3
-
4
- from typing_extensions import dataclass_transform
5
-
6
- from classiq.interface.generator.functions.classical_type import QStructBase
7
-
8
-
9
- def _qmod_val_to_expr_str(val: Any) -> str:
10
- if dataclasses.is_dataclass(type(val)):
11
- kwargs_str = ", ".join(
12
- [
13
- f"{field.name}={_qmod_val_to_expr_str(vars(val)[field.name])}"
14
- for field in dataclasses.fields(val)
15
- ]
16
- )
17
- return f"struct_literal({type(val).__name__}, {kwargs_str})"
18
-
19
- if isinstance(val, list):
20
- elements_str = ", ".join([_qmod_val_to_expr_str(elem) for elem in val])
21
- return f"[{elements_str}]"
22
-
23
- return str(val)
24
-
25
-
26
- @dataclass_transform()
27
- def struct(user_class: Type) -> Type:
28
- def _new_repr(self: Any) -> str:
29
- return _qmod_val_to_expr_str(self)
30
-
31
- user_dataclass = type(
32
- user_class.__name__,
33
- (QStructBase, dataclasses.dataclass(user_class)),
34
- dict(),
35
- )
36
- user_dataclass.__repr__ = _new_repr # type:ignore[assignment]
37
- return user_dataclass
@@ -1,17 +0,0 @@
1
- from classiq.quantum_functions.decorators import quantum_function
2
- from classiq.quantum_functions.function_library import (
3
- QASM3_INTRO,
4
- QASM_INTRO,
5
- FunctionLibrary,
6
- QuantumFunction,
7
- QuantumFunctionFactory,
8
- )
9
-
10
- __all__ = [
11
- "quantum_function",
12
- "QASM_INTRO",
13
- "QASM3_INTRO",
14
- "FunctionLibrary",
15
- "QuantumFunction",
16
- "QuantumFunctionFactory",
17
- ]
@@ -1,205 +0,0 @@
1
- # type: ignore # noqa: PGH003
2
- # We can either ignore each line individually, or ignore the entire file and wait until mypy can ignore
3
- # specific errors per-file.
4
- import inspect
5
- import sys
6
- from types import FunctionType
7
- from typing import Any, Dict, List, Tuple, Union, _GenericAlias
8
-
9
- from classiq.interface.generator.register_role import RegisterRole as Role
10
-
11
- from classiq.exceptions import ClassiqQFuncError
12
- from classiq.quantum_register import AuxQReg, QReg, QRegGenericAlias, QSFixed, ZeroQReg
13
-
14
- if sys.version_info >= (3, 9):
15
- from types import GenericAlias
16
- else:
17
- GenericAlias = _GenericAlias
18
-
19
- GenericAliasUnion = Union[GenericAlias, _GenericAlias]
20
-
21
-
22
- class AnnotationParser:
23
- def __init__(self, func: FunctionType) -> None:
24
- self._func = func
25
-
26
- self.output_types: Dict[str, GenericAlias] = {}
27
-
28
- def parse(self) -> None:
29
- annotations = self._func.__annotations__.copy()
30
-
31
- # Todo: remove this `if` after introducing `Inplace`
32
- if "return" not in annotations:
33
- raise ClassiqQFuncError("Return value annotations not found")
34
-
35
- self.output_values = self._unpack_output_values(annotations.pop("return"))
36
- self.input_names, self.input_values = self._unpack_input_values(annotations)
37
-
38
- self._validate()
39
-
40
- def _validate(self) -> None:
41
- self._validate_type_hints()
42
- self._validate_qubit_amount()
43
- self._validate_io_length()
44
- self._validate_io_correlation()
45
-
46
- def _validate_type_hints(self) -> None:
47
- # Validate type of type-hints
48
- if not all(
49
- map(
50
- self.is_valid_generic_alias_of_qreg,
51
- self.input_values + self.output_values,
52
- )
53
- ):
54
- raise ClassiqQFuncError("Invalid GenericAlias convection")
55
-
56
- def _validate_qubit_amount(self) -> None:
57
- # Validate qubit amount
58
- if sum(i.size for i in self.output_values) != sum(
59
- i.size for i in self.input_values
60
- ):
61
- raise ClassiqQFuncError(
62
- "Input and output values have different amounts of qubits"
63
- )
64
-
65
- # Todo: Remove this validation by introducing better heuristics
66
- # Or after introducing Inplace
67
- def _validate_io_length(self) -> None:
68
- # Validate amount of inputs and outputs
69
- if len(self.input_values) != len(self.output_values):
70
- raise ClassiqQFuncError(
71
- "Inputs and outputs must have the same number of QRegs"
72
- )
73
-
74
- def _validate_io_correlation(self) -> None:
75
- # Validate correspondence between inputs and outputs
76
- for input_name, input_type, output_type in zip(
77
- self.input_names, self.input_values, self.output_values
78
- ):
79
- # Is arithmetic QReg
80
- if issubclass(input_type.__origin__, QSFixed) and input_type != output_type:
81
- raise ClassiqQFuncError(
82
- f"Arithmetic QReg must be of the same type and size in both the input and the output. Got {input_type} and {output_type}"
83
- )
84
-
85
- # Is Auxillary QReg
86
- if issubclass(input_type.__origin__, AuxQReg) and input_type != output_type:
87
- raise ClassiqQFuncError(
88
- f"Auxillary QReg must be of the same type and size in both the input and the output. Got {input_type} and {output_type}"
89
- )
90
-
91
- # Is Zero QReg
92
- if input_type.__origin__ is ZeroQReg:
93
- if output_type.__origin__ is QReg or issubclass(
94
- output_type.__origin__, QSFixed
95
- ):
96
- self.output_types[input_name] = output_type
97
- else:
98
- raise ClassiqQFuncError(
99
- "Invalid output type. Any ZeroQReg in the input must have a corresponding QReg in the output"
100
- )
101
-
102
- @classmethod
103
- def _unpack_output_values(
104
- cls, output_value_type_hint: Any
105
- ) -> Tuple[GenericAlias, ...]:
106
- # Handle QReg type hints
107
- if cls.is_subclass_qreg(output_value_type_hint):
108
- return (cls.to_generic_alias(output_value_type_hint),)
109
-
110
- # Supporting both `typing._GenericAlias` and `types.GenericAlias`
111
- if not cls.is_instance_generic_alias(output_value_type_hint):
112
- raise ClassiqQFuncError(
113
- "Output value type hint must be either a single QReg, `typing.Tuple[QReg, ...]` or, for python>=3.9, `tuple[QReg, ...]`"
114
- )
115
-
116
- # Allowing only a tuple of outputs:
117
- if not cls.is_tuple_generic_alias(output_value_type_hint):
118
- raise ClassiqQFuncError(
119
- "Output value type hint must be either Tuple[QReg, ...] or tuple[QReg, ...]"
120
- )
121
-
122
- # This line may raise ClassiqQFuncError
123
- return tuple(map(cls.to_generic_alias, output_value_type_hint.__args__))
124
-
125
- def _unpack_input_values(
126
- self, annotations: Dict[str, Any]
127
- ) -> Tuple[List[str], Tuple[GenericAlias, ...]]:
128
- input_names = list(annotations.keys())
129
- input_values = tuple(map(self.to_generic_alias, annotations.values()))
130
- return input_names, input_values
131
-
132
- @staticmethod
133
- def to_generic_alias(obj: Any) -> GenericAlias:
134
- # Handle GenericAlias
135
- if isinstance(obj, (QRegGenericAlias, GenericAlias)):
136
- return obj
137
- # Handle _GenericAlias, for python>3.9, i.e. when GenericAlias != _GenericAlias
138
- if isinstance(obj, _GenericAlias):
139
- return GenericAlias(obj.__origin__, obj.__args__)
140
- # Handle a single QReg (not GenericAlias of QReg)
141
- elif inspect.isclass(obj) and issubclass(obj, QReg):
142
- return GenericAlias(obj, tuple())
143
-
144
- raise ClassiqQFuncError(f"Invalid type hint object: {obj.__class__.__name__}")
145
-
146
- @staticmethod
147
- def is_instance_generic_alias(obj: Any) -> bool:
148
- return isinstance(obj, (GenericAlias, _GenericAlias))
149
-
150
- @classmethod
151
- def is_subclass_qreg(cls, obj: Any) -> bool:
152
- if inspect.isclass(obj):
153
- return issubclass(obj, QReg)
154
- elif cls.is_instance_generic_alias(obj):
155
- return issubclass(obj.__origin__, QReg)
156
- return False
157
-
158
- @staticmethod
159
- def is_tuple_generic_alias(obj: GenericAliasUnion) -> bool:
160
- return obj.__origin__.__name__.lower() == "tuple"
161
-
162
- @staticmethod
163
- def is_valid_generic_alias_of_qreg(obj: GenericAlias) -> bool:
164
- return isinstance(obj, QRegGenericAlias)
165
-
166
-
167
- def get_annotation_role(annotation: GenericAlias, default_role: Role) -> Role:
168
- """
169
- Note: this function cannot distinguish between inputs and outputs.
170
- Thus, for inputs, all 3 options are valid
171
- However, for outputs:
172
- a) we don't expect to get ZERO
173
- b) We treat INPUT as OUTPUT
174
- """
175
- ret = None
176
-
177
- if getattr(annotation, "role", None) is not None:
178
- ret = annotation.role
179
- if getattr(annotation.__origin__, "role", None) is not None:
180
- ret = annotation.role
181
-
182
- if issubclass(annotation.__origin__, QReg) and not issubclass(
183
- annotation.__origin__, ZeroQReg
184
- ):
185
- ret = default_role
186
-
187
- if issubclass(annotation.__origin__, ZeroQReg) and not issubclass(
188
- annotation.__origin__, AuxQReg
189
- ):
190
- ret = Role.ZERO_INPUT
191
-
192
- if issubclass(annotation.__origin__, AuxQReg):
193
- ret = Role.AUXILIARY
194
-
195
- # Didn't match anything so far
196
- if ret is None:
197
- raise ClassiqQFuncError("Invalid annotation role")
198
-
199
- if default_role == Role.INPUT and ret == Role.OUTPUT:
200
- raise ClassiqQFuncError("input should not have Role.OUTPUT")
201
-
202
- if default_role == Role.OUTPUT and ret in (Role.ZERO_INPUT, Role.INPUT):
203
- raise ClassiqQFuncError("output should not have Role.ZERO / Role.INPUT")
204
-
205
- return ret
@@ -1,22 +0,0 @@
1
- from typing import Callable, Optional, Union, overload
2
-
3
- from classiq.quantum_functions.quantum_function import QuantumFunction
4
-
5
-
6
- @overload
7
- def quantum_function(func: None = None, name: Optional[str] = None) -> Callable: ...
8
-
9
-
10
- @overload
11
- def quantum_function(func: Callable, name: Optional[str] = None) -> QuantumFunction: ...
12
-
13
-
14
- def quantum_function(
15
- func: Optional[Callable] = None, name: Optional[str] = None
16
- ) -> Union[QuantumFunction, Callable]:
17
- if func is None:
18
- return lambda func: quantum_function(func, name)
19
- else:
20
- qf = QuantumFunction()
21
- qf.add_implementation(func, name)
22
- return qf
@@ -1,181 +0,0 @@
1
- """Function library module, implementing facilities for adding user defined functions to the Classiq platform."""
2
-
3
- from typing import Any, Dict, List, Tuple, Type, Union
4
-
5
- from more_itertools import locate
6
-
7
- from classiq.interface.generator.functions import (
8
- SynthesisForeignFunctionDefinition,
9
- SynthesisNativeFunctionDefinition,
10
- SynthesisQuantumFunctionDeclaration,
11
- )
12
- from classiq.interface.generator.model.model import (
13
- MAIN_FUNCTION_NAME,
14
- ConcreteFunctionDefinition,
15
- )
16
- from classiq.interface.generator.user_defined_function_params import CustomFunction
17
- from classiq.interface.helpers.pydantic_model_helpers import nameables_to_dict
18
-
19
- from classiq.exceptions import ClassiqValueError
20
- from classiq.quantum_functions.quantum_function import (
21
- QuantumFunction,
22
- QuantumFunctionFactory,
23
- )
24
-
25
- QASM_INTRO = 'OPENQASM 2.0;\ninclude "qelib1.inc";\n'
26
- QASM3_INTRO = 'OPENQASM 3.0;\ninclude "stdgates.inc";\n'
27
-
28
- _INVALID_FUNCTION_LIBRARY_ARGUMENT_ERROR_MSG: str = (
29
- "Argument is not a valid FunctionLibrary object"
30
- )
31
-
32
-
33
- class FunctionLibrary:
34
- """Facility to manage functions."""
35
-
36
- def __init__(
37
- self,
38
- *functions: Union[
39
- SynthesisQuantumFunctionDeclaration,
40
- QuantumFunction,
41
- Type[QuantumFunctionFactory],
42
- ],
43
- ) -> None:
44
- """
45
- Args:
46
- name (:obj:`str`, optional): The name of the function library.
47
- *functions (:obj:`SynthesisQuantumFunctionDeclaration`, optional): A list of functions to initialize the object.
48
- """
49
- self._data: List[ConcreteFunctionDefinition] = list()
50
- self._params: Dict[str, CustomFunction] = dict()
51
- self._func_factories: Dict[str, Type[QuantumFunctionFactory]] = dict()
52
-
53
- for f in functions:
54
- self.add_function(f)
55
-
56
- if MAIN_FUNCTION_NAME not in self.function_dict:
57
- self.add_function(
58
- SynthesisNativeFunctionDefinition(name=MAIN_FUNCTION_NAME)
59
- )
60
-
61
- def get_function(self, function_name: str) -> CustomFunction:
62
- return self._params[function_name]
63
-
64
- def get_function_factory(
65
- self, function_factory_name: str
66
- ) -> Type[QuantumFunctionFactory]:
67
- return self._func_factories[function_factory_name]
68
-
69
- def __getitem__(self, key: Any) -> CustomFunction:
70
- if isinstance(key, str):
71
- return self.get_function(key)
72
- else:
73
- raise ClassiqValueError("Invalid key")
74
-
75
- def add_function(
76
- self,
77
- function_data: Union[
78
- SynthesisQuantumFunctionDeclaration,
79
- QuantumFunction,
80
- Type[QuantumFunctionFactory],
81
- ],
82
- override_existing_functions: bool = False,
83
- ) -> None:
84
- """Adds a function to the function library.
85
-
86
- Args:
87
- function_data (SynthesisQuantumFunctionDeclaration): The function data object.
88
- override_existing_functions (:obj:`bool`, optional): Defaults to False.
89
-
90
- Returns:
91
- None
92
- """
93
- if isinstance(function_data, type) and issubclass(
94
- function_data, QuantumFunctionFactory
95
- ):
96
- self._func_factories[function_data.__name__] = function_data
97
- return
98
- if isinstance(function_data, QuantumFunction):
99
- function_data = function_data.function_data
100
-
101
- if not isinstance(
102
- function_data,
103
- (SynthesisForeignFunctionDefinition, SynthesisNativeFunctionDefinition),
104
- ):
105
- raise ClassiqValueError(
106
- f"Concrete function definition object expected, got {function_data.__class__.__name__}"
107
- )
108
-
109
- function_name = function_data.name
110
- if not override_existing_functions and function_name in self.function_dict:
111
- raise ClassiqValueError("Cannot override existing functions.")
112
-
113
- if isinstance(function_data, SynthesisNativeFunctionDefinition):
114
- for call in filter(
115
- lambda i: isinstance(i.function_params, CustomFunction),
116
- function_data.body,
117
- ):
118
- if self._data and call.function not in self.function_dict:
119
- raise ClassiqValueError(
120
- "FunctionLibrary: The function is not found in included library."
121
- )
122
-
123
- self._data.append(function_data)
124
- self._params[function_name] = self._to_params(function_data)
125
-
126
- @property
127
- def function_names(self) -> Tuple[str, ...]:
128
- """Get a tuple of the names of the functions in the library.
129
-
130
- Returns:
131
- The names of the functions in the library.
132
- """
133
- return tuple(self.function_dict.keys())
134
-
135
- @property
136
- def function_factory_names(self) -> Tuple[str, ...]:
137
- return tuple(self._func_factories.keys())
138
-
139
- @property
140
- def functions(self) -> List[ConcreteFunctionDefinition]:
141
- return list(self._data)
142
-
143
- @property
144
- def function_dict(self) -> Dict[str, SynthesisQuantumFunctionDeclaration]:
145
- return nameables_to_dict(self._data)
146
-
147
- def remove_function_definition(self, name: str) -> None:
148
- idx = list(locate(self.functions, lambda func: func.name == name))
149
- assert len(idx) == 1
150
- self._data.pop(idx[0])
151
-
152
- @staticmethod
153
- def _to_params(data: SynthesisQuantumFunctionDeclaration) -> CustomFunction:
154
- params = CustomFunction(
155
- input_decls=data.inputs,
156
- output_decls=data.outputs,
157
- )
158
- return params
159
-
160
- def __add__(self, other: "FunctionLibrary") -> "FunctionLibrary":
161
- if not isinstance(other, FunctionLibrary):
162
- raise ClassiqValueError(_INVALID_FUNCTION_LIBRARY_ARGUMENT_ERROR_MSG)
163
- joint_library = FunctionLibrary()
164
- for library in (self, other):
165
- for func in library.functions:
166
- if (
167
- func.name == MAIN_FUNCTION_NAME
168
- or func.name in joint_library.function_names
169
- ):
170
- continue
171
- joint_library.add_function(func)
172
- return joint_library
173
-
174
- def __iadd__(self, other: "FunctionLibrary") -> "FunctionLibrary":
175
- if not isinstance(other, FunctionLibrary):
176
- raise ClassiqValueError(_INVALID_FUNCTION_LIBRARY_ARGUMENT_ERROR_MSG)
177
- for func in other.functions:
178
- if func.name == MAIN_FUNCTION_NAME or func.name in self.function_names:
179
- continue
180
- self.add_function(func)
181
- return self
@@ -1,74 +0,0 @@
1
- import sys
2
- from types import FunctionType, MethodType
3
- from typing import Any, Callable, Tuple, _GenericAlias # type: ignore[attr-defined]
4
-
5
- if sys.version_info >= (3, 9):
6
- from types import GenericAlias
7
- else:
8
- GenericAlias = _GenericAlias
9
-
10
-
11
- from classiq.exceptions import ClassiqQFuncError
12
-
13
-
14
- class FunctionParser:
15
- def __init__(self, func: FunctionType) -> None:
16
- self._func = func
17
-
18
- @staticmethod
19
- def _extract_function_output_by_execution(func: FunctionType) -> Any:
20
- # Todo: Parse the type (annotations) of the arguments, and remove only those inheriting from QReg
21
- if func.__code__.co_kwonlyargcount:
22
- raise ClassiqQFuncError("kw only args are not supported")
23
-
24
- arg_count = func.__code__.co_argcount - ("self" in func.__code__.co_varnames)
25
- nones = [None] * arg_count
26
- return func(*nones)
27
-
28
- def extract_function_output(self) -> Any:
29
- output = self._extract_function_output_by_execution(func=self._func)
30
-
31
- self._validate_function_output(output)
32
-
33
- return output
34
-
35
- @staticmethod
36
- def _validate_function_output(output: Any) -> None:
37
- # Todo: validate QASM
38
-
39
- if not isinstance(output, str):
40
- raise ClassiqQFuncError(
41
- "Invalid output. Please return a string of OpenQASM2.0."
42
- )
43
-
44
-
45
- def _convert_class_to_function(cls: type) -> Tuple[FunctionType, str]:
46
- # Create instance
47
- try:
48
- inst = cls()
49
- except TypeError as exc:
50
- raise ClassiqQFuncError("Unable to initialize class") from exc
51
-
52
- return inst.__call__, inst.__class__.__name__
53
-
54
-
55
- def convert_callable_to_function(func: Callable) -> Tuple[FunctionType, str]:
56
- # There's a story to be told here:
57
- # Functions vs Methods.
58
- # It's a centuries old fight, which won't end soon..
59
- # Functions, being functions, always have a way of telling us about their functionality
60
- # This is done using `func.__code__`
61
- # Methods, being the heigher form of functions, are too proud to have a `__code__` attribute.
62
- # Thus, `"__code__" in method` is false
63
- # However, `method.__code__` exists
64
- # Since it is inherited from the class that initialized the instance who owns the method
65
- # Thus, we reach the important conclusion:
66
- # Methods are shy functions. They are functions, but they don't like telling us that they're functions.
67
- if not callable(func):
68
- raise ClassiqQFuncError("Invalid callable given.")
69
-
70
- if isinstance(func, (FunctionType, MethodType)):
71
- return func, func.__name__ # type: ignore[return-value]
72
-
73
- # Assuming `func` is an instance of some class
74
- return _convert_class_to_function(func) # type: ignore[arg-type]