next up previous contents
Next: T3: x -> axA Up: The Andrews-Curtis Transformation functions Previous: T1: x -> xy   Contents

T2: x -> X ; y -> y 

(defun t2 (tuple)
 "x -> X ; y -> y"
 (cons 
   (inv (car tuple))
   (cdr tuple)))

root 2004-05-05