{ "cells": [ { "cell_type": "code", "execution_count": 7, "id": "0e17057e", "metadata": {}, "outputs": [], "source": [ "%display latex" ] }, { "cell_type": "code", "execution_count": 8, "id": "556dadc7", "metadata": {}, "outputs": [], "source": [ "import fp" ] }, { "cell_type": "code", "execution_count": 9, "id": "191ab23d", "metadata": {}, "outputs": [], "source": [ "P=fp.Polygon(\"u3r3d3l3\")" ] }, { "cell_type": "code", "execution_count": 10, "id": "2f705c9b", "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYYAAAGGCAYAAAB/gCblAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjUuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/YYfK9AAAACXBIWXMAAA9hAAAPYQGoP6dpAAAf6ElEQVR4nO3d225bW3bm8cGDZdk62DrLb5DAAQqNeo3cF9BPUIj9CEFylTfY+2I/TvcLBLlwIXURINhAgWeRokSJpESuvnCL2Szrm5bMj/birP/vxig098js4TnGWOZac7FSFEUAAPCg+qMXAAAoFwYDAGAJgwEAsITBAABYwmAAACxhMAAAljAYAABLGAwAgCUMBgDAkvozPssRaQDYbJWnfIh/MQAAljAYAABLGAwAgCUMBgDAEgYDAGAJgwEAsMQyGP7yl7/EZDKJZrMZ8/k8Go1GREQ0Go2YTqfR7XZjNBrF5eVl9Pv9uL29jXa7HbPZbOmz9/f30W634+bmJgaDQVxeXsbNzU10Op24u7tb+ux8Po9WqxXj8TguLi5iOBzG9fV1dLvdmE6nS58tiiIajUZMJpPo9XpxfX0dV1dXcXFxEePx+NF1393dRafTeda6b29vF+sejUbR6XTi48fiSevu9XqLdT+s9+HP6XS6WPdwOFysu9VqfXXdg8Fgse77+/ulz85ms8W6+/3+0rofy3ez2Vys++rqarHuyWSytN6//rtX6/74cf7Fum9ubhbrvrm5eda6H/u7f1j3ZDJZrPvq6mqx7maz+dV19/v9xbof+7t/WPdgMFisu9PpPLruVqu1WPdwOJTrLooiPn6cL/bsc9Y9Go0W6769vbWtezweL9adqrWHfP923RcXF9Ye8fFjkU2PeOq6n9ojms3mM7r34yrP+AU3+cHr6+vY3d1deTE5+vChiJ9/ftKjw39zyE0a+dHIjfaVfvz9zjFMJhNHGADAihz92DIY9vb2HGEAACty9GPLYOj1eo4wWXr6N3V/e8hNGvnRyI3m6MeWwXB+fu4Ik6UKX4NK5CaN/GjkRnP0Y8tgcNwFzxVXNhq5SSM/GrnRHP2YfzGsGVc2GrlJIz8audH4F8MG4MpGIzdp5EcjN1pp/sVwdHTkCJMlrmw0cpNGfjRyozn6sWUwXF1dOcIAAFbk6MeWwfDy5UtHGADAihz92DIY5vO5IwwAYEWOfmwZDPf3944wAIAVOfqxZTC8fv3aEQYAsCJHP7YMhsvLS0cYAMCKHP3YMhhOTk4cYQAAK3L0Y8tgaLVajjBZ4iCORm7SyI9GbjRHP7YMhnfv3jnCZKnCSRyJ3KSRH43caI5+bBkMDz9Lhy894xfy/uaQmzTyo5EbzdGPLYPh+PjYESZLXNho5CaN/GjkRnP0Y8tgGAwGjjAAgBU5+jHnGAAgI6U5x8DJZwAoh9KcfOZGEACUg6Mf83ZVAMhIad6uyu8xAEA5lOb3GA4PDx1hAAArcvRjy2DodDqOMFni9otGbtLIj0ZuNEc/5pUYa8bRfY3cpJEfjdxovBJjA/DElkZu0siPRm600rwS4/T01BEmS1zYaOQmjfxo5EZz9GPLYOj1eo4wAIAVOfqxZTDs7e05wgAAVuTox5bBMB6PHWEAACty9GPLYKhWLWEAACty9GNLR6/X644wAIAVOfqxZTDc3Nw4wgAAVuTox5bB8PbtW0cYAMCKHP3YMhi63a4jTJY4h6ORmzTyo5EbzdGPeSXGmnF0XyM3aeRHIzcar8TYABzd18hNGvnRyI1WmldinJ2dOcJkiQsbjdykkR+N3GiOfmwZDO122xEGALAiRz/mqSQAyEhpnkriHAMAlENpzjG8ePHCEQYAsCJHP7YMBh4dA4BycPRjy2CYTCaOMACAFTn6sWUw7O7uOsIAAFbk6MeWwXBxceEIkyXO4WjkJo38aORGc/Rjy2A4Pz93hMkSt180cpNGfjRyozn6sWUwNJtNR5gscWWjkZs08qORG83Rj3mJ3prxxJZGbtLIj0ZuNF6itwF42ZdGbtLIj0ZutNK8RO/o6MgRJktc2GjkJo38aORGc/Rjy2AYDoeOMACAFTn6sWUwbG9vO8IAAFbk6MeWwTCfzx1hAAArcvRjy2C4v793hAEArMjRjy2D4fXr144wAIAVOfqxZTBcXl46wgAAVuTox5bBcHJy4ggDAFiRox9bBkOr1XKEyRLncDRyk0Z+NHKjOfoxr8RYM47ua+Qmjfxo5EbjlRgbgKP7GrlJIz8audFK80qM4+NjR5gscWGjkZs08qORG83Rjy2DYTAYOMIAAFbk6MeWwbCzs+MIAwBYkaMfWwbD3d2dIwwAYEWOflw3rIMbQcJ/nJ9H8Y//HZ/e//5HL6V0pr/+GsUfOuRGID/aQ24ieHnnYxz92DIY/vmf95cWUxSfHycriuKrN4m+12c//+/vu5biH/87ZtWXcX9/H/V6fenPWq0W8/l88dhdURRRrVZjNpt5PxsR1UolZvN51Gq1mP31WmazqFWr32ctv/lsRMSs+jIiYvmz1WpEUUQRn/M7L9m6v/hsvR7z2Swq1eqiBiqVShTzeVQfW/cT4z/kpyiKjVq39bPzedRrtS/XPZ3GrPoyPnz4sgFuWo/49s9++eeDSuVN/PRTOsbXWAbDv/xLN05PTx/5f3nOowNl+Kw3/qf3v4/72Sx+9+c/f8Ma8lf/UMT7T59+9DJKq/6hiH/4059+9DJK59P79/FP//fv43f/+Z+JT21Gj1jts49rt9sR8Vg/fjrLPYbDw0NHmCzVarUfvQQgO9SV5ujHlsHQ6XQcYbI045XkErem0siPRl1pjn7MKzHWrF63fFuXJV5rkEZ+NOpK45UYG4AfMdJ4mi2N/GjUlVaaV2I8fuMZEVzZpHBBnEZ+NOpKc/Rjy2Do9XqOMFm6//+PZgLwoa40Rz+2DIa9vT1HmCzVqpYUA/gN6kpz9GNLdsfjsSNMlubz+Y9eApAd6kpz9GPLYKgyvSWeLAH8qCvN0Y8tHZ0bQQBQDo5+bBkMt7e3jjBZ4pFDwI+60hz92DIY9vf3HWGyxNdsgB91pTn6MY+rrtmMx+okLvrSyI9GXWmleVyVV2Jo3H/RuIGYRn406krjlRgbgKP7Gt8Tp5EfjbrSSvNKjLOzM0eYLHFlo3FBnEZ+NOpKc/Rjy2D4/MMQeAxXNoAfdaU5+rFlMBwcHDjCZIkfFAH8qCvN0Y8tg2E0GjnCZImj+4AfdaU5+rFlMLx48cIRJks8WQL4UVeaox9zSgQAsMQyGKbTqSNMlnjkEPCjrjRHP7YMht3dXUeYLHF0H/CjrjRHP7Zkt9/vO8JkiaP7gB91pTn6MQfc1oyDOIAfdaWV5oBbs9l0hMkSB3E0viZOIz8adaU5+jEv0Vszrmw0HjlMIz8adaXxEr0NwJWNxpMlaeRHo6600rxE7+joyBEmSxzd17ggTiM/GnWlOfqxZTAMh0NHmCxxdB/wo640Rz+2DIbt7W1HmCzxPTHgR11pjn5sGQxMbwAoB0c/tgwGDpto3EAE/KgrzdGPLYPh1atXjjBZ4ug+4EddaY5+bMnu5eWlI0yW+NcU4EddaY5+bBkMx8fHjjBZ4iAO4EddaY5+zG8+rxkHcTS+Jk4jPxp1pZXmN595JYbGlY3GI4dp5EejrjReibEBuLLReLIkjfxo1JVWmldinJycOMJkqcaVjcQFcRr50agrzdGP+aGeNZvz9ARgR11ppfmhnp2dHUeYLFV43hqwo640Rz+2ZNfx49O54ntiwI+60hz9mLELAFhiGQxbW1uOMFnikUPAj7rSHP3YMhhGo5EjTJYK3jwL2FFXmqMfWwbDwcGBI0yWqvzSFGBHXWmOfmwZDJ1OxxEmSzMO4kjcP0wjPxp1pTn6Ma/EWDOO7mt8T5xGfjTqSuOVGBuAo/sajxymkR+NutJK80qM09NTR5gscWWjcUGcRn406kpz9GPLYOh2u44wWeLKBvCjrjRHP7YMhv39fUeYLNV4egKwo640Rz+2DIbxeOwIk6U5z1sDdtSV5ujHlsHA9NZ4sgTwo640Rz9mMABARkozGG5vbx1hssQjh4AfdaU5+jE3n9esynvjATvqSivNzeder+cIk6UZvzQlcdGXRn406kpz9GNeibFmHMTRuIGYRn406krjlRgbgIM4Gt8Tp5EfjbrSSvNKjPPzc0eYLHFlo3FBnEZ+NOpKc/Rjy2BotVqOMFniygbwo640Rz/mh3rWjDMegB91pZXmh3qur68dYbLE0X3Aj7rSHP3YMhgcPz6dK54sAfyoK83RjzklAgBYYhkM0+nUESZLPHII+FFXmqMfW5752t3ddYTJzvTXX3/0EoDsUFdpjn5cecbklR/8+HEeRfE/3/kVxefvAIui+Oqz2N/rs5//9/ddSzGZxKz6Mmr158b98s/vue5v/+zz/pv7+4hffqlEo9GI4+PjGAwGsbOzE3d3d1EURWxtbcX19XUcHh5Gp9OJd+/eRaPRiNPT0+j1erG3txfj8Tiq1WrU6/W4vb2N/f396PV6i8+enZ1Fu92Og4ODGI1G8eLFi4j4fFW1u7sb/X4/zs7OotlsLv6bo6OjGA6Hsb29HfP5PGazWbx69SouLy/j+Pg42u324rMnJyfR7/djZ2dncaW2tbUVo9EoDg4Ovlh3t9uN/f39GI/HUavVolarPbru8/Pz+OMfI772uH55/u6f9llH/Ie6qr8wx93IWvty3ZVKET/9JL8MetLfkGUwfP7/DDeD/tqn9+8jIuL9p08/eCXlxL5JIz+Po67SvrJvnrShLPcYms2mI0yWOIijsW/SyI9GXWmOfcNL9NaMo/sa+yaN/GjUlcZL9DYAVzYa+yaN/GjUlVaal+gdHR05wmSJo/sa+yaN/GjUlebYN5bBMBwOHWGyxNF9jX2TRn406kpz7BvLYHj16pUjTJZ4qkRj36SRH4260hz7xjIY+Jk9fAv2TRr5wbdw7BsGw5pxdF9j36SRH4260kozGLa3tx1hslSt8p5ChX2TRn406kpz7BtuPq8ZV30a+yaN/GjUlVaam8/Hx8eOMFniII7GvkkjPxp1pTn2jWUwtNttR5gscRBHY9+kkR+NutIc+4ZXYqwZVzYa+yaN/GjUlcYrMTYAVzYa+yaN/GjUlVaaV2KcnJw4wmSpxpWNxL5JIz8adaU59o1lMPT7fUeYLM15ekJi36SRH4260hz7xjIYdnZ2HGGyVOF5a4l9k0Z+NOpKc+wbS3YdPz6dK05oauybNPKjUVeaY98wdgEASyyDYWtryxEmS7wFUmPfpJEfjbrSHPvGMhhGo5EjTJYK3hsvsW/SyI9GXWmOfWMZDAcHB44wWaryS1MS+yaN/GjUlebYN5bB0Ol0HGGyNOMgjsS+SSM/GnWlOfYNr8RYM47ua+ybNPKjUVcar8TYABzd19g3aeRHo6600rwS4/T01BEmS1zZaOybNPKjUVeaY99YBkO323WEyRJXNhr7Jo38aNSV5tg3lsHw5s0bR5gs1Xh6QmLfpJEfjbrSHPvGMhhub28dYbI053lriX2TRn406kpz7BvLYGB6a5zQ1Ng3aeRHo640x76xDIYqbzrEN2DfpJEffAvHvrHsvPF47AiTJd4CqbFv0siPRl1pjn1jGQz7+/uOMFniqk9j36SRH4260hz7xpLdXq/nCJOlGb80JbFv0siPRl1pjn3DKzHWjIM4Gvsmjfxo1JXGKzE2AAdxNPZNGvnRqCutNK/EOD8/d4TJElc2Gvsmjfxo1JXm2DeWwdBqtRxhssSVjca+SSM/GnWlOfYNP9SzZhxS0tg3aeRHo6600vxQz/X1tSNMlji6r7Fv0siPRl1pjn1jGQz8aLnG0X2NfZNGfjTqSnPsG06JAACWWAbD3d2dI0yWOLqvsW/SyI9GXWmOfWMZDDs7O44wWeLovsa+SSM/GnWlOfaNJbv9ft8RJksc3dfYN2nkR6OuNMe+4Tef14yDOBr7Jo38aNSVVprffOYgjsZBHI19k0Z+NOpKK80BN172pXFlo7Fv0siPRl1pvERvA3Blo7Fv0siPRl1ppXmJ3tHRkSNMlji6r7Fv0siPRl1pjn1jGQzD4dARJksc3dfYN2nkR6OuNMe+sQyGV69eOcJkiaP7Gvsmjfxo1JXm2DeWwcD3ffgW7Js08oNv4dg3lsHAP+s0ju5r7Js08qNRV5pj31gGw/b2tiNMlji6r7Fv0siPRl1pjn1jye7V1ZUjTJZmXPVJ7Js08qNRV5pj3/C46prVeaxOYt+kkR+NutJK87hqu912hMkSNxA19k0a+dGoK82xb3glxppxdF9j36SRH4260nglxgbgykZj36SRH4260krzSoyTkxNHmCzVuLKR2Ddp5EejrjTHvrEMhouLC0eYLPGDIhr7Jo38aNSV5tg3lsGwu7vrCJMlnrfW2Ddp5EejrjTHvrFkdzqdOsJkiROaGvsmjfxo1JXm2DeWwcALrTQyo7Fv0siPRmY0x76xDIYXL144wuSJ4pbYN2nkJ4G6khz7xjIYRqORI0yWCo7uS+ybNPKjUVeaY99YBsPbt28dYbLETTKNfZNGfjTqSnPsG0t2u92uI0yWeKxOY9+kkR+NutIc+6byjLv7PAbwTP++txcREf+Lt2QCNtTVSp50c8YyGD5+nEdR/M//vaL4fGe8KIqv3iP6Xp/9/L+/71qKySRm1ZdRqz837pd/fs91f/tnn/ff3N9H/PJLJRqNRhwfH8dgMIidnZ24u7uLoihia2srrq+v4/DwMDqdTrx79y4ajUacnp5Gr9eLvb29GI/HUa1Wo16vx+3tbezv70ev11t89uzsLNrtdhwcHMRoNFrcmJtOp7G7uxv9fj/Ozs6i2Wwu/pujo6MYDoexvb0d8/k8ZrNZvHr1Ki4vL+P4+Dja7fbisycnJ9Hv92NnZ2fxmODW1laMRqM4ODj4Yt3dbjf29/djPB5HrVaLWq326LrPz8/jj3+M+NoB3/L83T/ts474D3VVf+Qe66b1iG//rO4RlUoRP/0kvwz6foNhPp/znd8jPr1/HxER7z99+sErKacPH4r4+WeeLlHIz+Ooq7Sv9OMnbShLN+90Oo4wWeJlX4AfdaU5+rFlMLx588YRJks1flAEsKOuNEc/tgyGm5sbR5gs8YPugB91pTn6sWUw8KMZGq81APyoK83Rjy2DgRvPAFAOjn5s6ejj8dgRJku8BRLwo640Rz+2DIb9/X1HmCzxrynAj7rSHP3Ykt1er+cIkyWO7mtc9KWRH4260hz92DIY3r175wiTJW7Ma9xATCM/GnWlOfqxZTA0Gg1HmCxxEEfje+I08qNRV5qjH1sGw/n5uSNMlriy0bggTiM/GnWlOfqxZTA0m01HmCxxZaNxQZxGfjTqSnP0Y8tgODw8dITJEkf3Na6I08iPRl1pjn5sGQzX19eOMFni6D7gR11pjn5sGQwvX750hMkST5YAftSV5ujHlsHA0xMAUA6OfmwZDHd3d44wWWJoAn7Ulebox5bB8Pr1a0eYLHF0H/CjrjRHP7ZkdzAYOMJkiaP7gB91pTn6sWUwnJ6eOsJkiYM4gB91pTn6sWUwtFotR5gscRBH42viNPKjUVeaox/zEr0148pG45HDNPKjUVcaL9HbAFzZaDxZkkZ+NOpKK81L9I6Pjx1hssTRfY0L4jTyo1FXmqMf81TSmnF0H/CjrrTSPJXEOQaN74kBP+pKK805Br7vA4BycPRjy2Dgn3UaNxABP+pKc/Rjy2DY3t52hMkSR/cBP+pKc/RjS3avrq4cYbI0419TgB11pTn6sWUwHB0dOcJkqc5jdYAddaU5+rFlMLTbbUeYLHFjXuNr4jTyo1FXmqMf80qMNePovsYjh2nkR6OuNF6JsQG4stF4siSN/GjUlVaaV2KcnJw4wmSpxpWNxAVxGvnRqCvN0Y8tg+Hi4sIRJkv8oAjgR11pjn5sGQx7e3uOMFmq8bw1YEddaY5+bMnuZDJxhMnSnO+JATvqSnP0Y8tg4OkJjcwAftSV5ujHlsHAo2MAUA6OfmwZDDc3N44wWeKRQ8CPutIc/dgyGN6+fesIkyVe9gX4UVeaox9bstvtdh1hssRjdRoXfWnkR6OuNEc/5pUYa8b9F42HFtLIj0ZdabwSYwNwdF/je+I08qNRV1ppXolxdnbmCJMlrmw0LojTyI9GXWmOfmwZDJ1OxxEmS1zZAH7Ulebox5bB8ObNG0eYLNX4QRHAjrrSHP2Ycwxr5vhhbgDLqCutNOcY+L5P48kSwI+60kpz8pnDJgBQDo5+zNtV14xHDgE/6korzdtV+T0GjX9NAX7UlVaa32Po9XqOMFni6L7GRV8a+dGoK83Rjy2D4fz83BEmS9yY17h/mEZ+NOpKc/Rjy2BoNpuOMFniII7GFXEa+dGoK83Rj/kXw5pxZaNxRZxGfjTqSuNfDBuAKxuNK+I08qNRV1pp/sVwdHTkCJMlju5rXBGnkR+NutIc/dgyGK6urhxhssTRfcCPutIc/dgyGF6+fOkIkyWO7gN+1JXm6MeWwcD0BoBycPRjy2DgRpDG0X3Aj7rSHP3YMhhev37tCJMlju4DftSV5ujHluxeXl46wmSJo/uAH3WlOfqxZTCcnJw4wmSJgziAH3WlOfqxZTC0Wi1HmCxx/0Xja+I08qNRV5qjH1sGw7t37xxhssSVjcYjh2nkR6OuNEc/tmS30WgwHB4x/fXXmE+n8en9+x+9lNKZ/vprFH/oxKf3v//RSykl8qNN/uu/IhgMkqMfW7L7b/92vvT4WFF8vtopiuKrx/q/12c//+/vu5biD52YVV/GP/2fv4t6vR739/eLP2u1Wszn88VVYVEUUa1WYzabeT8bEdVKJWbzedRqtZj95rP1ej3uZ7OoVavfZy2/+WxExKz6+SDO0mer1YiiiCI+53desnV/8dl6PeazWVSq1UUNVCqVKObzqD627ifGf8hPURQbtW7rZ+fzqNdqX6w76vX45X9fRf3Dl9+1bVqP+PbPfvnng0rlPH76KR3jayyD4V//tStueDznn8Jl+Kw7/nZ8+FDE7/78529YQ/7qH4p4/+nTj15GadU/FPEPf/rTj15GKdU/FPHzz6na25QescpnH9fpdCJitRvQnGMAgIyU5hwDTwgAQDmU5uQzx9MBoBwc/Zi3qwJARkrzdlV+jwEAyqE0v8dweHjoCAMAWJGjH1sGw+fHo/AYbr9o5CaN/GjkRnP0Y16JsWa81kAjN2nkRyM3mqMfWwZDo9FwhMkST2xp5CaN/GjkRnP0Y8tgOD09dYTJEhc2GrlJIz8audEc/dgyGHq9niMMAGBFjn5sGQx7e3uOMACAFTn6sWUwjMdjRxgAwIoc/dgyGPhhbgAoB0c/tnR0fk0JAMrB0Y8tg+Hm5sYRBgCwIkc/tgyGt2/fOsIAAFbk6MeWwdDtdh1hssQ5HI3cpJEfjdxojn7MKzHWjKP7GrlJIz8audF4JcYG4Oi+Rm7SyI9GbrTSvBLj7OzMESZLXNho5CaN/GjkRnP0Y8tgaLfbjjAAgBU5+jFPJQFARkrzVBLnGACgHEpzjuHFixeOMACAFTn6sWUw8OgYAJSDox9bBsNkMnGEAQCsyNGPLYNhd3fXEQYAsCJHP7YMhouLC0eYLHEORyM3aeRHIzeaox9bBsP5+bkjTJa4/aKRmzTyo5EbzdGPLYOh2Ww6wmSJKxuN3KSRH43caI5+zEv01owntjRyk0Z+NHKj8RK9DcDLvjRyk0Z+NHKjleYlekdHR44wWeLCRiM3aeRHIzeaox9bBsNwOHSEAQCsyNGPLYNhe3vbEQYAsCJHP7YMhvl87ggDAFiRox9bBsP9/b0jDABgRY5+bBkMr1+/doQBAKzI0Y8tg+Hy8tIRBgCwIkc/tgyGk5MTRxgAwIoc/dgyGFqtliNMljiHo5GbNPKjkRvN0Y95JcaacXRfIzdp5EcjNxqvxNgAHN3XyE0a+dHIjVaaV2IcHx87wmSJCxuN3KSRH43caI5+bBkMg8HAEQYAsCJHP7YMhp2dHUcYAMCKHP3YMhju7u4cYQAAK3L0Y8tg4EYQAJSDox9bBsPW1pYjDABgRY5+bBkM19fXjjAAgBU5+rFlMBweHjrCAABW5OjHlsHQ6XQcYbLE7ReN3KSRH43caI5+zCsx1oyj+xq5SSM/GrnReCXGBuCJLY3cpJEfjdxopXklxunpqSNMlriw0chNGvnRyI3m6MeWwdDr9RxhAAArcvRjy2DY29tzhAEArMjRjy2DYTweO8IAAFbk6MeWwVCtWsIAAFbk6MeWjl6v1x1hAAArcvRjy2C4vb11hAEArMjRjy2DYX9/3xEGALAiRz/mcdU14xyORm7SyI9GbrTSPK7KKzE0ju5r5CaN/GjkRuOVGBuAo/sauUkjPxq50UrzSoyzszNHmCxxYaORmzTyo5EbzdGPLYOh3W47wgAAVuTox5bBcHBw4AgDAFiRox9bBkOr1YrJZBLNZjPm8/niO65GoxHT6TS63W6MRqO4vLyMfr8ft7e30W63YzabLX32/v4+2u123NzcxGAwiMvLy7i5uYlOpxN3d3dLn53P59FqtWI8HsfFxUUMh8O4vr6Obrcb0+l06bNFUUSj0YjJZBK9Xi+ur6/j6uoqLi4uYjweP7ruu7u76HQ6z1r37e3tYt2j0Sg6nU5UKvGkdfd6vcW6H9b78Od0Ol2sezgcLtbdarW+uu7BYLBY9/39/dJnZ7PZYt39fn9p3Y/lu9lsLtZ9dXW1WPdkMlla71//3at1VyrFF+u+ublZrPvm5uZZ637s7/5h3ZPJZLHuq6urxbqbzeZX193v9xfrfuzv/mHdg8Fgse5Op/Poulut1mLdw+FQrrsoiqhUisWefc66R6PRYt23t7e2dY/H48W6U7X2kO/frvvi4sLaIyqVIpse8dR1P7VHdLvdZ3Tvx1WecROHuz0AsNmedHeGlxwBAJYwGAAASxgMAIAlDAYAwBIGAwBgyXNe3M1ZQwD4G8C/GAAASxgMAIAlDAYAwBIGAwBgCYMBALCEwQAAWMJgAAAsYTAAAJYwGAAAS/4fiIAs9nwR/j4AAAAASUVORK5CYII=\n", "text/plain": [ "Graphics object consisting of 48 graphics primitives" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "P.show()" ] }, { "cell_type": "code", "execution_count": 13, "id": "8a2efbe0", "metadata": {}, "outputs": [ { "data": { "text/html": [ "\\[\\newcommand{\\Bold}[1]{\\mathbf{#1}}\\left(\\begin{array}{rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr}\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0\n", "\\end{array}\\right)\\]" ], "text/latex": [ "$$\\newcommand{\\Bold}[1]{\\mathbf{#1}}\\left(\\begin{array}{rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr}\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0\n", "\\end{array}\\right)$$" ], "text/plain": [ "32 x 32 dense matrix over Integer Ring (use the '.str()' method to see the entries)" ] }, "execution_count": 13, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P.matrix_B()" ] }, { "cell_type": "code", "execution_count": 12, "id": "82e0e5c4", "metadata": {}, "outputs": [ { "data": { "text/html": [ "\\[\\newcommand{\\Bold}[1]{\\mathbf{#1}}\\left(\\begin{array}{rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr}\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0\n", "\\end{array}\\right)\\]" ], "text/latex": [ "$$\\newcommand{\\Bold}[1]{\\mathbf{#1}}\\left(\\begin{array}{rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr}\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0\n", "\\end{array}\\right)$$" ], "text/plain": [ "32 x 32 dense matrix over Integer Ring (use the '.str()' method to see the entries)" ] }, "execution_count": 12, "metadata": {}, "output_type": "execute_result" } ], "source": [ "B" ] }, { "cell_type": "code", "execution_count": null, "id": "5fc1b039", "metadata": {}, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "SageMath 9.5", "language": "sage", "name": "sagemath" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.10.4" } }, "nbformat": 4, "nbformat_minor": 5 }