Гарантируется ли `Math.floor (a / a) == 1` для любого` a` такого, что `a / a` не является NaN?

Question

Гарантируется ли `Math.floor (a / a) == 1` для любого` a` такого, что `a / a` не является NaN?

1

Ввиду неточности с плавающей запятой это уравнение гарантируется, что оно истинно для любого произвольного числового значения a, для которого операция деления a/a возвращает числовое значение?

Math.floor(a / a) == 1

davide 28 окт. 2018, в 02:05

Источник

0

Вы пробовали это, когда 0?
Bilal Saleem 27 окт. 2018, в 23:44
0

Math.floor(Number.POSITIVE_INFINITY/Number.POSITIVE_INFINITY) равен NaN (то же самое для Number.NEGATIVE_INFINITY )
Elliott Frisch 27 окт. 2018, в 23:46
0

Что если a находится в домене оператора деления? (Отредактированный вопрос.)
davide 27 окт. 2018, в 23:48
0

Это зависит от того, что вы подразумеваете под доменом. Математически любое действительное число, кроме нуля, является доменом. Но с числами JS бесконечность и ноль являются законными делителями, некоторые из которых приводят к результатам NaN .
Scott Sauyet 27 окт. 2018, в 23:53
1

Я имею в виду любой a для которого a / a является числом. (Добавлено к вопросу)
davide 27 окт. 2018, в 23:54
1

Обратите внимание, что a / a != NaN всегда верно благодаря особым свойствам NaN.
ruakh 28 окт. 2018, в 00:03
0

@ruakh: 0/0 //=> NaN , Infinity/Infinity //=> NaN .
Scott Sauyet 28 окт. 2018, в 00:06
0

@ScottSauyet: ScottSauyet: Я не совсем уверен, что вы пытаетесь сказать, но я подозреваю, что вы как-то неправильно поняли мой комментарий. (Если это поможет: обратите внимание, что NaN != NaN .)
ruakh 28 окт. 2018, в 00:16
0

@ruakh: О да, конечно. Сожалею. Не совсем уверен, как это согласуется с вопросом или обсуждением, хотя.
Scott Sauyet 28 окт. 2018, в 00:18
1

@ScottSauyet: название вопроса в настоящее время определяет «любой таким образом, что a a / a != NaN », Который технически означает то же самое , как «любой a ». (К счастью, предполагаемое значение ОП достаточно ясно, что это не имеет большого значения; но я подумал, что это стоит указать для образования.)
ruakh 28 окт. 2018, в 00:21
0

@ruakh: Абсолютно. Я смотрел на вопрос еще до того, как это редактировать, и не заметил изменений.
Scott Sauyet 28 окт. 2018, в 00:27
0

@davide: davide: я думаю, тебе нужно посмотреть, как указано деление. Я не знаю, требует ли спецификация IEEE 754 определенного алгоритма или если спецификация JS добавляет свой собственный, если нет. Поскольку должно быть разделение идентичных мантисс, я не удивлюсь, если это будет гарантировано, но, вероятно, потребуется определенное изучение спецификаций.
Scott Sauyet 28 окт. 2018, в 00:31
0

Я подозреваю, что если a является volatile , Math.floor(a / a) == 1 иногда может быть ложным.
chux 06 нояб. 2018, в 16:36

Показать ещё 11 комментариев

Теги:

javascript

floating-point

precision

2 ответа

Ещё вопросы

Math.floor(Number.POSITIVE_INFINITY/Number.POSITIVE_INFINITY) равен NaN (то же самое для Number.NEGATIVE_INFINITY )
Что если a находится в домене оператора деления? (Отредактированный вопрос.)
Это зависит от того, что вы подразумеваете под доменом. Математически любое действительное число, кроме нуля, является доменом. Но с числами JS бесконечность и ноль являются законными делителями, некоторые из которых приводят к результатам NaN .
Я имею в виду любой a для которого a / a является числом. (Добавлено к вопросу)
Обратите внимание, что a / a != NaN всегда верно благодаря особым свойствам NaN.
@ScottSauyet: ScottSauyet: Я не совсем уверен, что вы пытаетесь сказать, но я подозреваю, что вы как-то неправильно поняли мой комментарий. (Если это поможет: обратите внимание, что NaN != NaN .)
@ruakh: О да, конечно. Сожалею. Не совсем уверен, как это согласуется с вопросом или обсуждением, хотя.
@ScottSauyet: название вопроса в настоящее время определяет «любой таким образом, что a a / a != NaN », Который технически означает то же самое , как «любой a ». (К счастью, предполагаемое значение ОП достаточно ясно, что это не имеет большого значения; но я подумал, что это стоит указать для образования.)
@ruakh: Абсолютно. Я смотрел на вопрос еще до того, как это редактировать, и не заметил изменений.
@davide: davide: я думаю, тебе нужно посмотреть, как указано деление. Я не знаю, требует ли спецификация IEEE 754 определенного алгоритма или если спецификация JS добавляет свой собственный, если нет. Поскольку должно быть разделение идентичных мантисс, я не удивлюсь, если это будет гарантировано, но, вероятно, потребуется определенное изучение спецификаций.
Я подозреваю, что если a является volatile , Math.floor(a / a) == 1 иногда может быть ложным.

Eric Postpischil · Answer 1 · 2018-10-28T01-07-00.000Z

IEEE 754 определяет результат операции - это точный математический результат, округленный до ближайшего представляемого значения (в направлении, которое пользователь может указать, ближайший и т.д.). Когда точный математический результат представляется, он является ближайшим значением, и округления нет, поэтому результат является точным. Следовательно, a/a равно 1 всякий раз, когда исключение не возникает.

Если я правильно помню, JavaScript не позволяет реализациям использовать избыточную точность (как, например, C). Таким образом, a/a оценивается как ожидалось. Тогда Math.floor(a/a) равен 1, а Math.floor(a/a) == 1 истинно.

И исключение произойдет только в том случае, если a равно +/- 0, +/- Inf или NaN.

gman · Answer 2 · 2018-10-28T00-21-00.000Z

Попробуем попробовать

test(1);
test(0);
test(1E10000000000000000000)

function test(a) {
  console.log(a, Math.floor(a/a));
}

Ответ: Нет