HEISENBERG MALCIFYER

Created in collaboration with Hang Lu Su.

Type in a word in the three-dimensional Heisenberg group $H(\mathbb{Z}) = \langle a, b \mid c = [a,b], \, c \text{ central } \rangle $, and this will output the Mal'cev normal form. Words you enter MUST be written in $\{a,b,c,A,B,C\}^*$, where $A,B,C$ denote the inverses of $a,b,c$ respectively.

Created in collaboration with Hang Lu Su.

Type in a word in the three-dimensional Heisenberg group $H(\mathbb{Z}) = \langle a, b \mid c = [a,b], \, c \text{ central } \rangle $, and this will output the Mal'cev normal form. Words you enter MUST be written in $\{a,b,c,A,B,C\}^*$, where $A,B,C$ denote the inverses of $a,b,c$ respectively.