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

T4: x -> x ; y -> yx 

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

root 2004-05-05