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


14.1 $E_1 \vert E$


Table 12: Orderings for $E_1 \vert E$
Ordering Precedence on $\Sigma$
kbo-R (r 1) $>$ (R 6) $>$ (s 1) $>$ (S 1) $>$ (t 1) $>$ (T 1)
kbo-S (r 1) $>$ (R 1) $>$ (s 1) $>$ (S 6) $>$ (t 1) $>$ (T 1)
kbo-T (r 1) $>$ (R 1) $>$ (s 1) $>$ (S 1) $>$ (t 1) $>$ (T 6)
kbo-r (r 6) $>$ (R 1) $>$ (s 1) $>$ (S 1) $>$ (t 1) $>$ (T 1)
kbo-s (r 1) $>$ (R 1) $>$ (s 6) $>$ (S 1) $>$ (t 1) $>$ (T 1)
kbo-t (r 1) $>$ (R 1) $>$ (s 1) $>$ (S 1) $>$ (t 6) $>$ (T 1)
kbo-tsr (r 6) $>$ (R 1) $>$ (s 12) $>$ (S 1) $>$ (t 18) $>$ (T 1)
ll-TtSsRr T $>$ t $>$ S $>$ s $>$ R $>$ r
ll-tsrTSR t $>$ s $>$ r $>$ T $>$ S $>$ R
syl-l-tsrTSR t $>$ s $>$ r $>$ T $>$ S $>$ R
syl-r-tsrTSR t $>$ s $>$ r $>$ T $>$ S $>$ R



Table 13: Maximal/Total number of cosets defined - $E_1 \vert E$
Ordering NONE P-ALL P-G P-R P-R-2 I-ALL I-R I-R-P
kbo-R 146 561 561 538 205 421 96 571
kbo-S 146 504 504 491 205 433 96 545
kbo-T 146 518 518 502 205 427 96 544
kbo-r 146 558 558 553 193 418 89 557
kbo-s 146 542 542 537 193 425 89 533
kbo-t 146 549 549 544 193 431 89 557
kbo-tsr 135 496 496 495 164 312 81 521
ll-TtSsRr 157 572 572 572 223 542 97 572
ll-tsrTSR 157 576 576 576 223 547 97 565
syl-l-tsrTSR 95 360 362 331 86 99 65 370
syl-r-tsrTSR 99 389 388 387 80 114 59 395
Ordering NONE P-ALL P-G P-R P-R-2 I-ALL I-R I-R-P
kbo-R 146 561 561 538 205 421 96 571
kbo-S 146 504 504 491 205 433 96 545
kbo-T 146 518 518 502 205 427 96 544
kbo-r 146 558 558 553 193 418 89 557
kbo-s 146 542 542 537 193 425 89 533
kbo-t 146 549 549 544 193 431 89 557
kbo-tsr 135 496 496 495 164 312 81 521
ll-TtSsRr 157 572 572 572 223 542 97 572
ll-tsrTSR 157 576 576 576 223 547 97 565
syl-l-tsrTSR 95 360 362 331 86 99 96 370
syl-r-tsrTSR 99 389 388 387 80 114 89 395



next up previous
Next: 14.2 Up: 14. Computing examples using Previous: 14. Computing examples using
| ZCA Home | Reports |