AM
Это какое-то вычисление, которое даёт правильный результат.
кажется это называется конструктивные определения
Size: a a a
2021 March 28
AP
в документации намного полезнее видеть "частное x / y округлённое вниз" чем "максимальное m такое что x - y m > 0"
АО
Ну, кстати, даже в русской википедии
https://ru.wikipedia.org/wiki/%D0%94%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D1%81_%D0%BE%D1%81%D1%82%D0%B0%D1%82%D0%BA%D0%BE%D0%BC
https://ru.wikipedia.org/wiki/%D0%94%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D1%81_%D0%BE%D1%81%D1%82%D0%B0%D1%82%D0%BA%D0%BE%D0%BC
АО
Деление с остатком a {\displaystyle a} a («делимого») на b {\displaystyle b} b («делитель») означает нахождение таких целых чисел q {\displaystyle q} q и r {\displaystyle r} r, что выполняется равенство:
a = b ⋅ q + r {\displaystyle a=b\cdot q+r}
a = b ⋅ q + r {\displaystyle a=b\cdot q+r}
АО
И это определение
AP
я нигде не спорю, что это определение
AP
(одно из возможных)
АО
А вот дальше уже пишется
Для вычисления неполного частного от деления a {\displaystyle a} a на положительное число b {\displaystyle b} b следует разделить (в обычном смысле) a {\displaystyle a} a на b {\displaystyle b} b и округлить результат до ближайшего целого в меньшую сторону:
Для вычисления неполного частного от деления a {\displaystyle a} a на положительное число b {\displaystyle b} b следует разделить (в обычном смысле) a {\displaystyle a} a на b {\displaystyle b} b и округлить результат до ближайшего целого в меньшую сторону:
АО
Это не определение, это способ вычисления. Можно считать так, можно через евклидову теорему или как она там называется.
AP
в документации намного полезнее видеть "частное x / y округлённое вниз" чем "максимальное m такое что x - y m > 0"
кстати говоря, можно же просто оба варианта в док вставить
АО
А в llvm скорее всего третьим образом считается.
AP
Это не определение, это способ вычисления. Можно считать так, можно через евклидову теорему или как она там называется.
это определение
AP
А в llvm скорее всего третьим образом считается.
да, конечно, в этих определениях вообще про компьютеры и электроны в них ничего не говорится
RS
А в llvm скорее всего третьим образом считается.
Оно должно быть до процессора доведение, внутри которого как-то будет вычислено
AP
там по пути столько преобразований, что нельзя однозначно сказать даже какая команда на процессор попадёт :) лучше математически подходить
RS
в документации намного полезнее видеть "частное x / y округлённое вниз" чем "максимальное m такое что x - y m > 0"
Так нет там операции округления. Ни в математическом определении, ни в реализации
AP
Так нет там операции округления. Ни в математическом определении, ни в реализации
меня пока не убедили, что x div y = x/y округлённое вниз это не определение
RS
Давайте этот раздел документации Julia по-русски перепишем 😁
АО
Ну вы же знаете, как англоговорящие любят ссориться друг с другом)
Подержите моё пиво 😃
RS
меня пока не убедили, что x div y = x/y округлённое вниз это не определение
В истории математики операция деления появилась до дробей