JS
тогда делитель должен быть целым
нет, достаточно частное "оцелить"
Size: a a a
2021 February 18
AP
тоже верно
AP
The Lord of Hypercomplex Numbers
ghci не понравилась такая идея
Импортируйте из Data.Fixed
JS
The Lord of Hypercomplex Numbers
ghci не понравилась такая идея
вот тут написано, откуда импортировать https://hackage.haskell.org/package/base-4.14.1.0/docs/doc-index-M.html
A
ну то есть x mod'' y это такое z, что для некоторого целого k выполняется x == k*y+z, причем z лежит в интервале от 0 до y
AP
вот тут написано, откуда импортировать https://hackage.haskell.org/package/base-4.14.1.0/docs/doc-index-M.html
AP
ну то есть x mod'' y это такое z, что для некоторого целого k выполняется x == k*y+z, причем z лежит в интервале от 0 до y
Data.Fixed.divMod' как раз целое k возвращает, агаJS
по определению. это целочисленная операция
точно так же в математике есть как минимум 3 существенно разных способа возведения в степень, поэтому в Хаскеле есть (^), (^^) и (**)
JS
The Lord of Hypercomplex Numbers
ghci не понравилась такая идея
в ошибке сказано "Variable not in scope" — переменная не видна. здесь ничего не сказано про идею. ghci не может что-то нравиться или не нравиться, это программа
TZ
точно так же в математике есть как минимум 3 существенно разных способа возведения в степень, поэтому в Хаскеле есть (^), (^^) и (**)
А в чём существенная разница?
JS
А в чём существенная разница?
(^) для неотрицательных степеней, (^^) — для целых
0 может стоять слева от (^), но не от (^^)
(-1) может стоять справа от (^^), но не от (^)
0 может стоять слева от (^), но не от (^^)
(-1) может стоять справа от (^^), но не от (^)
TZ
Так это про программирование, не про математику
JS
Так это про программирование, не про математику
в математике первая арифметическая степень (^) определена через умножение,
вторая арифметическая (^^) — через умножение и деление (перестаёт работать в полугруппах без деления, например)
вторая арифметическая (^^) — через умножение и деление (перестаёт работать в полугруппах без деления, например)
JS
третья — алгебраическая (?) степень
(**) — определена через экспонентуJS
-1 можно возводить в степень арифметически, но не алгебраически
JS
(поправьте, если я напутал в терминах)
JS
так что они даже не расширяют друг друга
TZ
так что они даже не расширяют друг друга
Я уложу сына спать и подумаю. Пока мне кажется, что они друг друга расширяют
к
-1 можно возводить в степень арифметически, но не алгебраически
в группах можно алгебраически, нужен просто обратный элемент, и вот уже все отрицательные степени доступны
JS
(**) добавляет к области определения (^^) дробные степени, но убирает отрицательные основания