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

T9: x -> Axa ; y -> y 

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

root 2004-05-05