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

T1: x -> xy ; y -> y 

(defun t1 (tuple)
 "x -> xy ; y -> y"
  (cons 
    (pinch (concatenate 'string (car tuple) (cdr tuple)))
    (cdr tuple)))

root 2004-05-05