Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

are these the WM numbers?

13 views
Skip to first unread message

Chris M. Thomasson

unread,
Dec 4, 2022, 5:08:14 PM12/4/22
to
I marked the Cantor Pairings that should fit WM's rules. Did it get it
wrong?

i[0] = 0, 0
i[1] = 1, 0
i[2] = 0, 1
i[3] = 2, 0
i[4] = 1, 1 ********** WM
i[5] = 0, 2
i[6] = 3, 0
i[7] = 2, 1 ********** WM
i[8] = 1, 2 ********** WM
i[9] = 0, 3
i[10] = 4, 0
i[11] = 3, 1 ********** WM
i[12] = 2, 2 ********** WM
i[13] = 1, 3 ********** WM
i[14] = 0, 4
i[15] = 5, 0
i[16] = 4, 1 ********** WM
i[17] = 3, 2 ********** WM
i[18] = 2, 3 ********** WM
i[19] = 1, 4 ********** WM
i[20] = 0, 5
i[21] = 6, 0
i[22] = 5, 1 ********** WM
i[23] = 4, 2 ********** WM
i[24] = 3, 3 ********** WM
i[25] = 2, 4 ********** WM
i[26] = 1, 5 ********** WM
i[27] = 0, 6
i[28] = 7, 0
i[29] = 6, 1 ********** WM
i[30] = 5, 2 ********** WM
i[31] = 4, 3 ********** WM
i[32] = 3, 4 ********** WM
i[33] = 2, 5 ********** WM
i[34] = 1, 6 ********** WM
i[35] = 0, 7
i[36] = 8, 0
i[37] = 7, 1 ********** WM
i[38] = 6, 2 ********** WM
i[39] = 5, 3 ********** WM
i[40] = 4, 4 ********** WM
i[41] = 3, 5 ********** WM
i[42] = 2, 6 ********** WM
i[43] = 1, 7 ********** WM
i[44] = 0, 8

Chris M. Thomasson

unread,
Dec 4, 2022, 5:17:31 PM12/4/22
to
On 12/4/2022 2:08 PM, Chris M. Thomasson wrote:
> I marked the Cantor Pairings that should fit WM's rules. Did it get it
> wrong?
[...]

