1个不稳定版本

0.1.0 2020年7月13日

#1303 in 数学


cyclotomic 中使用

LGPL-3.0-only

1MB
31K SLoC

antic-rs

这是一个代数数论antic库的包装器。

功能方面是个优秀的库,但由于是用C编写的,API非常糟糕!没有借用检查,没有生命周期管理,最糟糕的是没有RAII,因此你必须自己记住初始化和释放对象。

所有这些问题都可以通过提供一个安全的Rust包装库来解决。

这主要是在我们的代数数域库代码中的基准测试中实现的。

要编译此库,您需要安装antic和flint。

bindgen调用

src/bindings.rs源文件由脚本generate_bindings.sh生成,该脚本进行一些魔法操作,使bindgen生成合法的Rust代码。

依赖关系

~490–760KB
~15K SLoC