3 个版本

0.1.2 2022年10月25日
0.1.1 2022年9月26日
0.1.0 2022年9月10日

#12 in #符号数学

MIT 许可证

92KB
1.5K SLoC

SymOxide:计算机代数系统的中间表示和转换

SymOxide 从 Pymbolic 中吸取了许多设计决策,可以称为 Pymbolic 的 Rust 重写。Symoxide 确实实现了类似代码行数的更快的表达式遍历。


lib.rs:

SymOxide 为标量表达式提供中间表示,并为遍历和转换这些表达式提供抽象访问者(称为映射器)。

  • primitives 包含支持的表达式类型。
  • builders 包含构建这些表达式的例程。
  • [mod@parse] 包含这些表达式的解析器实现。
  • operations 提供对这些表达式执行常见算术运算的例程。
  • mappers 提供标量表达式的通用遍历模式的抽象访问者。
  • mapper_impls 使用 mappers 为表达式提供有用的分析工具。
  • design_doc 讨论了 Symoxide 架构中嵌入的关键设计决策。

依赖项

~11–22MB
~339K SLoC