编码理论

编码理论是通信理论中用于前向纠错的代数码和组合码的数学理论。SAGE在编码理论中提供了广泛的对象库和算法。

编码理论的基本对象是码、信道、编码器和解码器。以下模块提供了定义它们的基类。

提供了基本对象的可用构造和线性码的参数界限的目录。

线性码

以下模块是线性代码对象的基类,而不考虑其度量。

在特定的度量上有许多线性码的代表。

线性码族

下面列出了著名的代码族,在Sage中由他们自己的类别表示。对于它们中的一些,可以实现特殊的解码算法或计算结构不变量。

相反,对于一些代码族,Sage只能构造它们的生成矩阵,并且没有关于它们的其他先验知识:

派生代码构造

SAGE支持以下派生代码构造。如果组成码来自特殊的码族,则派生的码继承结构属性,如解码半径或最小距离:

在构造的代码的方法中可以找到简单地产生修改的生成矩阵的其他派生构造。

解码

线性码的信息集译码:

基于Guruswami-苏丹插值法的Reed-Solomon码列表译码:

线性码的自同构群

线性码参数的界

编码理论数据库

其他模块

在通信理论中,Sage中至少有一个用于源代码编码的模块:

索引和表格