#algebra #cas #equations

minicas-crs

Minicas-crs, the rules library for minicas

1 unstable release

0.0.1 Apr 20, 2025

#13 in #equations


Used in minicas

MIT/Apache

180KB
4.5K SLoC

Mechanical simplification / factorization rules for algebraic expressions.

Companion crate to [minicas_core].

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());

minicas

Crates.io minidx

Minicas, a simple + smol Computer Algebra System.

Documentation: here

Dependencies

~1.4–2MB
~45K SLoC