🦊 inari

inari 是 区间算术 的 Rust 实现。

它 遵循 IEEE Std 1788.1-2017。它还实现了一部分 IEEE Std 1788-2015。

支持的平台

以下CPU受支持并持续进行测试

• x86-64

  支持基于Haswell和更新的处理器。

  当构建依赖于inari的crate时，需要指定目标CPU。一种方法是在项目中的配置文件中指定（见示例；如果您打算分发二进制文件，可能需要将 native 更改为 haswell 以获得最佳兼容性）。

• AArch64 (ARM64)

当使用Cargo功能 gmp（见下文）时，目标平台限于由 gmp-mpfr-sys crate支持的那些。例如，MSVC不受支持。

Cargo功能

• gmp（默认启用） - 启用依赖于 GMP 和 MPFR 的 操作。您可以选择禁用此功能以减少依赖项。即使在这种情况下，您仍然可以访问执行某些类型任务所需的所有操作，例如创建用于计算几何的快速鲁棒的谓词。

变更日志

在本地构建文档

RUSTDOCFLAGS="--cfg docsrs --html-in-header /path/to/inari/src/_docs/header.html" cargo doc --open

确保指定header.html的绝对路径。

相关项目

• Graphest - 一个忠实的图形计算器。

参考文献

• IEEE Std 1788-2015 - IEEE区间算术标准。DOI: 10.1109/IEEESTD.2015.7140721
• IEEE Std 1788.1-2017 - IEEE 标准区间算术（简体中文版）。 DOI: 10.1109/IEEESTD.2018.8277144