Definition:Monic Polynomial over Field as Sequence