python - sympy 可以求解这些多项式平方根方程吗？-6ren

python - sympy 可以求解这些多项式平方根方程吗？

转载作者：行者123 更新时间：2023-12-04 08:02:12

我尝试在 SymPy 中以 2 种不同的形式求解一个带有错误和无限循环的方程。这是在 Python 3.8.8 和 SymPy 1.7.1 上，在两个设备上的结果相同。相比之下，Mathematica 在一秒钟内解决了这两个问题。
方程
这是相同方程的等效形式

from sympy import *
   
x,xh,xhh,p,q,r = symbols('x xh xhh p q r')

eq1 = ((2*q**2-2*r**2)/(-q - r + xh) - 2*q - 2*r + x + xhh 
       + sqrt(4*p*x + 4*p*xh + 4*q**2 + x**2 + 2*x*xh + xh**2) 
       + sqrt(4*p*xh + 4*q**2 + xh**2 + xhh**2 + 2*xhh*(2*p + xh))
      )

eq2 = (4*q**2 + 4*q*r - q*x - 2*q*xh - r*x - 2*r*xh + x*xh + xhh*(-q - r + xh)
       + (-q - r + xh)*sqrt(4*p*xh + 4*q**2 + xh**2 + xhh**2 + 2*xhh*(2*p + xh)) 
       + (-q - r + xh)*sqrt(4*p*x + 4*p*xh + 4*q**2 + x**2 + 2*x*xh + xh**2)
      )

A,C,D,F,G,H = symbols('A C D F G H')

eq3 = A + xhh + C/D + sqrt(F) + sqrt(G + H*xhh + xhh**2)

解决尝试
求解第一种形式 solve(eq1,xhh)返回错误

Traceback (most recent call last):

  File "<ipython-input-24-9923c6f02abd>", line 1, in <module>
    solve(eq1,xhh)

  File "/Users/jacobrichardson/anaconda/envs/env_sympy/lib/python3.8/site-packages/sympy/solvers/solvers.py", line 1097, in solve
    solution = _solve(f[0], *symbols, **flags)

  File "/Users/jacobrichardson/anaconda/envs/env_sympy/lib/python3.8/site-packages/sympy/solvers/solvers.py", line 1460, in _solve
    gen = f_num.match(D.xreplace({d: w}))[w]

TypeError: 'NoneType' object is not subscriptable

解决第二个 solve(eq2,xhh)运行了一个多小时而没有在我的两台设备上完成!
确实在我的手动帮助下，第三种形式解决了 solve(eq3,xhh)给予

[(-A**2*D**2 - 2*A*C*D - 2*A*D**2*sqrt(F) - C**2 - 2*C*D*sqrt(F) - D**2*F + D**2*G)/(D*(2*A*D + 2*C + 2*D*sqrt(F) - D*H))]

有什么办法可以让 SymPy 求解像 eq1 这样的方程吗？和 eq2像 Mathematica 一样简单方便 Solve[eq1,xhh]和 Solve[eq2,xhh] ?

等价方程

print(simplify(eq1 * (-q - r + xh) - eq2)) # "0" equations 1 and 2 equivalent up to one singularity
print(simplify(eq1 -
               eq3.subs([(A,-2*q - 2*r + x),(C,2*q**2 - 2*r**2),(D,-q - r + xh),
                         (F,4*p*x + 4*p*xh + 4*q**2 + x**2 + 2*x*xh + xh**2),
                         (G,4*p*xh + 4*q**2 + xh**2),(H,2*(2*p + xh))]))) # "0" equations 1 and 3 equivalent

最佳答案

我试过 solve(eq1, xhh)我看到您在使用 sympy 1.7.1(最新版本)进行测试时显示的错误。我认为这是一个已经修复的错误，因为我没有看到最新的“主”版本的 sympy。事实上，这是修复它的拉取请求:
https://github.com/sympy/sympy/pull/20842
相反，与 master 我发现它只是在您报告 eq2 时很慢.中断它我可以看到它在可以禁用的检查代码中很慢。 check=False eq1 需要 4 秒和 5 秒 eq2 :

In [2]: %time solve(eq1, xhh, check=False)
CPU times: user 4.21 s, sys: 45.3 ms, total: 4.25 s
Wall time: 4.33 s
Out[2]: 
⎡                                                                                                                      ______________________
⎢       2                                   2                          2      4       3        3        3         3   ╱                     2
⎢- 2⋅p⋅q ⋅x - 4⋅p⋅q⋅r⋅x + 4⋅p⋅q⋅x⋅xh - 2⋅p⋅r ⋅x + 4⋅p⋅r⋅x⋅xh - 2⋅p⋅x⋅xh  - 8⋅q  - 16⋅q ⋅r + 4⋅q ⋅x + 8⋅q ⋅xh + 4⋅q ⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q 
⎢────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
⎢                                                                                                                                            
⎢                                                                                                                                            
⎣                                                                                                                                            

