lrsarith公司 swMATH ID: 37044 软件作者： 大卫·艾维斯（David Avis）、查尔斯·乔丹（Charles Jordan） 说明： lrsarith：一个小型的固定/混合算术C库。我们描述了lrsarith，它是一个小的固定精度和混合算术C库，用于整数和有理数，我们开发用于lrslib库的多面体计算。使用通用操作集，可以使用64位或128位（如果可用）固定精度编译程序，并使用扩展精度库（如GMP）或内置MP例程。一个简单的方案检查溢出，要么终止程序，要么在混合模式下更改为更高精度的算法。在lrslib中实现这些算法只会对原始代码产生最小的更改。我们给出了使用lrs和mplrs、lrslib中的顶点/面枚举代码、使用带溢出检查和不带溢出检查的64位和128位固定整数算法、GMP算法、带有GMP和MP的lrsarith混合算法以及FLINT混合算法的计算结果。我们在固定精度和混合模式下使用lrsarith包给出了一个小型的自包含示例C程序。学科： 主页： https://arxiv.org/abs/2101.12425 关键词： 数学软件;arXiv_cs。微软;C库;小型固定;混合算法;lrslib库;埃尔萨里思 相关软件： lrslib公司;轻轨系统;mplrs（mplrs）;门户网站;打火石 引用于： 0个文档 标准条款 1出版物描述软件 年份 lrsarith：一个小型的固定/混合算术C库arXiv公司大卫·艾维斯（David Avis）、查尔斯·乔丹（Charles Jordan） 2021