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.