Module affine_equivalence_classes 

Operations on affine equivalence classes of boolean functions

$g$ and $f$ $n$-variable Boolean functions are affine equivalent if $\forall x \in \mathbb{F}_2, g(x) = f(Dx + a) + bx + c$ for some D $\in \mathcal M_n(\mathbb{F}_2)$ invertible matrix, $a, b \in \mathbb{F}^n_2$ vectors and $c \in \mathbb{F}_2$

All the equivalence classes representatives have been computed by Joanne Elizabeth Fuller, in her thesis.

Structs

AffineEquivalenceFactors

Affine-equivalence factors between 2 $n$-variable Boolean functions.

Constants

BOOLEAN_FUNCTIONS_3_VAR_AFFINE_EQ_CLASSES

Representatives of all affine equivalence classes of boolean functions with 3 variables

BOOLEAN_FUNCTIONS_4_VAR_AFFINE_EQ_CLASSES

Representatives of all affine equivalence classes of boolean functions with 4 variables. The last class is the class of bent functions.

BOOLEAN_FUNCTIONS_5_VAR_AFFINE_EQ_CLASSES

Representatives of all affine equivalence classes of boolean functions with 5 variables

Functions

compute_affine_equivalence

Check if two Boolean functions are affine-equivalent, and returns equivalence factors if so.