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

T8: x -> x ; y -> byB 

(defun t8 (tuple)
 "x -> x ; y -> byB"
 (cons
  (car tuple)
  (pinch (concatenate 'string "b" (cdr tuple) "B"))))

root 2004-05-05