Poset List Files and Associated Data Files

Each file is an uncompressed plain (text) file with the same name as its link.
Files whose names end in a number 'n' contain posets with n elements or data associated to posets with n elements.
Each line in each poset list file contains one child form of one poset.
The child forms are ordered according to Mathematica's standard ordering.
Each record in each associated data file contains one item for one unlabeled poset or for one naturally labeled poset.
Each file can be read into one Mathematica list using the ReadList[] command.

Previewing and Downloading Instructions

Data File Index

Click on an item to move down to the description below of those kind of files:
* Posets
* Connected Posets
* Posets with Unique Maximal Elements
* Hook Length Posets and Their Hook Lengths
* Connected Hook Length Posets and Their Hook Lengths
* Indecomposable Disconnected Hook Length Posets and Their Hook Lengths
* Connected d-Complete Posets
* Connected Non-d-Complete JDT Posets
* Naturally Labeled Posets
* Inverse Extensions of Standard Forms
* Standard Isomorphisms from Naturally Labeled Posets
* Name Lookups for Standard Forms

File Descriptions

Click on an item to display the links to the poset or data files of that kind:
*Posets: 1<=n<=9
Each unlabeled poset P with n elements is listed in its standard child form.
*Connected Posets: 1<=n<=9
Each unlabeled connected poset P with n elements is listed in its standard child form.
*Posets with Unique Maximal Elements: 1<=n<=9
Each unlabeled poset P with n elements which has a unique maximal element is listed in its standard child form.


*Hook Length Posets: 1<=n<=7
Each unlabeled poset P with n elements which has the hook length property is listed in its standard child form. The respective sets of hook lengths are listed in a set of parallel files.
*Connected Hook Length Posets: 1<=n<=9
Each unlabeled connected poset P with n elements which has the hook length property is listed in its standard child form. The respective sets of hook lengths are listed in a set of parallel files.
*Indecomposable Disconnected Hook Length Posets: 1<=n<=9
Each indecomposable disconnected hook length poset P with n elements is listed in its standard child form. The respective sets of hook lengths are listed in a set of parallel files.


*Connected d-Complete Posets: 1<=n<=9
Each unlabeled connected poset P with n elements which has the d-complete property is listed in its standard child form.
*Connected Non-d-Complete JDT Posets: 1<=n<=9
Each unlabeled connected poset P with n elements which has the jeu de taquin property and which does not have the d-complete property is listed in its standard child form.


*Naturally Labeled Posets: 1<=n<=7
Each naturally labeled poset P with n elements is listed in its child form.
*Inverse Extensions of Posets: 1<=n<=7
The kth line consists of the list of inverse extensions for the standard form of the kth unlabeled n-poset in the standard ordering of n-posets.
*Standard Isomorphisms from Naturally Labeled Posets: 1<=n<=7
Each line has the form 's[C] = g', where C is the child form of a natural labeling of a poset P with n elements and g is the earliest order extension which can convert C into the standard form of P.
*Name Lookups for Posets: 1<=n<=7
Each line has the form 'm[C] = #', where C is the standard form of a poset P and # is the position of the standard form of P with n elements in the standardly ordered list of standard forms for all unlabeled posets with n elements.

Download Links for Poset List Files and Associated Data Files

To Preview a File: Click on its link.
To Download a File: If consistency with our package of Mathematica programs is desired, first create an empty folder with the indicated name (which contains some upper case letters) to hold the files of a given kind. Then right click (control-click on some Macs) on the link and select 'Save Link As...' to place a copy of the data file in the desired folder.

Posets in Standard Form (in Subdirectory StdPsts)
stdpsts1 ....1 poset....0 KB
stdpsts2 ....2 posets....0 KB
stdpsts3 ....5 posets....0 KB
stdpsts4 ....16 posets....0 KB
stdpsts5 ....63 posets....1 KB
stdpsts6 ....318 posets....9 KB
stdpsts7 ....2,045 posets....69 KB
stdpsts8 ....16,999 posets....669 KB
stdpsts9 ....183,231 posets....8316 KB

Connected Posets (in Subdirectory Connets)
connets1 ....1 poset....0 KB
connets2 ....1 poset....0 KB
connets3 ....3 posets....0 KB
connets4 ....10 posets....0 KB
connets5 ....44 posets....1 KB
connets6 ....238 posets....7 KB
connets7 ....1,650 posets....57 KB
connets8 ....14,512 posets....579 KB
connets9 ....163,341 posets....7478 KB

Posets with Unique Maximal Elements (in Subdirectory UMaxmls)
umaxmls1 ....1 poset....0 KB
umaxmls2 ....1 poset....0 KB
umaxmls3 ....2 posets....0 KB
umaxmls4 ....5 posets....0 KB
umaxmls5 ....16 posets....0 KB
umaxmls6 ....63 posets....2 KB
umaxmls7 ....318 posets....11 KB
umaxmls8 ....2,045 posets....83 KB
umaxmls9 ....16,999 posets....792 KB

Hook Length Posets (in Subdirectory HookPos)
hookpos1 ....1 poset....0 KB
hookpos2 ....2 posets....0 KB
hookpos3 ....4 posets....0 KB
hookpos4 ....10 posets....0 KB
hookpos5 ....23 posets....1 KB
hookpos6 ....63 posets....2 KB
hookpos7 ....165 posets....5 KB

