gap-system - 関数から生成行列を作成して CCZ をチェックする

Question

CCZ-equivalence をチェックする例を次に示します。次の関数 CF を Magma から GAP-system に書き換える方法を教えてください。

p=2;n=6;
function CF(f)
    M:=Matrix(  2*n+1, p^n,  
               [1: x in GF]    
         cat   [Trace(a^i * x): x in GF, i in [1..n]]   
         cat   [Trace(a^i * f(x)): x in GF, i in [1..n]]);
    return LinearCode( M );
end function;
f1:=func<x | x^3 >;
CF(f1);