Definition:Polynomial Addition over Field as Sequence