Their Hook Lengths (in Subdirectory HookLns)
hooklns1 ....for 1 poset....0 KB
hooklns2 ....for 2 posets....0 KB
hooklns3 ....for 4 posets....0 KB
hooklns4 ....for 10 posets....0 KB
hooklns5 ....for 23 posets....0 KB
hooklns6 ....for 63 posets....1 KB
hooklns7 ....for 165 posets....3 KB

Connected Hook Length Posets (in Subdirectory CoHkPos)
cohkpos1 ....1 poset....0 KB
cohkpos2 ....1 poset....0 KB
cohkpos3 ....2 posets....0 KB
cohkpos4 ....5 posets....0 KB
cohkpos5 ....11 posets....0 KB
cohkpos6 ....31 posets....1 KB
cohkpos7 ....75 posets....2 KB
cohkpos8 ....232 posets....9 KB
cohkpos9 ....607 posets....26 KB

Their Hook Lengths (in Subdirectory CoHkLns)
cohklns1 ....for 1 poset....0 KB
cohklns2 ....for 1 poset....0 KB
cohklns3 ....for 2 posets....0 KB
cohklns4 ....for 5 posets....0 KB
cohklns5 ....for 11 posets....0 KB
cohklns6 ....for 31 posets....0 KB
cohklns7 ....for 75 posets....1 KB
cohklns8 ....for 232 posets....4 KB
cohklns9 ....for 607 posets....13 KB

Indecomposable Disconnected Hook Length Posets (in Subdirectory IDHLPos)
idhlpos1 ....0 posets....0 KB
idhlpos2 ....0 posets....0 KB
idhlpos3 ....0 posets....0 KB
idhlpos4 ....0 posets....0 KB
idhlpos5 ....0 posets....0 KB
idhlpos6 ....0 posets....0 KB
idhlpos7 ....4 posets....0 KB
idhlpos8 ....5 posets....0 KB
idhlpos9 ....31 posets....1 KB

Their Hook Lengths (in Subdirectory IDHLPhl)
idhlphl1 ....for 0 posets....0 KB
idhlphl2 ....for 0 posets....0 KB
idhlphl3 ....for 0 posets....0 KB
idhlphl4 ....for 0 posets....0 KB
idhlphl5 ....for 0 posets....0 KB
idhlphl6 ....for 0 posets....0 KB
idhlphl7 ....for 4 posets....0 KB
idhlphl8 ....for 5 posets....0 KB
idhlphl9 ....for 31 posets....1 KB

Connected d-Complete Posets (in Subdirectory Cnctdcs)
cnctdcs1 ....1 poset....0 KB
cnctdcs2 ....1 poset....0 KB
cnctdcs3 ....2 posets....0 KB
cnctdcs4 ....5 posets....0 KB
cnctdcs5 ....11 posets....0 KB
cnctdcs6 ....28 posets....1 KB
cnctdcs7 ....69 posets....2 KB
cnctdcs8 ....181 posets....7 KB
cnctdcs9 ....474 posets....20 KB

Connected Non-d-Complete JDT Posets (in Subdirectory CJDTndc)
cjdtndc1 ....0 posets....0 KB
cjdtndc2 ....0 posets....0 KB
cjdtndc3 ....0 posets....0 KB
cjdtndc4 ....0 posets....0 KB
cjdtndc5 ....0 posets....0 KB
cjdtndc6 ....4 posets....0 KB
cjdtndc7 ....8 posets....0 KB
cjdtndc8 ....55 posets....2 KB
cjdtndc9 ....142 posets....6 KB

Naturally Labeled Posets (in Subdirectory NatLabs)
natlabs1 ....1 poset....0 KB
natlabs2 ....2 posets....0 KB
natlabs3 ....7 posets....0 KB
natlabs4 ....40 posets....1 KB
natlabs5 ....357 posets....8 KB
natlabs6 ....4,824 posets....133 KB
natlabs7 ....96,428 posets....3169 KB

Inverse Extensions of Posets (in Subdirectory InvExts)
invexts1 ....for 1 poset....0 KB
invexts2 ....for 2 posets....0 KB
invexts3 ....for 5 posets....0 KB
invexts4 ....for 16 posets....1 KB
invexts5 ....for 63 posets....11 KB
invexts6 ....for 318 posets....165 KB
invexts7 ....for 2,045 posets....3441 KB

Standard Isomorphisms from Naturally Labeled Posets (in Subdirectory StdIsos)
stdisos1 ....1 equation....0 KB
stdisos2 ....2 equations....0 KB
stdisos3 ....7 equations....0 KB
stdisos4 ....40 equations....1 KB
stdisos5 ....357 equations....14 KB
stdisos6 ....4,824 equations....229 KB
stdisos7 ....96,428 equations....5290 KB

Name Lookups for Standard Forms (in Subdirectory Lookups)
lookups1 ....1 equation....0 KB
lookup2 ....2 equations....0 KB
lookup3 ....5 equations....0 KB
lookup4 ....16 equations....0 KB
lookup5 ....63 equations....2 KB
lookup6 ....318 equations....12 KB
lookup7 ....2,045 equations....90 KB

Return to Chapel Hill Poset Atlas Home Page Table of Contents