A small symbolic Pauli-algebra engine and qsym CLI. It is the worked example
for QudeLeap's beginner-training "how to develop" lab — small on purpose, so
the interesting part is the workflow around it, not the algebra.
The engine handles single Paulis, Pauli strings, multiplication with phase
tracking (i^k), a commutes predicate, a sign() token, and weight() (the
count of non-identity sites). The qsym CLI exposes a small toolkit of three
subcommands:
$ qsym mul XZ ZX
+YY
$ qsym show XIZ
+XIZ len=3 weight=2 sign=+
$ qsym weight XIZ
2Extension features — a commute subcommand, a kron (tensor-product)
subcommand, a --verbose flag, and a GitHub Pages deploy workflow — are
intentionally left as training-starter issues for newcomers to implement
end-to-end. See docs/design/qsym-rs.md for the roadmap and
docs/training-issues/ for the issue write-ups.
git clone https://github.com/QudeLeap/qsym-rs
cd qsym-rs
make check # fmt-check + clippy + testApache-2.0. See LICENSE.