Skip to main content

simplify

qualia_core_db::specialized_libs::symbolic_algebra

Function simplify 

Source 
pub fn simplify(expr: &Expr) -> Expr
Expand description

Simplify an expression: constant folding, identity elimination (x+0, x·1, x·0, x⁰, x¹, −(−x), x/1, x−x, x/x) and collection of an identical x+x → 2·x. Applied to a fixpoint (bounded).