_____________________                                               ___________________________________________                              
    2              2       2  2      2           2           2     ╱                     2    2              2     2  2      2         2     
 + x  + 2⋅x⋅xh + xh   - 8⋅q ⋅r  + 8⋅q ⋅r⋅x + 16⋅q ⋅r⋅xh + 8⋅q ⋅r⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - q ⋅x  - 7⋅q ⋅x⋅xh - q ⋅x⋅╲╱
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                                                                                                             
                                                                                                                                             
                                                                                                                                             

 ___________________________________________                         ___________________________________________                             
╱                     2    2              2       2   2      2      ╱                     2    2              2         2          2         
  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - 2⋅q ⋅xh  - 6⋅q ⋅xh⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   + 4⋅q⋅r ⋅x + 8⋅q⋅r ⋅xh + 4⋅q
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                                                                                                 ____________
                                   2                             2                    2      3      2      2        2       2   ╱            
                            - 2⋅p⋅q  - 4⋅p⋅q⋅r + 4⋅p⋅q⋅xh - 2⋅p⋅r  + 4⋅p⋅r⋅xh - 2⋅p⋅xh  - 4⋅q  - 8⋅q ⋅r + q ⋅x + 5⋅q ⋅xh + q ⋅╲╱  4⋅p⋅x + 4⋅p

       ___________________________________________                                       ___________________________________________         
  2   ╱                     2    2              2           2                           ╱                     2    2              2          
⋅r ⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - 2⋅q⋅r⋅x  - 10⋅q⋅r⋅x⋅xh - 2⋅q⋅r⋅x⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - 4⋅q⋅r⋅
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
_______________________________                                          ___________________________________________                        _
         2    2              2         2                                ╱                     2    2              2                        ╱ 
⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - 4⋅q⋅r  + 2⋅q⋅r⋅x + 6⋅q⋅r⋅xh + 2⋅q⋅r⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - 2⋅q⋅x⋅xh - 2⋅q⋅xh⋅╲╱  

                  ___________________________________________                                       _________________________________________
  2              ╱                     2    2              2         2              2              ╱                     2    2              
xh  - 8⋅q⋅r⋅xh⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   + 2⋅q⋅x ⋅xh + 4⋅q⋅x⋅xh  + 2⋅q⋅x⋅xh⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
__________________________________________                        ___________________________________________                        ________
                    2    2              2     2      2       2   ╱                     2    2              2                        ╱        
4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   + r ⋅x + r ⋅xh + r ⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - 2⋅r⋅x⋅xh - 2⋅r⋅xh⋅╲╱  4⋅p⋅x +

__              ___________________________________________                               ___________________________________________        
2          2   ╱                     2    2              2     2  2      2         2     ╱                     2    2              2       2 
   + 2⋅q⋅xh ⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - r ⋅x  - 3⋅r ⋅x⋅xh - r ⋅x⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - 2⋅r ⋅
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
___________________________________                        ___________________________________________                                       
             2    2              2        2     3     2   ╱                     2    2              2                                        
 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   + x⋅xh  - xh  + xh ⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh                                         

                 ___________________________________________                                       __________________________________________
  2      2      ╱                     2    2              2         2              2              ╱                     2    2              2
xh  - 2⋅r ⋅xh⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   + 2⋅r⋅x ⋅xh + 4⋅r⋅x⋅xh  + 2⋅r⋅x⋅xh⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh 
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                                                                                                             
                                                                                                                                             
                                                                                                                                             

_              ___________________________________________                             ___________________________________________⎤
          2   ╱                     2    2              2     2   2       3       2   ╱                     2    2              2 ⎥
  + 2⋅r⋅xh ⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh   - x ⋅xh  - x⋅xh  - x⋅xh ⋅╲╱  4⋅p⋅x + 4⋅p⋅xh + 4⋅q  + x  + 2⋅x⋅xh + xh  ⎥
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────⎥
                                                                                                                                  ⎥
                                                                                                                                  ⎥
                                                                                                                                  ⎦

关于python - sympy 可以求解这些多项式平方根方程吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/66398831/

文章推荐： sql - 使用 SQL 进行表修改/重新计算(减少前瞻和回顾)

