#finite #computation #fields #type #syntax #explicit #non-stdlib

nightly finite-fields

有限域计算的类型和特质

31 个版本 (9 个破坏性更新)

使用旧的 Rust 2015

0.10.3 2017 年 3 月 29 日
0.9.5 2017 年 3 月 13 日

#1992 in Rust 模式

Download history 3/week @ 2024-03-01 2/week @ 2024-03-08 10/week @ 2024-03-15 138/week @ 2024-03-29 34/week @ 2024-04-05

51 每月下载量
turbo 中使用

MPL-2.0GPL-2.0 许可证

115KB
3K SLoC

finite-fields

cargo version badge

一个提供非标准库有限域类型的显式语法的包。

详细信息

设计目标

该包的设计分为两部分

  • 语义:类型应该方便直接表达有限域上的数值类型,以便代码中表达的思想一目了然。

  • 语法:处理这些类型的语法应该在不合理的情况下透明且通用。例如,对于 Add,对于 GF(2) 应该提供与 Add 相同的界面,对于 GF(4)

实现

实现并不出色,但它们可以作为演示。该包目前使用固定长度的数组,程序员可以通过宏来创建类型。换句话说,它将域中数字的因子(即“数字”)作为有限长度数组的元素存储。

路线图

  • 二进制类型
  • 二进制宏
  • 这里的大重构
  • 非二进制类型
  • 非二进制宏
  • 严格测试
  • 重构巨大的宏
  • 微小部分

奇怪的阅读

依赖关系

~78KB