过去的一年致力于IEEE 802.3bj的前向纠错编码模块(FEC),发现可以把我的对偶综合工作扩展到FEC上,包括FEC的形式化验证和对偶综合。 这就导致了我需要学习纠错码,而相关的多项式环和有限域操作需要在计算代数系统上进行操作,这就导致了我需要学习计算代数系统。 常见的计算代数系统由Singular(www.singular.uni-kl.de)和GAP(www.gap-system.org)。 Singular被几个相关的工作使用,比如发