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

T7: x -> bxB ; y -> y 

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

root 2004-05-05