Radicand

分数が小数に崩れない数学エンジン

Radicand とは、分数が小数に崩れない数学エンジンです。doaipm メソッドに沿って Claude Code で作られた製品です。

<code>sqrt(12)</code> は <code>2√3</code> を返します。3.4641016151377544 ではありません。記号微積分、方程式、微分方程式、厳密な線形代数、任意精度、グラフ描画——すべてオフラインで動きます。カーネルは hash-consing した式の DAG を土台にした自作の Rust エンジンで、異なる部分式はそれぞれ一度だけ保持されるため、微分も展開も 4 バイトのハンドルでメモ化できます。依存関係に GPL/LGPL は一つもなく（GMP も MPFR も Maxima も PARI もありません）、HTTP クライアントも存在しません。ランディングページは同じカーネルを WebAssembly にコンパイルしているので、インストール前にブラウザで試せます。

主な機能

• 厳密な算術：<code>1/3 + 1/6 = 1/2</code>、<code>2^100</code> も一桁も違わず
• 完全な因数分解：<code>x^4+4</code> は二つの既約二次式に分かれます
• 記号微積分：微分・積分・極限・テイラー展開
• 微分方程式：一階線形／変数分離、二階定数係数。複素根は実数形式で返します
• 厳密な線形代数：行列式・逆行列・固有値を精度を落とさずに
• 任意精度：円周率五万桁を 149 ミリ秒で
• できないときはそう言う：発散する積分は拒否し、閉じた形の解は必ず元の式に代入して検証
• 本当にオフライン：依存関係に HTTP クライアントなし、CSP も締めてあります

主なスペック

doaipmの方法論とClaude Codeで作り上げた。 方法論を見る →