#equation #cas #algebra #rules #minicas

minicas-crs

Minicas-crs, the rules library for minicas

1 unstable release

new 0.0.1 Apr 20, 2025

#13 in #cas

Download history 136/week @ 2025-04-16

136 downloads per month
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.3–2MB
~42K SLoC