minicas-crs 0.0.1

Minicas-crs, the rules library for minicas.
Documentation

Mechanical simplification / factorization rules for algebraic expressions.

Companion crate to [minicas_core].

# use minicas_crs::simplify;
# use minicas_core::ast::*;
let mut n = Node::try_from("5x * 2x").unwrap();

// true means apply the full set of rules (i.e. factorization rules)
simplify(&mut n, true).unwrap();

assert_eq!(n, Node::try_from("10 * pow(x, 2)").unwrap());