mqt.qudits.compiler.compilation_minitools.naive_unitary_verifier¶

Module Contents¶

class UnitaryVerifier(sequence, target, dimensions, nodes=None, initial_map=None, final_map=None)[source]¶

Verifies unitary matrices. sequence is a list of numpy arrays target is a numpy array dimensions is list of ints, equals to the dimensions of the qudits involved in the target operation initial_map is a list representing the mapping of the logic states to the physical ones at the beginning of the computation final_map is a list representing the mapping of the logic states to the physical ones at the end of the computation

get_perm_matrix(nodes, mapping)[source]¶
verify()[source]¶