{ "cells": [ { "cell_type": "code", "execution_count": 1, "metadata": { "collapsed": false }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "5/6\n" ] } ], "source": [ "# 分数の計算\n", "a = 1/2 + 1/3\n", "a" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/html": [ "" ], "text/plain": [ "5/6" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# 見やすく表示\n", "show(a) " ] }, { "cell_type": "code", "execution_count": 7, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/html": [ "" ], "text/plain": [ "x^3 - x^2 - 2*x" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# 多項式の定義\n", "x = var('x')\n", "f(x) = x^3 - x^2 - 2*x\n", "show(f(x))" ] }, { "cell_type": "code", "execution_count": 8, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "(x + 1)*(x - 2)*x" ] }, "execution_count": 8, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# 多項式の因数分解\n", "factor(f)" ] }, { "cell_type": "code", "execution_count": 9, "metadata": { "collapsed": false }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAeQAAAFnCAYAAAB3ijqPAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAAPYQAAD2EBqD+naQAAIABJREFUeJzt3Xl4VdXZ/vH7hDCGMCkkgKLiBCKIYBG1iFgRsAKVwSZi\nnVCpKHVoHd9ftdb6WrFOr9bWCRE1CSJTGA0gKFJEZFZmZJJJSyGJYQzZvz+eBkEZQjjnrL33+X6u\n61wRkuzzcExyZ6291rMinud5AgAATiW5LgAAABDIAAD4AoEMAIAPEMgAAPgAgQwAgA8QyAAA+ACB\nDACADxDIAAD4AIEMBJzneSooKBA9foBgI5CBgCssLFTNmjVVWFjouhQAx4FABgDABwhkAAB8gEAG\nAMAHCGQAAHyAQAYAoBxWr5a2bIne9QhkAADK4e67pc6dpWjtOEyOzmUAAEgcX3whjRkjvfOOFIlE\n55oRj24CQKAVFBSoZs2ays/PV40aNVyXAySEX/5SWrVK+uorqUKF6FyTETIAAMdg1ixp/HgpKyt6\nYSwxQgYCjxEyEF9dukhr10qLFkU3kBkhAwBQRjNnShMnSjk50Q1jiREyEHilI+QuXbooOTlZmZmZ\nyszMdF0WEEpXXilt3CgtXCglRXmfEiNkICRycnKYsgZiaOpUadIk6YMPoh/GEiNkIPC4hwzEnudJ\nbdtKJSXS559Hb6vTgRghAwBwFKNGWRBPnhybMJYYIQOBxwgZiK3iYqlFC+mkk6S8vNg9DyNkAACO\n4J13pCVLpCFDYvs89LIGAOAwdu2SHntM6t1buuCC2D4XgQwAwGH84x+2zemJJ2L/XAQyAACHUFAg\nPfmkdMst0tlnx/75CGQAAA7hmWekoiLp0Ufj83wEMgAAP7J+vfTss9I999jq6nggkAEA+JFHHpFS\nU6WHH47fc7LtCQCAA8yeLb37rvTqq1I8t/bTGAQIOBqDANHjedKll0r5+dK8edE/0elIGCEDAPBf\nw4dLn35qHbniGcYSI2Qg8BghA9Gxe7fUtKl0zjnS2LHxf35GyEBIZGRkcB4ycBxeeklat04aN87N\n8zNCBgKOETJw/LZskc46S/rNb6SXX3ZTA9ueAAAJ74EHpIoVpccfd1cDU9YAgIT26ad2ktNrr0kn\nnOCuDqasgYBjyhoov+JiqXVrqUoVaeZMKcnhvDEjZABAwnrlFWnRIunzz92GscQ9ZABAgtq8Wfrj\nH6Xbb4/9WcdlQSADABJS6UKuJ590XYlhyhoAkHCmT5feecf9Qq4DsagLCDgWdQHHZs8eqVUrqVo1\n6bPP3N87LsUIGQCQUJ5+Wlq6VJozxz9hLHEPGQCQQJYulf7yF+n++6XzznNdzcGYsgYCjilroGxK\nSqT27W119cKFUtWqris6GFPWAICE8Prr1pXro4/8F8YSU9YAgASwcaNtc7rlFqlDB9fVHBqBDIRE\nRkaGunXrpuzsbNelAL7ieVL//jYqfuYZ19UcHlPWQEjk5ORwDxk4hHfflUaPloYPl+rUcV3N4TFC\nBgCE1oYN0oABUp8+Uo8erqs5MgIZABBKnifdeqs1AHnpJdfVHB1T1gCAUHrzTWniRGncOKl2bdfV\nHB0jZABA6KxZI917r62qvuoq19WUDYEMAAiVffukm26yUfFzz7mupuyYsgYAhMrTT0uffCJNnSrV\nrOm6mrJjhAwACI1Zs6RHH5UeecTaZAYJvayBgKOXNWAKC6WWLaW6de2844oVXVd0bJiyBgCEwoAB\n0rffSnl5wQtjiUAGAITAu+9Kb78tDR4snX6662rKh3vIAIBA++orqV8/6cYbpRtucF1N+XEPGQg4\n7iEjkX3/vdSmjVShgi3oqlbNdUXlx5Q1ACCQPE/67W+l9eul2bODHcYSU9ZAaHD8IhLN669L771n\nb5s0cV3N8WPKGgg4pqyRiGbPltq1k/r2lf7+d9fVRAeBDAQcgYxEs3mzdMEF0sknS9OmSZUru64o\nOpiyBgAExu7dUs+edv94xIjwhLHEoi4AQEB4nnTnndKcOdarun591xVFF4GM0Nm7V9qwQVq3zh7/\n/re0bZs9tm+XioqkPXvs4/bulSIRqVKlgx/Vq0t16thpMXXqSCeeKJ10kj3q1pWSmFsC4u6VV+yM\n47fftq1OYUMgI7C2bZMWLbLHl1/aY80aaeNGqaTkh4+rVk2qVcvCtXZtKSXlh9Atba+3Z4898vNt\nSqyw0K7/n//Y3x2oYkWpYUPp1FOls8+21Z1Nmth/n3IKYQ3EwuTJ0t13S/fcE+zmH0fCoi4EQkmJ\nBe+MGdLMmfZYtcreV7GiBWKzZtIZZ0iNGlkwNmpkiz5SUo7vuYuLpa1bbdT9zTf2WL9eWr1aWrpU\nWrZM2rXLPrZKFaulVSupdWt7e955UtWqx1fDkbCoC2G3aJH0859Ll1wi5eZKySEdShLI8K3vvpMm\nTZI+/NAeW7bYN+L550sXXyxdeKHUooV05pk24nWlpMQCeulSeyxaJM2dayP2vXutg9C559oPk3bt\n7AfLSSdF7/kJZITZxo1S27bSCSfYfePUVNcVxQ6BDF/ZsEF6/317zJplizhatJA6d5Y6dZIuuii2\no81o2r3bQnnOHPu3fPqptHy5ve+UUyyc27WTrrzSpr/Li0BGWH3/vXTppfbL+axZUoMGriuKrYS/\n20VXo9g72mu8bZst1rj0UptifughKS1NGjTIAnrBAunpp6XLLw9OGEu2HaN1a+n2220hyrJlNsof\nPlzq0cP+fMcd0mmnSWedJd11l03HFRa6rhyHws+K2DvwNS4uln79a2nlSmn8+PCHsUQg800WB4d6\njT3P7gffcIN9o919ty2yeustC61Ro6SbbgrfN2G9ehbGzz0nff653ZseMUL6xS/sh0737raqu317\n6ZlnfhhRwz1+VsRe6WtcUiLdequdazx8uNS8uePC4iSkt8bhV7t3W+/Z556zI9MaN5b+9CcL37Q0\n19XFX61a0jXX2EOyhWp5edLEidJjj0kPPCA1bSr96lcW1j/7Gau4EW6eJ913nzRkiJSVJXXs6Lqi\n+Cnzt3a0fjv023WiwW//Jr9dR7KtQwMH2vRs3752gHhenrRihfTgg2UL42jU47fX5sfXOf10m8Ye\nPdr2T48aZQtaXnvN3p50kp1u8+GHtmAs2vz++ri6RjT56bXx43X+8hfpxRetP3VGhtta4v21QyBH\ngd/+TX66Tn6+rTw++WTpj3+UfvlLackSC5yOHY9ttOenH87xuE61ajYqHjTIevd+/LGUmWkrzzt3\nti5F/frZytNoCdLrE89rRJOfXhu/XWf1aunRRy2U77jDbS3RvE5ZlWnK2vM8FRcXq6Cg4LifMIzX\n8VMtfrnOjh02qnv+eamgoFh33lmgu+6S0tPt/eW5bKL/v2rZ0h6PPmpbq0aMsPtrr71mn3/PPQXK\nzDy+ae0gvz5BqIXrHN5rr0lfflmsAQPsZ8XxlOSXf9OBUlNTFYlEjvgxZdr2VLqtAgAAHLuybEss\nUyB7nqdC9mLgKD7/XPrDH2yb0rXXSo88YveMEVsFBQU6+eSTtXbten35ZQ0NG2aj54ICO6IuM9NW\ndtep47pS4Kdef91+bvTvL/3v/1pv+TCK2ggZOJItW2w18JAhtu/2pZesgQfi41CNQXbtksaMsSb8\nEydat7CuXW2bWZcuP/TwBlx65RU7vemee2znRVjDuKzYQIFy8zwL4aZNpXHj7B7QrFmEsR9UqSL1\n7i2NHWvNVZ5+2rZUde9ue7t//3tp8WLXVSJReZ701FOE8Y8xQka5rFtnK3wnTpT69JFeeMGOKET8\nHUvrzIULbdQ8ZIhtq7r4YmvAcO21x38IB1AWJSXS/fdbCP/pT7ZIkTA2jJBxTDzP2kA2a2YrfceO\nld59lzAOihYtpGeftVHzsGHWqL9v3x+2UM2ebf+PgVgoLpZuucV2X7z8sjW/IYx/kJCBXFxcrAcf\nfFAtWrRQ9erV1bBhQ914443atGmT69J8bds2G0mVjqi++sr2FR/JyJEj1alTJ5144olKSkrSwoUL\n41MsjqhSJalXL5vhWL1auvdea93Zpo1trXrpJTsLOtFNnz5d3bp1U8OGDZWUlKTc3FzXJQXWjh1S\nz57Wqe+992y6WpKeeuoptWnTRjVq1FBaWpquueYaLU/QnrEJGcg7duzQ/Pnz9dhjj2nevHkaOXKk\nli1bpu7du7suzbemT7dzfSdPtpHVm29KZdkJV1RUpHbt2mngwIFHXWEIN045RXr8cWnNGgvlM86w\n1oUNGtjtiKlTE3fUXFRUpJYtW+qVV17h6/c4bNokXXaZ/fwYM8ZW/peaPn26BgwYoFmzZmny5Mna\nu3evrrzySu3cudNZvc548DzP82bPnu0lJSV569evd12Kr+zb53l//rPnJSV53qWXet66deW7zpo1\na7xIJOItWLAgugXCy8/P9yR5+fn5Ubvm5s2eN3Cg5511ludJnnfGGZ7317/a3yeqSCTijR492nUZ\ngTN/vuedfLLnNWjgeXPmHP3jv/vuOy8SiXjTp0+PfXE+k5Aj5EPZvn27IpGIatWq5boU38jPt0MP\nHnvMFl589JG1wET4paXZwpulS61lZ9u29nVw0kk27fjhh7Y4BziSMWOkSy6R6ta1PgWtWh39c0p/\nFtdJwI3zBLKk3bt366GHHtJ1112n6tWruy7HFxYvtvuJH39s31SPPWZ7WZFYIhE7p/qdd2za8bnn\n7EjIzp3tpK4nnrAFYsCBSkqkJ5+0bXadOlm/9YYNj/55nufpnnvu0c9//nOdc845sS/UZxIikLOy\nspSamqrU1FTVqFFDM2bM2P++4uJi9e7dW5FIRK+88orDKv1jxAjpwgutecTs2UdfuFXqSK8zgq92\nbWnAANs6NXOmneH8179KjRpJ3brZL27Fxa6rhGvbttnXw//7f/YYNqzsW+r69++vxYsXKycnJ7ZF\n+lRCnIfcvXt3tW3bdv+fG/73V7XSMF6/fr0++uijhB8de54dkfjQQ9ZUYtAg6VheksO9zgiXSMSm\nsNu2te0rWVnW/rBbN1sIdssttpXq1FNdV4p4mzvXVu9v327Ngq66quyfe9ddd2n8+PGaPn266tev\nH7sifSwhRsgpKSlq3Ljx/kflypX3h/HXX3+tKVOmqHbt2q7LdKq42HrJPvSQ/VY7dOixhbF06Nf5\nQKxSDZ8aNex85jlzpC++sPacL75o09mdO9tpVLE4txn+4nnWBvPii61n+ty5xx7Go0eP1tSpU9Wo\nUaPYFepzCTFC/rHi4mL17NlT8+fP19ixY7V3715t2bJFklSnTh1VTLBGv99/bweBT5wovfGGjW6i\nZdu2bVq3bp02bNggz/O0dOlSeZ6n9PR0paWlRe+J4Fzr1vb429+k99+3UXOvXlK9etJNN9n+9TPP\ndF3lsSkqKtLKlSvl/Xff19dff60FCxaoTp06OpkVjpKsl/0tt9iWuf79rfFMlSpl//z+/fsrOztb\nubm5SklJ2f+zuGbNmqpyLBcKA7eLvN1Ys2aNl5SUdNAjEol4SUlJ3scff+y6vLjatMnzWrXyvOrV\nPW/ixOhff/Dgwftf2wMfjz/+ePSfLEGVbnvq0qWL17VrVy8rK8t1SfstXOh5AwZ4Xq1atn2qQwfP\ny8ryvF27XFdWNtOmTTvk1+/NN9/sujRfyM31vLp1Pa9ePc8bN6581zjU65uUlOS9/fbb0S02AOhl\nncDWrZOuuMJGyOPHW4cmBM+x9LJ2ZedOm75+7TVrMnPCCXby1G232eEkCJZ//9u6u737rt2meOMN\nmwnB8SGQE9TKlbZKNilJmjLF7vkhmIIQyAdautR+gA8eLG3davtU+/a16e3UVNfV4Ug8T8rOlu6+\nW9q3z7bB3Xgj/aijJSEWdeFgX30ltWtn93mmTyeMEV9Nmth95g0bpJwc+zrs29eakVx/vTUd2bfP\ndZX4seXLbaFWnz7S5ZdLS5bY2gDCOHoI5AQzd67Uvr1NL33yiXVeAlyoXFn69a+tv/GaNdIf/2ir\ntTt3to5w999vJ4rBrfx86Q9/kM4912Y3Ro+2XRisyYw+pqwTyIIFUocOdnjAxIm2PQHBF7Qp6yPx\nPNs+9c47tr9561Zb23DDDdJ11xEC8VRcbLcV/ud/bJ3Jww9Lv/+9VLWq68rCi0BOEIsX22krJ59s\n94xp2R0eYQrkA+3ZY784DhnyQxewDh3s6M8ePTiDO1b27bMR8J/+JK1YYSczDRzIbFo8MGWdAFau\ntNXU6elSXh5hjGCoVMm6f33wgfXR/uc/7X7lHXfY13KnTnYMKOc2R0dJia2EP+88u0/cpIk0b57N\nVBDG8cEIOeTWrLHDAVJSpGnTmPILo7COkA/n22+t3/rQoXb4SYUKUseO0q9+JV19tbXvRNnt2CG9\n/ba1QV2xwl7LJ56wfvaILwI5xDZvti0lkYgt4OIHVTglWiAfaPNmG0EPGyZ9+qmN8n72MxtZd+sm\nNW/OKuDD2bRJ+sc/rOXltm12G+D3v7ce5XCDQA6pggK7Z7xli/Svf0mnnOK6IsRKIgfygbZutQY3\nY8bYvefCQvu679rVRs7t2knVqrmu0q3iYmnCBNsHPm7cD1vO7r6b7Y9+QCCH0J49tl/wiy9sn3Hz\n5q4rQiwRyD+1e7dNZ+fmWkCvW2f3pC+5xNZTXHGF9d1OhDO+S0qkWbNsFmHoUGnjRqlVK+stnpnJ\nmhI/IZBDpqRE+s1vbBrvww9tlIxwI5CPzPNsl8GUKbbneepU28ZTq5at2r70UjulqGVLC+0w2LPH\nzqweNcp+FnzzjS2E69VLuvlmC2T4D4EcMvffb6etDB1qZxoj/AjkY7N3rzR7toXz5MnS55/biLpK\nFemCCyycL77YQuukk4JxD9rzrJPW5Mm2k+Kjj+yXjtIQ7t3bZgcSYUYgyAjkEHn1VTub9oUX7J4Q\nEgOBfHz27LHtPf/6lz1mzLAFT5I1zznvPBs9t2xp3arOOMPOgXbF82xtyIIF0mef2XT0rFm2/Ss5\n2YK3Uyfpyiul88+3fvUIBgI5JD76yL4J+/WTXn7ZdTWIp9JA7tKli5KTk5WZmanMzEzXZQWW50nr\n10vz51volb5dteqHj6lXz4L5zDPtbaNGNhqtX9/ennDC8QXhrl12r3fDBnu7fr21rVy82HpIb99u\nH1enjq2KvvBCe1x8MQd0BBmBHAIrVtg3Y+vWtoIyOdl1RYgnRsjxUVBgYbhqlTXbWbHih7dbtx78\nscnJUu3aUvXqFpClb6tUOfjjPM/2ARcW2hRzYaE9T2nglqpeXTr7bDuqsvRROloPwpQ6yoZADrjt\n23/YNzhzpv0QQGIhkN3budOmkTdtsr3RmzbZ92Zp0JaG7a5dP/3cqlUtrA98pKdLDRvao0EDmyIn\neMOPsVSAFRdbX99vv7V7SIQx4EbVqtKpp9oDKC8COcAeecTuHefl2b0sAEBwEcgBNWKE9MwztsXp\n8stdVwMAOF4siA+gZcukm26y/YX33uu6GgBANBDIAfP991LPnrbYY9AgFnoAQFgwZR0gnifddpsd\nqTh7NvsNASBMCOQA+cc/pJwca4vZtKnragAA0cSUdUAsXCjdd59055221QkAEC40BgmAHTus6X1y\nsjXC/3G3HyQ2GoMA4cCUdQDce6/dN54zhzAGgLAikH1u2DDptdek11/nvjEAhBn3kH1s7VpbVd27\nt9S3r+tqAACxRCD7VEmJdMMNUq1aNkJmvzEAhBtT1j71wgvS9OnS1KkWysDRZGRkcB4yEGCssvah\nxYulVq2k/v2l555zXQ38jlXWQDgQyD6zd6908cXWInPuXDvWDTgSAhkIB6asfeapp6R586SZMwlj\nAEgkLOrykTlzpCeesHOOf/Yz19UAAOKJKWuf2LNHat1aqlhR+uwzqVIl1xUhKJiyBsKBKWufePpp\nackSGyUTxgCQeJiy9oElS6S//EV64AHpvPNcVwMAcIEpa8dKSqT27aUtW6QFC1jIhWPHlDUQDkxZ\nO/baa9Knn0rTphHGAJDImLJ2aMMGm6a+9VYbJQMAEheB7IjnSXfeKaWkSAMHuq4GAOAaU9aOjBwp\njR4tffCBVLu262oAAK6xqMuBoiI72/i886TcXE5ywvFhURcQDkxZO/Dkk9K330ovvkgYAwAMgRxn\ny5dLf/ub9PDDUuPGrqtBmGRkZKhbt27Kzs52XQqAcmDKOo48T+rcWVqxQvrqK7Y5ITqYsgbCgUVd\ncTRihJSXJ40ZQxgDAA7GCDlOShdytWxpC7mAaGGEDIQD95DjpHQh1wsvuK4EAOBHBHIcfP219Oyz\n0oMPspALAHBoBHIcPPSQVLeutckEAOBQWNQVY59+Kg0bJr39trXJBADgUFjUFUMlJVLbtvb288+l\nJOYjEAMs6gLCgYiIoawsafZs6fnnCWOUzc0336ykpKSDHldddZXrsgDEAVPWMbJjh3Xj6tlTatfO\ndTUIki5dumjw4MEqnbyqXLmy44oAxAOBHCPPPmvbnJ5+2nUlCJrKlSurbt26rssAEGdMpMbApk0W\nxL/7nXT66a6rQdBMmzZNaWlpatKkifr376///Oc/rksCEAcs6oqBfv3snONVq6RatVxXgyB5//33\nVa1aNZ122mlatWqVHn74YaWmpmrmzJmKHOZoMBZ1AeHAlHWUrVghvfmmNHAgYYwjy8rKUr9+/SRJ\nkUhEEyZM0LXXXrv//c2aNVPz5s11+umna9q0aerQoYOrUgHEASPkKMvIkGbMsGCuUsV1NfCzoqIi\nbdmyZf+fGzZseMgFXPXq1dOTTz6p22677ZDXKR0hd+nSRcnJB/+OnZmZqczMzOgWDiAmGCFH0dy5\n0tChNkImjHE0KSkpanyUXqrffPONtm7dqvr16x/1ejk5OUxZAwHGCDmKOneW1q6VFi2SkvlVB8eo\nqKhIjz/+uHr27Kn09HStXLlSDz74oIqKirRw4UJVrFjxkJ/HPWQgHIiNKJk6VfrwQ2n4cMIY5VOh\nQgUtXLhQQ4YM0fbt29WgQQN16tRJf/7znw8bxgDCgxFyFHiedNFF1iJz1izpMIthgZhghAyEA2O5\nKBg92oJ48mTCGABQPoyQj9O+fVKLFlKDBtKkSa6rQSJihAyEAyPk45STIy1eLA0e7LoSAECQMUI+\nDvv2SeecI511ljRmjOtqkKgYIQPhwAj5OOTkSMuX2zGLAAAcD0bI5VRcLDVrJp19tpSb67oaJDJG\nyEA4MEIuJ0bHAIBoYoRcDqWj4yZNbMsT4BIjZCAcGCGXQ3a2jY6zs11XAgAIC0bIx6i42FZWN23K\n6Bj+wAgZCAdGyMcoO9uOVhw61HUlAIAwYYR8DEpKpHPPlc44g5XV8I8fn4fMGchAMBHIx2DkSKlH\nD2nmTKltW9fVAIYpayAcCOQy8jypTRupenU7ahHwCwIZCAfuIZfRlCnSF19IeXmuKwEAhBEj5DK6\n/HKpoECaPZsjFuEvjJCBcGCEXAaffWbT1B98QBgDAGIjyXUBQfDUU9aV65prXFcCAAgrRshH8eWX\ntsXprbekJH59AQDECBFzFH/9q9SokdSnj+tKAABhxgj5CNassVOdnn9eqljRdTUAgDBjhHwEL74o\n1agh3XKL60oAAGFHIB/G9u3SG29Id9whpaS4rgYAEHYE8mG8/rq0Z490112uKwEAJAIC+RD27pX+\n7/+k666T6td3XQ0AIBEQyIfw/vvSN99I993nuhIAQKKgdeaPeJ7UurVUt6704YeuqwGOjuMXgXBg\n29OPTJsmzZtHGCN4cnJy6GUNBBhT1j/y7LNS8+ZSx46uKwEAJBJGyAdYskQaN87aZHKIBAAgnhgh\nH+DFF6X0dInbbwCAeCOQ/2vbNumdd6T+/aXKlV1XAwBINATyfw0aJBUXS7ff7roSAEAiIpAl7dsn\n/f3v0rXXSmlprqsBACQiFnVJGj9eWr3aTnYCAMAFRsiSXnpJuvBCqU0b15UAABJVwo+QlyyRJk2S\n3n3XdSUAgESW8CPkl1+2+8a9e7uuBACQyBI6kPPzpbfflvr1kypVcl0NACCRJXQgDx4s7d5tgQwA\ngEsJG8glJTZd3auX1KCB62oAAIkuYQN50iRp5UppwADXlQDRkZGRoW7duik7O9t1KQDKIWHPQ+7R\nQ1q1Spo/n4MkEGyl5yHn5+dz/CIQYAk5Qt64UcrNtXvHhDEAwA8SMpDffNMOkOjTx3UlAACYhAvk\nffuk11+XrrtOqlnTdTUAAJiEC+QJE6T169nqBADwl4QL5FdflVq1ki64wHUlAAD8IKECed06O9np\nt791XQkAAAdLqEB+4w0pJUXKzHRdCQAAB0uYQN671wL5+uul6tVdVwMAwMESJpDHjpU2bWIxFwDA\nnxImkP/5T+nCC6XzznNdCQAAP5XsuoB4WL1aysuT3nrLdSUAABxaQoyQ33pLSk2Vevd2XQkAAIcW\n+kDet8/OPc7MtBXWAAD4UegDefJk68x1yy2uKwEA4PBCH8iDBknNmklt2riuBIgtzkMGgi3U5yFv\n3So1aCA99ZR0332uqwFig/OQgXAI9Qg5K0sqKbFmIAAA+FmoA3nQIKlrV6lePdeVAABwZKEN5Llz\npfnzpb59XVcCAMDRhTaQBw2S6teXOnVyXQkAAEcXykDetUt67z3pxhul5IToRQYACLpQBvKoUdL2\n7dLNN7uuBACAsgllIL/1lnTJJdJZZ7muBACAsgldIG/caN25brrJdSXAwUaOHKlOnTrpxBNPVFJS\nkhYuXPiTj9m9e7fuvPNOnXjiiUpNTVWvXr307bffOqgWQLyFLpCzsqSKFaVevVxXAhysqKhI7dq1\n08CBAxWJRA75Mffcc4/GjRun4cOH65NPPtHGjRvVs2fPOFcKwIXQdepq0UJq2lQaOtR1JcChrV27\nVqeddprmz5+vFi1a7P/7goIC1a1bVzk5ObrmmmskScuWLVPTpk312Wefqc1h+r/SqQsIh1CNkBcs\nkBYtkn7zG9eVAMduzpw5Ki4u1i9+8Yv9f3f22WerUaNGmjlzpsPKAMRDqAJ5yBCpbl32HiOYNm/e\nrEqVKv1eZMJ/AAAJ60lEQVRklJuWlqbNmzc7qgpAvIQmkIuL7f5xZqbdQwZcysrKUmpqqlJTU1Wj\nRg3NmDHDdUkAfC40bTMmT5Y2b5ZuuMF1JYDUvXt3tW3bdv+fGzZseNTPSU9P1549e1RQUHDQKHnL\nli1KT08/6udnZGQo+UedcDIzM5WZmXkMlQNwJTSBPGSIdM45UqtWrisBpJSUFDVu3Piw7z/UKuvW\nrVsrOTlZU6ZMOWhR17p163TRRRcd9TlzcnJY1AUEWCgCuaDAunM9+qh0mN0kgHPbtm3TunXrtGHD\nBnmep6VLl8rzPKWnpystLU01atRQ3759dd9996l27dpKTU3V7373O11yySWHXWENIDxCcQ95+HDr\nX92nj+tKgMPLzc3V+eefr65duyoSiSgzM1OtWrXSq6++uv9jnn/+eV199dXq1auXLrvsMjVo0EDD\nhw93WDWAeAnFPuTLL7eR8ZQprisB4o99yEA4BH6EvG6dNHUqi7kAAMEW+EDOypKqVpV69HBdCQAA\n5ReKQO7eXUpNdV0JAADlF+hA/uora5WZkeG6EgAAjk+gAzk7W6pVS+rc2XUlAAAcn8AGsudZIPfo\nIVWu7LoaAACOT2ADefZs6euvrXc1AABBF9hAzs6W0tKkDh1cVwIAwPELZCDv2ycNHSpde61UoYLr\nagAAOH6BDORPPpE2bWK6GgAQHoEM5Oxs6dRTpQNOtwMSXkZGhrp166bs7GzXpQAoh8D1st6zR0pP\nl/r1k556ynU1gHv0sgbCIXAj5Lw8ads2pqsBAOESuEDOzpbOOUdq3tx1JQAARE+gAnnHDmn0aBsd\nRyKuqwEAIHoCFchjx0pFRfSuBgCET6AC+f33pQsukM44w3UlAABEV2ACuahIGj9e6t3bdSUAAERf\nYAJ5/Hhp506pVy/XlQAAEH2BCeRhw6RWraTGjV1XAgBA9AUikHfskMaNY3QMAAivQATyhAkWytw/\nBgCEVSACedgwqWVLVlcDAMLL94G8c6ftP2a6GgAQZr4P5IkTbcsT09UAgDDzfSB/8IH1rT7rLNeV\nAAAQO74O5F27pDFjGB0DZcF5yECwJbsu4Ejy8qTCQgIZKIucnBzOQwYCzNcj5GHDpGbNpCZNXFcC\nAEBs+TaQd++WcnMZHQMAEoNvA3nSJKmggO1OAIDE4NtAHjHCpqqbNXNdCQAAsefLQC4utunqa65x\nXQkAAPHhy0CeMUPaulX61a9cVwIAQHz4MpBHjpQaNpQuuMB1JQAAxIfvAtnzpFGjpO7dpSTfVQcA\nQGz4LvLmz5fWruX+MQAgsfgukEeNkmrVktq3d10JAADx47tAHjlSuvpqqWJF15UAABA/vgrkVauk\nRYtYXQ0ASDy+CuRRo6QqVaTOnV1XAgBAfPkukDt2lFJSXFcCBA/HLwLBFvE8z3NdhCRt2SLVry+9\n+aZ0882uqwGCo6CgQDVr1lR+fj7HLwIB5psR8pgxUiRiC7oAAEg0vgnkkSOldu2kunVdVwIAQPz5\nIpALC6XJk1ldDQBIXL4I5AkTpD17CGQAQOLyRSCPGiW1bCmdeqrrSgAAcMN5IO/dayPkbt1cVwIA\ngDvOA3nGDGn7dqlrV9eVAADgjvNAHjtWSk+XWrVyXQkAAO44D+QxY2zvMWcfAwASmdMYXL7cHkxX\nAwASndNAHjvWDpO44gqXVQAA4J7TQB4zRrr8cqlaNZdVAADgnrNA3rZNmj6d6WoAACSHgTxxorRv\nH4dJANHC8YtAsDk7frFPH2nJEmnuXBfPDoQHxy8C4eBkhFxcbN25GB0DAGCcBPKMGXYPmfvHAAAY\nJ4E8Zox152rd2sWzAwDgP04CeexYunMBAHCguEfiihXSsmXcPwYA4EBxD+QxY6TKlenOBQDAgeIe\nyOPGWXeulJR4PzMAAP4V10AuLLTuXFddFc9nBQDA/+IayFOmSHv3Sl26xPNZAX8YOXKkOnXqpBNP\nPFFJSUlauHDhTz7msssuU1JS0v5HhQoV1L9/fwfVAoi3uAbyhAnSWWdJp58ez2cF/KGoqEjt2rXT\nwIEDFYlEDvkxkUhEt99+u7Zs2aLNmzdr06ZNGjhwYJwrBeBCcryeyPMskHv0iNczAv5y/fXXS5LW\nrl2rI3WsrVatmurWrRuvsgD4RNxGyIsXS+vXM10NHM17772nunXrqnnz5nrkkUe0c+dO1yUBiIO4\njZDHj5eqVpXat4/XMwLB06dPH51yyilq0KCBFi5cqAceeEDLly/XBx984Lo0ADEWt0CeMEHq0EGq\nUiVezwi4k5WVpX79+kmy+8ITJkzQJZdcctTPu/XWW/f/d7NmzZSenq4rrrhCq1ev1mmnnRazegG4\nF5dALiyUPv1Ueu65eDwb4F737t3Vtm3b/X9u2LBhua5z4YUXyvM8rVy58qiBnJGRoeTkg7+lMzMz\nlZmZWa7nBhBfcQlktjsh0aSkpKhx48aHff/hVln/2Lx58xSJRFS/fv2jfmxOTg7nIQMBFpdAnjBB\nOvNMtjshsW3btk3r1q3Thg0b5Hmeli5dKs/zlJ6errS0NH399dfKysrSVVddpRNOOEELFizQfffd\np/bt2+vcc891XT6AGIv5KuvS7U5050Kiy83N1fnnn6+uXbsqEokoMzNTrVq10quvvipJqlSpkiZP\nnqxOnTqpadOmuv/++9W7d2/l5uY6rhxAPES8I22IjIIvv5SaN5cmTpQ6dYrlMwGJqaCgQDVr1lR+\nfj5T1kCAxXyEPGEC250AADiauAQy250AADiymAZy6XYnVlcDAHBkMQ1ktjsBAFA2MQ1ktjsBAFA2\nMQtkz7P+1YyOAQA4upgF8pIl0jffEMgAAJRFzAI5L0+qXFm69NJYPQMAAOER00Bu106qVi1WzwAA\nQHjEJJB375amTZOuvDIWVwcAIHxiEsgzZkg7dxLIQDxlZGSoW7duys7Odl0KgHKIyWlPeXlSvXrW\nwxpAfHD8IhBsMRkhT5okdewoJcW8MScAAOEQ9cj87jtp7lymqwEAOBZRD+TJk+1tx47RvjIAAOEV\n9UDOy7N7x/XrR/vKAACEV1QD2fMskJmuBgDg2EQ1kBcvljZuJJABADhWUQ3k0naZ7dpF86oAAIRf\nVAN50iTrXV21ajSvCgBA+EUtkGmXCQBA+UUtkEvbZbLdCQCAYxe1QM7Lk9LSaJcJAEB5RDWQaZcJ\nAED5RO1wiQkTpB07onU1AAASS8TzPM91EQDKr6CgQDVr1lSXLl2UnJyszMxMZWZmui4LwDEikIGA\nKw3k/Px8jl8EAow7vgAA+ACBDACADxDIAAD4AIEMAIAPsKgLCDjP81RYWKjU1FRFIhHX5QAoJwIZ\nAAAfYMoaAAAfIJABAPABAhkAAB8gkAEA8AECGQAAHyCQAQDwAQIZAAAf+P8RbZ3x4DzxqQAAAABJ\nRU5ErkJggg==\n", "text/plain": [ "Graphics object consisting of 1 graphics primitive" ] }, "execution_count": 9, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# 多項式のグラフ\n", "plot(f, [x, -2.5, 2.5], figsize=5)" ] }, { "cell_type": "code", "execution_count": 10, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/html": [ "" ], "text/plain": [ "3*x^2 - 2*x - 2" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# 多項式の微分\n", "df(x) = diff(f, x)\n", "show(df(x))" ] }, { "cell_type": "code", "execution_count": 11, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/html": [ "" ], "text/plain": [ "[x == -1/3*sqrt(7) + 1/3, x == 1/3*sqrt(7) + 1/3]" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAeQAAAFnCAYAAAB3ijqPAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAAPYQAAD2EBqD+naQAAIABJREFUeJzt3XmcjXX/x/HXOQYxGRrLjK2QVnfSIm3uooSWQUozKlJJ\nWYqQUqQkS4RCUilaRneKqO677ogmWVJZiizZUgalMUx25/fH58edsgzOOd/rOuf9fDzmMcV0nY8Z\nzXu+1/X9fj6BUCgUQkRERJwKui5AREREFMgiIiKeoEAWERHxAAWyiIiIByiQRUREPECBLCIi4gEK\nZBEREQ9QIIuIiHiAAlnE50KhELm5uajHj4i/KZBFfG7Lli0UL16cLVu2uC5FRI6DAllERMQDFMgi\nIiIeoEAWiRHp6emkpaWRmZnpuhQROQYBTXsS8bfc3FyKFy/O5s2bSUpKcl2OiByjsK2QN2yAFSvC\ndTUREZH4ErZArl8fHnkkXFcTERGJL2EL5BYtYMIE2LgxXFcUERGJH2EL5Ntvh0AAxo4N1xVFRETi\nR9gCuVQpuPFGeOkl0DYxERGRoxPWY0+tW8OSJfDFF+G8qoiISOwLayBfeSWceqqtkkVERCT/whrI\nwSDcfTe88w78/ns4rywiIhLbwt6p6447YPduePPNcF9ZREQkdoU9kFNT4YYbtLlLRETkaESkl3Xr\n1rBgAcydG4mri4iIxJ6IBPI110DFitrcJSIikl8RCeQCBeDOOyEzE7ZujcQriMhfadqTiL9FbNrT\nmjVQqRKMGmU7r0UkMjTtSSQ2RGwe8sknQ4MGum0tIiKSHxELZLDNXXPm2AYvERERObSIBvL110NK\nilbJIiIiRxLRQC5YEFq1gjfegG3bIvlKIiIi/hbRQAbb0JWTA+PHR/qVRERE/CvigXzqqVC3rm5b\niwD07duXiy66iKSkJFJSUmjSpAlLly7928f17NmTcuXKUbRoUerVq8fy5csdVCsi0RTxQAbb3JWV\nBT/8EI1XE/GurKwsOnTowOzZs/n000/ZtWsX11xzDdv+9Eynf//+DBs2jFGjRjFnzhwSExOpX78+\nO3fudFi5iERaxM4h/9mOHVCunD1PHjgw0q8m4h+//vorZcqU4fPPP+fyyy8HoFy5cnTt2pVOnToB\nds44JSWFMWPG0KxZs79dQ+eQRWJDVFbIhQtDy5YwZoyFs4iYnJwcAoEAycnJAKxcuZLs7Gyuuuqq\n/R+TlJRErVq1mDlzpqsyRSQKohLIAG3awK+/wnvvResVRbwtFArRsWNHLr/8cs4++2wAsrOzCQQC\npKSkHPCxKSkpZGdnuyhTRKIkaoF8xhlQpw688EK0XlHE29q2bcuiRYsYN26c61JExAMSovli994L\nt9wC338P1apF85VFvKV9+/Z89NFHZGVlUbZs2f2/npqaSigUYv369QesktevX89555132Gump6eT\nkHDg/9IZGRlkZGSEt3gRiYioBnLjxlCmDLz4Ijz3XDRfWcQ72rdvz/vvv8/06dM5+eSTD/i9ypUr\nk5qaypQpU6hevTpgm7Zmz55Nu3btDnvdcePGaVOXiI9F7ZY1QKFCcNddMHYs5OVF85VFvKFt27a8\n+eabvPXWWyQmJrJ+/XrWr1/P9u3b939Mx44deeqpp5g8eTILFy6kRYsWVKhQgUaNGjmsXEQiLSrH\nnv5s1SqoUsUahdx1VzRfWcS9YDBIIBD426+/+uqrtGjRYv+/9+rVi1GjRpGTk0Pt2rUZPnw4VatW\nPeg1dexJJDZEPZABrrsONmyAr76K9iuLxB4FskhsiOot633uvRfmzrU3ERERcRTI114LFSva5i4R\nERFxFMgFClh/67fegs2bXVQgIiLiLU4CGWws444d8PrrrioQERHxDmeBXLasnUseORKiv61MRETE\nW5wFMtjmru+/hxkzXFYhIiLintNArlsXqlZVf2sRERGngRwM2hSo8eNh40aXlYiIiLjlNJAB7rgD\nAgF47TXXlYiIiLjjPJBLlYKbb7YzyXv3uq5GxL/S09NJS0sjMzPTdSkicgyctM78qxkz4PLL4T//\ngfr1XVcj4i9qnSkSG5yvkAEuvRTOPReGD3ddiYiIiBueCORAANq1gw8+gJUrXVcjIiISfZ4IZIDm\nzaF4cWsUIiIiEm88E8iJidCqFbz8Mmzb5roaERGR6PJMIAO0bQubNsHbb7uuREREJLo8FchVq0KD\nBjBsmPpbi4hIfPFUIAO0bw9ffw1z5riuREREJHo8F8gNGkDlyrZKFhERiReeC+QCBexZ8r/+BRs2\nuK5GREQkOjwXyAB33mmDJ15+2XUlIiIi0eHJQE5OtnPJI0fC7t2uqxEREYk8TwYyWOeun36CyZNd\nVyLiDxouIeJvnhgucSiXXgpFi8Knn7quRMS7NFxCJDZ4doUMtkqeMgUWL3ZdiYiISGR5OpBvugnK\nlIERI1xXIiIiElmeDuTCheGee2DMGNiyxXU1IiIikePpQAZo0wb++ANef911JSIiIpHj+UCuUAEa\nN1Z/axERiW2eD2Sw/taLF2u3tYiIxC5fBPIVV8C558LQoa4rERERiQxfBHIgAA88AB9+CEuXuq5G\nREQk/HwRyAAZGVC6NDz/vOtKREREws83gXzCCXDvvfDqq5CT47oaERGR8PJNIAPcdx/s3AmjR7uu\nREREJLx8Fchly0KzZnbbes8e19WIiIiEj68CGWxz16pVmgIl8lea9iTib56e9nQol10GBQvCtGmu\nKxFxT9OeRGKD71bIYKvk6dNh3jzXlYiIiISHLwO5SRNrqfncc64rERERCQ9fBnLBgjYr+a23YMMG\n19WIiIgcP18GMkDr1hAMwosvuq5ERETk+Pk2kEuWhNtvhxEj7GyyiIiIn/k2kAHuvx+ys+Gdd1xX\nIiIicnx8HcjVqsHVV8OQIZqVLCIi/ubrQAbo2BHmzoWZM11XIiIicux8H8gNG8Jpp9kqWURExK98\nH8jBoD1Lfu89WL3adTUiIiLHxveBDNCqFSQlwdChrisRERE5NjERyImJNiv5pZc0K1nil4ZLiPib\nL4dLHMwvv0ClStCnD3Tt6roakejRcAmR2BATK2SAcuWgeXPrb71rl+tqREREjk7MBDLAgw/C2rXw\nr3+5rkREROToxFQgV68O11wDgwapUYiIiPhLTAUyQOfO8O23MG2a60pERETyL+YCuV49OOccWyWL\niIj4RcwFciBgz5I//BAWL3ZdjYiISP7EXCADZGRAaioMHuy6EpEDZWVlkZaWRvny5QkGg0yaNOmA\n32/VqhXBYPCAt2uvvdZRtSISTTEZyIULQ4cOMHYsbNjguhqR/8nLy6NGjRqMGDGCQCBw0I9p2LAh\n69evJzs7m+zsbDX6EIkTCa4LiJR777UmISNGQK9erqsRMQ0aNKBBgwYAHKonT+HChSldunQ0yxIR\nD4jJFTJAcjLceScMHw7btrmuRiT/pk2bRkpKCmeeeSZt27Zl06ZNrksSkSiI2UAGm5X822/w+uuu\nKxHJn4YNGzJ27FimTp3KgAEDmD59Otdee+0hV9MiEjtippf1oTRtCt99ZzuugzH944f4TTAYZOLE\niaSlpR3yY1auXMmpp57KlClTqFOnzkE/Rr2sRWJDzD5D3qdrV7jkEpg0CRo3dl2NyNGpXLkypUqV\nYvny5YcM5H3S09NJSDjwf+mMjAwyMjIiWaKIhEnMB/LFF8M//wn9+0OjRnZOWcQv1q5dy2+//UbZ\nsmWP+LHjxo3TClnEx+LiJu5DD8GsWZCV5boSiXd5eXnMnz+fefPmAbBixQrmz5/PTz/9RF5eHg89\n9BCzZ89m9erVTJkyhcaNG3P66adTv359x5WLSKTF/DNksEET1avDySdbBy8RV6ZPn06dOnX+dga5\nZcuWjBgxgsaNGzNv3jxycnIoV64c9evX58knnzzsMSg9QxaJDXERyGA7rVu0gAULrNe1SKxQIIvE\nhri4ZQ2Qnm4r5GeecV2JiIjI38VNIBcsaEMnMjNhzRrX1YiIiBwobgIZ4O67ISkJnn3WdSUiIiIH\niqtATkyE9u3hpZesg5eIiIhXxFUggwVyKGQ9rkVERLwi7gK5dGkbOvH88/DHH66rERERMXEXyACd\nO8Pvv8Po0a4rERERMXEZyJUrQ7NmMGgQ7N7tuhoREZE4DWSwdpqrVsE777iuRCQ80tPTSUtLIzMz\n03UpInIM4qZT18E0aADr1sG8eRo6If6lTl0isSFuV8gA3btbK80PPnBdiYiIxLu4XiED1K4Nu3bB\nzJlaJYs/aYUsEhvieoUM8OijMHs2TJ3quhIREYlncb9CDoWgZk1rqalQFj/SClkkNsT9CjkQsGfJ\nn31mt61FRERciPsVMsDevTYjuXJlbfAS/9EKWSQ2xP0KGSAYhEcegQ8/tCNQIiIi0aZA/n/p6bZC\n7tvXdSUiIhKPFMj/LyEBunWzzl1LlriuRkRE4o0C+U/uuAPKloV+/VxXIiIi8UaB/CeFC0OXLvDG\nG7B6tetqREQkniiQ/+Kee6BECRgwwHUlIiISTxTIf5GYCB07wiuv2OAJEb/QtCcRf9M55IPIyYFT\nTrHV8jPPuK5G5PB0DlkkNmiFfBAlSkCHDjBiBGzc6LoaERGJBwrkQ+jUyRqGDBrkuhIREYkHCuRD\nKFnSVsnDhsGvv7quRkREYp0C+TAefNDeP/us2zpERCT2KZAPo1QpaN8enn8efvvNdTUiIhLLFMhH\n0LmzTYMaPNh1JSIiEssUyEdQujS0awfPPQebNrmuRkREYpUCOR+6dIE9e7RKFhGRyFEg50OZMnDf\nfbZK/v1319WIiEgsUiDnU9eusGsXDBniuhIREYlFCuR8SkmxVfLQodZaU0REJJwUyEeha1fYscNC\nWcRrNFxCxN80XOIodeoEr70GK1daz2sR1zRcQiQ2aIV8lB56CLZv17NkEZF4t3dveK+nQD5KZcva\nueRnn1X3LhGReNazJ6SnQ7juMyuQj0G3bvaTkWYli4jEp40b7U5ppUoQCITnmgrkY1C6NHTsaD2u\n1693XY2IiETbgAE2ordr1/BdU4F8jDp3hoIFoV8/15WIiEg0rVsHw4fbJt+SJcN3XQXyMTrpJAvl\nF16AtWtdVyMiItHSty8ULmyBHE4K5OPwwAOQmAhPP+26EhERiYaffoIXX7QZB+E++qpAPg5JSbbB\n6+WX7VyyiIjEtqeesu/9998f/msrkI9Tu3aQnAy9e7uuREREImnFChg92hZixYqF//oK5OOUmAiP\nPAJjx8LSpa6rERGRSOndG0qVgrZtI3N9BXIYtGkDqanwxBOuKxERkUhYssQWXt27Q9GikXkNBXIY\nnHAC9OgBmZnw3XeuqxERkXDr0QPKl4fWrSP3GhouESY7d8IZZ8AFF8D48a6rkXiyb7hEw4YNSUhI\nICMjg4yMDNdlicSMr7+GCy+058etWkXudRTIYfTaa/bF+vprOP9819VIvNC0J5HIql/fjjstWAAJ\nCZF7Hd2yDqPbbrNVcvfurisREZFwmDoVPvkE+vSJbBiDVshh9+67cNNN9kWsU8d1NRIPtEIWiYxQ\nCC6+2P551qzwDZE4FAVymIVCUKuWfeGi8QUUUSCLRMaECXDjjTBlCtStG/nX0y3rMAsEbODEnDn2\nxRQREf/ZswcefRTq1YtOGIMCOSLq1oVrrrEv5u7drqsREZGj9frrsHhxdGcVKJAjpG9f+OEHGDPG\ndSUiInI0tm+Hxx+3/UAXXhi911UgR8j558Mtt9gXdds219WIV2RlZZGWlkb58uUJBoNMmjTpbx/T\ns2dPypUrR9GiRalXrx7Lly93UKlI/Bo5En7+2QZJRJMCOYJ694b1622QtQhAXl4eNWrUYMSIEQQO\nsuOvf//+DBs2jFGjRjFnzhwSExOpX78+O3fudFCtSPzZssWOOLVqZcdYo0m7rCPsvvvg7bdtSki4\nZ2eKvwWDQSZOnEhaWtr+XytXrhxdu3al0/9PPs/NzSUlJYUxY8bQrFmzg15Hu6xFwueJJ+yR4/Ll\nUKFCdF9bK+QI69nTnkcMGOC6EvG6lStXkp2dzVVXXbX/15KSkqhVqxYzZ850WJlIfNi4EQYOhPbt\nox/GoECOuLJloWNHGDIE1q1zXY14WXZ2NoFAgJSUlAN+PSUlhezsbEdVicSPp5+GYNBG6rqgQI6C\nhx6yiVBPPum6EhEROZgVK2y/T9euULKkmxoi3JlTwJ4dP/KIvXXsGP2NAuIPqamphEIh1q9ff8Aq\nef369Zx33nlH/O/T09NJ+EuzXU1+Esmf7t2hdGl48EF3NSiQo6R9exg2DB5+WB285OAqV65Mamoq\nU6ZMoXr16oBt2Jo9ezbt2rU74n8/btw4beoSOQazZ9vm21degaJF3dWhQI6SIkXs+cRtt0FWFtSu\n7boicSEvL4/ly5ez73DDihUrmD9/PsnJyVSsWJGOHTvy1FNPUbVqVSpVqkSPHj2oUKECjRo1cly5\nSGwKhaBLFzjnHGjZ0m0tOvYURXv3wkUX2aaBWbPsvcSX6dOnU6dOnb+dQW7ZsiWjR48GoFevXowa\nNYqcnBxq167N8OHDqVq16iGvqWNPIsdu4kRo0gT+8x+be+ySAjnKpk2zsYyZmZCe7roaiQUKZJFj\ns2sX/OMfcMopNvPYNa3RouzKKyEtzZ4lb9/uuhoRkfj10kuwbBk884zrSowC2YH+/WHtWtvkJSIi\n0ZebC7162XPjc891XY1RIDtw5pnQpo01Lv/tN9fViIjEn/79YetWmzngFQpkRx5/3DZ5RXuaiIhI\nvFu7Fp59Fjp1ctMi81AUyI6UKWONQoYPtybmIiISHT16QLFi0K2b60oOpEB2qGNHSElx1zdVRCTe\nzJ8PY8bY82OvHUpQIDu0r1nI+PHw5ZeuqxERiW37moCcdhq0bu26mr/TOWTH9u6FCy+EwoUtlA8y\ns17ksHQOWSR/Jk2CRo1g8mS4/nrX1fydAtkDpk6Fq65SsxA5NvsCuWHDhiQkJGighMhB7NhhTUAq\nV4aPP/bm4keB7BE33ghffQVLlrhtbi7+oxWyyJENHGgNmebPh2rVXFdzcHqG7BEDB8KGDTBggOtK\nRERiy4YNdt743nu9G8agQPaMKlVsDueAAbBmjetqRERiR48eNszniSdcV3J4CmQP6d4dihf33tk4\nERG/mj8fXn7ZjjmVLOm6msNTIHtIsWLQty+MGwdffOG6GhERfwuFrN/D6adD27auqzkyberymL17\noVYte//VV5qZLEemTV0iBzdhgm2Y/egjaNjQdTVHpm/3HhMMwtCh8M038NprrqsREfGnHTusCUjD\nhv4IY1Age9Kll0Lz5tZSMzfXdTUiIv4zZAisXg2DBrmuJP8UyB61bzSYpkGJiByd7Gzo0wfatYOz\nznJdTf4pkD2qQgXbbT1kCCxb5roaERH/6NYNChWyMbd+okD2sC5doGxZ6NzZdSUiIv4wYwaMHWsn\nVpKTXVdzdLTL2uPGj4ebb/ZuM3RxT7usRczu3Tasp1AhmDXLf6dUfFZu/GnaFOrVg/vvh23bXFcj\nIuJdL74ICxbA8OH+C2NQIHteIADPPw9r16rPtRxeeno6aWlpZGZmui5FJOo2boTHHoO77oKaNV1X\nc2x0y9onuneHZ5+FRYus77XIPrplLWJBPGECLF0KpUq5rubYaIXsE48+CmXKwAMPuK5ERMRbZs2C\n0aPtqJNfwxi0QvaV996zZ8qTJsENN7iuRrxCK2SJZ3v2HNhuuEAB1xUdO62QfaRJE6hfXxu8RET2\nefll+Ppr28jl5zAGBbKvBALw3HPw88/Qr5/rakRE3PrtN9tfc8cdcMklrqs5fgpknzn9dOja1Vpr\n/vij62pERNzp3t1uWcfKAkWB7EPdu0NKit261g4AEYlHs2fDSy/Bk0/a98NYoE1dPrVvzuf770Na\nmutqxCVt6pJ4s68jV4ECMGeO/58d76MVsk81bgwNGtgqOS/PdTUiItEzdCgsXGiduWIljEGB7FuB\nAAwbBuvXwxNPuK5GRCQ61qyBnj1ttOKFF7quJrwUyD526qnQo4d18Jo/33U1IiKR16EDlCgRm7Pi\nFcg+16ULnHkmtGljuw1FRGLVxInWGGnoUIjF7RIKZJ8rVMieo8yeDSNHuq5GXNJwCYllW7bY6vi6\n66xjYSzSLusY0aYNZGbCDz9AuXKuq5Fo0i5riQcPPmiLjkWLoFIl19VEhlbIMaJfPyhSRMMnRCT2\nfPut3abu1St2wxi0Qo4pmZnQvDlMngzXX++6GokWrZAllu3ZAxdfDDt2WM/qggVdVxQ5WiHHkPR0\nuOYaOw6wdavrakREjt+IETB3rt2ujuUwBgVyTAkE4IUXYMMGePxx19WIiByf1avhkUfgvvvg0ktd\nVxN5CuQYU6WKhfGQITYbVETEj0Ih26x60kmxMzziSBTIMahzZzj3XLjrLti503U1IiJH74034OOP\n7VZ1vGyNUCDHoIIFYfRoWLwY+vZ1XY2IyNHZsAE6doSMDDt3HC8UyDGqRg3o1g369LEm7CIifnH/\n/bYnZuhQ15VEl449xbAdO+C88yAxEWbOhIQE1xVJJOjYk8SSyZNtpOwbb8Ctt7quJrq0Qo5hhQvb\nreuvv4bBg11XIyJyeJs3247qhg2tp0K8USDHuIsvtmcxPXvC0qWuqxERObRu3SyUR460W9bxRoEc\nB556yvpb33037N3ruhoRkb+bMsUG5fTrByef7LoaN/QMOU589hnUrQvDh0Pbtq6rkXDa9wy5YcOG\nJCQkkJGRQUZGhuuyRPItNxfOOcdmvH/6KQTjdKmoQI4jbdrAW2/Bd9/BKae4rkbCRZu6xO/2fW9a\nuDC2h0ccSZz+HBKfBgyA4sWhdWvrgiMi4tonn8CoUTBwYHyHMSiQ40rx4vDyy/Df/9qzGhERlzZv\nto6CV18N99zjuhr3FMhxpkED+4vfpQv8+KPrakQknnXqZKH8yivxuav6rxTIcWjgQChTBu64w2aN\niohE24cfwquvWo+EeN1V/VcK5DhUrJj9jzBjhk2FEhGJpt9/t70sDRrAnXe6rsY7FMhx6oorrGHI\no4/CokWuq5E/e+KJJwgGgwe8nX322a7LEgmbBx6AP/6Al17Sreo/U3fjONanD/z739CihfW6LljQ\ndUWyzz/+8Q+mTJnCvlOJCWpELjFiwgR4/XUYMwYqVHBdjbdohRzHihSBsWNh3jyNafSahIQESpcu\nTZkyZShTpgzJycmuSxI5buvW2a3qxo3h9ttdV+M9CuQ4V7MmdO8OvXvD3Lmuq5F9li1bRvny5Tn1\n1FO57bbb+Omnn1yXJHJcQiFo1cruxOlW9cGpU5ewcydccgls3QrffGPjGsWdjz/+mK1bt3LGGWew\nbt06evXqxS+//MJ3331H4kG+OOrUJX4wbBh06GCPyRo0cF2NNymQBYAlS2x28u23q2mI12zevJlT\nTjmFwYMH06pVq7/9vgJZvG7RIrjgAhtw8/zzrqvxLu0UEQDOOMOOQLVpY7NIGzd2XZHsU7x4cU4/\n/XSWL19+2I9LT0//2+YvDZoQ13buhFtvhcqVoX9/19V4mwJZ9mvdGj76yH6KvegiG9ko7m3dupUf\nf/yRFi1aHPbjxo0bpxWyeE7PnvD99zBrFhQt6roab9OmLtkvELBe1wUL2uYLzU52o2vXrnz++ees\nXr2aL7/8kiZNmuwfqyjiJ9Om2VCb3r3h/PNdV+N9CmQ5QKlSdj7wk0/guedcVxOf1q5dS/PmzTnz\nzDNJT0+ndOnSzJo1i5IlS7ouTSTfcnKsx0Ht2tY7X45Mm7rkoB58EIYPh6++gurVXVcjh6NNXeI1\noZA9N/7wQ1iwQPPX80srZDmop5+GM8+E5s1h2zbX1YiIn7z2GmRmwgsvKIyPhgJZDuqEE+Ctt2xE\nY9eurqsREb9YvBjat7ehEc2bu67GXxTIckjVqsGgQXbr+r33XFcjIl63bRvccoutirUH5ejp2JMc\n1n33wdSp9tPueefZWUIRkYN58EFYtgzmzFHHv2OhFbIc1r6jUMnJkJ5uh/xFRP5q/HgYOdIaDJ1z\njutq/EmBLEdUogS8/TZ8+60NohAR+bNVq6yh0E03wT33uK7GvxTIki81a1rbu0GD4IMPXFcjIl6x\naxdkZMBJJ2mK0/FSIEu+dewI118PLVuCpgGKCMBjj9no1nHj7G6aHDsFsuRbIGDnC4sWtZ+Id+92\nXZGIuDR5srXGfPppqFXLdTX+p0CWo1KypP0kPGsWPPqo62rkz9LT00lLSyMzM9N1KRIHVqywca2N\nGqk1ZriodaYck4EDrWHIu+/CjTe6ria+qXWmRNv27XDppZCba7erdas6PHQOWY5J5862Sr7jDmsg\ncsYZrisSkWjp0ME6cs2cqTAOJ92ylmMSCMCrr0L58rZC3rrVdUUiEg2vvmq9CUaMgBo1XFcTWxTI\ncsyKFbOWmmvW2BlEPfwQiW3z5kHbtnDXXTYzXcJLgSzH5ayzYPRoaxyi3rUisSsnB5o2tSlwzz/v\nuprYpECW43bzzdbDtksXyMpyXY2IhNvevbajetMm28hZpIjrimKTAlnCol8/23XZrBmsW+e6GhEJ\np8cfhw8/hDffhCpVXFcTuxTIEhYFC9pt60DAxq/t2uW6IhEJh3ffhaeegj594NprXVcT2xTIEjap\nqfDOO3Yc6oEHXFcjIsdr4UJrldusGTz8sOtqYp8CWcLqsstg+HB44QV7ExF/2rTJunBVrWobNzU0\nIvLUGETCrnVr+8n6/vttR2adOq4rEpGjsXu3PXrKzYWpUyEx0XVF8UErZImIZ5+FK6+0+agrVriu\nRkSORrdu8Nln8K9/QaVKrquJHwpkiYiEBNvklZwMaWn2k7ZEloZLSDi8/rr9QD1oENSt67qa+KLh\nEhJRixfDxRfDFVfAhAlQoIDrimKPhktIuHzxBVx1Fdx6K7zyip4bR5tWyBJRZ50FmZnwwQfQo4fr\nakTkUH78ERo3tn4CI0cqjF1QIEvEXXutDTHv2xfeeMN1NSLyV7//DtddZ4+Y3n0XChVyXVF80i5r\niYrOnWEvZBx1AAAPXklEQVTRImtKX7Gi3cIWEfd27bLNlxs3Wg+B5GTXFcUvrZAlKgIBuw1WuzY0\naQI//OC6IhEJhWx6U1aWTW477TTXFcU3BbJETaFCMH48lCtnt7E3bHBdkUh8GzTIZhu/9JLuWnmB\nAlmiqkQJa1K/bRvccAP88YfrikTi08SJ8NBD0L27tccU9xTIEnWnnGK7rr/7Dm67DfbscV2RSHz5\n8kvIyLBnx717u65G9lEgixMXXADjxsH770PXrq6rEYkfP/xgd6cuugjGjoWgUsAz9KUQZ264AZ57\nDgYPhiFDXFcjEvt++QXq14eyZe2W9QknuK5I/kzHnsSpdu1gzRro1AlKlbJb2CISfps3Q8OGsHcv\n/Oc/cNJJriuSv1Igi3P9+sGvv0KrVnYGUkPQRcJrxw47brhmjbXHrFDBdUVyMLplLc4FAvDii9Yp\n6KabbMOJiITH3r22i/rLL2HSJKhWzXVFcigKZPGEhATreV2zpgXzd9+5rsh/NO1J/ioUssdC77wD\nb75pjXnEuzTtSTxl82ZrULBxI8yYoVms+aFpT3IwoZDNNX7mGZvcdOedriuSI9EKWTyleHHbcFKk\nCFxzjbp5iRyrp5+2MB4yRGHsFwpk8ZzUVPjkE9iyxUJ50ybXFYn4y3PPwWOPwZNPwgMPuK5G8kuB\nLJ5UpQp8+in8/LOF8ubNrisS8YfXXrMQ7tLFQln8Q4EsnlWtGvz3v7BiBTRoYCtmETm08eNtxOk9\n99gM8kDAdUVyNBTI4mk1atjt60WLbPd1Xp7rikS8afJkaN4cbrkFRoxQGPuRAlk878ILbaPXN99A\no0Y2KUpE/mfyZGja1NrRjhkDBQq4rkiOhQJZfOGSS+Cjj6y5wY03WuchETkwjMeNg4IFXVckx0qB\nLL7xz39ap6HPPrM2gFopS7z74AOFcSxRIIuvXH21rQimTYO0ND1Tlvj1wQd2t0hhHDsUyOI79erB\nv/8Ns2bZ9BrtvpZ4M2mSwjgWKZDFl664wnZfz59v55RzclxXJBIdb71lYdyokcI41iiQxbcuuQSm\nTIElS+Cqq+C331xX5JaGS8S+UaNsZvjtt9swFoVxbNFwCfG9BQvs2XJqqnX3KlPGdUXRpeES8WHg\nQOjaFe6/HwYPhqCWUzFHX1LxverVYfp0+PVXGy+3apXrikTCJxSCnj0tjB97zIZFKIxjk76sEhPO\nOguysmDPHrj0Uls1i/jd3r3QqRP07g39+9t7deCKXQpkiRmnnmozlFNT7cxyVpbrikSO3c6d0KKF\nTW564QV46CHXFUmkKZAlpqSk2BnlCy6w41ETJ7quSOTobd4M114L77xjO6nvvdd1RRINCmSJOUlJ\n1mbzhhusi9HLL7uuSCT/fv7Z7vB8/bUd7WvWzHVFEi0KZIlJhQvbyqJNG2jd2jbD7N3ruiqRw1u0\nyI7zbdoEX3xh5+0lfsR9IOvMZuS5+hwXKADDh0O/ftCnj42mU/9rOVaR/nv8+edw2WVQooR1oatW\nLaIv50nx/v1YgRznfwGiweXnOBCAbt1scPukSVC3Lqxf76wc8bFI/j1+5RU7S3/++bYZsXz5iL2U\np8X79+O4D2SJD02b2lnlVaugVi34/nvXFYnYMb0HH4S774ZWraxHe/HirqsSV/IdyOH6ycVr1wkH\nr/2ZvHadcDneemrWhO7dM0lKsrPKH3/srpZwXydcvPbnCsd1vPo53rwZrr8ehg61o00jR0KhQkd/\nnXDV45XrhINf/0wK5DDw2p/Ja9cJl3DU89//ZvLFF3D55Xas5JlnrBOSi1rCeZ1w8dqfK1YDefly\nuPhimDnTVsUdOhx9ww8vfY7DeZ1w8OufKSE/HxQKhdi9eze5ubnH/YKxeB0v1aLrHPkakMsbb8BT\nT1mzhVmzYNgwSEyMbi3hus6+/94r9XjtOl6qBSA7ezc1a+aSnGzDUU47DY7lsl77c8Xi1ypc1wEo\nVqwYgSP81JWv4RL7mteLiIjI0cvP8Jd8BXIoFGKLpsBLjFq0CG691c5+vvyydfjyk9zcXCpWrMhP\nP/2kaU8elZNj3bb+/W8bEvHII3YsT+JH2FbIIrEuJ8fmzH74oX2zfPJJSMjXAx33NH7R2xYsgBtv\ntHndb7wB113nuiLxKh17EsGaMUyaZE1EBgyAOnVg7VrXVYmfhULw4ou2eatYMWuFqTCWw1Egi/y/\nYNCaiOw7r1yjht1iFDlamzbBTTfZbeqWLeHLL6FKFddVidcpkEX+4rLL4NtvrYHItddC586wfbvr\nqsQvpk+Hc8+Fzz6D996z0YlFiriuSvwgLgN59+7ddOvWjerVq3PiiSdSvnx5WrZsybp161yXFnMm\nTJhA/fr1KVWqFMFgkAULFrguKV9KlYLJk2HgQDsSVbMmzJ/vuiqJtqysLNLS0ihfvjzBYJBJkyYd\n8mN374YePexxR5Uq9velSZMoFutTffv25aKLLiIpKYmUlBSaNGnC0qVLXZflRFwG8h9//MG8efN4\n/PHH+fbbb5kwYQJLliyhUaNGrkuLOXl5edSuXZsBAwYccYeh1wSDtjqeO9f+uWZN6N/f2h1KfMjL\ny6NGjRqMGDHisH9/ly61kYl9+9qGwKlToWLFKBbqY1lZWXTo0IHZs2fz6aefsmvXLq655hq2xeEk\nGO2y/n9z586lVq1arF69mgoVKrguJ+asXr2aypUrM2/ePKpXr+66nKO2Ywf07GmdvS67DMaOhcqV\nXVdltMs6OoLBIBMnTiQtLW3/r+3ZY20vu3e3gRBjx1pbVjl2v/76K2XKlOHzzz/n8ssvd11OVMXl\nCvlgcnJyCAQClChRwnUp4kGFC9vqeNo0+OknqF4dRozQjOV4tnSpzSt+8EG45x67Ra0wPn77vhcn\nJye7LiXqFMjAjh07ePjhh2nevDknnnii63LEw/75TztX2rw5tGsHtWtbYxGJH3v2wODBtnErO9s2\ncQ0denStV+XgQqEQHTt25PLLL+fss892XU7UxUUgv/XWWxQrVoxixYqRlJTEjBkz9v/e7t27ufnm\nmwkEAowYMcJhlf53uM9zLElKsvOl06dbs4caNaBXL7utLbFt2TLbfd+5M7RpYz+c/fOfrquKHW3b\ntmXRokWMGzfOdSlOxMUz5Ly8PNb/aSp9+fLlKVy48P4wXrVqFVOnTuWkk05yWKX/HerzDP5/hnwo\n27dDnz7WUOS002yEXrS/QesZcuTl5MBJJwWBiZx7bhojR1rDDwmf9u3bM3nyZLKysjj55JNdl+NE\nXKyQExMTqVKlyv63P4fxihUrmDJlisI4DA72ef4zv+2yzo8TToDeve3ccokS9kyxeXM3Xb7S09NJ\nS0vz1Bg8vwuFrN3lGWfYv999t+26VxiHV/v27Xn//ff57LPP4jaMIZ/jF2PN7t27adq0KfPmzeOD\nDz5g165d+1d2ycnJFCxY0HGFseP3339nzZo1/Pzzz4RCIX744QdCoRCpqamkpKS4Li9s/vEP+OIL\neP116/Z1xhnw6KO24eeEE6JTw7hx47RCDqO5c+GBB/L48svl1KsX4tNPoVq1FXz//XySk5OpqHNN\nYdG2bVsyMzOZNGkSiYmJ+78XFy9enBOi9T+PV4Ti0KpVq0LBYPCAt0AgEAoGg6Hp06e7Li+mvPba\na/s/t39+e+KJJ1yXFjE5OaFQ586hUEJCKFSlSij09tuh0N69kXu9zZs3h4DQ5s2bI/cicWT16lDo\n1ltDIQiFKlWadtC/v61atXJdZsw42Oc3GAyGxowZ47q0qIuLZ8giLvzwg23++egjuPBCOzZVt274\nX0fPkMMjN9f2AgweDMWL26OIVq38M/VL/C8uniGLuHDmmTbOcdo0m3171VXQoAHMm+e6MvmzrVvt\nh6UqVWDIEOjSxXZTt26tMJboUiCLRNgVV8DMmfDuu7ByJZx3ns3H/fZb15XFtz/+sF7llStbD+pm\nzazZR+/eNi5RJNoUyCJREAhYCH//PYweDQsXwvnnww03wJw5rquLL1u2wKBBtiJ+5BEbALFsmXVe\nU9dccUmBLBJFCQn2XHLxYtuRvXy5NZqoV8+eNasVZ+T88ovtgK9YER5+GK67zlbEo0bBKae4rk5E\ngSziREIC3HYbfPcdjBtnjSeuuw6qVbPmIn/84brC2LFwof0QVKmSzSZu3doeHbzyincGhIhAnHTq\nEvG6UAhmzLAdvhMnWpORO++0RhT7mlIcinZZ/9327TB+vP1wM2OGTWLq2NHCuHhx19WJHJwCWcRj\nVq6E55+HMWNg0yZrxdm6NTRtCkWK/P3jFcj/s2iRPaN/9VX73F11Fdx7LzRqBOr3I16nQBbxqO3b\nYcIEeOkl+OwzWzU3bQoZGXDllXaUChTIa9dCZia8+aaNQExOtlvU99wDp5/uujqR/FMgi/jAsmW2\nYs7MhBUrIDXVjuncdBNUq5ZLyZLxFci//AKTJ9vz9+nToVAh27F+663QsKHNrxbxGwWyiI+EQvDV\nVxbMb78N69bBSSfl8vvvxXn11c00aZIUk89IQyFb/U6aZEE8d67dIahTx0K4SRM9Gxb/UyCL+NTe\nvXaGefz4XAYNKg40JBBIoGrVDG66KYMrr4RLL4UTT3Rd6dELheyuwLRp/3tbt84adjRsCGlp9j45\n2XGhImGkQBbxuX3PkBcu3ExWVtL+ANuwwY5X1awJl10GF1xgzUiqVoWgxw48bt4M33xjb199BZ9/\nbgFcoIDVfeWVcPXV1vWsUCHX1YpEhgJZxOcOtqkrFLLhFtOm2Yaw2bNhzRr7+BNPtPad1avbpqfT\nTrP3p5wS+d7NmzZZM45ly+z9kiXWQnT5cvv9IkWgRg2oXdtC+LLLIE4ei4sokEX8Lr+7rH/7zcJv\n30p04UL48UfYscN+PyEBypWzt7Jl7X3p0haIxYr97/3Bjl7t2WNDGrZs+d/7DRtslbtuHWRn20as\nnJz//TflytkPAzVq2Mr9ggvszLUGOki8UiCL+NzxHHvas8eODe1btf78swXnunX2fuNGC9e8vPxf\nMxi04C5d2oI9NdXely1r/aNPP91um/vx2bZIJCmQRXwuGueQ9+yxUM7NtfPRfxUMWsAWKwYnnGDD\nNETk6OjmkIgcUYECdstaz3NFIsdjey1FRETikwJZRETEAxTIIiIiHqBAFhER8QAFsoiIiAfo2JOI\nz4VCIbZs2UKxYsUI6LyRiG8pkEVERDxAt6xFREQ8QIEsIiLiAQpkERERD1Agi4iIeIACWURExAMU\nyCIiIh6gQBYREfGA/wNpiof4xogGEAAAAABJRU5ErkJggg==\n", "text/plain": [ "Graphics object consisting of 1 graphics primitive" ] }, "execution_count": 11, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# 関数の解\n", "sol = solve(df, x)\n", "show(sol)\n", "plot(df, [x, -2.5, 2.5], figsize=5)" ] }, { "cell_type": "code", "execution_count": 16, "metadata": { "collapsed": false }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "(-0.5485837703548542, 1.2152504370215302)\n" ] } ], "source": [ "# 解の数値計算\n", "print( find_root(df, -2, 0), find_root(df, 0, 2) )" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "SageMath 7.2", "language": "", "name": "sagemath" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 2 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython2", "version": "2.7.10" } }, "nbformat": 4, "nbformat_minor": 0 }