Expand description

Expression simplifier

Traits

trait for types that can be simplified

The information necessary to apply algebraic simplification to an Expr. See SimplifyContext for one implementation