kigen.conjugacy — kigen 19.08.05

Abstract functions for calculating conjugate elements, conjugacy classes, and representatives.

conj-conj clj

(conj-conj conjugation-function [L G] t)

conj-conj-fn clj

(conj-conj-fn conjugation-function G)

Conjoing a new element to a conjugate rep sequence, or starting a new sequence.

conjrep clj

(conjrep conjugation-function thing symmetries)

Naive brute force implementation of finding the minimal conjugacy class representative of a thing by going through all its conjugates induced by the given symmetries using a conjugation function. The conjugation function has the form: thing symmetry -> conjugated thing. Assumption is that things can be compared.

conjugateset clj

(conjugateset conjugation-function things sym)

Generalized conjugation function for sets.

conjugation-fn-bundle clj

(conjugation-fn-bundle conjugation-function G)

min-rep-and-class clj

(min-rep-and-class T conjrepfunc)

Finds the minimal conjugacy class representative and its class using the given function for calculating representatives in the collection T. Returns a pair of the minimal representative and its conjugates from T (may not be the whole class).

minconjugators clj

(minconjugators conjugation-function t G)

Finds the minimal conjugate transformation of t under permutations G. Also returns the subset of G that takes t to the rep.

seqconjrep clj

(seqconjrep conjugation-function L G)

The conjugacy class representative of a sequence of elements L under permutations G.

setconjrep clj

(setconjrep conjugation-function things symmetries)

Given a set of things, it returns the conjugacy class representative set (the minimal possible in lexicographic order).