「モジュール:Uniform map」の版間の差分
Tessyrrh1016 (トーク | 投稿記録) en:module:uniform map よりコピー |
Tessyrrh1016 (トーク | 投稿記録) 編集の要約なし |
||
| 92行目: | 92行目: | ||
local lb = p.lower_bound(map_table) -- Minimum size for the current map | local lb = p.lower_bound(map_table) -- Minimum size for the current map | ||
local ub = p.upper_bound(map_table) -- Maximum size for the current map | local ub = p.upper_bound(map_table) -- Maximum size for the current map | ||
local row = {" | local row = {"最小サイズ", "最大サイズ", "{{en仮リンク|Wart記法|Wart notation}}"} | ||
for i = 1, #map_table.map do | for i = 1, #map_table.map do | ||
table.insert(row, utils.primes[i]) | table.insert(row, utils.primes[i]) | ||
| 122行目: | 122行目: | ||
local wtable = "{| class=\"wikitable\"\n" | local wtable = "{| class=\"wikitable\"\n" | ||
.. "|+ style=\"font-size: 105%; | " | .. "|+ style=\"font-size: 105%; | " | ||
.. string.format("%d- | .. string.format("%gと%gの間の%d-リミット[[一様写像]]", min, max, prime) | ||
for i = 1, 3 do | for i = 1, 3 do | ||
wtable = wtable .. "\n! " .. luatable[1][i] | wtable = wtable .. "\n! " .. luatable[1][i] | ||