next up previous contents
Next: T4: x -> x Up: The Andrews-Curtis Transformation functions Previous: T2: x -> X   Contents

T3: x -> axA ; y -> y 

(defun t3 (tuple)
 "x -> axA ; y -> y"
 (cons 
   (pinch (concatenate 'string "a" (car tuple) "A"))
   (cdr tuple)))

root 2004-05-05