Introduction

Symbolica is a high-performance symbolic computation framework for Python and Rust. You can use it to manipulate symbolic expressions and turn them into fast numerical kernels for computing Jacobians, numerical optimization, integration, and much more.

Today marks the 2.0 release of Symbolica, with many exciting new features and improvements. The theme of this release is programmable symbols: more of Symbolica’s behavior can now be customized by the user. This makes it possible to define mathematical objects that simplify, differentiate, expand, print, and evaluate like built-ins.

Since 1.0, Symbolica has accumulated improvements in several directions:

a simpler Rust API with more operator overloading and builder-style APIs

a symbol registration system, with namespaces, aliases, tags, user data, and custom hooks

a redesigned evaluator interface that supports double-float arithmetic and JIT compilation

richer output for notebooks and documents, including HTML output, graph and polynomial…