kigen.transf-conj — org.clojars.egri-nagy/kigen 23.04.11

'Native' conjugacy class representative calculation. Transformations are separated into single point mappings of the form [source image]. A permutation is constructed by finding the minimal relabeling of a transformation.

all-realizations clj

(all-realizations mappings p d)

All realizations of a desired map d using available mappings, compatible with partial permutation p. Just systematically trying to realize all mappings.

conj-conj clj

(conj-conj t)

(conj-conj [L G] t)

Conjoins a transformation to a conjugacy class representative sequence, based on the minimal conjugators of the sequence.

conjrep clj

(conjrep t)

Direct construction of conjugacy class representative of transformation t.

conjugators clj

(conjugators t r)

All permutations that take t to r by conjugation.

realize-a-mapping clj

(realize-a-mapping m d p)

Given a mapping m and a desired mapping d, we try to turn the mapping m into d by extending a partial permutation p represented as a hashmap. This may fail if we already had a map to that point, or we end up mapping a single point to two images. An extended hashmap is returned if it is possible, otherwise nil.

setconjrep clj

(setconjrep T)

Setwise conjugacy class representative of T. Using conjugacy/setconjrep, but only with symmetries that take produce the minimal conjrep.

setconjrepfunc clj

(setconjrepfunc S G)

Returns a conjugacy representative set calculating function. This precalculates the minimal conjugators, hance the speed.

single-maps clj

(single-maps t)

All mappings of a transformation in the form of [src img] extracted from a transformation t.