Radicand
分数永不退化成小数的数学引擎
Radicand 是一款分数永不退化成小数的数学引擎，用 doaipm 这套方法、由 Claude Code 做出来。
<code>sqrt(12)</code> 它给你 <code>2√3</code>,不是 3.4641016151377544。符号微积分、方程求解、微分方程、精确线性代数、任意精度、作图,全部离线运行。内核是自研的 Rust hash-consing 表达式引擎——同一个子表达式全局只存一份,所以求导和展开可以按 4 字节句柄记忆化。整棵依赖树没有 GMP、MPFR、Maxima、PARI 这些 GPL/LGPL 组件,也没有任何 HTTP 客户端。落地页把内核编译成 WebAssembly,你可以先在浏览器里试,再决定要不要装。
核心能力
- 精确算术:<code>1/3 + 1/6 = 1/2</code>,<code>2^100</code> 一位不差
- 完全因式分解:<code>x^4+4</code> 分成两个不可约二次式
- 符号微积分:求导、积分、极限、泰勒展开
- 微分方程:一阶线性/可分离、二阶常系数,复根给实数形式
- 精确线性代数:行列式、逆、特征值都不掉精度
- 任意精度:五万位圆周率 149 毫秒
- 解不出就说解不出——发散积分直接拒绝,闭式解代回原方程验证
- 真离线:依赖树无 HTTP 客户端,CSP 锁死
关键参数
| 名称 | Radicand |
|---|---|
| 定位 | 分数永不退化成小数的数学引擎 |
| 参数 | MIT · 离线 · 安装包 3MB · 浏览器可直接试 |
| 官网 | radicand.doaipm.com |
| 源码 | github.com/zhitongblog/radicand |
| 构建方式 | doaipm 方法 + Claude Code |
用 doaipm 这套方法、用 Claude Code 做出来。 看方法论 →