Text this: Controller synthesis for polynomial discrete-time systems