Skeleton of a transformation semigroup given by a set of generators.
Skeleton of a transformation semigroup given by a set of generators.
(expand-set-keyed-map m)Takes a map whose keys are sets and returns another map where each element of key set maps to the value of the original key.
Takes a map whose keys are sets and returns another map where each element of key set maps to the value of the original key.
(finite-set n)Returns the set of integers 0..n-1, canonical representation of an n-element finite set.
Returns the set of integers 0..n-1, canonical representation of an n-element finite set.
(skeleton gens)Creates a big map of holding all the skeleton information for the transformation semigroup generated by gens.
Creates a big map of holding all the skeleton information for the transformation semigroup generated by gens.
(subduction-function actions)P subduces Q if Q can be transformed to Qt by some action to be a superset of P. P,Q: finite sets; actions: transformations acting on the right
P subduces Q if Q can be transformed to Qt by some action to be a superset of P. P,Q: finite sets; actions: transformations acting on the right
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |