Radicand

Un motore matematico in cui le frazioni non diventano mai decimali

Radicand — Un motore matematico in cui le frazioni non diventano mai decimali. È un prodotto realizzato con il metodo doaipm, usando Claude Code.

<code>sqrt(12)</code> restituisce <code>2√3</code>, non 3,4641016151377544. Calcolo simbolico, equazioni, equazioni differenziali, algebra lineare esatta, precisione arbitraria e grafici — tutto offline. Il kernel è un motore Rust scritto a mano su un DAG di espressioni in hash-consing: ogni sottoespressione distinta è memorizzata una sola volta, così derivazione ed espansione si memoizzano su un handle di 4 byte. Niente GPL né LGPL nell’albero — nessun GMP, MPFR, Maxima o PARI — e nessun client HTTP. La landing page compila lo stesso kernel in WebAssembly, così lo si può provare nel browser prima di installare qualcosa.

Funzionalità principali

• Aritmetica esatta: <code>1/3 + 1/6 = 1/2</code>, e <code>2^100</code> fino all’ultima cifra
• Fattorizzazione completa: <code>x^4+4</code> si scinde in due quadratiche irriducibili
• Calcolo simbolico: derivate, integrali, limiti, serie di Taylor
• Equazioni differenziali: primo ordine lineari e separabili, secondo ordine a coefficienti costanti, radici complesse restituite in forma reale
• Algebra lineare esatta: determinanti, inverse e autovalori senza perdita di precisione
• Precisione arbitraria: cinquantamila cifre di π in 149 ms
• Lo dice quando non ce la fa: gli integrali divergenti vengono rifiutati e ogni forma chiusa è reinserita nell’equazione
• Davvero offline: nessun client HTTP nell’albero, CSP blindata

In breve

Realizzato con il metodo doaipm e con Claude Code. Guarda la metodologia →