まず，(Subscript[F, 256]) を扱うための関数を定義する．（入力し易くするために，γ の代わりに r を用いた．）

生成元=r^8+r^4+r^3+r^2+1;
加法表示[x_]:=PolynomialMod[x,生成元,Modulus->2]
F256=Prepend[Table[加法表示[r^k],{k,0,254}],0];
位置[L_,e_]:=Position[L,e][[1]][[1]];
乗法表示[x_]:=If[x===0,0,r^(位置[F256,加法表示[x]]-2)];
g[x_]:=PolynomialMod[Product[(x+r^k),{k,0,12}],生成元,Modulus->2];

情報多項式 q(x) を前回作成した情報語を用いて定義する．(□ を自分のデータに従って 0 または 1 に直し，Shift-Enter．）

q[x_]:=
  (0(r^7)+ 0(r^6)+ 1(r^5)+ 0(r^4)+ 0(r^3)+ 0(r^2)+ 0r+ 0)(x^12)+(0(r^7)+ 1(r^6)+ 0(r^5)+ 1(r^4)+ 1(r^3)+ 0(r^2)+ 0r+ 0)(x^11)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^10)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^9)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^8)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^7)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^6)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^5)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^4)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^3)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^2)+
(□ (r^7)+ □ (r^6)+ □ (r^5)+ □ (r^4)+ □ (r^3)+ □ (r^2)+ □ r+ □ )(x^1)+
(1(r^7)+ 1(r^6)+ 1(r^5)+ 0(r^4)+ 1(r^3)+ 1(r^2)+ 0r+ 0)

送信多項式 u(x) は次のように定義されるのであった：

u(x)=q(x)(x^13)+(q(x)(x^13)を g(x) で割った余り）

u[x_]:=Collect[PolynomialMod[q[x]*x^13+PolynomialRemainder[q[x]*x^13,g[x],x],生成元,Modulus->2],x];

u(x) を 0 と 1 の列に直す．

送信語=Mod[Map[Table[Coefficient[加法表示[#],r,7-i],{i,0,7}]&,Table[Coefficient[u[x],x,25-i],{i,0,25}]],2];
ExportString[Table[{i,送信語[[i]]},{i,1,26}],"Table"]