Implementing Armanda's method

[LiamVS99]

Find canonical logical bases using Armanda's method from Partitioning qubits in hypergraph product codes to implement logical gates

This will output the specific basis that guarantees the logicals to pairwise anti-commute?

• Run the algorithm for H1 and H2 to get the basis of ker(H) and row complement basis of (im(H^T)* = (RS(H))*
  (where * refers to the complement)
• Check that the resulting operators are the correct pairs