kigen.pbr — kigen 19.08.05

partitioned binary relations stored as maps: integers -> set of integers e.g. {1 #{1 2}, 2 #{2}} for degree n, domain is 1..n, codomain is n+1..2n e.g. degree 3, domain is {1,2,3}, codomain is {4,5,6}

act clj

(act A pbr)

the action of a partitioned binary relation pbr on a set A that is a subset of the union of its domain and codomain

brauer-gens clj

(brauer-gens n)

Generator PBRs of the Brauer monoid.

edges-from-node clj

(edges-from-node node pbr)

ext->int clj

(ext->int extrep)

External representation to internal representation.

flip clj

(flip pbr)

Flips a pbr upside-down.

img clj

(img pbr)

the image of the partitioned binary relation, i.e. acting on its points

mul clj

(mul a b)

multiply two partitioned binary relations

overlay clj

(overlay pbr1 pbr2)

Overlays two pbrs. The pbrs should have the same (co)domains.

pbr-monoid clj

(pbr-monoid n)

The full PBR monoid generated combinatorially.

rand-pbr clj

(rand-pbr n)

(rand-pbr m n)

a random (n,m) partitioned binary relation

rand-subset clj

(rand-subset coll)

returns a random subset of the given collection

reachable-endpoints clj

(reachable-endpoints node pbrs endpoints)

rev clj

(rev pbr)

Reverses the arrow in a pbr.

shift-pbr clj

(shift-pbr pbr offsets)