// 08082005 Iwan Duursma
// concatenation of [16,8,9] RS code over F16 gives [32,16,11]/F4
F4:=FiniteField(2,2);
b:=a*a;
C:=LinearCode< F4, 32 |
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,a,b,0,0,b,1,a,1,1,0,1,b,a],
[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,b,a,b,0,b,b,1,a,a,1,b,1,a,a,0],
[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,b,b,a,0,1,0,1,a,1,0,1,0,b,1,a],
[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,b,0,a,0,1,a,1,a,1,0,1,a,b,1,a,a],
[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,b,a,0,1,b,0,a,a,1,0,1,b,b,0,0,a],
[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,a,0,1,a,0,b,a,1,0,1,b,0,0,b,a,b],
[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,b,b,b,b,a,1,b,a,1,b,a,b,1,0,a,b],
[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,b,a,b,a,1,0,a,0,b,0,b,b,0,1,b,b],
[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1,b,1,0,b,a,a,a,0,0,a,a,a,1,1],
[0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,b,1,1,b,1,a,1,0,a,a,b,a,1,1,b],
[0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,b,a,b,a,0,1,0,b,a,a,b,a,b,b,a],
[0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,b,1,b,b,0,a,0,1,a,0,b,b,b,b,a,0],
[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,1,a,b,1,0,a,a,a,a,a,1,0,b,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,a,a,1,1,a,b,a,1,a,1,0,1,1,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,1,a,a,a,b,a,1,0,b,b,a,b,0,b],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,b,a,a,a,1,a,0,0,1,b,a,b,b,b,1]
>;
[Length(C), Dimension(C), MinimumDistance(C)];
// [32,16,11]
IsSelfDual(C);
// true