Expand description
Foundation layer: expression nodes, arena, tree traversal, canonicalization, and core types.
Modulesยง
- assumptions
- Mathematical property inference engine.
- config
- Configuration for controlling evaluation behavior.
- errors
- Error types for symplex.
- numeric
- Exact conversions between machine floats and rationals.