Module:Infobox interval: Difference between revisions

Plumtree (talk | contribs)
Limiting FJS names to 200 characters of LaTeX
Weil height should be logarithmic. Benedetti -> Wilson
Line 265: Line 265:
})
})
end
end
 
-- interval complexity
if rational and regular then
if rational and regular then
table.insert(infobox_data, {
table.insert(infobox_data, {
'[[Tenney height]] (log<sub>2</sub> n⋅d)',
"[[Tenney height]] (log<sub>2</sub> \'\'nd\'\')",
u._round(rat.tenney_height(ratio), 6)
u._round(rat.tenney_height(ratio), 6)
})
})
end
if rational and regular and small then
table.insert(infobox_data, {
table.insert(infobox_data, {
'[[Weil height]] (max(n, d))',
"[[Weil height]] (log<sub>2</sub> max(\'\'n\'\', \'\'d\'\'))",
('%d'):format(rat.weil_height(ratio))
u._round(rat.weil_height(ratio), 6)
})
table.insert(infobox_data, {
"[[Wilson height]] (sopfr (\'\'nd\'\'))",
u._round(rat.wilson_height(ratio), 6)
})
})
local benedetti = rat.benedetti_height(ratio)
if benedetti then
table.insert(infobox_data, {
'[[Benedetti height]] (n⋅d)',
('%d'):format(benedetti)
})
end
end
end
 
if regular then
if regular then
table.insert(infobox_data, {
table.insert(infobox_data, {