A longer list... ;^)
i[45] = 9, 0
i[46] = 8, 1 ********** WM
i[47] = 7, 2 ********** WM
i[48] = 6, 3 ********** WM
i[49] = 5, 4 ********** WM
i[50] = 4, 5 ********** WM
i[51] = 3, 6 ********** WM
i[52] = 2, 7 ********** WM
i[53] = 1, 8 ********** WM
i[54] = 0, 9
i[55] = 10, 0
i[56] = 9, 1 ********** WM
i[57] = 8, 2 ********** WM
i[58] = 7, 3 ********** WM
i[59] = 6, 4 ********** WM
i[60] = 5, 5 ********** WM
i[61] = 4, 6 ********** WM
i[62] = 3, 7 ********** WM
i[63] = 2, 8 ********** WM
i[64] = 1, 9 ********** WM
i[65] = 0, 10
i[66] = 11, 0
i[67] = 10, 1 ********** WM
i[68] = 9, 2 ********** WM
i[69] = 8, 3 ********** WM
i[70] = 7, 4 ********** WM
i[71] = 6, 5 ********** WM
i[72] = 5, 6 ********** WM
i[73] = 4, 7 ********** WM
i[74] = 3, 8 ********** WM
i[75] = 2, 9 ********** WM
i[76] = 1, 10 ********** WM
i[77] = 0, 11
i[78] = 12, 0
i[79] = 11, 1 ********** WM
i[80] = 10, 2 ********** WM
i[81] = 9, 3 ********** WM
i[82] = 8, 4 ********** WM
i[83] = 7, 5 ********** WM
i[84] = 6, 6 ********** WM
i[85] = 5, 7 ********** WM
i[86] = 4, 8 ********** WM
i[87] = 3, 9 ********** WM
i[88] = 2, 10 ********** WM
i[89] = 1, 11 ********** WM
i[90] = 0, 12
i[91] = 13, 0
i[92] = 12, 1 ********** WM
i[93] = 11, 2 ********** WM
i[94] = 10, 3 ********** WM
i[95] = 9, 4 ********** WM
i[96] = 8, 5 ********** WM
i[97] = 7, 6 ********** WM
i[98] = 6, 7 ********** WM
i[99] = 5, 8 ********** WM
i[100] = 4, 9 ********** WM
i[101] = 3, 10 ********** WM
i[102] = 2, 11 ********** WM
i[103] = 1, 12 ********** WM
i[104] = 0, 13
i[105] = 14, 0
i[106] = 13, 1 ********** WM
i[107] = 12, 2 ********** WM
i[108] = 11, 3 ********** WM
i[109] = 10, 4 ********** WM
i[110] = 9, 5 ********** WM
i[111] = 8, 6 ********** WM
i[112] = 7, 7 ********** WM
i[113] = 6, 8 ********** WM
i[114] = 5, 9 ********** WM
i[115] = 4, 10 ********** WM
i[116] = 3, 11 ********** WM
i[117] = 2, 12 ********** WM
i[118] = 1, 13 ********** WM
i[119] = 0, 14
i[120] = 15, 0
i[121] = 14, 1 ********** WM
i[122] = 13, 2 ********** WM
i[123] = 12, 3 ********** WM
i[124] = 11, 4 ********** WM
i[125] = 10, 5 ********** WM
i[126] = 9, 6 ********** WM
i[127] = 8, 7 ********** WM
i[128] = 7, 8 ********** WM
i[129] = 6, 9 ********** WM
i[130] = 5, 10 ********** WM
i[131] = 4, 11 ********** WM
i[132] = 3, 12 ********** WM
i[133] = 2, 13 ********** WM
i[134] = 1, 14 ********** WM
i[135] = 0, 15
i[136] = 16, 0
i[137] = 15, 1 ********** WM
i[138] = 14, 2 ********** WM
i[139] = 13, 3 ********** WM
i[140] = 12, 4 ********** WM
i[141] = 11, 5 ********** WM
i[142] = 10, 6 ********** WM
i[143] = 9, 7 ********** WM
i[144] = 8, 8 ********** WM
i[145] = 7, 9 ********** WM
i[146] = 6, 10 ********** WM
i[147] = 5, 11 ********** WM
i[148] = 4, 12 ********** WM
i[149] = 3, 13 ********** WM
i[150] = 2, 14 ********** WM
i[151] = 1, 15 ********** WM
i[152] = 0, 16
i[153] = 17, 0
i[154] = 16, 1 ********** WM
i[155] = 15, 2 ********** WM
i[156] = 14, 3 ********** WM
i[157] = 13, 4 ********** WM
i[158] = 12, 5 ********** WM
i[159] = 11, 6 ********** WM
i[160] = 10, 7 ********** WM
i[161] = 9, 8 ********** WM
i[162] = 8, 9 ********** WM
i[163] = 7, 10 ********** WM
i[164] = 6, 11 ********** WM
i[165] = 5, 12 ********** WM
i[166] = 4, 13 ********** WM
i[167] = 3, 14 ********** WM
i[168] = 2, 15 ********** WM
i[169] = 1, 16 ********** WM
i[170] = 0, 17
i[171] = 18, 0
i[172] = 17, 1 ********** WM
i[173] = 16, 2 ********** WM
i[174] = 15, 3 ********** WM
i[175] = 14, 4 ********** WM
i[176] = 13, 5 ********** WM
i[177] = 12, 6 ********** WM
i[178] = 11, 7 ********** WM
i[179] = 10, 8 ********** WM
i[180] = 9, 9 ********** WM
i[181] = 8, 10 ********** WM
i[182] = 7, 11 ********** WM
i[183] = 6, 12 ********** WM
i[184] = 5, 13 ********** WM
i[185] = 4, 14 ********** WM
i[186] = 3, 15 ********** WM
i[187] = 2, 16 ********** WM
i[188] = 1, 17 ********** WM
i[189] = 0, 18
i[190] = 19, 0
i[191] = 18, 1 ********** WM
i[192] = 17, 2 ********** WM
i[193] = 16, 3 ********** WM
i[194] = 15, 4 ********** WM
i[195] = 14, 5 ********** WM
i[196] = 13, 6 ********** WM
i[197] = 12, 7 ********** WM
i[198] = 11, 8 ********** WM
i[199] = 10, 9 ********** WM
i[200] = 9, 10 ********** WM
i[201] = 8, 11 ********** WM
i[202] = 7, 12 ********** WM
i[203] = 6, 13 ********** WM
i[204] = 5, 14 ********** WM
i[205] = 4, 15 ********** WM
i[206] = 3, 16 ********** WM
i[207] = 2, 17 ********** WM
i[208] = 1, 18 ********** WM
i[209] = 0, 19
i[210] = 20, 0
i[211] = 19, 1 ********** WM
i[212] = 18, 2 ********** WM
i[213] = 17, 3 ********** WM
i[214] = 16, 4 ********** WM
i[215] = 15, 5 ********** WM
i[216] = 14, 6 ********** WM
i[217] = 13, 7 ********** WM
i[218] = 12, 8 ********** WM
i[219] = 11, 9 ********** WM
i[220] = 10, 10 ********** WM
i[221] = 9, 11 ********** WM
i[222] = 8, 12 ********** WM
i[223] = 7, 13 ********** WM
i[224] = 6, 14 ********** WM
i[225] = 5, 15 ********** WM
i[226] = 4, 16 ********** WM
i[227] = 3, 17 ********** WM
i[228] = 2, 18 ********** WM
i[229] = 1, 19 ********** WM
i[230] = 0, 20
i[231] = 21, 0
i[232] = 20, 1 ********** WM
i[233] = 19, 2 ********** WM
i[234] = 18, 3 ********** WM
i[235] = 17, 4 ********** WM
i[236] = 16, 5 ********** WM
i[237] = 15, 6 ********** WM
i[238] = 14, 7 ********** WM
i[239] = 13, 8 ********** WM
i[240] = 12, 9 ********** WM
i[241] = 11, 10 ********** WM
i[242] = 10, 11 ********** WM
i[243] = 9, 12 ********** WM
i[244] = 8, 13 ********** WM
i[245] = 7, 14 ********** WM
i[246] = 6, 15 ********** WM
i[247] = 5, 16 ********** WM
i[248] = 4, 17 ********** WM
i[249] = 3, 18 ********** WM
i[250] = 2, 19 ********** WM
i[251] = 1, 20 ********** WM
i[252] = 0, 21
i[253] = 22, 0
i[254] = 21, 1 ********** WM
i[255] = 20, 2 ********** WM
i[256] = 19, 3 ********** WM
i[257] = 18, 4 ********** WM
i[258] = 17, 5 ********** WM
i[259] = 16, 6 ********** WM
i[260] = 15, 7 ********** WM
i[261] = 14, 8 ********** WM
i[262] = 13, 9 ********** WM
i[263] = 12, 10 ********** WM
i[264] = 11, 11 ********** WM
i[265] = 10, 12 ********** WM
i[266] = 9, 13 ********** WM
i[267] = 8, 14 ********** WM
i[268] = 7, 15 ********** WM
i[269] = 6, 16 ********** WM
i[270] = 5, 17 ********** WM
i[271] = 4, 18 ********** WM
i[272] = 3, 19 ********** WM
i[273] = 2, 20 ********** WM
i[274] = 1, 21 ********** WM
i[275] = 0, 22
i[276] = 23, 0
i[277] = 22, 1 ********** WM
i[278] = 21, 2 ********** WM
i[279] = 20, 3 ********** WM
i[280] = 19, 4 ********** WM
i[281] = 18, 5 ********** WM
i[282] = 17, 6 ********** WM
i[283] = 16, 7 ********** WM
i[284] = 15, 8 ********** WM
i[285] = 14, 9 ********** WM
i[286] = 13, 10 ********** WM
i[287] = 12, 11 ********** WM
i[288] = 11, 12 ********** WM
i[289] = 10, 13 ********** WM
i[290] = 9, 14 ********** WM
i[291] = 8, 15 ********** WM
i[292] = 7, 16 ********** WM
i[293] = 6, 17 ********** WM
i[294] = 5, 18 ********** WM
i[295] = 4, 19 ********** WM
i[296] = 3, 20 ********** WM
i[297] = 2, 21 ********** WM
i[298] = 1, 22 ********** WM
i[299] = 0, 23
i[300] = 24, 0
i[301] = 23, 1 ********** WM
i[302] = 22, 2 ********** WM
i[303] = 21, 3 ********** WM
i[304] = 20, 4 ********** WM
i[305] = 19, 5 ********** WM
i[306] = 18, 6 ********** WM
i[307] = 17, 7 ********** WM
i[308] = 16, 8 ********** WM
i[309] = 15, 9 ********** WM
i[310] = 14, 10 ********** WM
i[311] = 13, 11 ********** WM
i[312] = 12, 12 ********** WM
i[313] = 11, 13 ********** WM
i[314] = 10, 14 ********** WM
i[315] = 9, 15 ********** WM
i[316] = 8, 16 ********** WM
i[317] = 7, 17 ********** WM
i[318] = 6, 18 ********** WM
i[319] = 5, 19 ********** WM
i[320] = 4, 20 ********** WM
i[321] = 3, 21 ********** WM
i[322] = 2, 22 ********** WM
i[323] = 1, 23 ********** WM
i[324] = 0, 24
i[325] = 25, 0
i[326] = 24, 1 ********** WM
i[327] = 23, 2 ********** WM
i[328] = 22, 3 ********** WM
i[329] = 21, 4 ********** WM
i[330] = 20, 5 ********** WM
i[331] = 19, 6 ********** WM
i[332] = 18, 7 ********** WM
i[333] = 17, 8 ********** WM
i[334] = 16, 9 ********** WM
i[335] = 15, 10 ********** WM
i[336] = 14, 11 ********** WM
i[337] = 13, 12 ********** WM
i[338] = 12, 13 ********** WM
i[339] = 11, 14 ********** WM
i[340] = 10, 15 ********** WM
i[341] = 9, 16 ********** WM
i[342] = 8, 17 ********** WM
i[343] = 7, 18 ********** WM
i[344] = 6, 19 ********** WM
i[345] = 5, 20 ********** WM
i[346] = 4, 21 ********** WM
i[347] = 3, 22 ********** WM
i[348] = 2, 23 ********** WM
i[349] = 1, 24 ********** WM
i[350] = 0, 25
i[351] = 26, 0
i[352] = 25, 1 ********** WM
i[353] = 24, 2 ********** WM
i[354] = 23, 3 ********** WM
i[355] = 22, 4 ********** WM
i[356] = 21, 5 ********** WM
i[357] = 20, 6 ********** WM
i[358] = 19, 7 ********** WM
i[359] = 18, 8 ********** WM
i[360] = 17, 9 ********** WM
i[361] = 16, 10 ********** WM
i[362] = 15, 11 ********** WM
i[363] = 14, 12 ********** WM
i[364] = 13, 13 ********** WM
i[365] = 12, 14 ********** WM
i[366] = 11, 15 ********** WM
i[367] = 10, 16 ********** WM
i[368] = 9, 17 ********** WM
i[369] = 8, 18 ********** WM
i[370] = 7, 19 ********** WM
i[371] = 6, 20 ********** WM
i[372] = 5, 21 ********** WM
i[373] = 4, 22 ********** WM
i[374] = 3, 23 ********** WM
i[375] = 2, 24 ********** WM
i[376] = 1, 25 ********** WM
i[377] = 0, 26
i[378] = 27, 0
i[379] = 26, 1 ********** WM
i[380] = 25, 2 ********** WM
i[381] = 24, 3 ********** WM
i[382] = 23, 4 ********** WM
i[383] = 22, 5 ********** WM
i[384] = 21, 6 ********** WM
i[385] = 20, 7 ********** WM
i[386] = 19, 8 ********** WM
i[387] = 18, 9 ********** WM
i[388] = 17, 10 ********** WM
i[389] = 16, 11 ********** WM
i[390] = 15, 12 ********** WM
i[391] = 14, 13 ********** WM
i[392] = 13, 14 ********** WM
i[393] = 12, 15 ********** WM
i[394] = 11, 16 ********** WM
i[395] = 10, 17 ********** WM
i[396] = 9, 18 ********** WM
i[397] = 8, 19 ********** WM
i[398] = 7, 20 ********** WM
i[399] = 6, 21 ********** WM
i[400] = 5, 22 ********** WM
i[401] = 4, 23 ********** WM
i[402] = 3, 24 ********** WM
i[403] = 2, 25 ********** WM
i[404] = 1, 26 ********** WM
i[405] = 0, 27
i[406] = 28, 0
i[407] = 27, 1 ********** WM
i[408] = 26, 2 ********** WM
i[409] = 25, 3 ********** WM
i[410] = 24, 4 ********** WM
i[411] = 23, 5 ********** WM
i[412] = 22, 6 ********** WM
i[413] = 21, 7 ********** WM
i[414] = 20, 8 ********** WM
i[415] = 19, 9 ********** WM
i[416] = 18, 10 ********** WM
i[417] = 17, 11 ********** WM
i[418] = 16, 12 ********** WM
i[419] = 15, 13 ********** WM
i[420] = 14, 14 ********** WM
i[421] = 13, 15 ********** WM
i[422] = 12, 16 ********** WM
i[423] = 11, 17 ********** WM
i[424] = 10, 18 ********** WM
i[425] = 9, 19 ********** WM
i[426] = 8, 20 ********** WM
i[427] = 7, 21 ********** WM
i[428] = 6, 22 ********** WM
i[429] = 5, 23 ********** WM
i[430] = 4, 24 ********** WM
i[431] = 3, 25 ********** WM
i[432] = 2, 26 ********** WM
i[433] = 1, 27 ********** WM
i[434] = 0, 28
i[435] = 29, 0
i[436] = 28, 1 ********** WM
i[437] = 27, 2 ********** WM
i[438] = 26, 3 ********** WM
i[439] = 25, 4 ********** WM
i[440] = 24, 5 ********** WM
i[441] = 23, 6 ********** WM
i[442] = 22, 7 ********** WM
i[443] = 21, 8 ********** WM
i[444] = 20, 9 ********** WM
i[445] = 19, 10 ********** WM
i[446] = 18, 11 ********** WM
i[447] = 17, 12 ********** WM
i[448] = 16, 13 ********** WM
i[449] = 15, 14 ********** WM
i[450] = 14, 15 ********** WM
i[451] = 13, 16 ********** WM
i[452] = 12, 17 ********** WM
i[453] = 11, 18 ********** WM
i[454] = 10, 19 ********** WM
i[455] = 9, 20 ********** WM
i[456] = 8, 21 ********** WM
i[457] = 7, 22 ********** WM
i[458] = 6, 23 ********** WM
i[459] = 5, 24 ********** WM
i[460] = 4, 25 ********** WM
i[461] = 3, 26 ********** WM
i[462] = 2, 27 ********** WM
i[463] = 1, 28 ********** WM
i[464] = 0, 29
i[465] = 30, 0
i[466] = 29, 1 ********** WM
i[467] = 28, 2 ********** WM
i[468] = 27, 3 ********** WM
i[469] = 26, 4 ********** WM
i[470] = 25, 5 ********** WM
i[471] = 24, 6 ********** WM
i[472] = 23, 7 ********** WM
i[473] = 22, 8 ********** WM
i[474] = 21, 9 ********** WM
i[475] = 20, 10 ********** WM
i[476] = 19, 11 ********** WM
i[477] = 18, 12 ********** WM
i[478] = 17, 13 ********** WM
i[479] = 16, 14 ********** WM
i[480] = 15, 15 ********** WM
i[481] = 14, 16 ********** WM
i[482] = 13, 17 ********** WM
i[483] = 12, 18 ********** WM
i[484] = 11, 19 ********** WM
i[485] = 10, 20 ********** WM
i[486] = 9, 21 ********** WM
i[487] = 8, 22 ********** WM
i[488] = 7, 23 ********** WM
i[489] = 6, 24 ********** WM
i[490] = 5, 25 ********** WM
i[491] = 4, 26 ********** WM
i[492] = 3, 27 ********** WM
i[493] = 2, 28 ********** WM
i[494] = 1, 29 ********** WM
i[495] = 0, 30
i[496] = 31, 0
i[497] = 30, 1 ********** WM
i[498] = 29, 2 ********** WM
i[499] = 28, 3 ********** WM
i[500] = 27, 4 ********** WM
i[501] = 26, 5 ********** WM
i[502] = 25, 6 ********** WM
i[503] = 24, 7 ********** WM
i[504] = 23, 8 ********** WM
i[505] = 22, 9 ********** WM
i[506] = 21, 10 ********** WM
i[507] = 20, 11 ********** WM
i[508] = 19, 12 ********** WM
i[509] = 18, 13 ********** WM
i[510] = 17, 14 ********** WM
i[511] = 16, 15 ********** WM
i[512] = 15, 16 ********** WM
i[513] = 14, 17 ********** WM
i[514] = 13, 18 ********** WM
i[515] = 12, 19 ********** WM
i[516] = 11, 20 ********** WM
i[517] = 10, 21 ********** WM
i[518] = 9, 22 ********** WM
i[519] = 8, 23 ********** WM
i[520] = 7, 24 ********** WM
i[521] = 6, 25 ********** WM
i[522] = 5, 26 ********** WM
i[523] = 4, 27 ********** WM
i[524] = 3, 28 ********** WM
i[525] = 2, 29 ********** WM
i[526] = 1, 30 ********** WM
i[527] = 0, 31
i[528] = 32, 0
i[529] = 31, 1 ********** WM
i[530] = 30, 2 ********** WM
i[531] = 29, 3 ********** WM
i[532] = 28, 4 ********** WM
i[533] = 27, 5 ********** WM
i[534] = 26, 6 ********** WM
i[535] = 25, 7 ********** WM
i[536] = 24, 8 ********** WM
i[537] = 23, 9 ********** WM
i[538] = 22, 10 ********** WM
i[539] = 21, 11 ********** WM
i[540] = 20, 12 ********** WM
i[541] = 19, 13 ********** WM
i[542] = 18, 14 ********** WM
i[543] = 17, 15 ********** WM
i[544] = 16, 16 ********** WM
i[545] = 15, 17 ********** WM
i[546] = 14, 18 ********** WM
i[547] = 13, 19 ********** WM
i[548] = 12, 20 ********** WM
i[549] = 11, 21 ********** WM
i[550] = 10, 22 ********** WM
i[551] = 9, 23 ********** WM
i[552] = 8, 24 ********** WM
i[553] = 7, 25 ********** WM
i[554] = 6, 26 ********** WM
i[555] = 5, 27 ********** WM
i[556] = 4, 28 ********** WM
i[557] = 3, 29 ********** WM
i[558] = 2, 30 ********** WM
i[559] = 1, 31 ********** WM
i[560] = 0, 32
i[561] = 33, 0
i[562] = 32, 1 ********** WM
i[563] = 31, 2 ********** WM
i[564] = 30, 3 ********** WM
i[565] = 29, 4 ********** WM
i[566] = 28, 5 ********** WM
i[567] = 27, 6 ********** WM
i[568] = 26, 7 ********** WM
i[569] = 25, 8 ********** WM
i[570] = 24, 9 ********** WM
i[571] = 23, 10 ********** WM
i[572] = 22, 11 ********** WM
i[573] = 21, 12 ********** WM
i[574] = 20, 13 ********** WM
i[575] = 19, 14 ********** WM
i[576] = 18, 15 ********** WM
i[577] = 17, 16 ********** WM
i[578] = 16, 17 ********** WM
i[579] = 15, 18 ********** WM
i[580] = 14, 19 ********** WM
i[581] = 13, 20 ********** WM
i[582] = 12, 21 ********** WM
i[583] = 11, 22 ********** WM
i[584] = 10, 23 ********** WM
i[585] = 9, 24 ********** WM
i[586] = 8, 25 ********** WM
i[587] = 7, 26 ********** WM
i[588] = 6, 27 ********** WM
i[589] = 5, 28 ********** WM
i[590] = 4, 29 ********** WM
i[591] = 3, 30 ********** WM
i[592] = 2, 31 ********** WM
i[593] = 1, 32 ********** WM
i[594] = 0, 33
i[595] = 34, 0
i[596] = 33, 1 ********** WM
i[597] = 32, 2 ********** WM
i[598] = 31, 3 ********** WM
i[599] = 30, 4 ********** WM
i[600] = 29, 5 ********** WM
i[601] = 28, 6 ********** WM
i[602] = 27, 7 ********** WM
i[603] = 26, 8 ********** WM
i[604] = 25, 9 ********** WM
i[605] = 24, 10 ********** WM
i[606] = 23, 11 ********** WM
i[607] = 22, 12 ********** WM
i[608] = 21, 13 ********** WM
i[609] = 20, 14 ********** WM
i[610] = 19, 15 ********** WM
i[611] = 18, 16 ********** WM
i[612] = 17, 17 ********** WM
i[613] = 16, 18 ********** WM
i[614] = 15, 19 ********** WM
i[615] = 14, 20 ********** WM
i[616] = 13, 21 ********** WM
i[617] = 12, 22 ********** WM
i[618] = 11, 23 ********** WM
i[619] = 10, 24 ********** WM
i[620] = 9, 25 ********** WM
i[621] = 8, 26 ********** WM
i[622] = 7, 27 ********** WM
i[623] = 6, 28 ********** WM
i[624] = 5, 29 ********** WM
i[625] = 4, 30 ********** WM
i[626] = 3, 31 ********** WM
i[627] = 2, 32 ********** WM
i[628] = 1, 33 ********** WM
i[629] = 0, 34
i[630] = 35, 0
i[631] = 34, 1 ********** WM
i[632] = 33, 2 ********** WM
i[633] = 32, 3 ********** WM
i[634] = 31, 4 ********** WM
i[635] = 30, 5 ********** WM
i[636] = 29, 6 ********** WM
i[637] = 28, 7 ********** WM
i[638] = 27, 8 ********** WM
i[639] = 26, 9 ********** WM
i[640] = 25, 10 ********** WM
i[641] = 24, 11 ********** WM
i[642] = 23, 12 ********** WM
i[643] = 22, 13 ********** WM
i[644] = 21, 14 ********** WM
i[645] = 20, 15 ********** WM
i[646] = 19, 16 ********** WM
i[647] = 18, 17 ********** WM
i[648] = 17, 18 ********** WM
i[649] = 16, 19 ********** WM
i[650] = 15, 20 ********** WM
i[651] = 14, 21 ********** WM
i[652] = 13, 22 ********** WM
i[653] = 12, 23 ********** WM
i[654] = 11, 24 ********** WM
i[655] = 10, 25 ********** WM
i[656] = 9, 26 ********** WM
i[657] = 8, 27 ********** WM
i[658] = 7, 28 ********** WM
i[659] = 6, 29 ********** WM
i[660] = 5, 30 ********** WM
i[661] = 4, 31 ********** WM
i[662] = 3, 32 ********** WM
i[663] = 2, 33 ********** WM
i[664] = 1, 34 ********** WM
i[665] = 0, 35
i[666] = 36, 0
i[667] = 35, 1 ********** WM
i[668] = 34, 2 ********** WM
i[669] = 33, 3 ********** WM
i[670] = 32, 4 ********** WM
i[671] = 31, 5 ********** WM
i[672] = 30, 6 ********** WM
i[673] = 29, 7 ********** WM
i[674] = 28, 8 ********** WM
i[675] = 27, 9 ********** WM
i[676] = 26, 10 ********** WM
i[677] = 25, 11 ********** WM
i[678] = 24, 12 ********** WM
i[679] = 23, 13 ********** WM
i[680] = 22, 14 ********** WM
i[681] = 21, 15 ********** WM
i[682] = 20, 16 ********** WM
i[683] = 19, 17 ********** WM
i[684] = 18, 18 ********** WM
i[685] = 17, 19 ********** WM
i[686] = 16, 20 ********** WM
i[687] = 15, 21 ********** WM
i[688] = 14, 22 ********** WM
i[689] = 13, 23 ********** WM
i[690] = 12, 24 ********** WM
i[691] = 11, 25 ********** WM
i[692] = 10, 26 ********** WM
i[693] = 9, 27 ********** WM
i[694] = 8, 28 ********** WM
i[695] = 7, 29 ********** WM
i[696] = 6, 30 ********** WM
i[697] = 5, 31 ********** WM
i[698] = 4, 32 ********** WM
i[699] = 3, 33 ********** WM
i[700] = 2, 34 ********** WM
i[701] = 1, 35 ********** WM
i[702] = 0, 36
i[703] = 37, 0
i[704] = 36, 1 ********** WM
i[705] = 35, 2 ********** WM
i[706] = 34, 3 ********** WM
i[707] = 33, 4 ********** WM
i[708] = 32, 5 ********** WM
i[709] = 31, 6 ********** WM
i[710] = 30, 7 ********** WM
i[711] = 29, 8 ********** WM
i[712] = 28, 9 ********** WM
i[713] = 27, 10 ********** WM
i[714] = 26, 11 ********** WM
i[715] = 25, 12 ********** WM
i[716] = 24, 13 ********** WM
i[717] = 23, 14 ********** WM
i[718] = 22, 15 ********** WM
i[719] = 21, 16 ********** WM
i[720] = 20, 17 ********** WM
i[721] = 19, 18 ********** WM
i[722] = 18, 19 ********** WM
i[723] = 17, 20 ********** WM
i[724] = 16, 21 ********** WM
i[725] = 15, 22 ********** WM
i[726] = 14, 23 ********** WM
i[727] = 13, 24 ********** WM
i[728] = 12, 25 ********** WM
i[729] = 11, 26 ********** WM
i[730] = 10, 27 ********** WM
i[731] = 9, 28 ********** WM
i[732] = 8, 29 ********** WM
i[733] = 7, 30 ********** WM
i[734] = 6, 31 ********** WM
i[735] = 5, 32 ********** WM
i[736] = 4, 33 ********** WM
i[737] = 3, 34 ********** WM
i[738] = 2, 35 ********** WM
i[739] = 1, 36 ********** WM
i[740] = 0, 37
i[741] = 38, 0
i[742] = 37, 1 ********** WM
i[743] = 36, 2 ********** WM
i[744] = 35, 3 ********** WM
i[745] = 34, 4 ********** WM
i[746] = 33, 5 ********** WM
i[747] = 32, 6 ********** WM
i[748] = 31, 7 ********** WM
i[749] = 30, 8 ********** WM
i[750] = 29, 9 ********** WM
i[751] = 28, 10 ********** WM
i[752] = 27, 11 ********** WM
i[753] = 26, 12 ********** WM
i[754] = 25, 13 ********** WM
i[755] = 24, 14 ********** WM
i[756] = 23, 15 ********** WM
i[757] = 22, 16 ********** WM
i[758] = 21, 17 ********** WM
i[759] = 20, 18 ********** WM
i[760] = 19, 19 ********** WM
i[761] = 18, 20 ********** WM
i[762] = 17, 21 ********** WM
i[763] = 16, 22 ********** WM
i[764] = 15, 23 ********** WM
i[765] = 14, 24 ********** WM
i[766] = 13, 25 ********** WM
i[767] = 12, 26 ********** WM
i[768] = 11, 27 ********** WM
i[769] = 10, 28 ********** WM
i[770] = 9, 29 ********** WM
i[771] = 8, 30 ********** WM
i[772] = 7, 31 ********** WM
i[773] = 6, 32 ********** WM
i[774] = 5, 33 ********** WM
i[775] = 4, 34 ********** WM
i[776] = 3, 35 ********** WM
i[777] = 2, 36 ********** WM
i[778] = 1, 37 ********** WM
i[779] = 0, 38
i[780] = 39, 0
i[781] = 38, 1 ********** WM
i[782] = 37, 2 ********** WM
i[783] = 36, 3 ********** WM
i[784] = 35, 4 ********** WM
i[785] = 34, 5 ********** WM
i[786] = 33, 6 ********** WM
i[787] = 32, 7 ********** WM
i[788] = 31, 8 ********** WM
i[789] = 30, 9 ********** WM
i[790] = 29, 10 ********** WM
i[791] = 28, 11 ********** WM
i[792] = 27, 12 ********** WM
i[793] = 26, 13 ********** WM
i[794] = 25, 14 ********** WM
i[795] = 24, 15 ********** WM
i[796] = 23, 16 ********** WM
i[797] = 22, 17 ********** WM
i[798] = 21, 18 ********** WM
i[799] = 20, 19 ********** WM
i[800] = 19, 20 ********** WM
i[801] = 18, 21 ********** WM
i[802] = 17, 22 ********** WM
i[803] = 16, 23 ********** WM
i[804] = 15, 24 ********** WM
i[805] = 14, 25 ********** WM
i[806] = 13, 26 ********** WM
i[807] = 12, 27 ********** WM
i[808] = 11, 28 ********** WM
i[809] = 10, 29 ********** WM
i[810] = 9, 30 ********** WM
i[811] = 8, 31 ********** WM
i[812] = 7, 32 ********** WM
i[813] = 6, 33 ********** WM
i[814] = 5, 34 ********** WM
i[815] = 4, 35 ********** WM
i[816] = 3, 36 ********** WM
i[817] = 2, 37 ********** WM
i[818] = 1, 38 ********** WM
i[819] = 0, 39
i[820] = 40, 0
i[821] = 39, 1 ********** WM
i[822] = 38, 2 ********** WM
i[823] = 37, 3 ********** WM
i[824] = 36, 4 ********** WM
i[825] = 35, 5 ********** WM
i[826] = 34, 6 ********** WM
i[827] = 33, 7 ********** WM
i[828] = 32, 8 ********** WM
i[829] = 31, 9 ********** WM
i[830] = 30, 10 ********** WM
i[831] = 29, 11 ********** WM
i[832] = 28, 12 ********** WM
i[833] = 27, 13 ********** WM
i[834] = 26, 14 ********** WM
i[835] = 25, 15 ********** WM
i[836] = 24, 16 ********** WM
i[837] = 23, 17 ********** WM
i[838] = 22, 18 ********** WM
i[839] = 21, 19 ********** WM
i[840] = 20, 20 ********** WM
i[841] = 19, 21 ********** WM
i[842] = 18, 22 ********** WM
i[843] = 17, 23 ********** WM
i[844] = 16, 24 ********** WM
i[845] = 15, 25 ********** WM
i[846] = 14, 26 ********** WM
i[847] = 13, 27 ********** WM
i[848] = 12, 28 ********** WM
i[849] = 11, 29 ********** WM
i[850] = 10, 30 ********** WM
i[851] = 9, 31 ********** WM
i[852] = 8, 32 ********** WM
i[853] = 7, 33 ********** WM
i[854] = 6, 34 ********** WM
i[855] = 5, 35 ********** WM
i[856] = 4, 36 ********** WM
i[857] = 3, 37 ********** WM
i[858] = 2, 38 ********** WM
i[859] = 1, 39 ********** WM
i[860] = 0, 40
i[861] = 41, 0
i[862] = 40, 1 ********** WM
i[863] = 39, 2 ********** WM
i[864] = 38, 3 ********** WM
i[865] = 37, 4 ********** WM
i[866] = 36, 5 ********** WM
i[867] = 35, 6 ********** WM
i[868] = 34, 7 ********** WM
i[869] = 33, 8 ********** WM
i[870] = 32, 9 ********** WM
i[871] = 31, 10 ********** WM
i[872] = 30, 11 ********** WM
i[873] = 29, 12 ********** WM
i[874] = 28, 13 ********** WM
i[875] = 27, 14 ********** WM
i[876] = 26, 15 ********** WM
i[877] = 25, 16 ********** WM
i[878] = 24, 17 ********** WM
i[879] = 23, 18 ********** WM
i[880] = 22, 19 ********** WM
i[881] = 21, 20 ********** WM
i[882] = 20, 21 ********** WM
i[883] = 19, 22 ********** WM
i[884] = 18, 23 ********** WM
i[885] = 17, 24 ********** WM
i[886] = 16, 25 ********** WM
i[887] = 15, 26 ********** WM
i[888] = 14, 27 ********** WM
i[889] = 13, 28 ********** WM
i[890] = 12, 29 ********** WM
i[891] = 11, 30 ********** WM
i[892] = 10, 31 ********** WM
i[893] = 9, 32 ********** WM
i[894] = 8, 33 ********** WM
i[895] = 7, 34 ********** WM
i[896] = 6, 35 ********** WM
i[897] = 5, 36 ********** WM
i[898] = 4, 37 ********** WM
i[899] = 3, 38 ********** WM
i[900] = 2, 39 ********** WM
i[901] = 1, 40 ********** WM
i[902] = 0, 41
i[903] = 42, 0
i[904] = 41, 1 ********** WM
i[905] = 40, 2 ********** WM
i[906] = 39, 3 ********** WM
i[907] = 38, 4 ********** WM
i[908] = 37, 5 ********** WM
i[909] = 36, 6 ********** WM
i[910] = 35, 7 ********** WM
i[911] = 34, 8 ********** WM
i[912] = 33, 9 ********** WM
i[913] = 32, 10 ********** WM
i[914] = 31, 11 ********** WM
i[915] = 30, 12 ********** WM
i[916] = 29, 13 ********** WM
i[917] = 28, 14 ********** WM
i[918] = 27, 15 ********** WM
i[919] = 26, 16 ********** WM
i[920] = 25, 17 ********** WM
i[921] = 24, 18 ********** WM
i[922] = 23, 19 ********** WM
i[923] = 22, 20 ********** WM
i[924] = 21, 21 ********** WM
i[925] = 20, 22 ********** WM
i[926] = 19, 23 ********** WM
i[927] = 18, 24 ********** WM
i[928] = 17, 25 ********** WM
i[929] = 16, 26 ********** WM
i[930] = 15, 27 ********** WM
i[931] = 14, 28 ********** WM
i[932] = 13, 29 ********** WM
i[933] = 12, 30 ********** WM
i[934] = 11, 31 ********** WM
i[935] = 10, 32 ********** WM
i[936] = 9, 33 ********** WM
i[937] = 8, 34 ********** WM
i[938] = 7, 35 ********** WM
i[939] = 6, 36 ********** WM
i[940] = 5, 37 ********** WM
i[941] = 4, 38 ********** WM
i[942] = 3, 39 ********** WM
i[943] = 2, 40 ********** WM
i[944] = 1, 41 ********** WM
i[945] = 0, 42
i[946] = 43, 0
i[947] = 42, 1 ********** WM
i[948] = 41, 2 ********** WM
i[949] = 40, 3 ********** WM
i[950] = 39, 4 ********** WM
i[951] = 38, 5 ********** WM
i[952] = 37, 6 ********** WM
i[953] = 36, 7 ********** WM
i[954] = 35, 8 ********** WM
i[955] = 34, 9 ********** WM
i[956] = 33, 10 ********** WM
i[957] = 32, 11 ********** WM
i[958] = 31, 12 ********** WM
i[959] = 30, 13 ********** WM
i[960] = 29, 14 ********** WM
i[961] = 28, 15 ********** WM
i[962] = 27, 16 ********** WM
i[963] = 26, 17 ********** WM
i[964] = 25, 18 ********** WM
i[965] = 24, 19 ********** WM
i[966] = 23, 20 ********** WM
i[967] = 22, 21 ********** WM
i[968] = 21, 22 ********** WM
i[969] = 20, 23 ********** WM
i[970] = 19, 24 ********** WM
i[971] = 18, 25 ********** WM
i[972] = 17, 26 ********** WM
i[973] = 16, 27 ********** WM
i[974] = 15, 28 ********** WM
i[975] = 14, 29 ********** WM
i[976] = 13, 30 ********** WM
i[977] = 12, 31 ********** WM
i[978] = 11, 32 ********** WM
i[979] = 10, 33 ********** WM
i[980] = 9, 34 ********** WM
i[981] = 8, 35 ********** WM
i[982] = 7, 36 ********** WM
i[983] = 6, 37 ********** WM
i[984] = 5, 38 ********** WM
i[985] = 4, 39 ********** WM
i[986] = 3, 40 ********** WM
i[987] = 2, 41 ********** WM
i[988] = 1, 42 ********** WM
i[989] = 0, 43
i[990] = 44, 0
i[991] = 43, 1 ********** WM
i[992] = 42, 2 ********** WM
i[993] = 41, 3 ********** WM
i[994] = 40, 4 ********** WM
i[995] = 39, 5 ********** WM
i[996] = 38, 6 ********** WM
i[997] = 37, 7 ********** WM
i[998] = 36, 8 ********** WM
i[999] = 35, 9 ********** WM

