问题标签 [symbolic-computation]

有人知道有关计算机代数系统的一般理论（例如mathematica、sympy）的任何资源（书籍、课程、讲义或任何东西）吗？

“介绍性”材料是首选，但我意识到，对于这样一个专业的主题，任何事情都必然是相当先进的。

我有一个等式：

已定义，我想将其拆分为仅包含单个变量的因素 - 在本例中为 V1 和 V2。

因此，我期望

但到目前为止我能得到的最好的结果是

使用equation.factor(V1,V2). 是否有其他选择因素或其他方法可以进一步分离变量？

我有 Symbolic C++（可以与 V 集成的版本，没有关于如何安装它的文档。我从这个网站得到它，它有它如何工作的示例：

http://issc.uj.ac.za/symbolic/symbolic.html

有谁知道如何安装它以与我在 Visual Studio 中的项目一起使用？

我需要在 C++ 中进行分析集成。例如，我应该整合这样的表达式：exp[I(x-y)],I是一个虚数。

我怎样才能在 C++ 中做到这一点？

我尝试了GiNaC，但它只能集成多项式。我也试过SymbolicC++。它可以集成sine,cosine或exp(x)和等功能ln(x)，但功能不是很强大。比如不能积分x*ln(x)，用 Mathematica 很容易得到，或者分部分积分。

是否有任何其他工具或库能够进行符号计算，如 C++ 中的分析集成？

我是 python 新手，正在努力让 cython 加速我的一些计算。我已经尝试了我能想到的所有可能的方法，但似乎我还没有理解某些东西，所以我惨遭失败。我有这些文件：第一个名为Myfunc.pyx：

setup.py: _

最后是calc.py我运行的python脚本来获取我想要的列表，称为“MyList1”：

现在进行一些澄清：1) x,y 在以前的脚本中纯粹用作推导公式的符号。我使用a.subs(x,xa)and b.subs(x,xa)（参见第一个文件 Myfunc.pyx）去掉 x 并用 xa 替换它，最终得到数字而非符号解决方案。2）我认为在第三个文件（calc.py）的顶部我不应该使用import Myfunc但我没有得到的其他东西。我想我应该做什么：运行 setup.py 然后因为有 2 个新文件创建了 Myfunc.c 和 Myfunc.所以我只运行 calc.py 文件，据说我会在纯 python 中更快地获得我的数字. 必须做什么：我终于不知道...... 如果可能的话我想要什么： exp()and a.subs(x,xa)andb.subs(x,xa)我认为正在减慢我的计算速度。我尝试将这段代码从纯 python 转换为“cython”（我认为转换不是描述这个的好词）。官方网站上的教程对我来说有点难以理解，所以我总是无法做到这一点。请原谅我的英语，因为我的气垫船里装满了鳗鱼

我正在尝试创建一个程序，该程序使用 sympy 获取一组变量并在这些变量的域上评估符号逻辑表达式。问题是在它吐出真值表后，我无法让 python 来评估表达式。

这是代码：

如果我执行以下操作，输出如下：

如果存在执行此任务的某些软件，我真的很想知道它:-)

提前致谢。

对于带有符号参数的循环，我有一个关于 KLEE（符号执行工具）如何工作的问题：

如果我们用这段代码执行 klee，它只会给出一个测试用例。但是，如果我们去掉 printf(...) 的注释，klee 将需要某种类型的控制来停止执行，因为它会产生 n 的值：--max-depth= 200

我想了解为什么 klee 有这种不同的行为，这对我来说没有意义。为什么如果我在这段代码中没有 printf，它不会产生相同的值。

我发现它发生在选项时发生 - 当它没有相同的行为时，使用时式。有人知道 Klee 的 --optimize 是如何工作的吗？

另一个同样的问题是，如果在他们发表的论文中，据我所知，他们说他们的启发式搜索将使它不是无限的（他们使用避免饥饿），因为我让它运行不会停止，这是真的在这个循环的情况下应该完成 klee 执行？

提前致谢

I am trying to calculate the symbolic eigenvalues and vectors of matrices of the form

in matlab (replace a,b,c etc with some expressions containing x, y, z). When I have 4 off diagonal terms 0 then the program is succesful. But when the matrix has only two off diagonal elements zero (like as in the example), the program fails to find eigenvectors but can find eigenvectors (which is expected since it is third degree polynomial). The expression for the eigenvalues is ofcourse quite hectic. And when I try to calculate eigenvectors it gives the error

I am using matlab R2009a. Is this a problem that can be solved by for instance R2009b or better servers or it is just to many calculations to try? This does not seem plausible to me since if you take the above matrix subtract LI (where K is for eigenvalue I is id matrix) from it and try to solve the eigenvector equation, you can even solve it by hand to get expressions containing L, a,b,c,e,f,g. Then what you have to do is to simply put in expressions for lambda. However ofcourse the result will be very long so I am wondering if this is some memory issue?

Thanks

我只是想在 matlab 中求解一个方程，但它确实给了我一个警告。 “无法找到警告显式积分” 经过一些搜索，人们建议用 Double() 方法包装我的方程，但即使这样，我还是收到了错误的答案（ans=0），我在mathematica/maple 上计算为 4.62240566。

我认为它与浮点有关，但我不确定如何修复它

DO方言使用PAREN范畴系列！优先级，并且通常会在调用函数之前煮掉底层的括号结构。

但是，在 Rebol 2 中，过去可以在函数定义中指定您希望它在调用点抑制对括号的求值。您通过在参数上使用“文字”撇号标记来做到这一点：

所以你通过了一个系列！类别类型，属于 PAREN!...在这种情况下，内部包含三个符号元素：1, +, 2. 这在 Rebol 3 中不起作用：

这是一个错误还是一个有目的的设计决定？有解决方法吗？请注意，将引号运算符放在调用点不起作用，因为它quote是被引用的符号词，然后是括号！自行评估以成为表达式的最终值：-/