Next:
T6: x -> x
Up:
The Andrews-Curtis Transformation functions
Previous:
T4: x -> x
Contents
T5: x -> x ; y -> Y
(defun t5 (tuple) "x -> x ; y -> Y" (cons (car tuple) (inv (cdr tuple))))
root 2004-05-05
