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…
We use cookies for essential functionality and analytics. You can accept or reject analytics cookies.Cookie policy