Module:Limits: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 40: | Line 40: | ||
-- approx(a*b) = approx(a) + approx(b) forall a, b: a, b, ab in ratios | -- approx(a*b) = approx(a) + approx(b) forall a, b: a, b, ab in ratios | ||
-- `distinct`: whether distinct ratios are required to be mapped to distinct approximations | -- `distinct`: whether distinct ratios are required to be mapped to distinct approximations | ||
-- previous: already computed ratios for | -- `previous`: already computed ratios for the previous iteraton | ||
function p.additively_consistent(equave, size, ratios, distinct, previous) | function p.additively_consistent(equave, size, ratios, distinct, previous) | ||
distinct = distinct or false | distinct = distinct or false | ||