Bézout identities with inequality constraints (Q1593695)

The authors' research in orthonormal wavelet construction and conjugate quadrature filter design leads one to the problem of solving certain algebraic identities with inequality constraints over Laurent polynomial rings. They employ the Quillen-Suslin theorem, the Swan theorem, the Weierstrass approximation theorem, and the Michael selection theorem to prove a result about the existence of solutions to the Bézout identity with inequality constraints.