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.
- classiq/__init__.py +47 -32
- classiq/_analyzer_extras/_ipywidgets_async_extension.py +2 -1
- classiq/_internals/api_wrapper.py +235 -97
- classiq/_internals/async_utils.py +1 -3
- classiq/_internals/authentication/auth0.py +26 -10
- classiq/_internals/authentication/authentication.py +11 -0
- classiq/_internals/authentication/device.py +10 -5
- classiq/_internals/authentication/password_manager.py +18 -6
- classiq/_internals/authentication/token_manager.py +10 -5
- classiq/_internals/client.py +94 -33
- classiq/_internals/config.py +3 -4
- classiq/_internals/host_checker.py +38 -15
- classiq/_internals/jobs.py +60 -57
- classiq/_internals/type_validation.py +9 -9
- classiq/analyzer/__init__.py +1 -3
- classiq/analyzer/analyzer.py +24 -19
- classiq/analyzer/analyzer_utilities.py +10 -10
- classiq/analyzer/rb.py +15 -15
- classiq/analyzer/show_interactive_hack.py +27 -4
- classiq/analyzer/url_utils.py +2 -3
- classiq/applications/__init__.py +3 -12
- classiq/applications/chemistry/__init__.py +14 -10
- classiq/applications/chemistry/ansatz_parameters.py +4 -4
- classiq/{applications_model_constructors → applications/chemistry}/chemistry_model_constructor.py +165 -158
- classiq/applications/chemistry/ground_state_problem.py +1 -1
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/allowed_constraints.py +4 -1
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/arithmetic/arithmetic_expression.py +1 -1
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/arithmetic/isolation.py +1 -1
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/combinatorial_problem_utils.py +51 -15
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/encoding_mapping.py +12 -12
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/encoding_utils.py +8 -6
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/memory.py +7 -11
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/optimization_model.py +67 -40
- classiq/applications/combinatorial_helpers/pauli_helpers/pauli_utils.py +46 -0
- classiq/applications/combinatorial_helpers/pyomo_utils.py +447 -0
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/sympy_utils.py +2 -2
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/encoding.py +15 -20
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/fixed_variables.py +14 -15
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/ising_converter.py +11 -15
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/penalty.py +1 -2
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/penalty_support.py +3 -7
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/sign_seperation.py +2 -3
- classiq/{applications_model_constructors → applications}/combinatorial_helpers/transformations/slack_variables.py +5 -8
- classiq/applications/combinatorial_optimization/__init__.py +20 -6
- classiq/applications/combinatorial_optimization/combinatorial_optimization_config.py +2 -2
- classiq/{applications_model_constructors → applications/combinatorial_optimization}/combinatorial_optimization_model_constructor.py +35 -33
- classiq/applications/combinatorial_optimization/combinatorial_problem.py +229 -0
- classiq/applications/combinatorial_optimization/examples/__init__.py +1 -3
- classiq/applications/finance/__init__.py +4 -5
- classiq/{applications_model_constructors → applications/finance}/finance_model_constructor.py +48 -42
- classiq/applications/grover/__init__.py +9 -0
- classiq/{applications_model_constructors → applications/grover}/grover_model_constructor.py +52 -51
- classiq/applications/hamiltonian/pauli_decomposition.py +113 -0
- classiq/applications/libraries/qmci_library.py +22 -0
- classiq/applications/qnn/__init__.py +2 -4
- classiq/applications/qnn/circuit_utils.py +6 -6
- classiq/applications/qnn/datasets/__init__.py +9 -11
- classiq/applications/qnn/datasets/dataset_base_classes.py +7 -5
- classiq/applications/qnn/datasets/dataset_not.py +2 -1
- classiq/applications/qnn/datasets/dataset_parity.py +2 -2
- classiq/applications/qnn/gradients/quantum_gradient.py +1 -1
- classiq/applications/qnn/gradients/simple_quantum_gradient.py +2 -1
- classiq/applications/qnn/qlayer.py +30 -10
- classiq/applications/qnn/torch_utils.py +4 -3
- classiq/applications/qnn/types.py +5 -5
- classiq/applications/qsvm/__init__.py +6 -4
- classiq/applications/qsvm/qsvm.py +3 -6
- classiq/applications/qsvm/qsvm_data_generation.py +3 -3
- classiq/{applications_model_constructors → applications/qsvm}/qsvm_model_constructor.py +30 -28
- classiq/execution/__init__.py +8 -3
- classiq/execution/all_hardware_devices.py +11 -0
- classiq/execution/execution_session.py +400 -0
- classiq/execution/iqcc.py +63 -0
- classiq/execution/jobs.py +197 -25
- classiq/execution/qnn.py +79 -0
- classiq/executor.py +20 -115
- classiq/interface/_version.py +1 -1
- classiq/interface/analyzer/analysis_params.py +43 -13
- classiq/interface/analyzer/cytoscape_graph.py +15 -9
- classiq/interface/analyzer/result.py +28 -32
- classiq/interface/applications/qsvm.py +20 -29
- classiq/interface/ast_node.py +16 -0
- classiq/interface/backend/backend_preferences.py +390 -121
- classiq/interface/backend/ionq/ionq_quantum_program.py +15 -23
- classiq/interface/backend/pydantic_backend.py +25 -22
- classiq/interface/backend/quantum_backend_providers.py +69 -16
- classiq/interface/chemistry/fermionic_operator.py +30 -21
- classiq/interface/chemistry/ground_state_problem.py +28 -25
- classiq/interface/chemistry/molecule.py +14 -10
- classiq/interface/chemistry/operator.py +64 -231
- classiq/interface/combinatorial_optimization/encoding_types.py +1 -1
- classiq/interface/combinatorial_optimization/examples/ascending_sequence.py +1 -3
- classiq/interface/combinatorial_optimization/examples/integer_portfolio_optimization.py +2 -4
- classiq/interface/combinatorial_optimization/examples/knapsack.py +3 -3
- classiq/interface/combinatorial_optimization/examples/mht.py +10 -6
- classiq/interface/combinatorial_optimization/examples/portfolio_variations.py +2 -2
- classiq/interface/combinatorial_optimization/examples/set_cover.py +1 -2
- classiq/interface/combinatorial_optimization/mht_qaoa_input.py +8 -9
- classiq/interface/combinatorial_optimization/optimization_problem.py +2 -2
- classiq/interface/combinatorial_optimization/result.py +1 -3
- classiq/interface/combinatorial_optimization/solver_types.py +1 -1
- classiq/interface/debug_info/debug_info.py +86 -0
- classiq/{exceptions.py → interface/exceptions.py} +37 -9
- classiq/interface/execution/iqcc.py +19 -0
- classiq/interface/execution/jobs.py +15 -12
- classiq/interface/execution/primitives.py +18 -0
- classiq/interface/executor/constants.py +1 -0
- classiq/interface/executor/execution_preferences.py +26 -114
- classiq/interface/executor/execution_request.py +24 -46
- classiq/interface/executor/execution_result.py +30 -8
- classiq/interface/executor/iqae_result.py +4 -6
- classiq/interface/executor/optimizer_preferences.py +17 -14
- classiq/interface/executor/quantum_code.py +28 -24
- classiq/interface/executor/quantum_instruction_set.py +2 -2
- classiq/interface/executor/register_initialization.py +11 -14
- classiq/interface/executor/result.py +83 -56
- classiq/interface/executor/vqe_result.py +10 -10
- classiq/interface/finance/function_input.py +35 -25
- classiq/interface/finance/gaussian_model_input.py +5 -5
- classiq/interface/finance/log_normal_model_input.py +4 -4
- classiq/interface/finance/model_input.py +4 -4
- classiq/interface/generator/adjacency.py +1 -3
- classiq/interface/generator/amplitude_loading.py +22 -12
- classiq/interface/generator/ansatz_library.py +5 -5
- classiq/interface/generator/application_apis/arithmetic_declarations.py +8 -5
- classiq/interface/generator/application_apis/chemistry_declarations.py +27 -187
- classiq/interface/generator/application_apis/combinatorial_optimization_declarations.py +18 -21
- classiq/interface/generator/application_apis/entangler_declarations.py +11 -6
- classiq/interface/generator/application_apis/finance_declarations.py +48 -69
- classiq/interface/generator/application_apis/qsvm_declarations.py +0 -70
- classiq/interface/generator/arith/argument_utils.py +46 -5
- classiq/interface/generator/arith/arithmetic.py +35 -16
- classiq/interface/generator/arith/arithmetic_arg_type_validator.py +6 -7
- classiq/interface/generator/arith/arithmetic_expression_abc.py +66 -25
- classiq/interface/generator/arith/arithmetic_expression_parser.py +11 -11
- classiq/interface/generator/arith/arithmetic_expression_validator.py +47 -43
- classiq/interface/generator/arith/arithmetic_operations.py +14 -6
- classiq/interface/generator/arith/arithmetic_param_getters.py +7 -8
- classiq/interface/generator/arith/arithmetic_result_builder.py +21 -17
- classiq/interface/generator/arith/ast_node_rewrite.py +3 -2
- classiq/interface/generator/arith/binary_ops.py +218 -130
- classiq/interface/generator/arith/endianness.py +1 -1
- classiq/interface/generator/arith/extremum_operations.py +96 -25
- classiq/interface/generator/arith/logical_ops.py +14 -12
- classiq/interface/generator/arith/number_utils.py +12 -6
- classiq/interface/generator/arith/register_user_input.py +60 -37
- classiq/interface/generator/arith/unary_ops.py +49 -29
- classiq/interface/generator/arith/uncomputation_methods.py +1 -1
- classiq/interface/generator/builtin_api_builder.py +2 -9
- classiq/interface/generator/chemistry_function_params.py +3 -3
- classiq/interface/generator/circuit_code/circuit_code.py +7 -7
- classiq/interface/generator/circuit_code/types_and_constants.py +4 -7
- classiq/interface/generator/commuting_pauli_exponentiation.py +7 -7
- classiq/interface/generator/compiler_keywords.py +5 -1
- classiq/interface/generator/complex_type.py +13 -18
- classiq/interface/generator/constant.py +3 -4
- classiq/interface/generator/control_state.py +34 -29
- classiq/interface/generator/copy.py +47 -0
- classiq/interface/generator/custom_ansatz.py +2 -5
- classiq/interface/generator/distance.py +3 -5
- classiq/interface/generator/excitations.py +3 -2
- classiq/interface/generator/expressions/atomic_expression_functions.py +21 -5
- classiq/interface/generator/expressions/enums/__init__.py +0 -10
- classiq/interface/generator/expressions/enums/finance_functions.py +12 -22
- classiq/interface/generator/expressions/evaluated_expression.py +5 -5
- classiq/interface/generator/expressions/expression.py +26 -14
- classiq/interface/generator/expressions/expression_constants.py +9 -3
- classiq/interface/generator/expressions/non_symbolic_expr.py +119 -0
- classiq/interface/generator/expressions/qmod_qarray_proxy.py +99 -0
- classiq/interface/generator/expressions/qmod_qscalar_proxy.py +34 -8
- classiq/interface/generator/expressions/qmod_qstruct_proxy.py +36 -0
- classiq/interface/generator/expressions/qmod_sized_proxy.py +30 -2
- classiq/interface/generator/expressions/qmod_struct_instance.py +14 -2
- classiq/interface/generator/expressions/sympy_supported_expressions.py +19 -11
- classiq/interface/generator/finance.py +2 -2
- classiq/interface/generator/function_param_library.py +6 -6
- classiq/interface/generator/function_param_list_without_self_reference.py +2 -10
- classiq/interface/generator/function_params.py +36 -64
- classiq/interface/generator/functions/__init__.py +0 -22
- classiq/interface/generator/functions/builtins/internal_operators.py +16 -0
- classiq/interface/generator/functions/classical_function_declaration.py +18 -9
- classiq/interface/generator/functions/classical_type.py +47 -166
- classiq/interface/generator/functions/concrete_types.py +55 -0
- classiq/interface/generator/functions/function_declaration.py +13 -14
- classiq/interface/generator/functions/port_declaration.py +1 -13
- classiq/interface/generator/functions/qmod_python_interface.py +2 -1
- classiq/interface/generator/functions/type_name.py +90 -0
- classiq/interface/generator/generated_circuit_data.py +153 -20
- classiq/interface/generator/grover_diffuser.py +32 -25
- classiq/interface/generator/grover_operator.py +34 -25
- classiq/interface/generator/hamiltonian_evolution/exponentiation.py +4 -6
- classiq/interface/generator/hamiltonian_evolution/qdrift.py +4 -4
- classiq/interface/generator/hamiltonian_evolution/suzuki_trotter.py +9 -9
- classiq/interface/generator/hardware/hardware_data.py +72 -34
- classiq/interface/generator/hardware_efficient_ansatz.py +20 -16
- classiq/interface/generator/hartree_fock.py +13 -5
- classiq/interface/generator/identity.py +10 -6
- classiq/interface/generator/linear_pauli_rotations.py +32 -20
- classiq/interface/generator/mcmt_method.py +1 -1
- classiq/interface/generator/mcu.py +17 -15
- classiq/interface/generator/mcx.py +24 -17
- classiq/interface/generator/model/__init__.py +2 -5
- classiq/interface/generator/model/constraints.py +26 -8
- classiq/interface/generator/model/model.py +27 -190
- classiq/interface/generator/model/preferences/preferences.py +115 -41
- classiq/{quantum_register.py → interface/generator/model/quantum_register.py} +14 -17
- classiq/interface/generator/oracles/arithmetic_oracle.py +2 -4
- classiq/interface/generator/oracles/custom_oracle.py +15 -13
- classiq/interface/generator/oracles/oracle_abc.py +7 -7
- classiq/interface/generator/partitioned_register.py +7 -7
- classiq/interface/generator/piecewise_linear_amplitude_loading.py +45 -29
- classiq/interface/generator/preferences/optimization.py +1 -2
- classiq/interface/generator/qpe.py +41 -30
- classiq/interface/generator/qsvm.py +9 -10
- classiq/interface/generator/quantum_function_call.py +88 -73
- classiq/interface/generator/quantum_program.py +41 -24
- classiq/interface/generator/range_types.py +11 -12
- classiq/interface/generator/register_role.py +18 -6
- classiq/interface/generator/slice_parsing_utils.py +5 -5
- classiq/interface/generator/standard_gates/controlled_standard_gates.py +30 -39
- classiq/interface/generator/standard_gates/standard_angle_metaclass.py +2 -6
- classiq/interface/generator/standard_gates/standard_gates.py +3 -3
- classiq/interface/generator/standard_gates/u_gate.py +7 -10
- classiq/interface/generator/state_preparation/bell_state_preparation.py +3 -3
- classiq/interface/generator/state_preparation/computational_basis_state_preparation.py +2 -1
- classiq/interface/generator/state_preparation/distributions.py +16 -15
- classiq/interface/generator/state_preparation/metrics.py +4 -7
- classiq/interface/generator/state_preparation/state_preparation.py +25 -20
- classiq/interface/generator/synthesis_metadata/synthesis_duration.py +0 -4
- classiq/interface/generator/synthesis_metadata/synthesis_execution_data.py +20 -6
- classiq/interface/generator/transpiler_basis_gates.py +7 -3
- classiq/interface/generator/types/builtin_enum_declarations.py +178 -0
- classiq/interface/generator/types/compilation_metadata.py +6 -0
- classiq/interface/generator/types/enum_declaration.py +54 -0
- classiq/interface/generator/types/qstruct_declaration.py +18 -0
- classiq/interface/generator/types/struct_declaration.py +7 -11
- classiq/interface/generator/ucc.py +5 -4
- classiq/interface/generator/unitary_gate.py +5 -5
- classiq/interface/generator/user_defined_function_params.py +4 -1
- classiq/interface/generator/validations/flow_graph.py +7 -7
- classiq/interface/generator/validations/validator_functions.py +4 -4
- classiq/interface/generator/visitor.py +23 -16
- classiq/interface/hardware.py +29 -8
- classiq/interface/helpers/classproperty.py +8 -0
- classiq/interface/helpers/custom_encoders.py +2 -2
- classiq/interface/helpers/custom_pydantic_types.py +40 -50
- classiq/interface/helpers/datastructures.py +26 -0
- classiq/interface/helpers/hashable_mixin.py +3 -2
- classiq/interface/helpers/hashable_pydantic_base_model.py +2 -1
- classiq/interface/helpers/pydantic_model_helpers.py +7 -5
- classiq/interface/helpers/validation_helpers.py +3 -20
- classiq/interface/helpers/versioned_model.py +1 -4
- classiq/interface/ide/ide_data.py +16 -20
- classiq/interface/ide/visual_model.py +130 -0
- classiq/interface/interface_version.py +1 -0
- classiq/interface/jobs.py +29 -69
- classiq/interface/model/allocate.py +16 -0
- classiq/interface/model/bind_operation.py +32 -9
- classiq/interface/model/classical_if.py +15 -0
- classiq/interface/model/classical_parameter_declaration.py +33 -3
- classiq/interface/model/control.py +45 -0
- classiq/interface/model/handle_binding.py +298 -20
- classiq/interface/model/inplace_binary_operation.py +29 -24
- classiq/interface/model/invert.py +12 -0
- classiq/interface/model/model.py +69 -61
- classiq/interface/model/native_function_definition.py +17 -20
- classiq/interface/model/parameter.py +13 -0
- classiq/interface/model/phase_operation.py +11 -0
- classiq/interface/model/port_declaration.py +27 -9
- classiq/interface/model/power.py +14 -0
- classiq/interface/model/quantum_expressions/amplitude_loading_operation.py +30 -18
- classiq/interface/model/quantum_expressions/arithmetic_operation.py +51 -14
- classiq/interface/model/quantum_expressions/quantum_expression.py +12 -35
- classiq/interface/model/quantum_function_call.py +141 -343
- classiq/interface/model/quantum_function_declaration.py +190 -157
- classiq/interface/model/quantum_lambda_function.py +33 -32
- classiq/interface/model/quantum_statement.py +71 -12
- classiq/interface/model/quantum_type.py +177 -40
- classiq/interface/model/quantum_variable_declaration.py +3 -25
- classiq/interface/model/repeat.py +15 -0
- classiq/interface/model/statement_block.py +40 -14
- classiq/interface/model/validation_handle.py +13 -6
- classiq/interface/model/variable_declaration_statement.py +3 -1
- classiq/interface/model/within_apply_operation.py +7 -5
- classiq/interface/server/global_versions.py +6 -7
- classiq/interface/server/routes.py +17 -21
- classiq/interface/source_reference.py +59 -0
- classiq/model_expansions/atomic_expression_functions_defs.py +253 -0
- classiq/model_expansions/capturing/__init__.py +0 -0
- classiq/model_expansions/capturing/captured_vars.py +435 -0
- classiq/model_expansions/capturing/mangling_utils.py +56 -0
- classiq/model_expansions/closure.py +171 -0
- classiq/model_expansions/debug_flag.py +3 -0
- classiq/model_expansions/evaluators/__init__.py +0 -0
- classiq/model_expansions/evaluators/arg_type_match.py +158 -0
- classiq/model_expansions/evaluators/argument_types.py +42 -0
- classiq/model_expansions/evaluators/classical_expression.py +36 -0
- classiq/model_expansions/evaluators/control.py +144 -0
- classiq/model_expansions/evaluators/parameter_types.py +226 -0
- classiq/model_expansions/evaluators/quantum_type_utils.py +239 -0
- classiq/model_expansions/evaluators/type_type_match.py +90 -0
- classiq/model_expansions/expression_evaluator.py +135 -0
- classiq/model_expansions/expression_renamer.py +76 -0
- classiq/model_expansions/function_builder.py +247 -0
- classiq/model_expansions/generative_functions.py +158 -0
- classiq/model_expansions/interpreters/__init__.py +0 -0
- classiq/model_expansions/interpreters/base_interpreter.py +263 -0
- classiq/model_expansions/interpreters/frontend_generative_interpreter.py +28 -0
- classiq/model_expansions/interpreters/generative_interpreter.py +249 -0
- classiq/model_expansions/model_tables.py +18 -0
- classiq/model_expansions/quantum_operations/__init__.py +9 -0
- classiq/model_expansions/quantum_operations/bind.py +60 -0
- classiq/model_expansions/quantum_operations/call_emitter.py +266 -0
- classiq/model_expansions/quantum_operations/classicalif.py +53 -0
- classiq/model_expansions/quantum_operations/declarative_call_emitter.py +87 -0
- classiq/model_expansions/quantum_operations/emitter.py +181 -0
- classiq/model_expansions/quantum_operations/quantum_function_call.py +33 -0
- classiq/model_expansions/quantum_operations/repeat.py +56 -0
- classiq/model_expansions/quantum_operations/shallow_emitter.py +180 -0
- classiq/model_expansions/quantum_operations/variable_decleration.py +28 -0
- classiq/model_expansions/scope.py +240 -0
- classiq/model_expansions/scope_initialization.py +150 -0
- classiq/model_expansions/sympy_conversion/__init__.py +0 -0
- classiq/model_expansions/sympy_conversion/arithmetics.py +49 -0
- classiq/model_expansions/sympy_conversion/expression_to_sympy.py +179 -0
- classiq/model_expansions/sympy_conversion/sympy_to_python.py +123 -0
- classiq/model_expansions/transformers/__init__.py +0 -0
- classiq/model_expansions/transformers/ast_renamer.py +26 -0
- classiq/model_expansions/transformers/var_splitter.py +299 -0
- classiq/model_expansions/utils/__init__.py +0 -0
- classiq/model_expansions/utils/counted_name_allocator.py +11 -0
- classiq/model_expansions/utils/handles_collector.py +33 -0
- classiq/model_expansions/visitors/__init__.py +0 -0
- classiq/model_expansions/visitors/boolean_expression_transformers.py +214 -0
- classiq/model_expansions/visitors/variable_references.py +144 -0
- classiq/open_library/__init__.py +4 -0
- classiq/open_library/functions/__init__.py +130 -0
- classiq/open_library/functions/amplitude_estimation.py +30 -0
- classiq/open_library/functions/discrete_sine_cosine_transform.py +181 -0
- classiq/open_library/functions/grover.py +157 -0
- classiq/open_library/functions/hea.py +115 -0
- classiq/open_library/functions/linear_pauli_rotation.py +82 -0
- classiq/open_library/functions/modular_exponentiation.py +201 -0
- classiq/open_library/functions/qaoa_penalty.py +117 -0
- classiq/open_library/functions/qft_functions.py +54 -0
- classiq/open_library/functions/qpe.py +46 -0
- classiq/open_library/functions/qsvt.py +331 -0
- classiq/open_library/functions/state_preparation.py +301 -0
- classiq/open_library/functions/swap_test.py +27 -0
- classiq/open_library/functions/utility_functions.py +81 -0
- classiq/open_library/functions/variational.py +52 -0
- classiq/qmod/__init__.py +10 -10
- classiq/qmod/builtins/__init__.py +19 -2
- classiq/qmod/builtins/classical_execution_primitives.py +36 -14
- classiq/qmod/builtins/classical_functions.py +39 -43
- classiq/qmod/builtins/constants.py +10 -0
- classiq/qmod/builtins/enums.py +208 -0
- classiq/qmod/builtins/functions/__init__.py +137 -0
- classiq/qmod/builtins/functions/allocation.py +150 -0
- classiq/qmod/builtins/functions/arithmetic.py +55 -0
- classiq/qmod/builtins/functions/benchmarking.py +8 -0
- classiq/qmod/builtins/functions/chemistry.py +91 -0
- classiq/qmod/builtins/functions/exponentiation.py +105 -0
- classiq/qmod/builtins/functions/finance.py +34 -0
- classiq/qmod/builtins/functions/operators.py +16 -0
- classiq/qmod/builtins/functions/qsvm.py +24 -0
- classiq/qmod/builtins/functions/standard_gates.py +651 -0
- classiq/qmod/builtins/operations.py +373 -40
- classiq/qmod/builtins/structs.py +103 -80
- classiq/qmod/cfunc.py +2 -2
- classiq/qmod/classical_function.py +4 -8
- classiq/qmod/cparam.py +64 -0
- classiq/qmod/create_model_function.py +56 -0
- classiq/qmod/declaration_inferrer.py +143 -101
- classiq/qmod/expression_query.py +20 -4
- classiq/qmod/generative.py +42 -0
- classiq/qmod/model_state_container.py +18 -6
- classiq/qmod/native/__init__.py +7 -0
- classiq/qmod/native/expression_to_qmod.py +16 -11
- classiq/qmod/native/pretty_printer.py +187 -97
- classiq/qmod/pretty_print/__init__.py +7 -0
- classiq/qmod/pretty_print/expression_to_python.py +222 -0
- classiq/qmod/pretty_print/pretty_printer.py +572 -0
- classiq/qmod/python_classical_type.py +67 -0
- classiq/qmod/qfunc.py +60 -8
- classiq/qmod/qmod_constant.py +93 -26
- classiq/qmod/qmod_parameter.py +68 -59
- classiq/qmod/qmod_variable.py +468 -155
- classiq/qmod/quantum_callable.py +17 -7
- classiq/qmod/quantum_expandable.py +269 -96
- classiq/qmod/quantum_function.py +196 -41
- classiq/qmod/semantics/__init__.py +0 -0
- classiq/qmod/semantics/annotation/__init__.py +0 -0
- classiq/qmod/semantics/annotation/call_annotation.py +92 -0
- classiq/qmod/semantics/annotation/qstruct_annotator.py +23 -0
- classiq/qmod/semantics/error_manager.py +88 -0
- classiq/qmod/semantics/lambdas.py +25 -0
- classiq/qmod/semantics/static_semantics_visitor.py +384 -0
- classiq/qmod/semantics/validation/__init__.py +0 -0
- classiq/qmod/semantics/validation/constants_validation.py +16 -0
- classiq/qmod/semantics/validation/func_call_validation.py +99 -0
- classiq/qmod/semantics/validation/function_name_collisions_validation.py +23 -0
- classiq/qmod/semantics/validation/handle_validation.py +85 -0
- classiq/qmod/semantics/validation/main_validation.py +33 -0
- classiq/qmod/semantics/validation/types_validation.py +128 -0
- classiq/qmod/symbolic.py +147 -123
- classiq/qmod/symbolic_expr.py +27 -12
- classiq/qmod/symbolic_type.py +2 -5
- classiq/qmod/type_attribute_remover.py +32 -0
- classiq/qmod/utilities.py +98 -4
- classiq/qmod/write_qmod.py +17 -3
- classiq/synthesis.py +210 -22
- {classiq-0.38.0.dist-info → classiq-0.65.4.dist-info}/METADATA +16 -9
- classiq-0.65.4.dist-info/RECORD +521 -0
- classiq/_internals/_qfunc_ext.py +0 -6
- classiq/applications/benchmarking/__init__.py +0 -9
- classiq/applications/benchmarking/mirror_benchmarking.py +0 -70
- classiq/applications/numpy_utils.py +0 -37
- classiq/applications_model_constructors/__init__.py +0 -25
- classiq/applications_model_constructors/combinatorial_helpers/multiple_comp_basis_sp.py +0 -34
- classiq/applications_model_constructors/combinatorial_helpers/pauli_helpers/pauli_utils.py +0 -65
- classiq/applications_model_constructors/combinatorial_helpers/pyomo_utils.py +0 -243
- classiq/applications_model_constructors/libraries/ampltitude_estimation_library.py +0 -11
- classiq/applications_model_constructors/libraries/qmci_library.py +0 -107
- classiq/builtin_functions/__init__.py +0 -43
- classiq/builtin_functions/amplitude_loading.py +0 -3
- classiq/builtin_functions/binary_ops.py +0 -1
- classiq/builtin_functions/exponentiation.py +0 -5
- classiq/builtin_functions/qpe.py +0 -4
- classiq/builtin_functions/qsvm.py +0 -7
- classiq/builtin_functions/range_types.py +0 -5
- classiq/builtin_functions/standard_gates.py +0 -1
- classiq/builtin_functions/state_preparation.py +0 -6
- classiq/builtin_functions/suzuki_trotter.py +0 -3
- classiq/interface/executor/aws_execution_cost.py +0 -73
- classiq/interface/executor/error_mitigation.py +0 -6
- classiq/interface/generator/credit_risk_example/linear_gci.py +0 -122
- classiq/interface/generator/credit_risk_example/weighted_adder.py +0 -69
- classiq/interface/generator/expressions/enums/chemistry.py +0 -28
- classiq/interface/generator/expressions/enums/classical_enum.py +0 -5
- classiq/interface/generator/expressions/enums/ladder_operator.py +0 -16
- classiq/interface/generator/expressions/enums/optimizers.py +0 -9
- classiq/interface/generator/expressions/enums/pauli.py +0 -8
- classiq/interface/generator/expressions/enums/qsvm_feature_map_entanglement.py +0 -9
- classiq/interface/generator/functions/core_lib_declarations/quantum_functions/__init__.py +0 -18
- classiq/interface/generator/functions/core_lib_declarations/quantum_functions/atomic_quantum_functions.py +0 -641
- classiq/interface/generator/functions/core_lib_declarations/quantum_functions/exponentiation_functions.py +0 -89
- classiq/interface/generator/functions/core_lib_declarations/quantum_functions/std_lib_functions.py +0 -1229
- classiq/interface/generator/functions/core_lib_declarations/quantum_operators.py +0 -95
- classiq/interface/generator/functions/foreign_function_definition.py +0 -114
- classiq/interface/generator/functions/function_implementation.py +0 -107
- classiq/interface/generator/functions/native_function_definition.py +0 -155
- classiq/interface/generator/functions/quantum_function_declaration.py +0 -69
- classiq/interface/generator/functions/register.py +0 -44
- classiq/interface/generator/functions/register_mapping_data.py +0 -106
- classiq/interface/generator/inequality_mixer.py +0 -51
- classiq/interface/generator/model/classical_main_validator.py +0 -106
- classiq/interface/generator/range_mixer.py +0 -56
- classiq/interface/generator/state_propagator.py +0 -74
- classiq/interface/generator/types/builtin_struct_declarations/__init__.py +0 -1
- classiq/interface/generator/types/builtin_struct_declarations/pauli_struct_declarations.py +0 -22
- classiq/interface/ide/show.py +0 -34
- classiq/interface/model/call_synthesis_data.py +0 -68
- classiq/interface/model/common_model_types.py +0 -23
- classiq/interface/model/quantum_expressions/control_state.py +0 -38
- classiq/interface/model/quantum_if_operation.py +0 -94
- classiq/interface/model/resolvers/function_call_resolver.py +0 -43
- classiq/interface/model/validations/handle_validation_base.py +0 -55
- classiq/interface/model/validations/handles_validator.py +0 -156
- classiq/interface/model/validations/port_to_wire_name_generator.py +0 -12
- classiq/model/__init__.py +0 -14
- classiq/model/composite_function_generator.py +0 -33
- classiq/model/function_handler.py +0 -462
- classiq/model/logic_flow.py +0 -149
- classiq/model/logic_flow_change_handler.py +0 -71
- classiq/model/model.py +0 -229
- classiq/qmod/builtins/functions.py +0 -913
- classiq/qmod/qmod_struct.py +0 -37
- classiq/quantum_functions/__init__.py +0 -17
- classiq/quantum_functions/annotation_parser.py +0 -205
- classiq/quantum_functions/decorators.py +0 -22
- classiq/quantum_functions/function_library.py +0 -181
- classiq/quantum_functions/function_parser.py +0 -74
- classiq/quantum_functions/quantum_function.py +0 -236
- classiq-0.38.0.dist-info/RECORD +0 -454
- /classiq/{applications_model_constructors → applications}/combinatorial_helpers/__init__.py +0 -0
- /classiq/{applications_model_constructors → applications}/combinatorial_helpers/arithmetic/__init__.py +0 -0
- /classiq/{applications_model_constructors → applications}/combinatorial_helpers/pauli_helpers/__init__.py +0 -0
- /classiq/{applications_model_constructors → applications}/combinatorial_helpers/pauli_helpers/pauli_sparsing.py +0 -0
- /classiq/{applications_model_constructors → applications}/combinatorial_helpers/py.typed +0 -0
- /classiq/{applications_model_constructors/combinatorial_helpers/transformations → applications/combinatorial_helpers/solvers}/__init__.py +0 -0
- /classiq/{applications_model_constructors/libraries → applications/combinatorial_helpers/transformations}/__init__.py +0 -0
- /classiq/{interface/generator/credit_risk_example → applications/hamiltonian}/__init__.py +0 -0
- /classiq/{interface/generator/functions/core_lib_declarations → applications/libraries}/__init__.py +0 -0
- /classiq/interface/{model/resolvers → debug_info}/__init__.py +0 -0
- /classiq/{_internals → interface}/enum_utils.py +0 -0
- /classiq/interface/{model/validations → generator/functions/builtins}/__init__.py +0 -0
- /classiq/{interface/generator/functions/core_lib_declarations/quantum_functions/chemistry_functions.py → model_expansions/__init__.py} +0 -0
- {classiq-0.38.0.dist-info → classiq-0.65.4.dist-info}/WHEEL +0 -0
classiq/qmod/qmod_struct.py
DELETED
@@ -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]
|