next up previous contents
Next: Multiplicative Invariants of Special Up: First Steps Previous: Compose T11 with all   Contents

Compose T12 with all

(dolist (x '(t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12))
   (print (list 't12 (list x (t12 (funcall x r))))))
We get the results:
(T12 (T1 ("abaBABAAbbb" . "BAAbbbb"))) 
(T12 (T2 ("babABA" . "BAAbbbb"))) 
(T12 (T3 ("aabaBABA" . "BAAbbbb"))) 
(T12 (T4 ("abaBAB" . "BAAbbbabaBA"))) 
(T12 (T5 ("abaBAB" . "BBBBaab"))) 
(T12 (T6 ("abaBAB" . "BAbbbAb"))) 
(T12 (T7 ("babaBABB" . "BAAbbbb"))) 
(T12 (T8 ("abaBAB" . "AAbbb"))) 
(T12 (T9 ("baBABa" . "BAAbbbb"))) 
(T12 (T10 ("abaBAB" . "BAAAbbbab"))) 
(T12 (T11 ("BabaBA" . "BAAbbbb"))) 
(T12 (T12 ("abaBAB" . "BBAAbbbbb")))



root 2004-05-05