问题标签 [symbolic-math]

给定一个多项式如(a+b*i)*c+i, 其中a, b,c被定义为符号元素来表示三个实数值并且i是虚数单位，如何返回这个多项式的实部和虚部？

我想写一个递归函数来计算符号变量。这是python中的一个例子：

如何在 Mathematica 中重新实现它？

我尝试手动创建变量名：

但它不起作用：

我想看看表达式是如何展开的（对于比示例中更复杂的函数），这就是为什么我希望所有变量都是符号的。

假设我有一个匿名函数f = @(x) x^2，我想将其转换为符号函数。有内置命令吗？

我正在使用 MuPad，以便拥有一个符号工具来找到方程的解。但我正在使用矩阵。

考虑一下：

此功能使我能够拥有矩阵的块表示并且它可以工作。现在考虑这个函数

这将操作一点矩阵并返回其组件以某种方式组合的矩阵。问题是，考虑到我不能告诉 MuPad 矩阵 A 及其分量是矩阵而不是实数，MuPad 会以不同的顺序向我显示矩阵乘积

例如。考虑

返回矩阵的第一个组件，元素 (1,1)，是 A11*A21*A22，这是不正确的 A11,A12,A21,A22 矩阵！

我如何告诉 MuPad A11、A12、A21 和 A22 是矩阵，以便 MuPad 正确扩展产品？

我关心的是寻找符号解和矩阵乘积和求逆的扩展。实际上，这是我想自己定义的东西。我会自己解释。

我想创建一个我将调用的“数学”对象，B4MAT它表示一个方阵，其元素是 4 个半角方阵。所以我想定义两个之间的产品，B4MAT给我另一个B4MAT，它的组件是通过应用产品规则计算的，但在矩阵之间，而不是在标量之间。

此外，这是非常重要的一点，请考虑矩阵的逐块求逆。我想将 a 的反转定义B4MAT为返回另一个的操作B4MAT，其元素是使用链接中的分块反转算法计算的。

如何在千里马中实现这一点？

谢谢

在我的研究小组中，我们有不同的人在不同的符号工具中进行代数建模，例如 Matlab 中的 Symbolic Toolbox 和 Python 中的 Sympy。然后，这些模型通常会导出为 C 代码，并复制粘贴到我们自己的基于 C++ 的符号工具中，以进行进一步的符号操作。

在寻找这种难以维护的方法的替代方案时，我发现了两种看起来或多或少标准化的格式：OpenMath 和“Content MathML”。请注意，我们只对语义感兴趣，而不是漂亮的打印。

这两种格式有什么关系？两者都可以用来存储和交换工具之间的数学表达式吗？

数学表达式是否还有其他或多或少标准化的交换格式？

我知道可以将像“ Simplicity 模拟”（SoS）这样的符号扰动方案应用于像 4 点方向这样的几何谓词，以避免处理退化的情况。我假设对基于平面的几何做同样的事情也是有效的，其中点是由 3 个平面的交点隐式定义的，所以我可以有一个类似的方向谓词告诉我定义的点在第 4 个平面的哪一侧前3个谎言。我会扰乱平面方程的系数，而不是一个点的笛卡尔坐标。

问题是一个点可以由许多不同的平面定义。立方体中的每个顶点由 3 个平面定义，但金字塔的顶点有 4 个。一致性似乎是像 SoS 这样的方案的一切，我无法确定我选择哪个 3 个平面来定义一个点是否重要。也许不是，只要每次我提到这一点时，我都使用相同的 3 架飞机。

那么，问题来了：我可以选择任意 3 个平面来表示一个点吗？

提前致谢。

我有 8 个正弦和余弦，我尝试使用 Matlab 进行符号定义，如下所示。我的目标是使用所有这些正弦和余弦符号性地构建一个 8x8 的矩阵 H（累积的吉文斯旋转矩阵），并最终看到这个 H 正交投影矩阵的公式是什么。我可以在概念上使用下面的代码来做到这一点，G7*G6*...*G0*I其中 I 是标识 8x8，Gi 是对应于元素 (i:i+1,i:i+1) 的 Givens 旋转。

代码失败并出现以下错误，无法找到解决方法：

我想在 GNU Octave 中计算以下符号表达式：

int(exp(ikx-|k|^n),k,-infinity,infinity) , (- 它当然是 'x' 的函数，其中 'x' 是一个数据数组。)

• 我不成功。

• 我在互联网上搜索了一下，了解到 Octave 最初并没有内置的“符号数学”套件。

这是真的？如何下载和安装它（使用 Ubuntu 12.04，从“终端”？）？

提前谢谢你！

假设你有一个微分方程，你想用dsolvematlab 中的函数求解它，但首先你必须向用户询问初始值，然后根据他输入的内容，程序给出答案。

我该怎么做？