This note uses a polynomial approach to present a necessary and sufficient
condition for local controllability of single-input-single-output (SISO) no
nlinear systems. The condition is presented in terms of common factors of a
noncommutative polynomial expression. This result exposes controllability
properties of a nonlinear system in the input-output framework, and gives a
computable procedure for examining nonlinear system controllability using
computer algebra.