fact: Variable encode_discard : cancel_on (kernel 'H) encode discard.
imports: mathcomp(all_ssreflect ssralg poly polydiv fingroup perm) mathcomp(finalg zmodp matrix mxalgebra mxpoly vector) ssralg_ext hamming linearcode decoding channel_code