spamsink: (lenin)
[personal profile] spamsink
Ребе, что должна возвращать функция min(NaN, -Infinity)?

Сравнение этих двух значений с помощью сишной функции fmin дает разные результаты в зависимости от использования -ffast-math при компиляции. Библиотечная функция возвращает -Infinity (хорошо хоть, что независимо от порядка аргументов, как могло бы быть при наивном способе), а команда процессора minsd возвращает NaN.
Upd: Всё еще забавнее: библиотечные функции fmin и fmax рассматривают NaN как "пусто", т.е. если один из аргументов - NaN, то возвращается другой.

Date: 2014-12-12 06:24 pm (UTC)
From: [identity profile] dvv.livejournal.com
В wg по языку есть раввин?

Date: 2014-12-12 06:46 pm (UTC)
From: [identity profile] dvv.livejournal.com
Придумать можно что угодно, но пока не будет драфтов с рациональями, стандарта, эррат к нему и пр. — это не интересно. Кстати, что значит "оба"? Как минимум, третий вариант ещё можно придумать.

(no subject)

From: [identity profile] dvv.livejournal.com - Date: 2014-12-12 06:50 pm (UTC) - Expand

(no subject)

From: [identity profile] dvv.livejournal.com - Date: 2014-12-12 07:04 pm (UTC) - Expand

(no subject)

From: [identity profile] dvv.livejournal.com - Date: 2014-12-12 07:39 pm (UTC) - Expand

(no subject)

From: [identity profile] dvv.livejournal.com - Date: 2014-12-12 08:04 pm (UTC) - Expand

(no subject)

From: [identity profile] dvv.livejournal.com - Date: 2014-12-12 08:11 pm (UTC) - Expand

(no subject)

From: [identity profile] dvv.livejournal.com - Date: 2014-12-12 09:17 pm (UTC) - Expand

(no subject)

From: [identity profile] dvv.livejournal.com - Date: 2014-12-12 09:41 pm (UTC) - Expand

(no subject)

From: [identity profile] dvv.livejournal.com - Date: 2014-12-12 09:51 pm (UTC) - Expand

(no subject)

From: [identity profile] dvv.livejournal.com - Date: 2014-12-13 04:53 am (UTC) - Expand

Date: 2014-12-12 06:26 pm (UTC)
From: [identity profile] archaicos.livejournal.com
Смотря где. Для начала нужно определиться с семантикой.

Date: 2014-12-12 06:59 pm (UTC)
From: [identity profile] archaicos.livejournal.com
Если там не написано про штуки типа min, то вопрос семантики остаётся.

Date: 2014-12-12 06:26 pm (UTC)
From: [identity profile] qehgt.livejournal.com
Что min, что max - обе должны NaN возвращать. Это ж NaN.

Date: 2014-12-12 06:43 pm (UTC)
From: [identity profile] 1500py470.livejournal.com
+ 2
А равин типа — а, что вы таки имеете в виду

(no subject)

From: [identity profile] yatur.livejournal.com - Date: 2014-12-12 06:52 pm (UTC) - Expand

(no subject)

From: [identity profile] dluciv.livejournal.com - Date: 2014-12-12 07:07 pm (UTC) - Expand

(no subject)

From: [identity profile] yatur.livejournal.com - Date: 2014-12-12 07:18 pm (UTC) - Expand

Date: 2014-12-12 06:48 pm (UTC)
From: [identity profile] ticklish-frog.livejournal.com
Любая арифметическая с NaN должна выдавать NaN, по идее.

Date: 2014-12-12 07:26 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Как посмотреть. Тут выше описывают траверсал апликативного функтора вообще-то.

(no subject)

From: [identity profile] yatur.livejournal.com - Date: 2014-12-12 07:30 pm (UTC) - Expand

(no subject)

From: [identity profile] sab123.livejournal.com - Date: 2014-12-13 12:19 am (UTC) - Expand

(no subject)

From: [identity profile] archaicos.livejournal.com - Date: 2014-12-13 12:25 am (UTC) - Expand

(no subject)

From: [identity profile] sab123.livejournal.com - Date: 2014-12-13 12:34 am (UTC) - Expand

(no subject)

From: [identity profile] yatur.livejournal.com - Date: 2014-12-13 01:55 am (UTC) - Expand

(no subject)

From: [identity profile] archaicos.livejournal.com - Date: 2014-12-13 06:31 am (UTC) - Expand

(no subject)

From: [identity profile] sab123.livejournal.com - Date: 2014-12-13 03:49 pm (UTC) - Expand

(no subject)

From: [identity profile] archaicos.livejournal.com - Date: 2014-12-13 07:39 pm (UTC) - Expand

гно

From: [identity profile] sab123.livejournal.com - Date: 2014-12-13 10:52 pm (UTC) - Expand

(no subject)

From: [identity profile] yatur.livejournal.com - Date: 2014-12-13 01:49 am (UTC) - Expand

(no subject)

From: [identity profile] sab123.livejournal.com - Date: 2014-12-13 02:24 am (UTC) - Expand

Date: 2014-12-12 06:51 pm (UTC)
From: [identity profile] raydac.livejournal.com
больше интересно кто у них родится

Date: 2014-12-12 07:05 pm (UTC)
From: [identity profile] dluciv.livejournal.com
На мой взгляд, NaN, как и любая другая бинарная операция.

(no subject)

From: [identity profile] dluciv.livejournal.com - Date: 2014-12-15 07:59 am (UTC) - Expand

Date: 2014-12-12 07:25 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
А какова область определения этой функции?

Я как погляжу, у вас в библиотеках сидят монады, а.

(no subject)

From: [identity profile] sab123.livejournal.com - Date: 2014-12-13 12:21 am (UTC) - Expand

Date: 2014-12-12 08:58 pm (UTC)
From: [identity profile] ygam.livejournal.com
На двери офиса Кахана в Бёркли еще не такое висит.

Date: 2014-12-13 12:33 am (UTC)
wizzard: (Default)
From: [personal profile] wizzard
Спросил у человека, который работает с fp-вычислениями много и долго. Он сходу выдал 5 вариантов (не считая implementation-defined), а потом подумал и выдал еще 6й :)

Update: теперь я знаю 8 вариантов.
Edited Date: 2014-12-13 01:08 am (UTC)

(no subject)

From: [personal profile] wizzard - Date: 2014-12-13 01:35 am (UTC) - Expand

Date: 2014-12-13 01:08 am (UTC)
wizzard: (Default)
From: [personal profile] wizzard
> команда процессора minsd возвращает NaN.

Hint: допущение, что соотв команды коммутативны - неверно :)

Date: 2014-12-13 01:10 am (UTC)
From: [identity profile] niobium0.livejournal.com
Конечно, NaN. Наверняка ж негативный ординал.

Profile

spamsink: (Default)
spamsink

February 2026

S M T W T F S
12345 67
8 91011 121314
15161718 192021
22 2324 25262728

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Mar. 5th, 2026 07:35 pm
Powered by Dreamwidth Studios