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

T6: x -> x ; y -> ayA

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


root 2004-05-05