# Semilattices up to size 6 Slat_count = [1, 1, 2, 5, 15, 53] # total = 77 Slat_index = [0, 1, 2, 4, 9, 24] Slat_list = [ Slat(num = 0, mult = [ [0]]), Slat(num = 1, mult = [ [0,0], [0,1]]), Slat(num = 2, mult = [ [0,0,0], [0,1,0], [0,0,2]]), Slat(num = 3, mult = [ [0,0,0], [0,1,1], [0,1,2]]), Slat(num = 4, mult = [ [0,0,0,0], [0,1,0,0], [0,0,2,0], [0,0,0,3]]), Slat(num = 5, mult = [ [0,0,0,0], [0,1,0,0], [0,0,2,2], [0,0,2,3]]), Slat(num = 6, mult = [ [0,0,0,0], [0,1,0,1], [0,0,2,2], [0,1,2,3]]), Slat(num = 7, mult = [ [0,0,0,0], [0,1,1,1], [0,1,2,1], [0,1,1,3]]), Slat(num = 8, mult = [ [0,0,0,0], [0,1,1,1], [0,1,2,2], [0,1,2,3]]), Slat(num = 9, mult = [ [0,0,0,0,0], [0,1,0,0,0], [0,0,2,0,0], [0,0,0,3,0], [0,0,0,0,4]]), Slat(num = 10, mult = [ [0,0,0,0,0], [0,1,0,0,0], [0,0,2,0,0], [0,0,0,3,3], [0,0,0,3,4]]), Slat(num = 11, mult = [ [0,0,0,0,0], [0,1,0,0,0], [0,0,2,0,2], [0,0,0,3,3], [0,0,2,3,4]]), Slat(num = 12, mult = [ [0,0,0,0,0], [0,1,0,0,0], [0,0,2,2,2], [0,0,2,3,2], [0,0,2,2,4]]), Slat(num = 13, mult = [ [0,0,0,0,0], [0,1,0,0,0], [0,0,2,2,2], [0,0,2,3,3], [0,0,2,3,4]]), Slat(num = 14, mult = [ [0,0,0,0,0], [0,1,0,0,1], [0,0,2,0,2], [0,0,0,3,3], [0,1,2,3,4]]), Slat(num = 15, mult = [ [0,0,0,0,0], [0,1,0,0,1], [0,0,2,2,0], [0,0,2,3,0], [0,1,0,0,4]]), Slat(num = 16, mult = [ [0,0,0,0,0], [0,1,0,0,1], [0,0,2,2,2], [0,0,2,3,2], [0,1,2,2,4]]), Slat(num = 17, mult = [ [0,0,0,0,0], [0,1,0,0,1], [0,0,2,2,2], [0,0,2,3,3], [0,1,2,3,4]]), Slat(num = 18, mult = [ [0,0,0,0,0], [0,1,0,1,1], [0,0,2,2,2], [0,1,2,3,3], [0,1,2,3,4]]), Slat(num = 19, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,1,1], [0,1,1,3,1], [0,1,1,1,4]]), Slat(num = 20, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,1,1], [0,1,1,3,3], [0,1,1,3,4]]), Slat(num = 21, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,1,2], [0,1,1,3,3], [0,1,2,3,4]]), Slat(num = 22, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,2], [0,1,2,3,2], [0,1,2,2,4]]), Slat(num = 23, mult = [ [0,0,0,0,0], [0,1,1,1,1], [0,1,2,2,2], [0,1,2,3,3], [0,1,2,3,4]]), Slat(num = 24, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,0,0], [0,0,0,3,0,0], [0,0,0,0,4,0], [0,0,0,0,0,5]]), Slat(num = 25, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,0,0], [0,0,0,3,0,0], [0,0,0,0,4,4], [0,0,0,0,4,5]]), Slat(num = 26, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,0,0], [0,0,0,3,0,3], [0,0,0,0,4,4], [0,0,0,3,4,5]]), Slat(num = 27, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,0,0], [0,0,0,3,3,3], [0,0,0,3,4,3], [0,0,0,3,3,5]]), Slat(num = 28, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,0,0], [0,0,0,3,3,3], [0,0,0,3,4,4], [0,0,0,3,4,5]]), Slat(num = 29, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,0,2], [0,0,0,3,0,3], [0,0,0,0,4,4], [0,0,2,3,4,5]]), Slat(num = 30, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,0,2], [0,0,0,3,3,0], [0,0,0,3,4,0], [0,0,2,0,0,5]]), Slat(num = 31, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,0,2], [0,0,0,3,3,3], [0,0,0,3,4,3], [0,0,2,3,3,5]]), Slat(num = 32, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,0,2], [0,0,0,3,3,3], [0,0,0,3,4,4], [0,0,2,3,4,5]]), Slat(num = 33, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,0,2,2], [0,0,0,3,3,3], [0,0,2,3,4,4], [0,0,2,3,4,5]]), Slat(num = 34, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,2,2,2], [0,0,2,3,2,2], [0,0,2,2,4,2], [0,0,2,2,2,5]]), Slat(num = 35, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,2,2,2], [0,0,2,3,2,2], [0,0,2,2,4,4], [0,0,2,2,4,5]]), Slat(num = 36, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,2,2,2], [0,0,2,3,2,3], [0,0,2,2,4,4], [0,0,2,3,4,5]]), Slat(num = 37, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,2,2,2], [0,0,2,3,3,3], [0,0,2,3,4,3], [0,0,2,3,3,5]]), Slat(num = 38, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,0], [0,0,2,2,2,2], [0,0,2,3,3,3], [0,0,2,3,4,4], [0,0,2,3,4,5]]), Slat(num = 39, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,0,0,2], [0,0,0,3,0,3], [0,0,0,0,4,4], [0,1,2,3,4,5]]), Slat(num = 40, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,0,0,2], [0,0,0,3,3,0], [0,0,0,3,4,0], [0,1,2,0,0,5]]), Slat(num = 41, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,0,0,2], [0,0,0,3,3,3], [0,0,0,3,4,3], [0,1,2,3,3,5]]), Slat(num = 42, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,0,0,2], [0,0,0,3,3,3], [0,0,0,3,4,4], [0,1,2,3,4,5]]), Slat(num = 43, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,0,2,0], [0,0,0,3,3,3], [0,0,2,3,4,3], [0,1,0,3,3,5]]), Slat(num = 44, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,0,2,2], [0,0,0,3,3,3], [0,0,2,3,4,4], [0,1,2,3,4,5]]), Slat(num = 45, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,2,2,0], [0,0,2,3,2,0], [0,0,2,2,4,0], [0,1,0,0,0,5]]), Slat(num = 46, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,2,2,0], [0,0,2,3,3,0], [0,0,2,3,4,0], [0,1,0,0,0,5]]), Slat(num = 47, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,2,2,2], [0,0,2,3,2,2], [0,0,2,2,4,2], [0,1,2,2,2,5]]), Slat(num = 48, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,2,2,2], [0,0,2,3,2,2], [0,0,2,2,4,4], [0,1,2,2,4,5]]), Slat(num = 49, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,2,2,2], [0,0,2,3,2,3], [0,0,2,2,4,4], [0,1,2,3,4,5]]), Slat(num = 50, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,2,2,2], [0,0,2,3,3,2], [0,0,2,3,4,2], [0,1,2,2,2,5]]), Slat(num = 51, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,2,2,2], [0,0,2,3,3,3], [0,0,2,3,4,3], [0,1,2,3,3,5]]), Slat(num = 52, mult = [ [0,0,0,0,0,0], [0,1,0,0,0,1], [0,0,2,2,2,2], [0,0,2,3,3,3], [0,0,2,3,4,4], [0,1,2,3,4,5]]), Slat(num = 53, mult = [ [0,0,0,0,0,0], [0,1,0,0,1,1], [0,0,2,0,2,2], [0,0,0,3,3,3], [0,1,2,3,4,4], [0,1,2,3,4,5]]), Slat(num = 54, mult = [ [0,0,0,0,0,0], [0,1,0,0,1,1], [0,0,2,2,0,2], [0,0,2,3,0,2], [0,1,0,0,4,1], [0,1,2,2,1,5]]), Slat(num = 55, mult = [ [0,0,0,0,0,0], [0,1,0,0,1,1], [0,0,2,2,0,2], [0,0,2,3,0,2], [0,1,0,0,4,4], [0,1,2,2,4,5]]), Slat(num = 56, mult = [ [0,0,0,0,0,0], [0,1,0,0,1,1], [0,0,2,2,0,2], [0,0,2,3,0,3], [0,1,0,0,4,4], [0,1,2,3,4,5]]), Slat(num = 57, mult = [ [0,0,0,0,0,0], [0,1,0,0,1,1], [0,0,2,2,2,2], [0,0,2,3,2,2], [0,1,2,2,4,4], [0,1,2,2,4,5]]), Slat(num = 58, mult = [ [0,0,0,0,0,0], [0,1,0,0,1,1], [0,0,2,2,2,2], [0,0,2,3,2,3], [0,1,2,2,4,4], [0,1,2,3,4,5]]), Slat(num = 59, mult = [ [0,0,0,0,0,0], [0,1,0,0,1,1], [0,0,2,2,2,2], [0,0,2,3,3,3], [0,1,2,3,4,4], [0,1,2,3,4,5]]), Slat(num = 60, mult = [ [0,0,0,0,0,0], [0,1,0,1,1,1], [0,0,2,2,2,2], [0,1,2,3,3,3], [0,1,2,3,4,3], [0,1,2,3,3,5]]), Slat(num = 61, mult = [ [0,0,0,0,0,0], [0,1,0,1,1,1], [0,0,2,2,2,2], [0,1,2,3,3,3], [0,1,2,3,4,4], [0,1,2,3,4,5]]), Slat(num = 62, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,1,1], [0,1,1,3,1,1], [0,1,1,1,4,1], [0,1,1,1,1,5]]), Slat(num = 63, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,1,1], [0,1,1,3,1,1], [0,1,1,1,4,4], [0,1,1,1,4,5]]), Slat(num = 64, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,1,1], [0,1,1,3,1,3], [0,1,1,1,4,4], [0,1,1,3,4,5]]), Slat(num = 65, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,1,1], [0,1,1,3,3,3], [0,1,1,3,4,3], [0,1,1,3,3,5]]), Slat(num = 66, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,1,1], [0,1,1,3,3,3], [0,1,1,3,4,4], [0,1,1,3,4,5]]), Slat(num = 67, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,1,2], [0,1,1,3,1,3], [0,1,1,1,4,4], [0,1,2,3,4,5]]), Slat(num = 68, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,1,2], [0,1,1,3,3,1], [0,1,1,3,4,1], [0,1,2,1,1,5]]), Slat(num = 69, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,1,2], [0,1,1,3,3,3], [0,1,1,3,4,3], [0,1,2,3,3,5]]), Slat(num = 70, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,1,2], [0,1,1,3,3,3], [0,1,1,3,4,4], [0,1,2,3,4,5]]), Slat(num = 71, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,1,2,2], [0,1,1,3,3,3], [0,1,2,3,4,4], [0,1,2,3,4,5]]), Slat(num = 72, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,2,2,2], [0,1,2,3,2,2], [0,1,2,2,4,2], [0,1,2,2,2,5]]), Slat(num = 73, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,2,2,2], [0,1,2,3,2,2], [0,1,2,2,4,4], [0,1,2,2,4,5]]), Slat(num = 74, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,2,2,2], [0,1,2,3,2,3], [0,1,2,2,4,4], [0,1,2,3,4,5]]), Slat(num = 75, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,2,2,2], [0,1,2,3,3,3], [0,1,2,3,4,3], [0,1,2,3,3,5]]), Slat(num = 76, mult = [ [0,0,0,0,0,0], [0,1,1,1,1,1], [0,1,2,2,2,2], [0,1,2,3,3,3], [0,1,2,3,4,4], [0,1,2,3,4,5]])] # Computed with SAGE Version 2.1.4 on 2007-04-15 # This file can be used in SAGE or Python with execfile("filename")