X
если бы вдруг было наоборот, что юзер написал, что надо квадраты сравнить, а мы сравнивали корни, а потом оказалось, что мы замапили не тот квадрат на корень
Size: a a a
2017 August 26
X
тогда да, проблема
Dv
Мне кажется, ты выбрал правильную схему исследования этого процесса. Действительно, надо рассмотреть случаи, когда корни и квадраты не соответствуют друг другу.
X
юзер попросил честно сравнить квадраты, мы вместо этого сравнили корни, получили ошибочное равенство из-за среза мантисс
X
вот это проблема
X
а в другую сторону проблемы не вижу
X
может, я не проснулся до сих пор
X
я вообще как-то угорал и написал на шарпе набор функций для single/float, показывающих соседей
X
угу, нашёл
X
вообще меня слегка раздражает мистика вокруг floating point
X
я ещё там как раз наткнулся на офигительный dotnet-овский double.ToString
X
который забивает нулями всё, что вываливается за грань мантиссы
X
в результате вместо 1000000000064 он выдаёт 1000000000060
X
при этом оно по-своему право: (1000000000064 == 1000000000060)
X
не, наверное, всё же, сравнивать квадраты безопасно. Опознал, какое граничное число из double даёт неподходящий корень, считаешь его константой для сравнения квадратов
X
на самом деле, тут вопрос даже не в том, сужает ли преобразование константы или, наоборот, расширяет интервал между соседними double-ами
X
вообще без разницы
X
вопрос в том, что происходит с изменяемой частью формулы
X
если она избавляется от последней операции, то всё окей, если эта операция монотонна (как корень)