REWR

Example session

Create generators
# gen s
# gen t
# gen u
Create rules
# rule tst sts
# rule ts u
Knuth-Bendix completion
# kbc
See the available commands
# help

Parity complexes

Use the "parity complex" mode
# mode parity
Generate a tensor product of disks
# disk 2 3
Display the resulting signature
# sig
Display the signature with categorical sources and targets
# sigcat
Signatures can also be built by hand
# empty
# gen a
# gen b
# gen c
# gen d
# gen f : a -> c
# gen g1 : a -> b
# gen g2 : b -> c
# gen g3 : c -> d
# gen h : b -> d
# gen p : f -> g1,g2
# gen q : g2,g3 -> h
# sig
# sigcat
# cell