{"id":12000,"date":"2023-08-24T09:01:04","date_gmt":"2023-08-24T09:01:04","guid":{"rendered":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/?p=12000"},"modified":"2023-09-04T09:16:09","modified_gmt":"2023-09-04T09:16:09","slug":"sympy-%e3%81%ae-%e9%96%a2%e6%95%b0%ef%bc%9asympify","status":"publish","type":"post","link":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/?p=12000","title":{"rendered":"Sympy \u306e \u95a2\u6570\uff0csympify \u306e\u4f7f\u3044\u65b9\u3068 \u6709\u52b9\u6570\u5b57\u306e\u5224\u5b9a\u306a\u3069"},"content":{"rendered":"<p>e-Learning \u306e\u6559\u6750\u306e\u56de\u7b54\u3092\u53d6\u308a\u6271\u3046\u8a71\u3067\u3059\u3002\u56de\u7b54\u306f\u6570\u5024\u3092\u60f3\u5b9a\u3057\u3066\u3044\u3066\uff0c\u305d\u306e\u6709\u52b9\u6570\u5b57\u3092\u691c\u8a3c\u3057\u305f\u3044\u3068\u601d\u3063\u3066\u3044\u307e\u3059\u3002\u6570\u5f0f\u51e6\u7406\u30bd\u30d5\u30c8\u7b49\u306b\u56de\u7b54\u3092\u6e21\u3059\u3068\uff0c\u81ea\u52d5\u7684\u306b\u51e6\u7406\u304c\u5165\u3063\u3066\u3057\u307e\u3046\u306e\u3067\uff0c\u56de\u7b54\u306e\u6709\u52b9\u6570\u5b57\u304c\u5206\u304b\u3089\u306a\u304f\u306a\u308a\u307e\u3059\u3002\u56de\u7b54\u3092\u6587\u5b57\u5217\u306e\u307e\u307e\u51e6\u7406\u3092\u3057\u3066\u3044\u304f\u3053\u3068\u306b\u306a\u308b\u304b\u3068\u601d\u3044\u307e\u3059\u3002\u307e\u305a\u6700\u521d\u306f\u56de\u7b54\u306e\u53d6\u308a\u8fbc\u307f\u3067\u3059\u3002<\/p>\n<p>sympify \u306f\u6587\u5b57\u5217\uff08\u4e2d\u8eab\u306f\u6570\u5f0f\uff09\u3092 Sympy \u306b\u5f0f\u3068\u3057\u3066\u53d6\u308a\u8fbc\u3080\u95a2\u6570\u3067\u3059\u3002<\/p>\n<pre><code style=\"color: midnightblue; font-size: 12px; white-space: pre-wrap;\">from sympy import *\r\nexpr = sympify('x +2*x +1')\r\nprint(expr)\r\n&gt;&gt;&gt; 3*x + 1<\/code><\/pre>\n<p>\u898b\u3066\u306e\u901a\u308a\u3001\u51e6\u7406\u3055\u308c\u3066\u3057\u307e\u3044\u307e\u3059\u3002\u6b62\u3081\u308b\u65b9\u6cd5\u306f\u4e0b\u8a18\u3002<\/p>\n<pre><code style=\"color: midnightblue; font-size: 12px; white-space: pre-wrap;\">from sympy import *\r\nexpr = sympify('x +2*x +1', evaluate=False)\r\nprint(expr)\r\n&gt;&gt;&gt; x + 2*x + 1<\/code><\/pre>\n<p>\u3053\u308c\u3067\u8a55\u4fa1\u304c\u6b62\u307e\u308a\u307e\u3059\u3002\u9805\u306e\u4e26\u3079\u66ff\u3048\u306f\u306a\u3055\u308c\u308b\u3088\u3046\u3067\u3059\u3002\u305f\u3060\u3057\u3053\u308c\u306f ubuntu22 \u3067\u306e\u8a71\u3002ubuntu20 \u3067\u306f evaluate=False \u3092\u66f8\u304d\u52a0\u3048\u308b\u3068\u30a8\u30e9\u30fc\u3068\u306a\u308a\u307e\u3057\u305f\u3002Python \u306e\u74b0\u5883\u306f\uff0cOS\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3057\u305f\u307e\u307e\u306e\u72b6\u614b\u3067\u3059\u3002\u305d\u308c\u306b synaptic \u3067 sympy \u3092\u5165\u308c\u3066\u3044\u307e\u3059\u3002ubnutu22 \u3067\u74b0\u5883\u69cb\u7bc9\u3092\u3059\u308b\u3053\u3068\u306b\u306a\u308a\u305d\u3046\u3067\u3059\u3002\u4ee5\u4e0b\u306f\u30a8\u30e9\u30fc\u30ad\u30e3\u30c3\u30c1\u306e\u65b9\u6cd5\u3067\u3059\u3002\u6570\u5f0f\u306b\u76f8\u5f53\u3059\u308b\u6587\u5b57\u5217\u304b\u3069\u3046\u304b\u5224\u65ad\u3059\u308b\u3053\u3068\u304c\u76ee\u6a19\u306a\u306e\u3067\uff0c\u30a8\u30e9\u30fc\u3078\u306e\u5bfe\u51e6\u304c\u5fc5\u8981\u3067\u3059\u3002<\/p>\n<pre><code style=\"color: midnightblue; font-size: 12px; white-space: pre-wrap;\">from sympy import *\r\ntry:\r\n    expr = sympify('1 + 1', evaluate=False)    \r\nexcept Exception as ex:\r\n    expr = ex  \r\nprint(expr)\r\nprint(type(expr))\r\n&gt;&gt;&gt; 1 + 1\r\n&gt;&gt;&gt; &lt;class 'sympy.core.add.Add'&gt;<\/code><\/pre>\n<p>\u4e0b\u4ed8\u304d\u306e\u6587\u5b57\u306a\u3069\u306e\u6271\u3044\u304c\u6c17\u306b\u306a\u308a\u307e\u3059\u3002\u30a2\u30f3\u30c0\u30fc\u30e9\u30a4\u30f3\u3092\u7528\u3044\u3066\u5b9a\u7fa9\u306f\u53ef\u80fd\u306a\u3088\u3046\u3067\u3059\u3002maxima \u306e\u8868\u8a18\u3068\u306f\u7570\u306a\u308a\u307e\u3059\u3002jupyter-notebook \u3067\u306f init_printing() \u306b\u3088\u3063\u3066\uff0cTeX \u7684\u306a\u8868\u793a\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002\u305d\u306e\u5834\u5408\u8868\u793a\u306b\u306f print \u3067\u306f\u306a\u304f\u3066\uff0cdisplay \u3092\u4f7f\u3044\u307e\u3059\u3002<\/p>\n<pre><code style=\"color: midnightblue; font-size: 12px; white-space: pre-wrap;\">from sympy import *\r\ninit_printing()\r\n\r\nx= symbols(\"x_{0:3}\")\r\n\r\nprint(x)\r\n\r\ndisplay(x)\r\n\r\ndisplay(x[0])<\/code><\/pre>\n<p>\u51fa\u529b\u306f\u4e0b\u8a18\u3067\u3059\u3002<\/p>\n<p><a href=\"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test-1.png\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test-1.png\" alt=\"\" width=\"822\" height=\"329\" class=\"aligncenter size-full wp-image-12026\" srcset=\"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test-1.png 822w, http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test-1-300x120.png 300w, http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test-1-768x307.png 768w, http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test-1-600x240.png 600w\" sizes=\"auto, (max-width: 822px) 100vw, 822px\" \/><\/a><\/p>\n<p>sympify \u3067\u6570\u5f0f\u3092\u53d6\u308a\u8fbc\u3080\u5834\u5408\u3092\u8003\u3048\u307e\u3059\u3002\u30a2\u30f3\u30c0\u30fc\u30e9\u30a4\u30f3\u306f\u4e0a\u624b\u304f\u53d6\u308a\u8fbc\u3081\u306a\u304f\u3066\u3001x0 \u3068\u3044\u3046\u3088\u3046\u306a\u8868\u8a18\u3060\u3068\u3053\u3093\u306a\u611f\u3058\u306b\u306a\u308a\u307e\u3059\u3002\u9055\u3044\u304c\u306a\u3055\u305d\u3046\u3067\u3059\u3002<\/p>\n<p><a href=\"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test4.png\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test4.png\" alt=\"\" width=\"752\" height=\"362\" class=\"aligncenter size-full wp-image-12038\" srcset=\"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test4.png 752w, http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test4-300x144.png 300w, http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/wp-content\/uploads\/2023\/08\/test4-600x289.png 600w\" sizes=\"auto, (max-width: 752px) 100vw, 752px\" \/><\/a><\/p>\n<p>atoms(Symbol) \u3067\u3001\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u308b\u5909\u6570\u3092\u8abf\u3079\u3066\u3044\u307e\u3059\u3002x0 \u3068 x1 \u304c\u898b\u3064\u304b\u3063\u3066\u3044\u307e\u3059\u304c\u3001\u305d\u306e\u7d50\u679c\u306f set \u30aa\u30d6\u30b8\u30a7\u30af\u30c8\uff08\u8981\u7d20\u9593\u306e\u91cd\u8907\u3092\u7121\u304f\u3057\u305f\u96c6\u5408\uff09\u3067\u3001\u3053\u308c\u3092\u30ea\u30b9\u30c8\u306b\u5909\u66f4\u3057\u3066\u3044\u307e\u3059\u3002\u30ea\u30b9\u30c8\u3067\u306a\u3044\u3068\u30a4\u30f3\u30c7\u30c3\u30af\u30b9\u304c\u5229\u7528\u3067\u304d\u307e\u305b\u3093\uff08set \u306b\u306f\u9806\u756a\u304c\u306a\u3044\uff09\u3002\u5909\u6570\u3078\u306e\u4ee3\u5165\u3092 subs \u3067\u3084\u3063\u3066\u3044\u307e\u3059\u3002\u4ee3\u5165\u3082\u3067\u304d\u3066\u3044\u308b\u306e\u3067\u3001\u78ba\u304b\u306b\u5909\u6570\u3068\u306a\u3063\u3066\u3044\u308b\u3088\u3046\u3067\u3059\u3002<\/p>\n<p>\u56de\u7b54\u306e\u6709\u52b9\u6570\u5b57\u5224\u5b9a\u3067\u3059\u304c\uff0c\u4eca\u601d\u3044\u3064\u304f\u5224\u5b9a\u51e6\u7406\u306e\u9806\u756a\u306f<\/p>\n<ol>\n<li>sympy \u304c\u89e3\u91c8\u3067\u304d\u308b\u6570\u5f0f\u3068\u3057\u3066\u306e\u8868\u73fe\u306b\u306a\u3063\u3066\u3044\u308b\u304b\u3069\u3046\u304b<\/li>\n<li>\u6587\u5b57\u304c\u5165\u3063\u3066\u3044\u306a\u3044\u3053\u3068\u306e\u78ba\u8a8d\u3002\u5165\u3063\u3066\u3044\u306a\u3051\u308c\u3070\u6570\u5024\u306e\u307f\u306e\u56de\u7b54\u3068\u8a8d\u5b9a\u3059\u308b<\/li>\n<li>\u6570\u5024\u3072\u3068\u3064\u304b\u3069\u3046\u304b\u306e\u5224\u65ad\u3002<code>1.23 + 2.34<\/code> \u3084 <code>1.234 * 2.345<\/code> \u4ed6\u306b\u306f<code>sin(3.1415)<\/code> \u306a\u3069\u3092\u6392\u9664\u3059\u308b<\/li>\n<li>\u6709\u52b9\u6570\u5b57\u306e\u5224\u5b9a<\/li>\n<\/ol>\n<p>\u3053\u3093\u306a\u3068\u3053\u308d\u3067\u3059\u3002\u73fe\u5728\u306e e-Learning \u6559\u6750\u306f maxima \u306e\u5f62\u5f0f\u3067\u56de\u7b54\u3057\u3066\u304f\u308b\u306e\u3067\u3001\u305d\u308c\u3092 sympy \u7528\u306b\u7de8\u96c6\u3059\u308b\u5fc5\u8981\u3082\u3042\u308a\u307e\u3059\u304c\uff0c\u6570\u5024\u3060\u3051\u3068\u5224\u65ad\u3057\u305f\u5f8c\u306a\u3089\u5fc5\u8981\u306a\u3044\u306e\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002<\/p>\n<p>\u4e0b\u8a18\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u66f8\u3044\u3066\u307f\u307e\u3057\u305f\u3002\u8272\u3005\u306a\u30d1\u30bf\u30fc\u30f3\u306e\u6570\u5024\u306e\u6709\u52b9\u6570\u5b57\u3092\u5224\u5b9a\u3059\u308b\u3082\u306e\u3067\u3059\u3002\u95a2\u6570 getSignificantFigures \u304c\u6709\u52b9\u6570\u5b57\u3092\u6c42\u3081\u308b\u6240\u3067\u3059\u3002\u5f15\u6570 tmpStr \u306b\u306f\uff0c\u6574\u6570\u3084 1.234e-5 \u7b49\u306e\u5f62\u5f0f\u306e\u6570\u5f0f\u304c\u8a18\u8ff0\u3055\u308c\u305f\u6587\u5b57\u5217\u304c\u5165\u308a\u307e\u3059\u3002\u307e\u305f\u30b3\u30fc\u30c9\u306b\u306f 1.234*10^3 \u3084 1.234*10**3 \u306e\u3088\u3046\u306a\u5f62\u5f0f\u3078\u306e\u5bfe\u5fdc\u3082\u66f8\u3044\u3066\u3044\u307e\u3059\u3002<\/p>\n<pre><code style=\"color: midnightblue; font-size: 12px; white-space: pre-wrap;\">%reset -f\r\n\r\nimport sys\r\nfrom sympy import *\r\n\r\n\r\ndef getSignificantFigures(tmpStr):\r\n\r\n    def mainProcess(tmpStr):\r\n        \r\n        workingString = tmpStr\r\n        \r\n        index_e = tmpStr.find('e')\r\n        index_E = tmpStr.find('E')\r\n\r\n        if index_e != -1:\r\n            workingString = tmpStr[:index_e]\r\n\r\n        if index_E != -1:\r\n            workingString = tmpStr[:index_E]\r\n\r\n        workingString = workingString.replace('+',\"\")\r\n        workingString = workingString.replace('-',\"\")\r\n        workingString = workingString.replace('.',\"\")\r\n\r\n        while workingString[0] == '0':\r\n            workingString = workingString[1:]\r\n\r\n        #print('last string \"' + workingString + '\"')\r\n\r\n        significantFigures = len(workingString)    \r\n    \r\n        return significantFigures\r\n    \r\n    \r\n    message = \"none\"\r\n    significantFigures = -1\r\n    \r\n    typeArray = [\"&lt;class 'sympy.core.numbers.Integer'&gt;\", \"&lt;class 'sympy.core.numbers.Float'&gt;\"]\r\n\r\n    tmpStr = tmpStr.replace(' ',\"\")\r\n    #print('\"' + tmpStr + '\"')\r\n\r\n    try:\r\n        expr = sympify(tmpStr, evaluate=False)\r\n    except Exception as ex:\r\n        expr = ex\r\n\r\n    #print(expr)   \r\n    exprClass = str(type(expr))\r\n    \r\n    if exprClass == \"&lt;class 'sympy.core.sympify.SympifyError'&gt;\":    \r\n        return significantFigures, \"is not expression\"\r\n\r\n    # &#20197;&#19979;&#12289;&#12392;&#12426;&#12354;&#12360;&#12378;&#25968;&#24335;&#12395;&#12399;&#12394;&#12387;&#12390;&#12356;&#12427;\r\n    \r\n    # &#25351;&#25968;&#37096;&#12398;&#34920;&#35352;&#12364;&#30064;&#12394;&#12427;&#22580;&#21512;&#12408;&#12398;&#23550;&#24540;\r\n    \r\n    tmpStr2 = tmpStr.replace('*10^',\"e\")\r\n    tmpStr2 = tmpStr2.replace('*10**',\"e\")    \r\n\r\n    try:\r\n        expr2 = sympify(tmpStr2, evaluate=False)\r\n    except Exception as ex:\r\n        expr2 = ex\r\n\r\n    #print(expr2)\r\n    expr2Class = str(type(expr2))    \r\n    \r\n\r\n    if exprClass in typeArray:        \r\n        significantFigures = mainProcess(tmpStr)        \r\n        return significantFigures, \"float or integer\"\r\n        \r\n    elif expr2Class in typeArray:\r\n        significantFigures = mainProcess(tmpStr2)        \r\n        return significantFigures, \"you use 10^ or 10**.\"\r\n\r\n    else:\r\n        return significantFigures, \"is not integer or float\"\r\n    \r\n\r\n\r\ntestArray = []\r\n\r\ntestArray.append('-0.12e-3')\r\ntestArray.append('-0.12E-3')\r\ntestArray.append('-0.0120e-3')\r\ntestArray.append(' + 0.01200e-3')\r\ntestArray.append('-2.14*10^3')\r\ntestArray.append('-2.14*10**3')\r\ntestArray.append('-0.123')\r\ntestArray.append('-123')\r\ntestArray.append('- 123') # &#31526;&#21495;&#12392;&#12398;&#38291;&#12395;&#31354;&#30333;\r\ntestArray.append('-123 ') # &#21491;&#20596;&#12395;&#31354;&#30333;\r\ntestArray.append(' - 123  ') # &#22810;&#25968;&#12398;&#31354;&#30333;\r\ntestArray.append(' -0123  ') \r\ntestArray.append('123*10^2*3*10^2') \r\n\r\n\r\n\r\n\r\nfor i in range(len(testArray)):\r\n\r\n    tmpStr = testArray[i]\r\n    significantFigures = -1\r\n    \r\n    print('\\nNo. ' + str(i))\r\n    print('\"' + tmpStr + '\"')\r\n    \r\n    significantFigures, message = getSignificantFigures(tmpStr)\r\n    \r\n    print(message)\r\n    print('significantFigures : ' + str(significantFigures))\r\n\r\n<\/code><\/pre>\n<p>\u51fa\u529b\u306f\u4e0b\u8a18\u306e\u3088\u3046\u306a\u611f\u3058\u3067\u3059\u3002<\/p>\n<pre><code style=\"color: midnightblue; font-size: 12px; white-space: pre-wrap;\">No. 0\r\n\"-0.12e-3\"\r\nfloat or integer\r\nsignificantFigures : 2\r\n\r\nNo. 1\r\n\"-0.12E-3\"\r\nfloat or integer\r\nsignificantFigures : 2\r\n\r\nNo. 2\r\n\"-0.0120e-3\"\r\nfloat or integer\r\nsignificantFigures : 3\r\n\r\nNo. 3\r\n\" + 0.01200e-3\"\r\nfloat or integer\r\nsignificantFigures : 4\r\n\r\nNo. 4\r\n\"-2.14*10^3\"\r\nyou use 10^ or 10**.\r\nsignificantFigures : 3\r\n\r\nNo. 5\r\n\"-2.14*10**3\"\r\nyou use 10^ or 10**.\r\nsignificantFigures : 3\r\n\r\nNo. 6\r\n\"-0.123\"\r\nfloat or integer\r\nsignificantFigures : 3\r\n\r\nNo. 7\r\n\"-123\"\r\nfloat or integer\r\nsignificantFigures : 3\r\n\r\nNo. 8\r\n\"- 123\"\r\nfloat or integer\r\nsignificantFigures : 3\r\n\r\nNo. 9\r\n\"-123 \"\r\nfloat or integer\r\nsignificantFigures : 3\r\n\r\nNo. 10\r\n\" - 123  \"\r\nfloat or integer\r\nsignificantFigures : 3\r\n\r\nNo. 11\r\n\" -0123  \"\r\nis not expression\r\nsignificantFigures : -1\r\n\r\nNo. 12\r\n\"123*10^2*3*10^2\"\r\nis not integer or float\r\nsignificantFigures : -1<\/code><\/pre>\n","protected":false},"excerpt":{"rendered":"<p>e-Learning \u306e\u6559\u6750\u306e\u56de\u7b54\u3092\u53d6\u308a\u6271\u3046\u8a71\u3067\u3059\u3002\u56de\u7b54\u306f\u6570\u5024\u3092\u60f3\u5b9a\u3057\u3066\u3044\u3066\uff0c\u305d &#8230; <a class=\"more-link\" href=\"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/?p=12000\">Read More &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-12000","post","type-post","status-publish","format-standard","hentry","category-column"],"_links":{"self":[{"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/12000","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=12000"}],"version-history":[{"count":79,"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/12000\/revisions"}],"predecessor-version":[{"id":12091,"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/12000\/revisions\/12091"}],"wp:attachment":[{"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=12000"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=12000"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/zairyo.susi.oita-u.ac.jp\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=12000"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}