文档

alga − Rust的抽象代数

alga旨在为以代数为重点的应用程序提供坚实的基础数学抽象。它通过特性继承定义和组织通用代数结构的基本构建块。特定代数结构特性的具体实现留给其他crate。还提供了针对代数特定领域的更高层特性（如线性代数），这对于包含关于代数实体类型的泛型代码的应用程序将非常有用。

alga中定义的特性可能派生的类型示例

• 整数、实数和有理数
• 复数
• 多项式
• 矩阵和向量
• 四元数和八元数
• 连接下的字符串

alga最初是algebra的分支。

参考文献

有趣的论文

• Scratchpad II类型系统：域和子域
• 在概念启用C++中的基本代数概念

启发性的库

• Numeric Prelude (Haskell)
• Edward A. Kmett的algebra包 (Haskell)
• YAP: Another Prelude (Haskell)
• Agda的algebra模块 (Agda)
• Idris的algebra模块 (Idris)
• Felix的algebra模块 (Felix)
• non/spire (Scala)