Chris M. Thomasson

unread,
Dec 4, 2022, 5:19:20 PM12/4/22
to
On 12/4/2022 2:17 PM, Chris M. Thomasson wrote:
> On 12/4/2022 2:08 PM, Chris M. Thomasson wrote:
>> I marked the Cantor Pairings that should fit WM's rules. Did it get it
>> wrong?
> [...]
>
> A longer list... ;^)


There is an interesting pattern...

>
> i[0] = 0, 0
> i[1] = 1, 0
> i[2] = 0, 1
> i[3] = 2, 0
> i[4] = 1, 1 ********** WM
> i[5] = 0, 2
> i[6] = 3, 0

0, 2
3, 0



> i[7] = 2, 1 ********** WM
> i[8] = 1, 2 ********** WM
> i[9] = 0, 3
> i[10] = 4, 0

0, 3
4, 0

> i[11] = 3, 1 ********** WM
> i[12] = 2, 2 ********** WM
> i[13] = 1, 3 ********** WM
> i[14] = 0, 4
> i[15] = 5, 0

0, 4
5, 0


> i[16] = 4, 1 ********** WM
> i[17] = 3, 2 ********** WM
> i[18] = 2, 3 ********** WM
> i[19] = 1, 4 ********** WM
> i[20] = 0, 5
> i[21] = 6, 0

