Registrable properties on codes

This issue maintains a list of properties/parameters which could be useful to track when discovered:

minimum distance
- upper bounds
  - Singleton bound
  - Griesmer bound
  - Hamming bound
  - Plotkin bound
upper bound by inspecting the weight of the rows of the generator matrix - this could be useful for e.g. cyclic codes.
- upper bound for specific code families
  - Reed-Muller
- lower bounds for specific code families
  - Goppa
  - Alternant
  - BCH
  - Cyclic
  - AG
  - Reed-Muller
- derived lower bounds from constituent codes' lower bounds
  - Punctured
  - Shortened
  - subfield subcode
  - concatenation
  - product
- exact value from other computations
  - for high enough values of maximum_error_weight in Syndrome decoder
  - weight enumerator
dimension
- upper and lower bounds for code constructions (Punctured, Shortened, Subfield Subcode)
covering radius
- found for some values of maximum_error_weight in Syndrome decoder

Comments (2)