fixed subsytem constructor

Author: esabo

src/CodingTheory.jl

@@ -29,7 +29,7 @@ import Oscar: dual, isprime, factor, transpose, order, polynomial, nrows, ncols,
     isisomorphic, lift, quo, VectorSpace, dimension, extend, support, complement,
     is_regular, iscyclic, genus, density, isdegenerate, index, generators, copy, issubfield, ⊗,
     girth, generator_matrix, polynomial_ring, is_primitive, normal_subgroups, vector_space,
-    tensor_product, gens, dim
+    tensor_product, gens, dim, is_isomorphic
 import Oscar.Nemo: exponent_vectors
 import Base: circshift, iseven, show, length, in, zeros, ⊆, /, *, ==, ∩, +, -, copy, isequal, ∘
 import CairoMakie: save

test/Quantum/subsystem_code_test.jl

@@ -5,8 +5,8 @@
     # [[9, 1, 4, 3]] gauged Shor code
     S = ["XXXXXXIII", "XXXIIIXXX", "ZZIZZIZZI","IZZIZZIZZ"]
     # these are the {X, Z} pairings
-     G_ops = ["IZZIIIIII", "IIXIIIIIX", "IIIIZZIII", "IIIIIXIIX", "ZZIIIIIII", "XIIIIIXII", "IIIZZIIII", "IIIXIIXII"]
-    G = S ∪  G_ops
+    G_ops = ["IZZIIIIII", "IIXIIIIIX", "IIIIZZIII", "IIIIIXIIX", "ZZIIIIIII", "XIIIIIXII", "IIIZZIIII", "IIIXIIXII"]
+    G = S ∪ G_ops
     L = ["ZZZZZZZZZ", "XXXXXXXXX"]
     Q = SubsystemCode(G)
     @test length(Q) == 9

test/runtests.jl

@@ -11,7 +11,7 @@ include("Classical/ReedMuller_test.jl")
 include("Classical/misc_known_codes_test.jl")
 include("Classical/cyclotomic_test.jl")
 include("Classical/cyclic_code_test.jl")
-include("Classical/GeneralizedReedSolomon_test.jl")
+# include("Classical/GeneralizedReedSolomon_test.jl")
 include("Classical/quasi-cyclic_code_test.jl")
 # include("Classical/tilings_Tanner_test.jl")
 include("Classical/concatenation_test.jl")
@@ -22,5 +22,5 @@ include("Quantum/stabilizer_code_test.jl")
 include("Quantum/quantum_MC_ids_test.jl")
 include("Quantum/misc_known_codes_test.jl")
 include("Quantum/product_codes_test.jl")
-# include("Quantum/subsystem_code_test.jl")
+include("Quantum/subsystem_code_test.jl")
 # include("chain_complex_test.jl")