0, 5
6, 0


> i[22] = 5, 1 ********** WM
> i[23] = 4, 2 ********** WM
> i[24] = 3, 3 ********** WM
> i[25] = 2, 4 ********** WM
> i[26] = 1, 5 ********** WM
> i[27] = 0, 6
> i[28] = 7, 0

0, 6
7, 0


[...]

Chris M. Thomasson

unread,
Dec 5, 2022, 12:35:35 AM12/5/22
to
On 12/4/2022 2:08 PM, Chris M. Thomasson wrote:
> I marked the Cantor Pairings that should fit WM's rules. Did it get it
> wrong?
[...]

Here is my impl that I ripped out and made into a standalone C++ program:
______________________________________
#include <iostream>
#include <cmath>
#include <cassert>


struct ct_pair
{
unsigned long a;
unsigned long b;
};

unsigned long
ct_cantor_pair(
ct_pair p
) {
unsigned long r = ((p.a + p.b) * (p.a + p.b + 1)) / 2 + p.b;
return r;
}

ct_pair
ct_cantor_unpair(
unsigned long x
) {
unsigned long a = (unsigned long)
std::floor((std::sqrt(8 * x + 1) - 1) / 2);

unsigned long b = (a * (a + 1)) / 2;

ct_pair r = { a - (x - b), x - b };

return r;
}


int main()
{
std::cout << "Cantor Pairing...\n" << std::endl;

unsigned long n = 2048;

for (unsigned long i = 0; i < n; ++i)
{
ct_pair pair = ct_cantor_unpair(i);
unsigned long index = ct_cantor_pair(pair);

std::cout << "i[" << i << "] = ("
<< pair.a << ", "
<< pair.b << ") = "
<< index;

if (pair.a > 0 && pair.b > 0)
{
std::cout << " --> WM?";
}

std::cout << std::endl;

assert(i == index);
}

return 0;
}
______________________________________




0 new messages