I think in part saying about evaluating polynomial rings, it says "two functions define polynomial for infinite case" or something to that effect. I think it should was switch, for infinite case you get one polynomial but for finite rings 2?
