How to download program files
Remark on internal notebook formatting issues
Unix and Mac Users: Drag the link to your desired folder.
Windows Users: Right click on the link and select 'Save Link Target As' to place a copy of the program file in the desired folder.
B. Poset Subroutines
Our seven poset utilities.
C. Inverse Extensions and Isomorphism Functions
Three functions. The first two compute the inverse extensions of a given poset. The third computes the standard form of a child form of a given naturally labeled poset.
D. Poset Generation Main Programs
The thorough poset build-up program generates all posets in a methodical fashion and also generates the four auxiliary data files along the way. The quick poset build-up program generates all posets in the obvious manner using the isomorphism function. The build-up unique maximal elements program generates all posets with n elements which have unique maximal elements by appending one element to all of the posets which have n-1 elements.
1. ThrghBldUp.nb.... ThrghBldUp.m
2. QckBldUp.nb.... QckBldUp.m
3. BldUMxmls.nb.... BldUMxmls.m
E. Routine Poset Property Test Functions
Three functions. They respectively test posets for the following three properties: connected, unique maximal element, d-complete.
F. Data File Inspection and Comparison Main Programs
Two utility programs. The first facilitates the inspection of newly created data files. The second compares a newly created file of posets to a known correct file of posets.
1. Inspct.nb.... Inspct.m
2. Compar.nb.... Compar.m
G. Data File Creation Main Programs
Four utility programs. The first selects posets from a given list which have a given routine poset property. The next two respectively intersect and complement given lists of posets. The fourth extracts the sublist Z of entries of a data list X which parallels a poset list W, corresponding to a sublist Y of posets in W.
1. Selct.nb.... Selct.m
2. Intersct.nb.... Intersct.m
3. Complemnt.nb.... Complemnt.m
4. Extrct.nb.... Extrct.m
H. JDT and L-R Test Function and Main Program
The function tests posets for the jdt and the L-R properties, and the main program applies this function to a given list of posets.
1. JDTLRQ.nb.... JDTLRQ.m
2. JDTLRscan.nb.... JDTLRscan.m
I. Hook Length Poset Programs
Utilities for the subsequent programs, a main program to compute the polynomial WP(x) for each poset in a given list, a main program which determines if a poset P is a hook length poset given its WP(x) and writes its hook lengths to a parallel file if it is, a main program which forms all of the possible direct sums of two posets of a given size from a sequence of files of constituent posets, a main program to compute WP(x) in a way which uses less memory, and a main program which searchs for indecomposable disconnected hook length posets.
1. HookUtils.nb.... HookUtils.m
2. GenWPx.nb.... GenWPx.m
3. HookPsts.nb.... HookPsts.m
4. DrctSum.nb.... DrctSum.m
5. BigWPx.nb.... BigWPx.m
6. IDHLP.nb.... IDHLP.m
Remark on Internal Notebook Formatting Issues