quantum-symbolic

Minimal symbolic quantum algebra engine built on Sympy.

Install

pip install -e ".[dev]"

Example

from sympy import symbols
from quantum_symbolic import bra, ket, simplify_expr

i, j = symbols("i j")
expr = bra(i) * ket(j)
print(simplify_expr(expr))  # KroneckerDelta(i, j)

Quantum Engine Mini-Manual

This package is a symbolic quantum algebra engine. It does not numerically simulate amplitudes; it rewrites symbolic expressions using quantum-style rules.

Core operations

1. State construction
   • ket(label) creates |label>
   • bra(label) creates <label|
2. Operator construction
   • op(label) creates a symbolic operator
3. Multiplication/composition
   • Use * to build products like <i|j>, A|j>, or <i|A|j>
4. Rule application (simplification)
   • simplify_expr(expr) repeatedly applies rewrite rules
   • Current built-in rule: adjacent <i|j> rewrites to KroneckerDelta(i, j)

Typical workflow

from sympy import symbols
from quantum_symbolic import bra, ket, op, simplify_expr

i, j = symbols("i j")
A = op("A")

expr = bra(i) * ket(j)
print(simplify_expr(expr))  # KroneckerDelta(i, j)

expr2 = bra(i) * A * ket(j)
print(simplify_expr(expr2))  # unchanged unless a rule applies

Practical notes

• Keep expressions symbolic (Sympy symbols/objects are supported).
• Simplification is local and rule-based; if no rule matches, expression stays as-is.
• You can control rewrite passes with simplify_expr(expr, max_iterations=8).