On Thu, 11 Aug 2022 22:09:10 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
>> This is a *good* question. >> In this case, we are summing column widths, so we can estimate the worst >> case scenario by simply adding max errors accumulated after each addition: >> >> sum(N * 2 * ε * |w|) >> >> where >> N = number of columns >> ε = upper bound for rounding error, or epsilon which is about 1e-16 [0] >> w = column width >> >> So, plugging a 100 columns of 200 px wide we get something to the order of >> 1e-12 .. 1e-11. >> >> On a side note, we could have used Unicode here >> >> private static final double ε = .0000001; >> >> >> [0] https://en.wikipedia.org/wiki/Machine_epsilon >> [1] https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html > >> On a side note, we could have used Unicode here >> >> private static final double ε = .0000001; > > But let's not. you are right, we should not use non-ascii identifiers. it was a joke, sorry. ------------- PR: https://git.openjdk.org/jfx/pull/848
