Discrete helpers

Discrete helpers is a toolbox for discrete mathematics created by user Watchduck. It is published on GitHub.
These pages will be the main parts of its documentation. (Apart from some in the readme files.)

• binv   binary vectors (often used for truth tables in boolf)
• boolf   Boolean functions (related to Studies of Boolean functions, especially Studies of Euler diagrams)
• perm   permutations (with composion like other functions, see Permutation notation)
• set_part   set partitions (often used for equivalence classes, but also Cayley tables)
• set_part_comp   set partitions with complement (needed for boolf)
• sig_perm   signed permutations, i.e. elements of hyperoctahedral groups (needed for boolf)
• walsh_perm   Walsh permutations