两个乘积之差和两个乘积之和是在各种常见计算中发现的两个原语。diff_of_products (a,b,c,d) := ab - cd 和 sum_of_products(a,b,c,d) := ab + cd 是密切相关的伴随函数,仅部分操作数的符号不同。使用这些原语的示例是:
\n计算 x = (a + i b) 和 y = (c + i d)的复数乘法:
\nx*y = diff_of_products (a, c, b, d) + i sum_of_products (a, d, b, c)
\n计算 2x2 矩阵的行列式:diff_of_products (a, d, b, c):
\n| a b |\n| c d |\nRun Code Online (Sandbox Code Playgroud)\n在直角三角形中,计算斜边和相邻内切线的相对内切线的长度: diff_of_products (h, h, a, a)ha
计算具有正判别式的二次方程的两个实数解:
\nq = -(b + copysign …