"Source: Text/Code/CodeAlG.text";
"Line: 389";
"Date: Tue Jun 27 09:43:58 2017";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeAlG.text, line: 389
// Example: H166E4 ()
print "Example: H166E4";
ei := GetEchoInput();
SetEchoInput(true);
P := Polytope( [[3,0], [5,0], [3,3], [1,5], [0,3], [0,1]] );
C := ToricCode(P, 7);
[ Length(C), Dimension(C), MinimumDistance(C) ];
BKLCLowerBound(Field(C), Length(C), Dimension(C));
assert $1 eq 12;
SetEchoInput(ei);
