Next: 14.10 Up: 14. Computing examples using Previous: 14.8

## 14.9

Table 28: Orderings for
 Ordering Precedence on kbo-R ( r 1 ) ( R 4 ) ( s 1 ) ( S 1 ) kbo-S ( r 1 ) ( R 1 ) ( s 1 ) ( S 4 ) kbo-r ( r 4 ) ( R 1 ) ( s 1 ) ( S 1 ) kbo-s ( r 1 ) ( R 1 ) ( s 4 ) ( S 1 ) ll-SsRr S s R r syl-l-RSrs R S r s syl-r-RSrs R S r s

Table 29: Maximal/Total number of cosets defined -
 Ordering NONE P-ALL P-G P-R I-ALL I-R I-R-P kbo-R 158 1822 1822 1786 1348 345 1916 kbo-S 153 1798 1797 1777 1176 323 1913 kbo-r 158 1820 1820 1730 1380 389 1911 kbo-s 153 1552 1552 1650 1195 374 1146 ll-SsRr 161 1884 1884 1883 1922 386 2005 syl-l-RSrs 131 1365 1357 1353 601 221 1297 syl-r-RSrs 260 1585 1592 1546 267 204 1582 Ordering NONE P-ALL P-G P-R I-ALL I-R I-R-P kbo-R 211 1824 1824 1788 1351 381 1918 kbo-S 207 1801 1800 1780 1191 360 1916 kbo-r 211 1823 1823 1733 1383 424 1914 kbo-s 207 1554 1554 1654 1205 405 1148 ll-SsRr 173 1884 1884 1883 1922 391 2005 syl-l-RSrs 233 1445 1439 1435 685 320 1377 syl-r-RSrs 357 1670 1677 1632 371 295 1667

Next: 14.10 Up: 14. Computing examples using Previous: 14.8
| ZCA Home | Reports |