nkdsl.ir

Symbolic operator intermediate representation (IR).

Functions

coerce_amplitude_expr(value)	Coerces user values into typed amplitude-expression nodes.
coerce_predicate_expr(value)	Coerces user values into typed predicate-expression nodes.
validate_symbolic_ir(ir)	Validates a SymbolicOperatorIR structurally and semantically.

Classes

AmplitudeExpr(op[, args])	Typed expression node for operator matrix elements.
EmissionSpec(update_program, amplitude[, ...])	One output branch (connected state + matrix element) of a term.
KBodyIteratorSpec(labels, index_sets)	Static K-body iterator over a pre-computed list of site-index tuples.
PredicateExpr(op[, args])	Typed boolean expression node for operator branch filtering.
SymbolicIRTerm(name, iterator, predicate, ...)	One primitive declarative symbolic operator term.
SymbolicOperatorIR(operator_name, mode, ...)	Immutable symbolic operator IR container.
UpdateOp(kind[, params])	One primitive site-update operation.
UpdateProgram([ops])	Ordered immutable sequence of site-update operations.