# B_Func_8_Pol


############################################################################
# Representatives of inequivalent Bent functions of the form
#
#  f=x[4]*x[8] + x[3]*x[7] + x[2]*x[6] + x[1]*x[5] + g(x[1], x[2], x[3] , x[4])
#
# Where g : GF(2)^2 -> GF(2) is an arbitrary function
#############################################################################





f:= [ [
x[4]*x[8]+
x[3]*x[7]+
x[2]*x[6]+
x[2]*x[3]*x[4]+
x[1]*x[5]
],


[
x[4]+
x[4]*x[8]+
x[3]+
x[3]*x[7]+
x[3]*x[4]+
x[2]+
x[2]*x[6]+
x[2]*x[4]+
x[2]*x[3]+
x[2]*x[3]*x[4]+
x[1]+
x[1]*x[5]+
x[1]*x[4]+
x[1]*x[3]+
x[1]*x[3]*x[4]+
x[1]*x[2]+
x[1]*x[2]*x[4]+
x[1]*x[2]*x[3]+
x[1]*x[2]*x[3]*x[4]
],



[
x[4]+
x[4]*x[8]+
x[3]+
x[3]*x[7]+
x[3]*x[4]+
x[2]+
x[2]*x[6]+
x[2]*x[4]+
x[2]*x[3]+
x[1]+
x[1]*x[5]+
x[1]*x[4]+
x[1]*x[3]+
x[1]*x[3]*x[4]+
x[1]*x[2]+
x[1]*x[2]*x[4]+
x[1]*x[2]*x[3]+
x[1]*x[2]*x[3]*x[4]
]];