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)

List of the 204 representatives of OT(7,5), ordered by the RevLex-Index.
The numbers above the signs indicate the elements of the corresponding basis.


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



              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 Dr. Lukas Finschi Terms and Conditions Privacy Policy