A C# package for assembling quantum circuits and generating associated polynomial sets
Vladimir P. Gerdt, Vasily M. Severyanov · Physics of Particles and Nuclei Letters · 2007
Recently it has been shown that elements of the unitary matrix determined by a quantum circuit can be computed by counting the number of common roots in the finite field ℤ 2 for a certain set of multivariate polynomials over ℤ 2 . In this paper we present a C# package that allows a user to assemble a quantum circuit and to generate the multivariate polynomial set associated with the circuit. The generated polynomial system can further be converted to the canonical triangular involutive basis form, which is appropriate for counting the number of common roots of the polynomials.