Independent sets of semigroups represented by multiplication tables.
Independent sets of semigroups represented by multiplication tables.
(independent? mt A)
Decides whether the set A is an independent set in multiplication table mt.
Decides whether the set A is an independent set in multiplication table mt.
(min-extensions mt elts I)
All independent sets that are minimal extensions of the independent set I. mt - multiplication table, elts - a subset of elements of the semigroup, I - the set to be extended
All independent sets that are minimal extensions of the independent set I. mt - multiplication table, elts - a subset of elements of the semigroup, I - the set to be extended
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close