Merge PR

esabo · Feb 9, 2024 · 647396b · 647396b
1 parent a8e4d03
commit 647396b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/docs/src/Quantum/weight_reduction.md b/docs/src/Quantum/weight_reduction.md
@@ -1,4 +1,4 @@
-# Weight reduction
+# Weight Reduction
 
 See the weight reduction tutorial for a more detailed explanation of this function.
 

diff --git a/docs/src/index.md b/docs/src/index.md
@@ -21,6 +21,8 @@ const CTFieldElem = FinFieldElem
 const CTMatrixTypes = MatElem{<:CTFieldElem}
 const CTPolyRing = PolyRing{<:CTFieldElem}
 const CTPolyRingElem = PolyRingElem{<:CTFieldElem}
+const CTGroupAlgebra = AlgGrpElem{fpFieldElem, AlgGrp{fpFieldElem, GrpAbFinGen, GrpAbFinGenElem}}
+const CTChainComplex = Union{ComplexOfMorphisms{AbstractAlgebra.FPModule{fpFieldElem}}}
 ```
 A code is defined by matrices of type `CTMatrixTypes`, which include `fpMatrix` and `fqPolyRepMatrix`. The former have base ring `GF(p)` and the latter `GF(p, l, :α)`. Due to the way finite fields are typically represented in a computer, matrices over `GF(p, l, :α)` are *considerably* larger and slower than those over `GF(p)`. This in turn *considerably* limits the length of the codes able to be handled by the library when using this type. Therefore, it is *strongly* encouraged to utilize the field constructor `GF(p)` instead of `GF(p, 1)` when building codes over $$\mathbb{F}_p$$.