python - Python 中的集群或合并集群以减少组数 (Python)
我正在处理一组标记为 160 个组的 173k 点。我想通过合并最接近的(到 9 或 10 个组)来减少组/集群的数量。我搜索过 sklearn 或类似的库，但没有成功。我猜它只是通过 knn 聚类
python - python 列表的子集基于同一列表的元素组，pythonically
我有一个扁平数字列表，这些数字逻辑上以 3 为一组，其中每个三元组是 (number, __ignored, flag[0 or 1])，例如: [7,56,1, 8,0,0, 2,0,0, 6,1,
python - 激活 Python 虚拟环境并在另一个 Python 脚本中调用 Python 脚本
我正在使用 pipenv 来管理我的包。我想编写一个 python 脚本来调用另一个使用不同虚拟环境(VE)的 python 脚本。如何运行使用 VE1 的 python 脚本 1 并调用另一个 p
python - 在焕然一新的 Python 环境中以编程方式从 Python 内部执行 Python 文件
假设我有一个文件 script.py 位于 path = "foo/bar/script.py"。我正在寻找一种在 Python 中通过函数 execute_script() 从我的主要 Python
python - 从 python 脚本但在 python 脚本之外运行 python 脚本
这听起来像是谜语或笑话，但实际上我还没有找到这个问题的答案。问题到底是什么？我想运行 2 个脚本。在第一个脚本中，我调用另一个脚本，但我希望它们继续并行，而不是在两个单独的线程中。主要是我不希望第
python - 使用不同的 python 从 python 运行 python 脚本
我有一个带有 python 2.5.5 的软件。我想发送一个命令，该命令将在 python 2.7.5 中启动一个脚本，然后继续执行该脚本。我试过用 #!python2.7.5 和http://re
python - 为什么从 Python 命令行调用 Python 时 Python 无法找到并运行我的脚本？
我在 python 命令行(使用 python 2.7)中，并尝试运行 Python 脚本。我的操作系统是 Windows 7。我已将我的目录设置为包含我所有脚本的文件夹，使用: os.chdir("
python - 使用动态版本的 Python 执行嵌入的 Python 代码时出现致命的 Python 错误
剧透:部分解决(见最后)。以下是使用 Python 嵌入的代码示例: #include int main(int argc, char** argv) { Py_SetPythonHome
python - python 中识别 python 数组或列表中最大累积差异的最快方法是什么？
假设我有以下列表，对应于及时的股票价格: prices = [1, 3, 7, 10, 9, 8, 5, 3, 6, 8, 12, 9, 6, 10, 13, 8, 4, 11] 我想确定以下总体上最
python - (Python) 通过单选按钮 python 更新背景
所以我试图在选择某个单选按钮时更改此框架的背景。我的框架位于一个类中，并且单选按钮的功能位于该类之外。 (这样我就可以在所有其他框架上调用它们。) 问题是每当我选择单选按钮时都会出现以下错误: co
python - python 中的字符串与正则表达式比较在 python 中失败
我正在尝试将字符串与 python 中的正则表达式进行比较，如下所示， #!/usr/bin/env python3 import re str1 = "Expecting property name
python - python 如何加载Boost.Python 库？
考虑以下原型(prototype) Boost.Python 模块，该模块从单独的 C++ 头文件中引入类“D”。 /* file: a/b.cpp */ BOOST_PYTHON_MODULE(c)
python - python 检查模块 python 的问题
如何编写一个程序来“识别函数调用的行号？” python 检查模块提供了定位行号的选项，但是， def di(): return inspect.currentframe().f_back.f_l
python - 系统 python 与用户 python
我已经使用 macports 安装了 Python 2.7，并且由于我的 $PATH 变量，这就是我输入 $ python 时得到的变量。然而，virtualenv 默认使用 Python 2.6，除
python - [Python] : Python re. 长字符串行的搜索速度优化
我只想问如何加快 python 上的 re.search 速度。我有一个很长的字符串行，长度为 176861(即带有一些符号的字母数字字符)，我使用此函数测试了该行以进行研究: def getExe
python - 编辑字符串 python 正则表达式 python
list1= [u'%app%%General%%Council%', u'%people%', u'%people%%Regional%%Council%%Mandate%', u'%ppp%%Ge
python - Python 映射中的副作用(Python "do" block )
这个问题在这里已经有了答案: Is it Pythonic to use list comprehensions for just side effects? (7 个答案) 关闭 4 个月前。告
python - 使用其值逻辑组合两个 python 列表 - Python
我想用 Python 将两个列表组合成一个列表，方法如下: a = [1,1,1,2,2,2,3,3,3,3] b= ["Sun", "is", "bright", "June","and" ,"Ju
python - Boost.Python python 链接错误
我正在运行带有最新 Boost 发行版 (1.55.0) 的 Mac OS X 10.8.4 (Darwin 12.4.0)。我正在按照说明 here构建包含在我的发行版中的教程 Boost-Pyth
python - 在 Python 中仅使用内置库制作一个基本的网络抓取工具 - Python
学习 Python，我正在尝试制作一个没有任何第 3 方库的网络抓取工具，这样过程对我来说并没有简化，而且我知道我在做什么。我浏览了一些在线资源，但所有这些都让我对某些事情感到困惑。 html 看起来

行者123

个人简介

我是一名优秀的程序员,十分优秀！

作者热门文章

滴滴打车优惠券免费领取

全站热门文章

首页

博学

6Ren·AI

商城

python - sympy 可以求解这些多项式平方根方程吗？