Ada mod 和 rem 实现

Question

当研究 mod 和 rem 之间的确切区别时（我承认几年前应该做的事情，我在这件事上发现很少。https://en.wikipedia.org/wiki/Modulo_operation 指出可以使用一些不同的部门，并且还指出每个结果都有哪个符号。如果有任何关于在 ARM 中执行哪个除法的声明，我一定错过了。我假设它是欧几里得，但我想确定。

编辑：
所以我错过了这个：http://www.adaic.org/resources/add_content/standards/05rm/html/RM-4-5-5.html 涵盖了关系。但是，在 mod 的关系中：
A = B*N + (A mod B)
唯一提到 N 是“另外，对于一些有符号整数值 N”。 N从哪里来？

Answer 1

正如 cmets 中所说，http://www.ada-auth.org/standards/12rm/html/RM-4-5-5.html 很好地解释了行为的根本差异。参考手册下方的表格很有帮助。我最终得出的结论（并针对各种小数类型实现）是 rem 使用截断除法，而 mod 使用地板除法。如果显示错误，我将编辑此答案。