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

T12: x -> x ; y -> Byb

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


root 2004-05-05