proposition: Lemma errloc_twisted (y : 'rV[F]_n) : errloc (rVexp a n) (supp y) = errloc (rVexp a n) (supp (twisted a y)).
proof: Proof. by rewrite /errloc supp_twisted. Qed.
imports: mathcomp(all_ssreflect ssralg poly polydiv finalg zmodp) mathcomp(matrix mxalgebra mxpoly vector fieldext finfield) ssralg_ext hamming linearcode decoding cyclic_code poly_decoding vandermonde dft euclid grs f2