fact: Definition location_polynomial_points := \row_i \prod_(j < n | j != i) (a ``_ i - a ``_ j).
imports: mathcomp(all_ssreflect ssralg finalg poly polydiv) mathcomp(cyclic perm matrix mxpoly vector mxalgebra zmodp) mathcomp(finfield falgebra fieldext) ssr_ext ssralg_ext vandermonde linearcode dft poly_decoding grs bch