simplipy assets Rule sets and engine configurations for simplipy, a fast, contract sound simplification engine for symbolic mathematical expressions. Install an engine by name (downloads this repository's files on first use): Artifact to package compatibility: simplipy ≥ 0.12 (the AC engine with the clean 23 operator vocabulary) pairs with the acj artifacts and the base config below. The pre 0.12 artifacts ( 2 1 , 3 2 , 4 3 , dev ) use the retired hyper operator vocabulary ( mult3 , pow2 , ...) and load only on simplipy ≤ 0.11 — pin pip install "simplipy 1 , cos pi 1 , exp( inf) 0 ) ship as mined, SYMBOLICALLY CERTIFIED rules the serve time fold performs no numeric evaluation at all (exact rational arithmetic lives in the canonical constructors; a certified interval classification arm carries extended real collapses). Every mine is gated by an independent symbolic verifier ( simplipy.verify.verify ruleset ) that re judges each rule at its own trigger points at contract precision; f64 near miss impostors (e.g. tanh(exp(pi)) 1 , true residual ~1.5e 20) are refused. Rule counts shrank as engine machinery replaced whole rule families (constructor arithmetic, odd root joins, generalized…
Runs entirely in your browser via DuckDB-Wasm — this dataset's real data file is loaded once, then queried locally. Nothing is sent to a server.
We use cookies for essential functionality and analytics. You can accept or reject analytics cookies.Cookie policy