Discrete helpers
Appearance
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