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 is a website building & hosting documentation for Clojure/Script libraries
× close