gap-system - 从函数创建生成矩阵以检查 CCZ

Question

这是检查 CCZ-equivalence 的示例。如何将以下函数 CF 从 Magma 重写为 GAP 系统？

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);