Next: 14.7 Up: 14. Computing examples using Previous: 14.5

## 14.6

Table 22: Orderings for
 Ordering Precedence on kbo-A (C 1) (c 1) (B 1) (b 1) (A 6) (a 1) kbo-B (C 1) (c 1) (B 6) (b 1) (A 1) (a 1) kbo-C (C 6) (c 1) (B 1) (b 1) (A 1) (a 1) kbo-a (C 1) (c 1) (B 1) (b 1) (A 1) (a 6) kbo-b (C 1) (c 1) (B 1) (b 6) (A 1) (a 1) kbo-c (C 1) (c 6) (B 1) (b 1) (A 1) (a 1) ll-CcBbAa C c B b A a syl-l-CcBbAa C c B b A a

Table 23: Maximal/Total number of cosets defined -
 Ordering NONE P-ALL P-G P-R I-ALL I-R I-R-P kbo-A 720 720 720 720 720 720 720 kbo-B 720 794 720 720 720 720 810 kbo-C 720 720 720 720 720 720 720 kbo-a 720 720 722 720 720 720 720 kbo-b 720 720 720 720 720 720 720 kbo-c 720 720 740 720 720 720 720 ll-CcBbAa 720 720 720 720 720 720 720 syl-l-CcBbAa 720 720 877 720 720 720 720 Ordering NONE P-ALL P-G P-R I-ALL I-R I-R-P kbo-A 735 913 883 919 736 733 933 kbo-B 726 1212 1003 1009 888 766 1227 kbo-C 725 1035 883 968 730 741 1045 kbo-a 727 955 845 891 728 748 962 kbo-b 729 1064 918 931 976 733 1139 kbo-c 726 1022 957 906 730 740 997 ll-CcBbAa 720 1069 860 956 999 760 1056 syl-l-CcBbAa 772 1112 1304 1060 772 768 1106

Next: 14.7 Up: 14. Computing examples using Previous: 14.5
| ZCA Home | Reports |