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 = 6, rank = 3 (dimension = 2)

RevLex-Index from to        

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


List of representatives of OT(6,3) stopping with c = 93: 11121121231121231234 22332334442334445555 34445555556666666666 OT(6,3, 1) = +++-++-+--++-----+-- OT(6,3, 2) = ++--+----++--+-+++++ OT(6,3, 3) = ++++------------++-- OT(6,3, 4) = +++-++-+--++-+--+-++ OT(6,3, 5) = +--+--++----++--+-+- OT(6,3, 6) = +------+++---+++++-+ OT(6,3, 7) = ++--+----++----+---- OT(6,3, 8) = +++-++-+--++-+--+--+ OT(6,3, 9) = +---+++------+++---- OT(6,3,10) = +++---+-++--+-+++--+ OT(6,3,11) = ++--+----++----+--+- OT(6,3,12) = +------+++---+++++++ OT(6,3,13) = +++---+-++--+-+++--- OT(6,3,14) = ++++------------++++ OT(6,3,15) = ++++------++++++---- OT(6,3,16) = ++++++++++++++++++++ OT(6,3,17) = 0++-++-+----+-+----- OT(6,3,18) = 0+++++++++-----+-+++ OT(6,3,19) = 0++++++---+++--+-++- OT(6,3,20) = 0++-++--++++--+----+ OT(6,3,21) = 0+++------------++-- OT(6,3,22) = 0+--+----+-++++-++++ OT(6,3,23) = 0++-++-+----+-++-+-- OT(6,3,24) = 0+---++++-+----+++++ OT(6,3,25) = 0++---+-++--+-+++-++ OT(6,3,26) = 0+++---+++---+++--+- OT(6,3,27) = 0++-++--++++--++-+-+ OT(6,3,28) = 0++-++-+--++-+--+-++ OT(6,3,29) = 0+++---++++++---++-+ OT(6,3,30) = 0+---++++--++++----- OT(6,3,31) = 0+++++++++--------++ OT(6,3,32) = 0+--+----++----+---- OT(6,3,33) = 0+--+--++-+--++-+++- OT(6,3,34) = 0++++++---+++-----+- OT(6,3,35) = 0+++++++++++++++++-- OT(6,3,36) = 0++-++-+----+-++-+++ OT(6,3,37) = 0++---+-++--+-+++--- OT(6,3,38) = 0+--+----++----+--++ OT(6,3,39) = 0++-++-+--++-+--+--- OT(6,3,40) = 0+++------++++++---- OT(6,3,41) = 0+++++++++---------- OT(6,3,42) = 0+++------------++++ OT(6,3,43) = 0++++++---+++------+ OT(6,3,44) = 0+++++++++++++++++++ OT(6,3,45) = 0++-++-+----+-++-++0 OT(6,3,46) = 0++++++------++++++0 OT(6,3,47) = 0++++++---+++------0 OT(6,3,48) = 0+---++0+-+----++-++ OT(6,3,49) = 0+++---0++---+++-++- OT(6,3,50) = 0+--+--0-++----+-+-- OT(6,3,51) = 0+++---0+++++---+--+ OT(6,3,52) = 0++++++0--+++----++- OT(6,3,53) = 0++++++0++-------+++ OT(6,3,54) = 0++++++0+++++++++--- OT(6,3,55) = 0+---++0+-+----+++++ OT(6,3,56) = 0+---++0+--++++----- OT(6,3,57) = 0+++---0++---+++--+- OT(6,3,58) = 0+++---0+++++---++-+ OT(6,3,59) = 0+--+--0+-+--++-+++- OT(6,3,60) = 0++++++0--+++-----+- OT(6,3,61) = 0++-++-0++++--++-+-+ OT(6,3,62) = 0++++++0++--------++ OT(6,3,63) = 0++-++-0----+-++-+-- OT(6,3,64) = 0+---++0+--++++---+- OT(6,3,65) = 0+--+--0-+-++++-++-+ OT(6,3,66) = 0++---+0++--+-+++--+ OT(6,3,67) = 0+++---0+++++---++++ OT(6,3,68) = 0++++++0-----+++++++ OT(6,3,69) = 0++++++0--+++------- OT(6,3,70) = 0++-++-0++++--++-+++ OT(6,3,71) = 0++++++0++---------+ OT(6,3,72) = 0++-++-0----+-++-++- OT(6,3,73) = 0+--+--0-+-++++0++++ OT(6,3,74) = 0++-++-0--++-+-0+-++ OT(6,3,75) = 0++-++-0----+-+0-+-- OT(6,3,76) = 0++++++0++-----0--++ OT(6,3,77) = 0++-++-0++++--+0-+-+ OT(6,3,78) = 0++++++0+++++++0+0-- OT(6,3,79) = 0++-++-0++++--0----+ OT(6,3,80) = 0++---+0++--+-0-++++ OT(6,3,81) = 0++++++0++----0+-+++ OT(6,3,82) = 0+--+--0-++---0--+-- OT(6,3,83) = 0000+----+-++++-++-- OT(6,3,84) = 0000++-+----+-++-+++ OT(6,3,85) = 0000++++++------++++ OT(6,3,86) = 0000+----++----+--++ OT(6,3,87) = 0000+++---+++------+ OT(6,3,88) = 0000++++++++++++---- OT(6,3,89) = 0000+----+-++++-0+-- OT(6,3,90) = 0000++++++------0+++ OT(6,3,91) = 0000+++---+++---0++- OT(6,3,92) = 0000++++++++++++0--- OT(6,3,93) = 0000000000++++++++++



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