next up previous
Next: 14.10 Up: 14. Computing examples using Previous: 14.8


14.9 $Cam(3) \vert E$


Table 28: Orderings for $Cam(3) \vert E$
Ordering Precedence on $\Sigma$
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 - $Cam(3) \vert E$
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 up previous
Next: 14.10 Up: 14. Computing examples using Previous: 14.8
| ZCA Home | Reports |