Catalog of Point Configurations

The following table shows the number of abstract order types. Data can be accessed by clicking on the corresponding number (if available):

  card = 2 card = 3 card = 4 card = 5 card = 6 card = 7 card = 8 card = 9 card = 10
rank = 2 1 1 1 1 1 1 1 1 1
rank = 3 (dim = 2) 1 3 11 93 2 121 122 508 15 296 266 unknown
rank = 4 (dim = 3) 1 5 55 5 083 10 775 236 unknown unknown
rank = 5 (dim = 4) 1 8 204 505 336 unknown unknown
rank = 6 (dim = 5) 1 11 705 unknown unknown
rank = 7 (dim = 6) 1 15 2 293 unknown
rank = 8 (dim = 7) 1 19 7 377
rank = 9 (dim = 8) 1 24
rank = 10 (dim = 9) 1

Cardinality = 7, rank = 5 (dimension = 4)

RevLex-Index from to        

Note: The representation of the abstract order type is not lexicographically maximal.


List of representatives of OT(7,5) stopping with c = 204: 111112111121112112123 222233222332233233444 333444334443444555555 445555455556666666666 566666777777777777777 OT(7,5, 1) = +----+++++----+--+-++ OT(7,5, 2) = +-+--+-+--+-++---++-- OT(7,5, 3) = +-++++-++++----++++++ OT(7,5, 4) = +-++---++----+++----+ OT(7,5, 5) = +-++-+-++-+--+-+-+-+- OT(7,5, 6) = +++-----+++-++++++--- OT(7,5, 7) = ++--+++--++--+++----+ OT(7,5, 8) = +++++++++++++++++++++ OT(7,5, 9) = 0+-+---+-+++-+++--++- OT(7,5, 10) = 0+-+++-+---+---+++--- OT(7,5, 11) = 0+++-+---+---+--+-+-+ OT(7,5, 12) = 0+---+-+++----+++-+-- OT(7,5, 13) = 0++-+-++-+--+-++-++-+ OT(7,5, 14) = 0+-++++-++++---+++--- OT(7,5, 15) = 0+---++---+---+++-+-- OT(7,5, 16) = 0+--+--++-+++-+-+-+-+ OT(7,5, 17) = 0++-++--+--+-++-++--+ OT(7,5, 18) = 0++-----+++-++++++--- OT(7,5, 19) = 0+-----++++++++------ OT(7,5, 20) = 0+--++-++----+++----+ OT(7,5, 21) = 0+-----++++----++++++ OT(7,5, 22) = 0+--++-++--++---++++- OT(7,5, 23) = 0++-----++++------+++ OT(7,5, 24) = 0+++++-----++++++++++ OT(7,5, 25) = 0++-++++-++-+--+--++- OT(7,5, 26) = 0+--+-+--+---+-+-+-+- OT(7,5, 27) = 0+----+----++++------ OT(7,5, 28) = 0++--+++--++--+--++-- OT(7,5, 29) = 0+++--+++----++-++++- OT(7,5, 30) = 0++++++++++---------- OT(7,5, 31) = 0+---+-+++-0---++++++ OT(7,5, 32) = 0+-+--+-+--0-+-+-++-+ OT(7,5, 33) = 0+-+---+-++0+-+-+--+- OT(7,5, 34) = 0+--+--++-+0+---++++- OT(7,5, 35) = 0+-+++-+---0--+++--++ OT(7,5, 36) = 0+-++--+--+0---+++--- OT(7,5, 37) = 0+-++--+--+0+++---+++ OT(7,5, 38) = 0+-----++++0--+++-+-- OT(7,5, 39) = 0+---++---+0+++------ OT(7,5, 40) = 0+++++-----0++-++-+-- OT(7,5, 41) = 0+--+-+--+-0+---++++- OT(7,5, 42) = 0++--+--++-0++++++--- OT(7,5, 43) = 0++-----+++0--+--++-- OT(7,5, 44) = 0+--+++--++0-+-+-+-+- OT(7,5, 45) = 0++-+-++-+-0-++-++--+ OT(7,5, 46) = 0++--+++--+0++++++--- OT(7,5, 47) = 0++---++---0--+--++-- OT(7,5, 48) = 0+-+++-+---0---+++--- OT(7,5, 49) = 0+---+-+++-0++---+-++ OT(7,5, 50) = 0++-+-++-+-0+-++-++-+ OT(7,5, 51) = 0+--+--++-+0+-+-+-+-+ OT(7,5, 52) = 0+-----++++0+++------ OT(7,5, 53) = 0+--++-++--0+---++++- OT(7,5, 54) = 0+-+++-+---0+++---+++ OT(7,5, 55) = 0+--++-++--0-+++----+ OT(7,5, 56) = 0+---++---+0++---+-++ OT(7,5, 57) = 0++++-----+0++-++-+-- OT(7,5, 58) = 0+-++++-+++0+++---+++ OT(7,5, 59) = 0++-+---+-+0+-++-++-+ OT(7,5, 60) = 0+++-----++0+--+----+ OT(7,5, 61) = 0+----+----0---++++++ OT(7,5, 62) = 0+--+++--++0+---++++- OT(7,5, 63) = 0++--+++--+0++-++--++ OT(7,5, 64) = 0++---++---0------+++ OT(7,5, 65) = 0+--+--++-+0+-+-+-0-+ OT(7,5, 66) = 0+-+---+-++0-+++--0+- OT(7,5, 67) = 0+++-----++0-++-++0+- OT(7,5, 68) = 0+-+--+-+--0+---++0-+ OT(7,5, 69) = 0+++++-----0------0-- OT(7,5, 70) = 0+---+-+++-0++---+0++ OT(7,5, 71) = 0++-++--+--0+--+--0+- OT(7,5, 72) = 0+--+++--++0+---++0+- OT(7,5, 73) = 0+-++-+-++-0--+++-0++ OT(7,5, 74) = 0++-++++-++0+--+--0+- OT(7,5, 75) = 0++--+++--+0++-++-0++ OT(7,5, 76) = 00+++-0---++++-++-+-- OT(7,5, 77) = 00+-++0-+--+-++-++--+ OT(7,5, 78) = 00+++-0---++++---+-++ OT(7,5, 79) = 00+-++0+-+++-+++--++- OT(7,5, 80) = 00+---0+----+++---+++ OT(7,5, 81) = 00+-++0+-+++-++-++--+ OT(7,5, 82) = 00+---0-+++-+++---+++ OT(7,5, 83) = 00++++0----++++------ OT(7,5, 84) = 00+--+0-++-+--+--++-- OT(7,5, 85) = 00++--0--++++--+----+ OT(7,5, 86) = 00++++0----++++++++++ OT(7,5, 87) = 00+--+0+--+-++---++-- OT(7,5, 88) = 00++++0++++----++++++ OT(7,5, 89) = 00+--+0+--+-++-++--++ OT(7,5, 90) = 00++--0++--++---++++- OT(7,5, 91) = 00++++0++++---------- OT(7,5, 92) = 00+---0-++++---0-++-- OT(7,5, 93) = 00++-+0--+-++-+0++++- OT(7,5, 94) = 00+-++0-+---+--0+--+- OT(7,5, 95) = 00+-++0+-+++-++0-++-+ OT(7,5, 96) = 00+++-0+++-+++-0+++++ OT(7,5, 97) = 00+--+0-++-+--+0--+++ OT(7,5, 98) = 00++++0----++++0-+-++ OT(7,5, 99) = 00+--+0+--++--+0++--- OT(7,5,100) = 00++--0++--++--0-+-+- OT(7,5,101) = 00++++0++++----0-+-++ OT(7,5,102) = 00+---0-++++---0++--- OT(7,5,103) = 00+---0-++++---0--+++ OT(7,5,104) = 00+-++0-+--+-++0++--+ OT(7,5,105) = 00+++-0---++++-0-+-++ OT(7,5,106) = 00+-++0+-+++-++0--++- OT(7,5,107) = 00+---0+---+---0++--- OT(7,5,108) = 00+---0+---+---0--+++ OT(7,5,109) = 00+-++0-+---+--0++--+ OT(7,5,110) = 00++-+0--+---+-0-+-+- OT(7,5,111) = 00+++-0+++-+++-0+-+-- OT(7,5,112) = 00+--+0-++-+--+0-++-- OT(7,5,113) = 00++++0----++++0----- OT(7,5,114) = 00++++0----++++0+++++ OT(7,5,115) = 00+--+0+--+-++-0-++-- OT(7,5,116) = 00+--+0-++--++-0-++-- OT(7,5,117) = 00++--0++----++0++++- OT(7,5,118) = 00++--0++--++--0++++- OT(7,5,119) = 00+-++0-+--+-++0++--0 OT(7,5,120) = 00++-+0--+---+-0-+-+0 OT(7,5,121) = 00+-++0-+---+--0--++0 OT(7,5,122) = 00+--+0-++-+--+0-++-0 OT(7,5,123) = 00++--0--++++--0----0 OT(7,5,124) = 00+--+0+--++--+0+--+0 OT(7,5,125) = 00+--+0-++--++-0-++-0 OT(7,5,126) = 00++--0++----++0++++0 OT(7,5,127) = 00+-++0-+--+-++00+0-+ OT(7,5,128) = 00++-+0--+-++-+00+0+- OT(7,5,129) = 00+++-0+++-+++-00-0-- OT(7,5,130) = 00+-++0+-+++-++00+0-+ OT(7,5,131) = 00++--0--++--++00-0-+ OT(7,5,132) = 00+--+0-++--++-00+0-- OT(7,5,133) = 000+--00-++0+---++++- OT(7,5,134) = 000+++00---0+++---+++ OT(7,5,135) = 000++-00--+0--+--+-++ OT(7,5,136) = 000++-00--+0++-++-+-- OT(7,5,137) = 000+++00+++0---+++--- OT(7,5,138) = 000+--00+--0-++-++++- OT(7,5,139) = 000+++00+++0------+++ OT(7,5,140) = 000+--00-++0+---++0+- OT(7,5,141) = 000+++00---0+++---0++ OT(7,5,142) = 000+--00+--0+---++0+- OT(7,5,143) = 000+--00+--0+---++0-+ OT(7,5,144) = 000++-00--+0--+--+0-- OT(7,5,145) = 000+++00---0------0++ OT(7,5,146) = 000+--00+--0-++-++0-+ OT(7,5,147) = 000++-00++-0--+--+0-- OT(7,5,148) = 000++-00--+0--+--+000 OT(7,5,149) = 000+--00+--0-++-++000 OT(7,5,150) = 000000++++----+--+-++ OT(7,5,151) = 000000++--+-++-++--++ OT(7,5,152) = 000000++-+++-++-++--+ OT(7,5,153) = 000000+--------++++++ OT(7,5,154) = 0000000+-++-+--+--++- OT(7,5,155) = 0000000+++----+++-+-- OT(7,5,156) = 0000000+++----+--+-++ OT(7,5,157) = 0000000++-+++-++-+-+- OT(7,5,158) = 0000000+---+------+++ OT(7,5,159) = 0000000+--+-++-++--++ OT(7,5,160) = 0000000++++---------- OT(7,5,161) = 0000000++----++-++++- OT(7,5,162) = 0000000++++----++++++ OT(7,5,163) = 0000000+--++--+--++-- OT(7,5,164) = 0000000++--++--+----+ OT(7,5,165) = 0000000++++++++------ OT(7,5,166) = 0000000+++----+0----- OT(7,5,167) = 0000000+-++-+--0+--+- OT(7,5,168) = 0000000++----++0+-+-+ OT(7,5,169) = 0000000++-+++-+0++++- OT(7,5,170) = 0000000+-++-+--0--++- OT(7,5,171) = 0000000+----+++0--+++ OT(7,5,172) = 0000000+++-+++-0+-+-- OT(7,5,173) = 0000000+--+-++-0+--++ OT(7,5,174) = 0000000+---+---0--+++ OT(7,5,175) = 0000000++++----0+++++ OT(7,5,176) = 0000000++-+--+-0+-+-+ OT(7,5,177) = 0000000++--++--0----+ OT(7,5,178) = 0000000+--+-++-0+--+0 OT(7,5,179) = 0000000++++----0----0 OT(7,5,180) = 0000000+-++-+--0--++0 OT(7,5,181) = 0000000++++++++0++++0 OT(7,5,182) = 00000000+--0-+++----+ OT(7,5,183) = 00000000+++0---++++++ OT(7,5,184) = 00000000++-0++-++--++ OT(7,5,185) = 00000000+--0-++-++--+ OT(7,5,186) = 00000000+++0+++---+++ OT(7,5,187) = 00000000+--0-+++--0-+ OT(7,5,188) = 00000000++-0--+++-0-- OT(7,5,189) = 00000000+--0+---++0-+ OT(7,5,190) = 00000000+--0+--+--0-+ OT(7,5,191) = 00000000+++0+++---0++ OT(7,5,192) = 00000000++-0++-++-0++ OT(7,5,193) = 00000000+++0++++++000 OT(7,5,194) = 00000000000+++-++-+-- OT(7,5,195) = 00000000000++---++++- OT(7,5,196) = 00000000000++++++++++ OT(7,5,197) = 000000000000++---+-++ OT(7,5,198) = 000000000000+++---+++ OT(7,5,199) = 000000000000+--+--++- OT(7,5,200) = 000000000000++++++--- OT(7,5,201) = 000000000000+---++0+- OT(7,5,202) = 000000000000+++---0++ OT(7,5,203) = 000000000000++++++0++ OT(7,5,204) = 000000000000000++++++



Maintained by Lukas Finschi (finschi [at] ifor.math.ethz.ch)