Quantum / CONCEPT

SparseReflection

Sparse monomials are lists of variable indices with integer coefficients. The fuelled sorting laws ref_mergeFuel_perm and ref_sortFuel_perm preserve permutations. The laws ref_eval_termMul and ref_eval_mul show that evaluation respects products. The variables ref_vars pair each amplitude with its conjugate; ref_eval_swap and ref_eval_swap_vars identify index swapping with complex conjugation. The norm polynomial ref_normPoly, cubic forms ref_q0 through ref_q271, and minor polynomials ref_m0 through ref_m47 give the exact certificate data.