next up previous contents
Next: T11: x -> Bxb Up: The Andrews-Curtis Transformation functions Previous: T9: x -> Axa   Contents

T10: x -> x ; y -> Aya 

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

root 2004-05-05