|
| 1 | +@testitem "ECC GB Codes - slow" tags=[:slow] begin |
| 2 | + using Hecke |
| 3 | + using HiGHS |
| 4 | + using JuMP |
| 5 | + using QuantumClifford.ECC.QECCore: code_k, code_n, distance, rate |
| 6 | + using QuantumClifford.ECC: generalized_bicycle_codes, code_k, code_n, DistanceMIPAlgorithm |
| 7 | + |
| 8 | + @testset "generalized bicycle codes from arXiv:2203.17216" begin |
| 9 | + # codes taken from https://github.com/QEC-pages/GB-codes |
| 10 | + c = generalized_bicycle_codes([0, 2], [0, 1], 5) |
| 11 | + @test code_n(c) == 10 |
| 12 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 3 |
| 13 | + c = generalized_bicycle_codes([0, 3], [0, 1], 11) |
| 14 | + @test code_n(c) == 22 |
| 15 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 4 |
| 16 | + c = generalized_bicycle_codes([0, 5], [0, 1], 13) |
| 17 | + @test code_n(c) == 26 |
| 18 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 5 |
| 19 | + c = generalized_bicycle_codes([0, 4], [0, 1], 19) |
| 20 | + @test code_n(c) == 38 |
| 21 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 5 |
| 22 | + c = generalized_bicycle_codes([0, 8], [0, 1], 29) |
| 23 | + @test code_n(c) == 58 |
| 24 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 7 |
| 25 | + c = generalized_bicycle_codes([0, 8], [0, 1], 37) |
| 26 | + @test code_n(c) == 74 |
| 27 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 8 |
| 28 | + c = generalized_bicycle_codes([0, 8], [0, 1], 53) |
| 29 | + @test code_n(c) == 106 |
| 30 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 9 |
| 31 | + |
| 32 | + c = generalized_bicycle_codes([0, 1, 2, 3], [0, 1], 5) |
| 33 | + @test code_n(c) == 10 |
| 34 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 3 |
| 35 | + c = generalized_bicycle_codes([0, 1, 2, 5], [0, 1], 11) |
| 36 | + @test code_n(c) == 22 |
| 37 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 5 |
| 38 | + c = generalized_bicycle_codes([0, 1, 2, 5], [0, 1], 13) |
| 39 | + @test code_n(c) == 26 |
| 40 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 5 |
| 41 | + c = generalized_bicycle_codes([0, 2, 3, 7], [0, 1], 19) |
| 42 | + @test code_n(c) == 38 |
| 43 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 7 |
| 44 | + c = generalized_bicycle_codes([0, 1, 3, 10], [0, 1], 29) |
| 45 | + @test code_n(c) == 58 |
| 46 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 9 |
| 47 | + c = generalized_bicycle_codes([0, 1, 4, 14], [0, 1], 37) |
| 48 | + @test code_n(c) == 74 |
| 49 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 11 |
| 50 | + |
| 51 | + c = generalized_bicycle_codes([0, 1, 2, 3], [0, 1], 5) |
| 52 | + @test code_n(c) == 10 |
| 53 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 3 |
| 54 | + c = generalized_bicycle_codes([0, 1, 2, 3], [0, 1], 7) |
| 55 | + @test code_n(c) == 14 |
| 56 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 3 |
| 57 | + c = generalized_bicycle_codes([0, 1, 2, 5], [0, 1], 11) |
| 58 | + @test code_n(c) == 22 |
| 59 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 5 |
| 60 | + c = generalized_bicycle_codes([0, 1, 2, 5], [0, 1], 13) |
| 61 | + @test code_n(c) == 26 |
| 62 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 5 |
| 63 | + c = generalized_bicycle_codes([0, 1, 3, 9], [0, 1], 17) |
| 64 | + @test code_n(c) == 34 |
| 65 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 7 |
| 66 | + c = generalized_bicycle_codes([0, 1, 2, 8], [0, 1], 19) |
| 67 | + @test code_n(c) == 38 |
| 68 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 7 |
| 69 | + c = generalized_bicycle_codes([0, 1, 3, 9], [0, 1], 23) |
| 70 | + @test code_n(c) == 46 |
| 71 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 8 |
| 72 | + c = generalized_bicycle_codes([0, 1, 3, 10], [0, 1], 29) |
| 73 | + @test code_n(c) == 58 |
| 74 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 9 |
| 75 | + c = generalized_bicycle_codes([0, 5, 11,17], [0, 1], 31) |
| 76 | + @test code_n(c) == 62 |
| 77 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 10 |
| 78 | + c = generalized_bicycle_codes([0, 1, 4, 14], [0, 1], 37) |
| 79 | + @test code_n(c) == 74 |
| 80 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 11 |
| 81 | + |
| 82 | + c = generalized_bicycle_codes([0, 1, 2, 4, 5, 8], [0, 1], 11) |
| 83 | + @test code_n(c) == 22 |
| 84 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 6 |
| 85 | + c = generalized_bicycle_codes([0, 2, 3, 6, 7, 9], [0, 1], 13) |
| 86 | + @test code_n(c) == 26 |
| 87 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 6 |
| 88 | + c = generalized_bicycle_codes([0, 1, 2, 3, 4, 8], [0, 1], 19) |
| 89 | + @test code_n(c) == 38 |
| 90 | + @test distance(c, DistanceMIPAlgorithm(solver=HiGHS)) == 7 |
| 91 | + end |
| 92 | +end |
0 commit comments