Next: 14.3 Up: 14. Computing examples using Previous: 14.1

## 14.2

Table 14: Orderings for
 Ordering Precedence on kbo-A (a 1) (b 1) (A 6) (B 1) kbo-B (a 1) (b 1) (A 1) (B 6) kbo-a (a 6) (b 1) (A 1) (B 1) kbo-b (a 1) (b 6) (A 1) (B 1) ll-BbAa B b A a syl-l-abAB a b A B syl-r-abAB a b A B

Table 15: Maximal/Total number of cosets defined -
 Ordering NONE P-ALL P-G P-R I-ALL I-R I-R-P kbo-A 143 171 172 171 149 176 171 kbo-B 163 161 162 165 163 177 165 kbo-a 143 162 163 224 151 157 164 kbo-b 163 237 127 133 163 158 237 ll-BbAa 143 276 276 275 138 176 277 syl-l-abAB 148 164 158 260 148 155 147 syl-r-abAB 148 164 158 247 148 147 163 Ordering NONE P-ALL P-G P-R I-ALL I-R I-R-P kbo-A 143 177 179 178 152 177 178 kbo-B 163 163 165 167 165 178 168 kbo-a 143 170 172 239 155 165 173 kbo-b 163 246 139 141 165 159 248 ll-BbAa 143 282 287 284 161 177 284 syl-l-abAB 151 175 169 279 152 164 156 syl-r-abAB 151 177 171 272 151 159 172

Next: 14.3 Up: 14. Computing examples using Previous: 14.1
| ZCA Home | Reports |