Basics of Equality Saturation
8 months ago
- #egglog
- #linear algebra
- #optimization
- 使用egglog构建线性代数优化器的入门介绍
- 初始DSL支持常量、变量、加法及乘法运算
- 定义包含加减乘除等运算的Num类
- 支持逆运算与类型转换以提升易用性
- 创建简单表达式并在e-graph中检查其属性
- 定义加法与乘法的交换律、结合律重写规则
- 解释规则应用方式及其局限性
- 运行加法与乘法的常量折叠规则
- 演示表达式在规则运行后如何变为等价形式