// output of ./demo/comb/partition-asc-sorts2-demo.cc: // Description: //% Partitions into parts of s sorts, as weakly ascending lists. //% Lexicographic order: major order by parts, minor by sorts, where //% comparison proceeds as part1, sort1; part2, sort2; part3, sort3, etc. //% Cf. OEIS sequences (partitions of n into parts of s kinds): //% A000041 (s=1), A000712 (s=2), A000716 (s=3), A023003 (s=4), //% A023004 (s=5), A023005 (s=6), A023006 (s=7), and A023007 (s=8). arg 1: 6 == n [partitions of n] default=6 arg 2: 2 == s [number of sorts (s>=1)] default=2 1: [ 1:0 1:0 1:0 1:0 1:0 1:0 ] 2: [ 1:0 1:0 1:0 1:0 1:0 1:1 ] 3: [ 1:0 1:0 1:0 1:0 1:1 1:1 ] 4: [ 1:0 1:0 1:0 1:0 2:0 ] 5: [ 1:0 1:0 1:0 1:0 2:1 ] 6: [ 1:0 1:0 1:0 1:1 1:1 1:1 ] 7: [ 1:0 1:0 1:0 1:1 2:0 ] 8: [ 1:0 1:0 1:0 1:1 2:1 ] 9: [ 1:0 1:0 1:0 3:0 ] 10: [ 1:0 1:0 1:0 3:1 ] 11: [ 1:0 1:0 1:1 1:1 1:1 1:1 ] 12: [ 1:0 1:0 1:1 1:1 2:0 ] 13: [ 1:0 1:0 1:1 1:1 2:1 ] 14: [ 1:0 1:0 1:1 3:0 ] 15: [ 1:0 1:0 1:1 3:1 ] 16: [ 1:0 1:0 2:0 2:0 ] 17: [ 1:0 1:0 2:0 2:1 ] 18: [ 1:0 1:0 2:1 2:1 ] 19: [ 1:0 1:0 4:0 ] 20: [ 1:0 1:0 4:1 ] 21: [ 1:0 1:1 1:1 1:1 1:1 1:1 ] 22: [ 1:0 1:1 1:1 1:1 2:0 ] 23: [ 1:0 1:1 1:1 1:1 2:1 ] 24: [ 1:0 1:1 1:1 3:0 ] 25: [ 1:0 1:1 1:1 3:1 ] 26: [ 1:0 1:1 2:0 2:0 ] 27: [ 1:0 1:1 2:0 2:1 ] 28: [ 1:0 1:1 2:1 2:1 ] 29: [ 1:0 1:1 4:0 ] 30: [ 1:0 1:1 4:1 ] 31: [ 1:0 2:0 3:0 ] 32: [ 1:0 2:0 3:1 ] 33: [ 1:0 2:1 3:0 ] 34: [ 1:0 2:1 3:1 ] 35: [ 1:0 5:0 ] 36: [ 1:0 5:1 ] 37: [ 1:1 1:1 1:1 1:1 1:1 1:1 ] 38: [ 1:1 1:1 1:1 1:1 2:0 ] 39: [ 1:1 1:1 1:1 1:1 2:1 ] 40: [ 1:1 1:1 1:1 3:0 ] 41: [ 1:1 1:1 1:1 3:1 ] 42: [ 1:1 1:1 2:0 2:0 ] 43: [ 1:1 1:1 2:0 2:1 ] 44: [ 1:1 1:1 2:1 2:1 ] 45: [ 1:1 1:1 4:0 ] 46: [ 1:1 1:1 4:1 ] 47: [ 1:1 2:0 3:0 ] 48: [ 1:1 2:0 3:1 ] 49: [ 1:1 2:1 3:0 ] 50: [ 1:1 2:1 3:1 ] 51: [ 1:1 5:0 ] 52: [ 1:1 5:1 ] 53: [ 2:0 2:0 2:0 ] 54: [ 2:0 2:0 2:1 ] 55: [ 2:0 2:1 2:1 ] 56: [ 2:0 4:0 ] 57: [ 2:0 4:1 ] 58: [ 2:1 2:1 2:1 ] 59: [ 2:1 4:0 ] 60: [ 2:1 4:1 ] 61: [ 3:0 3:0 ] 62: [ 3:0 3:1 ] 63: [ 3:1 3:1 ] 64: [ 6:0 ] 65: [ 6:1 ] ct=65