Here's the decoding algorithm: Let be the received vector. Let
(1) Compute . This is an -tuple, so it must be of the form , for some and some .
(2) If is the element of then the decoded vector is .