nohup: ignoring input
Checking the Cayley graph classifications of bent functions from the CAST-128 S-boxes.
2019-01-08 12:34:20.470681 before
2019-01-08 12:34:45.797002 after
Number of Cayley graphs of bent functions:
32914496
2019-01-08 12:34:45.797129 before
2019-01-08 12:35:56.834171 after
Number of non-isomorphic graphs:
32914496
Checking cast128_8_31 by name in database:
Algebraic normal form of Boolean function: x0*x1*x2*x7 + x0*x1*x3*x6 + x0*x1*x4*x6 + x0*x1*x4*x7 + x0*x1*x5*x6 + x0*x1*x5*x7 + x0*x1 + x0*x2*x3*x6 + x0*x2*x4*x7 + x0*x2*x5*x7 + x0*x2*x5 + x0*x2*x6 + x0*x2 + x0*x3*x4*x6 + x0*x3*x4*x7 + x0*x3*x5*x6 + x0*x3*x5*x7 + x0*x3*x5 + x0*x3*x6 + x0*x3*x7 + x0*x3 + x0*x4*x5 + x0*x4*x6*x7 + x0*x4*x6 + x0*x4*x7 + x0*x4 + x0*x5*x7 + x0*x5 + x0*x6*x7 + x0*x6 + x1*x2*x3*x6 + x1*x2*x3*x7 + x1*x2*x5*x6 + x1*x2*x5 + x1*x2*x6*x7 + x1*x2*x6 + x1*x3*x4*x6 + x1*x3*x4*x7 + x1*x3*x5*x6 + x1*x3*x5*x7 + x1*x3*x5 + x1*x3*x6*x7 + x1*x3*x6 + x1*x3 + x1*x4*x5*x6 + x1*x4*x5 + x1*x4*x7 + x1*x5*x6*x7 + x1*x7 + x2*x3*x5*x6 + x2*x3*x5 + x2*x3*x6 + x2*x3*x7 + x2*x3 + x2*x4*x6*x7 + x2*x4 + x2*x5 + x2*x6 + x2 + x3*x4*x5 + x3*x4*x6*x7 + x3*x5*x6*x7 + x3*x7 + x3 + x4*x5*x6*x7 + x4*x5*x6 + x5*x6*x7 + x5*x6 + x5*x7 + x6*x7 + 1
Function is bent.


SDP design incidence structure t-design parameters: (True, (2, 256, 120, 56))

Classification of Cayley graphs and classification of Cayley graphs of duals differ in matrices of indexes:

There are 65536 extended Cayley classes in the extended translation class.
There are 65536 extended Cayley classes of dual bent functions in the extended translation class,
and 131072 extended Cayley classes in the union of the two.
Checking cast128_8_31 by bent function in database:
Algebraic normal form of Boolean function: x0*x1*x2*x7 + x0*x1*x3*x6 + x0*x1*x4*x6 + x0*x1*x4*x7 + x0*x1*x5*x6 + x0*x1*x5*x7 + x0*x1 + x0*x2*x3*x6 + x0*x2*x4*x7 + x0*x2*x5*x7 + x0*x2*x5 + x0*x2*x6 + x0*x2 + x0*x3*x4*x6 + x0*x3*x4*x7 + x0*x3*x5*x6 + x0*x3*x5*x7 + x0*x3*x5 + x0*x3*x6 + x0*x3*x7 + x0*x3 + x0*x4*x5 + x0*x4*x6*x7 + x0*x4*x6 + x0*x4*x7 + x0*x4 + x0*x5*x7 + x0*x5 + x0*x6*x7 + x0*x6 + x1*x2*x3*x6 + x1*x2*x3*x7 + x1*x2*x5*x6 + x1*x2*x5 + x1*x2*x6*x7 + x1*x2*x6 + x1*x3*x4*x6 + x1*x3*x4*x7 + x1*x3*x5*x6 + x1*x3*x5*x7 + x1*x3*x5 + x1*x3*x6*x7 + x1*x3*x6 + x1*x3 + x1*x4*x5*x6 + x1*x4*x5 + x1*x4*x7 + x1*x5*x6*x7 + x1*x7 + x2*x3*x5*x6 + x2*x3*x5 + x2*x3*x6 + x2*x3*x7 + x2*x3 + x2*x4*x6*x7 + x2*x4 + x2*x5 + x2*x6 + x2 + x3*x4*x5 + x3*x4*x6*x7 + x3*x5*x6*x7 + x3*x7 + x3 + x4*x5*x6*x7 + x4*x5*x6 + x5*x6*x7 + x5*x6 + x5*x7 + x6*x7 + 1
Function is bent.


SDP design incidence structure t-design parameters: (True, (2, 256, 120, 56))

Classification of Cayley graphs and classification of Cayley graphs of duals differ in matrices of indexes:

There are 65536 extended Cayley classes in the extended translation class.
There are 65536 extended Cayley classes of dual bent functions in the extended translation class,
and 131072 extended Cayley classes in the union of the two.

Checking for graphs occuring as the Cayley graph of more than 1 bent function.
2019-01-08 12:37:26.456006 before
2019-01-08 12:39:58.558996 after
Repeated graphs: