significant simplification

QuantumSavory · Oct 10, 2024 · c0c77a4 · c0c77a4
1 parent 20bb297
commit c0c77a4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -9,7 +9,6 @@ Hecke = "3e1990a7-5d81-5526-99ce-9ba3ff248f21"
 LDPCDecoders = "3c486d74-64b9-4c60-8b1a-13a564e77efb"
 Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a"
 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
-Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13"
 PyQDecoders = "17f5de1a-9b79-4409-a58d-4d45812840f7"
 Quantikz = "b0d11df0-eea3-4d79-b4a5-421488cbf74b"
 QuantumClifford = "0525e862-1e90-11e9-3e4d-1b39d7109de1"

diff --git a/ext/QuantumCliffordHeckeExt/lifted_product.jl b/ext/QuantumCliffordHeckeExt/lifted_product.jl
@@ -72,16 +72,19 @@ julia> code_n(c2), code_k(c2)
 
 # Examples
 
-Bivariate Bicycle codes belong to a wider class of generalized bicycle (GB) codes, which are further generalized into of two block group algebra (2GBA) codes. They can be viewed as a special case of Lifted Product construction based on abelian group `ℤₗ x ℤₘ` where `ℤⱼ` cyclic group of order `j`.
+Bivariate Bicycle codes belong to a wider class of generalized bicycle (GB) codes,
+which are further generalized into of two block group algebra (2GBA) codes. They
+can be viewed as a special case of Lifted Product construction based on abelian
+group `ℤₗ x ℤₘ` where `ℤⱼ` cyclic group of order `j`.
 
 A [[756, 16, ≤ 34]] code from Table 3 of [bravyi2024high](@cite).
 
 ```jldoctest
-julia> import Hecke: group_algebra, GF, abelian_group, gens; import Oscar: PcGroup;
+julia> import Hecke: group_algebra, GF, abelian_group, gens
 
 julia> l=21; m=18;
 
-julia> GA = group_algebra(GF(2), abelian_group(PcGroup, [l, m]));
+julia> GA = group_algebra(GF(2), abelian_group([l, m]));
 
 julia> x = gens(GA)[1];