Trac #30085: Implemented constructions for Kasami codes

We added methods to generate the extended Kasami codes and the Kasami codes. For a definition of those codes see the book "Distance-Regular Graphs" by Brouwer et. al. URL: https://trac.sagemath.org/30085 Reported by: gh-Ivo-Maffei Ticket author(s): Ivo Maffei Reviewer(s): Dima Pasechnik
sagemath · Jul 23, 2020 · 147309d · 147309d
2 parents f26319d + b94cc3b
commit 147309d
Show file tree

Hide file tree

Showing 9 changed files with 1,265 additions and 1 deletion.
diff --git a/src/doc/en/reference/coding/index.rst b/src/doc/en/reference/coding/index.rst
@@ -16,6 +16,7 @@ decoders. The following modules provide the base classes defining them.
    sage/coding/abstract_code
    sage/coding/linear_code_no_metric
    sage/coding/linear_code
+   sage/coding/linear_rank_metric
    sage/coding/channel
    sage/coding/encoder
    sage/coding/decoder
@@ -50,6 +51,7 @@ computations for structural invariants are available.
    sage/coding/reed_muller_code
    sage/coding/grs_code
    sage/coding/goppa_code
+   sage/coding/kasami_codes
 
 In contrast, for some code families Sage can only construct their generator
 matrix and has no other a priori knowledge on them:

diff --git a/src/doc/en/reference/references/index.rst b/src/doc/en/reference/references/index.rst
@@ -3124,6 +3124,15 @@ REFERENCES:
              subcodes of the second order binary Reed-Muller codes*.
              Information and Control, 18, pp. 369-394, 1971.
 
+.. [Kas1966a] \T. Kasami: *Weight Distributions of
+              Bose-Chaudhuri-Hocquenghem Codes*. Coordinated Science
+              Laboratory, University of Illinois at Urbana-Champaign.
+              1966 http://hdl.handle.net/2142/74459
+
+.. [Kas1966b] \T. Kasami: *Weight Distribution Formula for Some Class
+              of Cyclic Codes*. Coordinated Science Laboratory,
+              University of Illinois at Urbana-Champaign. 1966
+
 .. [Kas2018] András Kaszanyitzky. *The GraftalLace Cellular Automata*.
              Preprint, :arxiv:`1805.11532`.
 

diff --git a/src/module_list.py b/src/module_list.py
@@ -121,6 +121,9 @@
     Extension('sage.coding.codecan.codecan',
               sources = ['sage/coding/codecan/codecan.pyx']),
 
+    Extension('sage.coding.kasami_codes',
+              sources = ['sage/coding/kasami_codes.pyx']),
+
     Extension('*', ['sage/coding/**/*.pyx']),
 
     ################################

diff --git a/src/sage/coding/codes_catalog.py b/src/sage/coding/codes_catalog.py
@@ -21,7 +21,7 @@
     :meth:`~sage.coding.hamming_code.HammingCode` @ Hamming codes
     :meth:`~sage.coding.golay_code.GolayCode` @ Golay codes
     :meth:`~sage.coding.goppa_code.GoppaCode` @ Goppa codes
-
+    :meth:`~sage.coding.kasami_codes.KasamiCode` @ Kasami codes
 
 Families of Codes (Generator matrix representation)
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -100,6 +100,8 @@
 _lazy_import('sage.coding.hamming_code', 'HammingCode')
 _lazy_import('sage.coding.golay_code', 'GolayCode')
 _lazy_import('sage.coding.goppa_code', 'GoppaCode')
+_lazy_import('sage.coding.kasami_codes', 'KasamiCode')
+_lazy_import('sage.coding.linear_rank_metric', 'LinearRankMetricCode')
 
 _lazy_import('sage.coding.guava', ['QuasiQuadraticResidueCode', 'RandomLinearCodeGuava'])
 

diff --git a/src/sage/coding/decoders_catalog.py b/src/sage/coding/decoders_catalog.py
@@ -75,5 +75,6 @@
 lazy_import('sage.coding.punctured_code', 'PuncturedCodeOriginalCodeDecoder')
 lazy_import('sage.coding.subfield_subcode', 'SubfieldSubcodeOriginalCodeDecoder')
 lazy_import('sage.coding.information_set_decoder', 'LinearCodeInformationSetDecoder')
+lazy_import('sage.coding.linear_rank_metric', 'LinearRankMetricCodeNearestNeighborDecoder')
 
 del lazy_import