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

T5: x -> x ; y -> Y

(defun t5 (tuple)
 "x -> x ; y -> Y"
 (cons
  (car tuple)
  (inv (cdr tuple))))


root 2004-05-05