fixing implementation of `:sys_eq` algorithm for finding the logical operators (`_logicals`) - Githubissues

esabo / CodingTheory

A coding theory library for Julia.

https://esabo.github.io/CodingTheory/

BSD 3-Clause "New" or "Revised" License

26 stars 11 forks source link

fixing implementation of `:sys_eq` algorithm for finding the logical operators (`_logicals`) #30

Open Fe-r-oz opened 2 months ago

Fe-r-oz commented 2 months ago

Following insightful discussion with Eric, I am opening this issue to monitor progress.

Eric notes that _the :sys_eq algorithm for finding the logical operators, which is faster than :VS, occasionally fails for qudits, likely due to an error in row reduction or incorrect pivot column storage_

First, check out the _logicals. https://github.com/esabo/CodingTheory/blob/c71ff25be70360698ee078dac2ab9539dd62ef01/src/Quantum/stabilizer_code.jl#L425

else clause of _quotient_space https://github.com/esabo/CodingTheory/blob/c71ff25be70360698ee078dac2ab9539dd62ef01/src/utils.jl#L316