Liking cljdoc? Tell your friends :D

kigen.skeleton

Skeleton of a transformation semigroup given by a set of generators.

Skeleton of a transformation semigroup given by a set of  generators.
raw docstring

calc-heightsclj

(calc-heights eqvcls subduction?)
source

depthclj

(depth sk)
(depth sk P)
source

displayclj

(display skeleton)
source

expand-set-keyed-mapclj

(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.
sourceraw docstring

finite-setclj

(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.
sourceraw docstring

skeletonclj

(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.
sourceraw docstring

subduction-functionclj

(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
sourceraw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close