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 做出來。 看方法論 →