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

## 14.1

Table 12: Orderings for
 Ordering Precedence on 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 -
 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: 14.2 Up: 14. Computing examples using Previous: 14. Computing examples using
| ZCA Home | Reports |