Definition
Plain language
A Python toolkit for doing algebra and calculus symbolically, the way you would by hand.
As stated in the literature
A Python computer-algebra library; a frequent source of real bugs in software-engineering agent benchmarks, including a block-matrix multiplication bug where an intermediate result degraded from a matrix object to a scalar integer.
Why it matters: It matters because its subtle real-world bugs make demanding, verifiable tests of whether a coding agent can fix genuinely tricky math software.
For example, a student or researcher might use SymPy to simplify a messy algebraic expression or solve an integral exactly rather than numerically.
Heard on the show
“There's a bug in SymPy, the symbolic math library — a function called lambdify, which turns symbolic expressions into runnable Python, mishandles single-element tuples.”Episode 130 — Why AI Agents Coordinate Better Through a Shared Board Than a Boss