{"id":1937,"date":"2023-11-27T16:25:15","date_gmt":"2023-11-27T08:25:15","guid":{"rendered":"http:\/\/zhang.mba\/?p=1937"},"modified":"2023-11-27T16:48:00","modified_gmt":"2023-11-27T08:48:00","slug":"sympy-yi-ge-shen-qi-de-python-ku","status":"publish","type":"post","link":"https:\/\/zhang.mba\/index.php\/2023\/11\/27\/16\/25\/15\/1937\/sympy-yi-ge-shen-qi-de-python-ku\/python\/zhangzhiqi\/","title":{"rendered":"sympy\uff0c\u5feb\u901f\u89e3\u51b3\u5e38\u89c1\u7684\u6570\u5b66\u95ee\u9898"},"content":{"rendered":"<p><strong><a href=\"https:\/\/github.com\/sympy\/sympy\">https:\/\/github.com\/sympy\/sympy<\/a><\/strong><\/p>\n<p>\u5728 Python \u4e2d\uff0c\u6709\u4e00\u4e9b\u7528\u4e8e\u4ee3\u6570\u7684\u7b2c\u4e09\u65b9\u6a21\u5757\u3002\u6211\u6700\u559c\u6b22\u7684\u4e4b\u4e00\u662f \u201c<strong>SymPy<\/strong>\u201d\uff0c\u5b83\u5c01\u88c5\u4e86\u5927\u91cf\u65b9\u6cd5\u6765\u5e2e\u52a9<strong>\u6570\u636e\u5de5\u7a0b\u5e08\u5feb\u901f\u89e3\u51b3\u5e38\u89c1\u7684\u6570\u5b66\u95ee\u9898\u3002<\/strong><\/p>\n<p>\u4eca\u5929\u6211\u4eec\u5c06\u901a\u8fc7<strong>\u9002\u5408\u521d\u5b66\u8005\u7684\u4ee3\u7801\u793a\u4f8b<\/strong>\u4ecb\u7ecd\u8be5\u6a21\u5757\u7684 7 \u4e2a\u57fa\u672c\u7528\u6cd5\u3002<\/p>\n<h4><a id=\"1%E3%80%81%E5%9B%A0%E5%BC%8F%E5%88%86%E8%A7%A3\" class=\"anchor\" aria-hidden=\"true\"><span class=\"octicon octicon-link\"><\/span><\/a><strong>1\u3001\u56e0\u5f0f\u5206\u89e3<\/strong><\/h4>\n<p>\u9996\u5148\uff0c\u6211\u4eec\u9700\u8981\u4f7f\u7528 Symbol \u5b9a\u4e49\u4e00\u4e2a\u53d8\u91cf\uff0c\u5b83\u4f7f\u5f97\u53d8\u91cf\u53ef\u4ee5\u5e94\u7528\u4e8e sympy \u7684\u4ee3\u6570\u65b9\u6cd5\u3002<\/p>\n<p>\u5b9a\u4e49 \u201cSymbols\u201d \u540e\uff0c\u6211\u4eec\u53ef\u4ee5\u501f\u52a9\u00a0factor() \u51fd\u6570\u8f7b\u677e\u83b7\u53d6<strong>\u8868\u8fbe\u5f0f\u7684\u56e0\u5b50<\/strong>\u3002<\/p>\n<pre class=\"line-numbers\"><code class=\"language-python\">from sympy import Symbol, factor\n\nx = Symbol('x')\ny = Symbol('y')\n\nexpr = (x - 2) * (x - 2) - (y - 3) * (y - 3)\nprint(factor(expr))```\n\n\u6b64\u5916\uff0c\u8fd8\u6709\u53e6\u4e00\u79cd\u65b9\u4fbf\u7684\u65b9\u6cd5\u53ef\u4ee5**\u4e00\u6b21\u5b9a\u4e49\u591a\u4e2a\u53d8\u91cf**\u3002\n\n```python\nfrom sympy import Symbol, factor\n\nx = Symbol('x')\ny = Symbol('y')\n\nexpr = (x - 2) * (x - 2) - (y - 3) * (y - 3)\nprint(factor(expr))\n<\/code><\/pre>\n<p><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010745727864-1.png'><img class=\"lazyload lazyload-style-2\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  data-original=\"http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010745727864-1.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" \/><\/div><\/p>\n<h4><a id=\"2%E3%80%81%E6%89%A9%E5%B1%95\" class=\"anchor\" aria-hidden=\"true\"><span class=\"octicon octicon-link\"><\/span><\/a><strong>2\u3001\u6269\u5c55<\/strong><\/h4>\n<p>\u53e6\u4e00\u65b9\u9762\uff0c<strong>\u5c55\u5f00\u64cd\u4f5c\u548c\u56e0\u5f0f\u5206\u89e3\u4e00\u6837\u7b80\u5355<\/strong>\uff0c\u6211\u4eec\u9700\u8981\u505a\u7684\u5c31\u662f\u4f7f\u7528 sympy \u4e2d\u7684 expand() \u65b9\u6cd5\u3002<\/p>\n<pre class=\"line-numbers\"><code class=\"language-python\">from sympy import Symbol, expand\n\nx = Symbol(&quot;x&quot;)\ny = Symbol(&quot;y&quot;)\n\nexpr = (x - y + 1)*(x + y - 5)\nexpr = expand(expr)\nprint(expr)\n<\/code><\/pre>\n<p><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010745727864-1.png'><img class=\"lazyload lazyload-style-2\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  data-original=\"http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010745727864-1.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" \/><\/div><\/p>\n<h4><a id=\"3%E3%80%81%E8%A1%A8%E8%BE%BE%E5%BC%8F%E6%B1%82%E8%A7%A3\" class=\"anchor\" aria-hidden=\"true\"><span class=\"octicon octicon-link\"><\/span><\/a><strong>3\u3001\u8868\u8fbe\u5f0f\u6c42\u89e3<\/strong><\/h4>\n<p>\u7528\u7eaf Python \u6765\u6c42\u89e3\u8868\u8fbe\u5f0f\u662f\u53ef\u4ee5\u7684\uff0c\u4f46\u662f\u5229\u7528 sympy \u7684\u5f3a\u5927\u529f\u80fd\u5c06\u4f7f\u4f60\u7684\u4ee3\u7801\u66f4\u52a0 Pythonic\u3002<\/p>\n<pre class=\"line-numbers\"><code class=\"language-python\">from sympy import Symbol\n\nx = Symbol(&quot;x&quot;)\ny = Symbol(&quot;y&quot;)\nexpr = x**2 - 2*x - y**3 + 7*y - 3\n\nresult = expr.subs({x: 1, y: 2})\nprint(result)\n<\/code><\/pre>\n<h4><a id=\"4%E3%80%81%E8%A1%A8%E8%BE%BE%E5%BC%8F%E8%AE%A1%E7%AE%97\" class=\"anchor\" aria-hidden=\"true\"><span class=\"octicon octicon-link\"><\/span><\/a><strong>4\u3001\u8868\u8fbe\u5f0f\u8ba1\u7b97<\/strong><\/h4>\n<p>\u6b64\u5916\uff0c\u5982\u679c\u4f60\u6709\u591a\u4e2a\u8868\u8fbe\u5f0f\u5e76\u60f3\u7528\u5b83\u4eec\u8fdb\u884c\u4e00\u4e9b\u8ba1\u7b97\uff0c\u5728 sympy \u6a21\u5757\u7684\u5e2e\u52a9\u4e0b\uff0c<strong>\u7a0b\u5e8f\u5c06\u50cf\u6267\u884c\u7b80\u5355\u7684\u7b97\u672f\u8ba1\u7b97\u4e00\u6837\u7b80\u5355<\/strong>\uff0c\u4f8b\u5982\u52a0\u3001\u51cf\u3001\u4e58\u3001\u9664\u3002<\/p>\n<pre class=\"line-numbers\"><code class=\"language-python\">from sympy import Symbol\n\nx = Symbol(&quot;x&quot;)\ny = Symbol(&quot;y&quot;)\n\nexpr1 = x * y + y * y\nexpr2 = x * x + x * y\n\nprint(expr1 + expr2)\n<\/code><\/pre>\n<h4><a id=\"5%E3%80%81%E8%A7%A3%E6%96%B9%E7%A8%8B\" class=\"anchor\" aria-hidden=\"true\"><span class=\"octicon octicon-link\"><\/span><\/a>5\u3001\u89e3\u65b9\u7a0b<\/h4>\n<p>\u5982\u679c\u4f60\u624b\u5934\u53ea\u6709\u4e00\u4e2a\u57fa\u672c\u8ba1\u7b97\u5668\uff0c\u90a3\u4e48\u89e3\u65b9\u7a0b\u662f\u4e00\u9879\u6311\u6218\u3002<\/p>\n<p>\u5728\u8fd9\u79cd\u60c5\u51b5\u4e0b\uff0c\u4f7f\u7528 sympy \u6a21\u5757\u662f Python \u5f00\u53d1\u4eba\u5458\u7684\u81ea\u7136\u9009\u62e9\u3002<\/p>\n<pre class=\"line-numbers\"><code class=\"language-python\">from sympy import symbols, solve\n\nx, y = symbols('x, y')\nexpr = x * x - 5 * x + 6\nprint(solve(expr))\n<\/code><\/pre>\n<p><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010745727864-1.png'><img class=\"lazyload lazyload-style-2\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  data-original=\"http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010745727864-1.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" \/><\/div><\/p>\n<p><strong>\u6c42\u89e3\u5177\u6709\u4e24\u4e2a\u53d8\u91cf\u7684\u65b9\u7a0b\u7ec4\u540c\u6837\u7b80\u5355\u3002<\/strong><\/p>\n<pre class=\"line-numbers\"><code class=\"language-python\">from sympy import symbols, solve\n\nx, y = symbols('x, y')\nexpr1 = 3 * x + 4 * y - 34\nexpr2 = 2 * x + 3 * y - 56\n\nprint(solve((expr1, expr2), dict=True))\n<\/code><\/pre>\n<p><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010745727864-1.png'><img class=\"lazyload lazyload-style-2\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  data-original=\"http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010745727864-1.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" \/><\/div><\/p>\n<h4><a id=\"6%E3%80%81%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B0%E5%A4%84%E7%90%86\" class=\"anchor\" aria-hidden=\"true\"><span class=\"octicon octicon-link\"><\/span><\/a><strong>6\u3001\u4e09\u89d2\u51fd\u6570\u5904\u7406<\/strong><\/h4>\n<p>\u5982\u679c\u4f60\u8ba4\u4e3a\u524d\u9762\u7684\u573a\u666f\u5e76\u4e0d\u592a\u96be\uff0c\u5e76\u4e14\u4f60\u4e5f\u53ef\u4ee5\u5728\u6ca1\u6709 sympy \u6a21\u5757\u7684\u60c5\u51b5\u4e0b\u89e3\u51b3\u95ee\u9898\uff0c\u90a3\u4e48\u4e09\u89d2\u51fd\u6570\u8ba1\u7b97\u5c06\u6539\u53d8\u4f60\u7684\u60f3\u6cd5\u3002<\/p>\n<p>\u8ba1\u7b97\u57fa\u672c\u4e09\u89d2\u51fd\u6570\u4e0e\u6c42\u89e3\u5176\u4ed6\u8868\u8fbe\u5f0f\u4e00\u6837\u7b80\u5355\uff0c<strong>\u56e0\u4e3a\u5e38\u89c1\u7684\u4e09\u89d2\u51fd\u6570\u662f sympy \u6a21\u5757\u7684\u5185\u7f6e\u51fd\u6570<\/strong>\u3002<\/p>\n<pre class=\"line-numbers\"><code class=\"language-python\">from sympy import symbols, sin, N\n\nx, y = symbols(&quot;x y&quot;)\nexpr = sin(x)\n\nprint(expr.subs(x, 0))\n# 0\nprint(expr.subs(x, 3))\n# sin(3)\nprint(N(expr.subs(x, 3)))\n# 0.141120008059867\n<\/code><\/pre>\n<p>\u6211\u4eec\u751a\u81f3\u53ef\u4ee5\u7b80\u5316\u4e09\u89d2\u8868\u8fbe\u5f0f\u3002<\/p>\n<pre class=\"line-numbers\"><code class=\"language-python\">from sympy import symbols, sin, cos, tan, sec, trigsimp\n\nx, y = symbols(&quot;x y&quot;)\n\nprint(trigsimp(sin(x) ** 2 + cos(x) ** 2))\n# 1\nprint(trigsimp(cos(x) * tan(x)))\n# sin(x)\n<\/code><\/pre>\n<h4><a id=\"7%E3%80%81%E7%BB%98%E5%88%B6%E5%87%BD%E6%95%B0%E5%9B%BE\" class=\"anchor\" aria-hidden=\"true\"><span class=\"octicon octicon-link\"><\/span><\/a><strong>7\u3001\u7ed8\u5236\u51fd\u6570\u56fe<\/strong><\/h4>\n<p>\u9664\u4e86\u8ba1\u7b97\u4e4b\u5916\uff0csympy \u5de5\u5177\u751a\u81f3\u53ef\u4ee5\u76f4\u63a5\u7ed8\u5236\u51fd\u6570\u56fe\u3002<\/p>\n<pre class=\"line-numbers\"><code class=\"language-python\">from sympy import Symbol\nfrom sympy.plotting import plot\nx = Symbol('x')\np1 = plot(2*x + 3)\np1.show()\n<\/code><\/pre>\n<p><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010747334046.png'><img class=\"lazyload lazyload-style-2\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  data-original=\"http:\/\/zhang.mba\/wp-content\/uploads\/2023\/11\/17010747334046.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" \/><\/div><\/p>\n<p>\u6765\u6e90&#8212;&#8211;\u7a0b\u5e8f\u5458\u5b66\u957f<\/p>\n<!--CusAds0-->\n<div style=\"font-size: 0px; height: 0px; line-height: 0px; margin: 0; padding: 0; clear: both;\"><\/div>","protected":false},"excerpt":{"rendered":"<p>https:\/\/github.com\/sympy\/sympy \u5728 Python \u4e2d\uff0c\u6709\u4e00\u4e9b\u7528\u4e8e\u4ee3\u6570\u7684\u7b2c\u4e09\u65b9\u6a21\u5757\u3002\u6211\u6700\u559c\u6b22\u7684\u4e4b\u4e00\u662f \u201cSymPy\u201d\uff0c\u5b83\u5c01\u88c5\u4e86\u5927\u91cf\u65b9\u6cd5\u6765\u5e2e\u52a9\u6570\u636e\u5de5\u7a0b\u5e08\u5feb\u901f\u89e3\u51b3\u5e38\u89c1\u7684\u6570\u5b66\u95ee\u9898\u3002 \u4eca\u5929\u6211\u4eec\u5c06\u901a\u8fc7\u9002\u5408\u521d\u5b66\u8005\u7684\u4ee3\u7801\u793a\u4f8b\u4ecb\u7ecd\u8be5\u6a21\u5757\u7684 7 \u4e2a\u57fa\u672c\u7528\u6cd5\u3002 1\u3001\u56e0\u5f0f\u5206\u89e3 \u9996\u5148\uff0c &#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_bbp_topic_count":0,"_bbp_reply_count":0,"_bbp_total_topic_count":0,"_bbp_total_reply_count":0,"_bbp_voice_count":0,"_bbp_anonymous_reply_count":0,"_bbp_topic_count_hidden":0,"_bbp_reply_count_hidden":0,"_bbp_forum_subforum_count":0},"categories":[12],"tags":[],"_links":{"self":[{"href":"https:\/\/zhang.mba\/index.php\/wp-json\/wp\/v2\/posts\/1937"}],"collection":[{"href":"https:\/\/zhang.mba\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/zhang.mba\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/zhang.mba\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/zhang.mba\/index.php\/wp-json\/wp\/v2\/comments?post=1937"}],"version-history":[{"count":0,"href":"https:\/\/zhang.mba\/index.php\/wp-json\/wp\/v2\/posts\/1937\/revisions"}],"wp:attachment":[{"href":"https:\/\/zhang.mba\/index.php\/wp-json\/wp\/v2\/media?parent=1937"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/zhang.mba\/index.php\/wp-json\/wp\/v2\/categories?post=1937"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/zhang.mba\/index.php\/wp-json\/wp\/v2\/tags?post=1937"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}