General functions for computing subsemigroups. Black box style, the element(s) and the operation need to be supplied.
General functions for computing subsemigroups. Black box style, the element(s) and the operation need to be supplied.
(min-extensions S mul closedsub)
Returns the minimal extensions (by new element) of closed subarray of multiplication table mt.
Returns the minimal extensions (by new element) of closed subarray of multiplication table mt.
(subsgp-closure S g mul)
Adding a single new generator. S - subsemigroup, gen - a new generator, mul - the semigroup's binary operation.
Adding a single new generator. S - subsemigroup, gen - a new generator, mul - the semigroup's binary operation.
(subsgps S mul)
All subsemigroups of the given semigroup. Subsemigroups will be
All subsemigroups of the given semigroup. Subsemigroups will be
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close