Symbolic evaluation algorithm can be optimized for parallel gates

[SimoneGasperini]

Symbolic evaluation algorithm can be optimized for parallel gates

[SimoneGasperini]

The first step is to use Qiskit DAG converters to get the minimal number of layers representation of the circuit.
Something like:

from qiskit.converters import circuit_to_dag, dag_to_circuit

layers_data = [dag_to_circuit(layer['graph']).data
               for layer in circuit_to_dag(circuit).layers()]

Instead of:

layers_data = circuit.draw(output='text').nodes

For this to work, an adjustment is needed in accessing the attributes of each circuit instruction. In particular:

• instruction.op --> instruction.operation
• instruction.qargs --> instruction.qubits

The most challenging part is then to re-implement the symbolic evaluation algorithm in order to defer all the computation at the level of each layer of the circuit. This would significantly enhance the performance of the method to_lambda as well: in particular, the time required for transforming a Qiskit circuit into a Python function would scale linearly (and not exponentially) with the circuit depth.