Permutation group G acting on a set of cardinality 16
Order = 14 = 2 * 7
(1, 2)(3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16)
Number of bent functions: ?
One Bent function (of degree 3):
[
x1*x3*x4 + x1*x3*x8 + x1*x3*x9 + x1*x3*x11 + x1*x3*x12 + x1*x3*x14 + x1*x4*x7 +
x1*x4*x9 + x1*x4*x13 + x1*x5*x6 + x1*x5*x10 + x1*x5*x11 + x1*x5*x13 +
x1*x5*x14 + x1*x5*x16 + x1*x6*x9 + x1*x6*x11 + x1*x6*x15 + x1*x7*x8 +
x1*x7*x12 + x1*x7*x13 + x1*x7*x15 + x1*x7*x16 + x1*x8*x11 + x1*x8*x13 +
x1*x9*x10 + x1*x9*x14 + x1*x9*x15 + x1*x10*x13 + x1*x10*x15 + x1*x11*x12 +
x1*x11*x16 + x1*x12*x15 + x1*x13*x14 + x1*x15*x16 + x2*x3*x6 + x2*x3*x8 +
x2*x3*x12 + x2*x3*x16 + x2*x4*x5 + x2*x4*x9 + x2*x4*x10 + x2*x4*x12 +
x2*x4*x13 + x2*x4*x15 + x2*x5*x8 + x2*x5*x10 + x2*x5*x14 + x2*x6*x7 +
x2*x6*x11 + x2*x6*x12 + x2*x6*x14 + x2*x6*x15 + x2*x7*x10 + x2*x7*x12 +
x2*x7*x16 + x2*x8*x9 + x2*x8*x13 + x2*x8*x14 + x2*x8*x16 + x2*x9*x12 +
x2*x9*x14 + x2*x10*x11 + x2*x10*x15 + x2*x10*x16 + x2*x11*x14 + x2*x11*x16 +
x2*x12*x13 + x2*x13*x16 + x2*x14*x15 + x3*x4*x6 + x3*x4*x8 + x3*x4*x9 +
x3*x4*x14 + x3*x4*x15 + x3*x5*x6 + x3*x5*x8 + x3*x5*x14 + x3*x5*x16 +
x3*x6*x7 + x3*x6*x8 + x3*x6*x15 + x3*x7*x16 + x3*x8*x16 + x3*x11*x12 +
x3*x12*x13 + x3*x12*x14 + x3*x12*x15 + x3*x13*x16 + x3*x14*x15 + x3*x14*x16
+ x4*x5*x7 + x4*x5*x9 + x4*x5*x10 + x4*x5*x15 + x4*x5*x16 + x4*x6*x7 +
x4*x6*x9 + x4*x6*x15 + x4*x7*x8 + x4*x7*x9 + x4*x7*x16 + x4*x12*x13 +
x4*x13*x14 + x4*x13*x15 + x4*x13*x16 + x4*x15*x16 + x5*x6*x8 + x5*x6*x10 +
x5*x6*x11 + x5*x6*x16 + x5*x7*x8 + x5*x7*x10 + x5*x7*x16 + x5*x8*x9 +
x5*x8*x10 + x5*x13*x14 + x5*x14*x15 + x5*x14*x16 + x6*x7*x9 + x6*x7*x11 +
x6*x7*x12 + x6*x8*x9 + x6*x8*x11 + x6*x9*x10 + x6*x9*x11 + x6*x14*x15 +
x6*x15*x16 + x7*x8*x10 + x7*x8*x12 + x7*x8*x13 + x7*x9*x10 + x7*x9*x12 +
x7*x10*x11 + x7*x10*x12 + x7*x15*x16 + x8*x9*x11 + x8*x9*x13 + x8*x9*x14 +
x8*x10*x11 + x8*x10*x13 + x8*x11*x12 + x8*x11*x13 + x9*x10*x12 + x9*x10*x14
+ x9*x10*x15 + x9*x11*x12 + x9*x11*x14 + x9*x12*x13 + x9*x12*x14 +
x10*x11*x13 + x10*x11*x15 + x10*x11*x16 + x10*x12*x13 + x10*x12*x15 +
x10*x13*x14 + x10*x13*x15 + x11*x12*x14 + x11*x12*x16 + x11*x13*x14 +
x11*x13*x16 + x11*x14*x15 + x11*x14*x16 + x12*x13*x15 + x12*x14*x15 +
x12*x15*x16 + x13*x14*x16 + x13*x15*x16
]