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

T11: x -> Bxb ; y -> y 

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

root 2004-05-05