Expand description
Expression simplification using e-graph equality saturation.
This module uses the egg library to perform term rewriting and simplification via equality saturation.
Functionsยง
- collect
- Collect like terms in a polynomial expression
- expand
- Expand an expression (distribute products over sums)
- factor
- Factor common terms out of a sum
- get_
quantum_ rules - Get quantum-specific simplification rules
- get_
trig_ rules - Get trigonometric identities useful in quantum computing
- simplify
- Simplify an expression using e-graph equality saturation
- simplify_
quantum - Simplify an expression with quantum-specific rules
- simplify_
trig - Simplify with trigonometric rules
- substitute
- Substitute a variable with an expression