Expand description
Normalization for Atom expression trees.
The normalizer puts expressions into a deterministic canonical form: nested additions and multiplications are flattened, arguments are sorted, and numeric coefficients are merged.
Functionsยง
- normalize
- Normalize an atom into canonical form.
- preserves_
argument_ order - Function heads whose argument order is semantic and must survive normalization. Every other head has its arguments sorted into canonical order.