Discrete helpers

Discrete helpers is a toolbox for 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 es, but also s)
 * set_part_comp  set partitions with complement (needed for boolf)
 * sig_perm  signed permutations, i.e. elements of s (needed for boolf)
 * walsh_perm  Walsh permutations