Next: 14.4 Up: 14. Computing examples using Previous: 14.2

## 14.3

Table 16: Orderings for
 Ordering Precedence on kbo-A (C 1) (c 1) (B 1) (b 1) (A 6) (a 1) kbo-B (C 1) (c 1) (B 6) (b 1) (A 1) (a 1) kbo-C (C 6) (c 1) (B 1) (b 1) (A 1) (a 1) kbo-a (C 1) (c 1) (B 1) (b 1) (A 1) (a 6) kbo-b (C 1) (c 1) (B 1) (b 6) (A 1) (a 1) kbo-c (C 1) (c 6) (B 1) (b 1) (A 1) (a 1) ll-CcBbAa C c B b A a ll-CcbaBA C c b a B A syl-l-CcBbAa C c B b A a

Table 17: Maximal/Total number of cosets defined -
 Ordering NONE P-ALL P-G P-R I-ALL I-R I-R-P kbo-A 1153 1640 1875 1198 1153 1153 1640 kbo-B 1125 900 1921 1590 1125 1125 900 kbo-C 1070 1196 1362 2027 1070 1070 1196 kbo-a 1153 821 1778 1001 1153 1153 821 kbo-b 1071 1085 1532 1186 1071 1071 1085 kbo-c 1110 1563 2187 1544 1110 1110 1563 ll-CcBbAa 1153 968 1576 2206 1153 1153 945 ll-CcbaBA 1153 944 1570 2244 1180 1153 945 syl-l-CcBbAa 1004 882 1081 1647 1004 1004 882 Ordering NONE P-ALL P-G P-R I-ALL I-R I-R-P kbo-A 1153 1760 2280 1306 1153 1153 1760 kbo-B 1125 950 2270 1841 1125 1125 950 kbo-C 1075 1293 1489 2193 1075 1075 1293 kbo-a 1153 867 2122 1064 1153 1153 867 kbo-b 1077 1106 1907 1300 1077 1077 1106 kbo-c 1110 1756 2381 1584 1110 1110 1756 ll-CcBbAa 1153 1026 1887 2492 1153 1153 998 ll-CcbaBA 1153 998 1906 2535 1268 1153 999 syl-l-CcBbAa 1040 1012 1198 1853 1040 1040 1012

Next: 14.4 Up: 14. Computing examples using Previous: 14.2
| ZCA Home | Reports |