On discrete-time polynomial systems