Skip to content

Instantly share code, notes, and snippets.

@yunruse
Created March 20, 2023 21:24
Show Gist options
  • Select an option

  • Save yunruse/b007662ea8bb19093470f49290175057 to your computer and use it in GitHub Desktop.

Select an option

Save yunruse/b007662ea8bb19093470f49290175057 to your computer and use it in GitHub Desktop.
Concatenative 2x2 matrices
Display the source blob
Display the rendered blob
Raw
{
"cells": [
{
"attachments": {},
"cell_type": "markdown",
"metadata": {},
"source": [
"# Counting concatenative matrices\n",
"\n",
"$$\n",
"\\left(\\begin{matrix}\n",
"\\color{red}3 & \\color{red}4\\\\\n",
"\\color{red}8 & \\color{red}7\n",
"\\end{matrix}\\right)\n",
"\\left(\\begin{matrix}\n",
"\\color{green}7 & \\color{green}2\\\\\n",
"\\color{green}4 & \\color{green}9\n",
"\\end{matrix}\\right)\n",
"= \n",
"\\left(\\begin{matrix}\n",
"\\color{red}3\\color{green}7 & \\color{red}4\\color{green}2\\\\\n",
"\\color{red}8\\color{green}4 & \\color{red}7\\color{green}9\n",
"\\end{matrix}\\right)\n",
"$$\n",
"\n",
"This is a fun little trick. We'll say these two matrices are *concatenative*.\n",
"\n",
"That is to say: two square matrices $A, B$ of the same size are *concatenative* in base $b$ if $AB=A\\star_b B$ for some elementwise concatenation operator $(A\\star_b B)_{ij} = bA_{ij}+B_{ij}$.\n",
"\n",
"Now, let us ask: for two matrices of size $N$ and base $b$, how *many* pairs of concatenative matrices exist? Evidently there are $b^{2N^2}$ such pairs of matrices - it will quickly become impractical to brute-force."
]
},
{
"attachments": {},
"cell_type": "markdown",
"metadata": {},
"source": [
"Let's start with some imports and define the above:"
]
},
{
"cell_type": "code",
"execution_count": 2,
"metadata": {},
"outputs": [],
"source": [
"from sympy import Symbol, Matrix, init_printing\n",
"init_printing(use_unicode=True)\n",
"import numpy as np\n",
"import sympy as sy"
]
},
{
"cell_type": "code",
"execution_count": 85,
"metadata": {},
"outputs": [],
"source": [
"def concatenate(base: int):\n",
" def ufunc(a, b):\n",
" return a*base + b\n",
" return np.vectorize(ufunc)\n",
"\n",
"def is_concatenative(base, a, b):\n",
" return a@b == Matrix(concatenate(base)(a, b))"
]
},
{
"attachments": {},
"cell_type": "markdown",
"metadata": {},
"source": [
"## Symbolic matrices\n",
"Let's symbolically represent a matrix\n",
"$\n",
"A = \n",
"\\left(\\begin{matrix}\n",
"A_{11} & A_{12} \\\\\n",
"A_{21} & A_{22}\n",
"\\end{matrix}\\right)\n",
"$:"
]
},
{
"cell_type": "code",
"execution_count": 4,
"metadata": {},
"outputs": [
{
"data": {
"text/latex": [
"$\\displaystyle \\left[\\begin{matrix}A_{0,0} & A_{1,0}\\\\A_{0,1} & A_{1,1}\\end{matrix}\\right]$"
],
"text/plain": [
"⎡A_{0,0} A_{1,0}⎤\n",
"⎢ ⎥\n",
"⎣A_{0,1} A_{1,1}⎦"
]
},
"execution_count": 4,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"def symbolic_matrix(name: str, size: int):\n",
" return Matrix(\n",
" [[\n",
" Symbol('%s_{%s,%s}' % (name, i, j), positive=True, integer=True)\n",
" for i in range(size)] for j in range(size)]\n",
" )\n",
"\n",
"symbolic_matrix('A', 2)"
]
},
{
"attachments": {},
"cell_type": "markdown",
"metadata": {},
"source": [
"Neat! Now we need only solve the equation $AB-A\\star_b B = 0$:"
]
},
{
"cell_type": "code",
"execution_count": 17,
"metadata": {},
"outputs": [],
"source": [
"def solvable(size: int):\n",
" A = symbolic_matrix('A', size)\n",
" B = symbolic_matrix('B', size)\n",
" base = Symbol('b', positive=True, integer=True)\n",
" return A, B, base, (A@B) - concatenate(base)(A, B)"
]
},
{
"attachments": {},
"cell_type": "markdown",
"metadata": {},
"source": [
"It's certainly not the prettiest, but we know that each element must equal zero:"
]
},
{
"cell_type": "code",
"execution_count": 12,
"metadata": {},
"outputs": [
{
"data": {
"text/latex": [
"$\\displaystyle \\left[\\begin{matrix}A_{0,0} B_{0,0} - A_{0,0} n + A_{1,0} B_{0,1} - B_{0,0} & A_{0,0} B_{1,0} + A_{1,0} B_{1,1} - A_{1,0} n - B_{1,0}\\\\A_{0,1} B_{0,0} - A_{0,1} n + A_{1,1} B_{0,1} - B_{0,1} & A_{0,1} B_{1,0} + A_{1,1} B_{1,1} - A_{1,1} n - B_{1,1}\\end{matrix}\\right]$"
],
"text/plain": [
"⎡A_{0,0}⋅B_{0,0} - A_{0,0}⋅n + A_{1,0}⋅B_{0,1} - B_{0,0} A_{0,0}⋅B_{1,0} + A_\n",
"⎢ \n",
"⎣A_{0,1}⋅B_{0,0} - A_{0,1}⋅n + A_{1,1}⋅B_{0,1} - B_{0,1} A_{0,1}⋅B_{1,0} + A_\n",
"\n",
"{1,0}⋅B_{1,1} - A_{1,0}⋅n - B_{1,0}⎤\n",
" ⎥\n",
"{1,1}⋅B_{1,1} - A_{1,1}⋅n - B_{1,1}⎦"
]
},
"execution_count": 12,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"solvable(2)[2]"
]
},
{
"attachments": {},
"cell_type": "markdown",
"metadata": {},
"source": [
"We can solve this equation for $A$:"
]
},
{
"cell_type": "code",
"execution_count": 7,
"metadata": {},
"outputs": [],
"source": [
"from sympy.solvers import solve"
]
},
{
"cell_type": "code",
"execution_count": 18,
"metadata": {},
"outputs": [
{
"data": {
"image/png": "iVBORw0KGgoAAAANSUhEUgAABdUAAAAoCAYAAAAYGxMGAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjYuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8o6BhiAAAACXBIWXMAABJ0AAASdAHeZh94AAAVtUlEQVR4nO2de9AlRXmHn11QrgECFAKrXFzLsETgsCuyxIIsEEmg1AIChakorJVSg2IpVwU0776BCCqQxSKGQpOsAVRAQImRxIgQLqIEheIaDBQ3l10UFrkk3Ba+/DHzwdlvz5mZPjOn53J+T9Wp853z9fT7dvf0r9/pOdM9a2pqCiGEEEIIIYQQQgghhBBC5DO7bgeEEEIIIYQQQgghhBBCiLawbtkM3H028EHgMDN7f3mXhBDjxN1PB95tZvvW7YsQQogEabMQQrQL6bYQQoiu05Wxzt23AX5rZs9Xme9ak+ruvhD4NrACeDH9+iQzu2VA2nWBy4FXgKOrdEx0B3e/Btiv76vfAjcDHzOzR9tqqypq8Hl34PYx5LsGanchRNuJrC1RtFkIIbpKV2NqIUS3iK1VbbxW1lxCNrpGGYk9gK+4+9eAL5jZ0LXQ3X0v4Iz04/rA1iQ/JL91ZtpBy7+sD2wPnGhmi9LXWhPqKZ8D3gocYWbLi5dFTBjzgVOAbYA5wKEkJ/TpLbc1FHdf5u5LCiaP7XMPuC30oMAywQS2uxCic8TUlh4jaLMQQojXaEVMLYSYeGJrVe3XyppLyKbh9dOjA2OdmV0F7AocAJyXk/bm6flw4LMkc+TrD0o78vIv7r4JcDxwlJm9PGo+otu4+1xgM+A6M1uZfv2Yu98FbNRWW1UR22d33wrYFnglvbu5F/BL4KMZN89GsaN2F0K0msg6FkWbhRCiq3Q1phZCdIsatKp118qaS8hG1yijY2bPuPuhwMPufomZXV82zzJrqv8xsDFwbVknRKdZAKwmfVzE3d8AHE5yF+19LbZVFbF97qXvxwPHAiuBs4HL3H2uma2uyI7aXQjRdmJqSy99H7c2CyFEV+lqTC2E6BaxtaqN18qaS8hG1yglMLMn3f37wCeBWifV9wBeNLOnyjohOs0CYB3gN+4OsAHJek+HmNlrN2Tc/b0knXM28EUz+/qwDDPSFrV1JbAIuMbMDstyPiTtiMSsH0hE8WXgUDN7KE1/EnA3MBe4L1a5QsqUph/WFuNo9yDfhBCdJKaO9YijzUII0VVix4M9pNtCiHBiX/93co4ksH6y/G3jXEKR+glqowm8RnmQivYFLTOp/tYqHBDtIt3599ScZPua2XXp3/OBK0jWIQLYAnDgAnefZ2YvpBvengPsCzwN/NzdrzSzJwfYz0qbayv9/lzgH4GjChS5UFp3P4VkTatp1gOm3P2Evu8ONLMbZhwas34g2WTiimlBTJm+MbZORWXKLRfJndVCZepjWFtU2u4h9S2E6DQxdaywNgshhBhI7HhQui2EAILnSGJf/9cyR9KwuYQsf2uZSxhn/aQ+h7RnVvm6Ota9CGzq7m82s1+VyWjQRqVF2aSMYdFalgLzcl79ayvNB24ys/vT18+AM4EdgJ3TNO8C7jaz5Wb2HHA1yeYBg8hKW8QW6WD2bJHCBqQ9n+Qu3vTrqgHfrbVTcEGfq6ofUj9+MeOYhcBzwP0VlalIuULKBGS2RdXtHuybEKKTxNSxHsW1WQghxNrEjgd7SLeFEAlLKT5HEvv6v645ksbMJeT4W9dcwjjrJ6g9c9L36PZYt1XZDMr8Uv2Nox7o7hsD/02yS+33zOzgEn6IiJjZE8ATRdK6+47A5qy9U/D0Uw6/Tt+3BZb3/X85ybkxiIFpA2yNBTNbBaya/uzuzwKrzGyo0MSsn9TehsDb6buj6O6zSNbHusjMXipbpoByLQwoU1lboYTU90QgzRaTRmQdC9JmIYog3RaTROx4ULotqkaa3W6KzpHUcP1f2xyJ5hKyfRtz/VTChIx1pTd2LTOpXgYjObGmSO6yiG6yIH1f6e5bAxuS7BZ8JnBx2ccsarRVFbF93hV4FTjS3a8lGfiXANsBB1doJ7dc6dpfUWxVZWjCkWaLSSOmjsXSZjFZSLfFJNHVmFpMDtLsySC2VrXxWllzCdnE9HkSxrrSS9iUWf5lJNx9Z+BTwL8BdwBvcfctY/shojDd4e8FVpA8NnIs8HlgcV+6x1jz7t2c9LtBDEtb1FaTiFk/kDy68wDJem+XkvS/DYA907vrVVGkXCFlKmsrlKp86wTSbDGhxNSxHnG0WUwI0m0xgcSOB3tIt0VFSLMnitjX/12dI5nkuYSYbdpDY10uZX+pvnqEY84DZgHHAScDu5Esfv8fJX0RDcPMTiZp4zxuAd7h7nNINnM4EDgNwN2vAY40s+VZac3smwVtDWWArZExs8UF0kSrn9Te+STrdEGysUUQRcqUpitSrpAylbWVSUgdTijSbDFxlNUxKK5lZbVZiAFIt8VEETselG6LipFmTwg1XP+PQxtHQnMJub4sLmIvZptqrCtG2V+qrwxJ7O5/RrIL7lfN7F7gzvRfjXnEyd2XufuUuy+u25dJwcxWk6zLdC1wO3C2mT2Zrtf0NvrWmhqWNsSeu/8IuAw4yN1/5e57DbI1LO1opRyd2PUTg5AyTVO2LYq2e1vqMAZt0GyQbot6yNKKJo8potu0Qbel2aJOFA+KJtEGzQbpdmzquP5v0xxJ6FxCFf62bewYVuamtmkNFN7ENY8yv1TfFHiwaGJ3/x3gLOBJknV4IHl8ABo2aIj4mNlVJDse97MTcLmZPV8gbYitP5r5nbvPG2JrrbR1ELN+YhFSpjR9qbYIbPdW1OE4kWYLkU+GVgzT50aMKaKbSLeFyEfxoGgK0myRRezr/7bNkQTWT2l/2zZ2ZJRZ1ygJ00vylN5ndKQM0l1g55Gs/VWUJSQ74R5jZk+l3zXxTuzJJIv8r6jbkUknvVt/XNdsVUUbfc4jdpm6WIcVsoR2aDZIt0XDkLaImlhCO3Rbmi0ahTRb1MQS2qHZIN1uBLpWzkb1k08bfR4TPyPZGPrNZTOaNTU1tcYX7r6I5FGFvc3sxkEHufvRwGeBXczsmTwj7v77JI8+3AfsZmav9P3vCWBzYFMze3bGcR8HTgS2Ae4GPm1mNxQsW+njQ3H3h4DtAw652Mw+OCZ3hBBiJOrQbHffBziBZPOVbYEPm9my0oXJtvkQ0mwhRAcYRber0F3F2kIIEU4dmq1YWwghXsfdrwUeN7MP5KRbRMYcefCa6u6+C/AZ4E+LTKin/B3Jr+KP7R8wUu4k2Zhj9xl2jgDOBb6Q/u8nwNXuvl1BP0sdPyIPkAyMRV9V7gIshBBVEV2zgY2Bu0iegFpr+Z8xIc0WQnSFYN2mpO4q1hZCiJGJrtkVHD8K0mwhRFP5OHCAu5d6Miho+Rd3PwY4kmSG/tGCx/w58Ifpxx+6+7Ck84Hr+z4fBywzs6+lnz/p7n8CHE2x3W7LHh+Mme0/jnyFECIWdWm2mf0A+EHqw7Jwz8ORZgshusCoul2B7irWFkKIQOrSbMXaQgjxOmZ2r7sfDPy9u/8N8H0zezU0n9A11a8guWN6krsfZ2YvZyV2902ALwMvAxeSrFkzkx2A/em7E+vubyR5LOmsGWl/CPxBnpNlj68bdx9UT0IIMRQzm1U2j7o0uwtIt4UQodSp2xXYbbXuS7OFEKG0WbO7gHRbCBFKnm6b2fXu/h3gc8B/Ak+H2giaVDezx4C/cPfvAn8LHJNziJOssfglM/vMwATu7wT+izU349gSWAd4fEbyx4Eiu9KOfLy7bwNsCqwws+AKrYIqBmwhRLdw97eQBN9bAauB08zssiFplwFHEb5WYl2aXQrpthCiaUTSbBhdt8uiWFsI0SkaHmvXinRbCNE0QjR7yPGzgG8BTwF7mtlIN+6C11RPORX4hLsvHJYgXXv9GOAR4K8z8robeAXYyd3XH9GfKjkDuBc4pG5HhBCij9UkG8DtDBwALHX3jYaknd13TCFarNkg3RZCNI+xaja0Wrel2UKIJqJYezjSbSFE0wjR7EGcALwL+NSoE+ow4qS6md0NPAoszkg2vfnGp83sfzPyeh74nzTtbunXT5AMJG+akfxNwMoCLpY9Xoi1cPfT0x2CxQQRq93z7JjZCjO7Pf17JYnObT4k+S7As8C/BrhQp2YLUTnS7MlkgjQbyul2WaT7onKk25PJBOl2nZotROVIsyeTlmr2zLzXJZlU/4aZvVTGz9A11ft5BNhz2D/NbJ+iGZnZvBmfX3L3nwPvAfp/vv8e4PIC+Y18vJktJvtmQTTc/Rpgv76vfgvcDHys6EaxTbZXlhr83R24fQz5rkHMcrWtzaG77R5ix90XAOsMKq+7bwbsCpxtZk8VNV6nZpdlUnVb/TeXzml2HfaqoIvtHmJnHJoN5XS7LIq122GvLF2NuTRWZ9PVdg+x07RYu24mVbfVf3PpnGbXYa8KutjuIXayNHsIi0iWjbltJM/6KDOpvhqYU9aBDM4BLnT3W4CbgL8EtgXOj3R8E5gPnAL8E8lTBb8HXAqcTrKGW9vtlSW2vz3gkjHkO5OY5Wpbm0NL2j1da/EhM1tSpR133xz4Z+AjQ5LsTbL50TkF7VZFKc11942Bt6UfZwPbuXsPWGVmj1Tv7thQ/80mps89uqfZddirgla0e6BuF7LTYM2uQncVazffXllaEXONgMbqbFrR7pMWa5fVbMXajbdVFa2IuQLRWJ1PK9q9plh7EDum788EHDOQMpPqAJuUdWAYZnaJu29BsgvrNsBdwEFm9jCAuy8mOWF2NLOHQo9vOu4+F9gMuC59lAHgMXe/CwhZJ6iR9spSQ/1sRXKh+Ep6F3Av4JfAR83slgrtRCtX29ocOt3uhey4+3rAd4Ezzewng/Iys38Boq+/WERzc3T7nUD/412evr5BQ34Zk4f6bzaR66dzml2HvSroaLu3XrNTMnVXsXa77ZWlwzGXxuoMOtzuXdDt3FhZsXY7bVVFR2MujdU5dLTdK9PsIcxcvnBkyk6qjxUz+yrw1SH/3hG4B/jViMc3nQUkTwPcDuDubwAOB/YA3tcBe2WJ7W8vfT8eOJZkvdCzgcvcfa6ZBW0ulkHMcrWtzaG77Z5rx5PdqZcBPzazCyuyWykFNHeobpvZdcCs8XgWDfXfbGL63Evfu6TZddirgi62e66dlmj2dWTrrmLtdtsrS1djLo3V2XS13XPtNF23C8bKirXbaasquhhzaazOp4vtnmunpGZXNhfe6En1HA4CPlFhozWNBcA6wG/cHWADknWRDjGzcWwKENteWWL72yN5zO/Q6bv+7n4Sye7sc4H7KrITs1xta3PobrsXsfNu4AjgDnc/OD3uQ2Z2Z0U+xEC63U5bVRHT5x7d0+w67FVBF9u9iB1pdvNR/82mqzGXxupsutruRexIt5uP+m82XYy5NFbn08V2L2KnEZpdZlL9lcq8GAEz26NO+xGYD1wBfDb9vAXJ41kXuPs8M3sBwN3fS3LHZjbwRTP7+rAMc9Lm2nP3K0kW9L/GzA7LK0CR9O5+OnBqTlb7pnfW+4ldP7sDV8x4jG56Y5p1KirTuMo1rB2K2irc7kX9itDuIT5npQ1p91NI1jGbZj1gyt1P6PvuQDO7YYAbuXbM7EaSem0t0m17IaTvQmafit0XptOMVd8qrJ/CfbdkuWJqdiF7I4zVub5FaPfomp3mNapuS7O7gWLt11GsrVh7nD4r1o6EdFuxdp7PirXLx9oF8phpT7H26zQt1p4qeXwpB/6vrHGRyXzgJjO7P339DDgT2AHYGcDd1yXZIGU/kpPuRE/WtlyLAmlz7QHnAkcGlKFI+qXAvJzXoLWZYtdPD/jFjMMWAs8B91dUpsrLlTKsHYq0edbxaxDo11LG1O4hPhdI26N4u5+fpp9+XTXgu1srsCOaS+b5Gdp3c9LH7gvTLGVM+lZx/fQI61OjliumZheyl3P8GgT4tpQxjmshPuek7RHW7qPqdqgd0UwUayvWVqw9Zp8LpO2hWFsUR7G2Yu0mxNp5ebyGYu3Gx9ovls2gzC/VV+YnEaPg7jsCmwO3zfjXW9P3X6fv7wLuNrPl6XFXAwcA3xqQ7dC0Re2Z2XXuvqhoOYqkN7MngCeK5gm11M+GwNvpu/PmyfpNxwMXmdlLZcs0xnINbIcAWyHtXtivMbd70Lk6LO0I7b4KWNWX9llglZllin6oHdFMCp6fQX13WHp3/2kBW0A1fWFGmnHqW1X18z0C+1SDxqIsTRrHWF3It3GPa3VodppXsG5Ls7uBYu1sFGsr1q7QZ8XaohIUa2ejWDterJ2VxwAUazc71n6mbAZlJtXvAdZ199lm9mpZR8QaLEjfV7r71sCGJLvdnglcbGbTG49sCyzvO245MGdInllpi9prCrHrZ1fgVeBId7+WROyWANsBB5cpyAzGUa6ytkKowq8sYp+nsdo9lh0xXnLPT3dfSFgfGdan2qbZELd+uqjZIfZC6JJuS7NFCIq1s1GsrVhbsbZoGoq1s1Gsvbaf47IXQpd0u2ua/SrwYNlMykyq/zvJYwzbV+GIWIPpjnFv+v40ySMOnwf+oQP2yhLb3x7wAMkaV5cCWwJXA3umdxSrIma52tbm0N12j2VHjBf132xi+tyje5pdh70q6GK7x7Ijxov6bzZdjbk0VmfT1XaPZUeMF/XfbLoYc2mszqeL7R7DzrYkTxA8XzajkSfVzewed/8x8GHgr8o6Il7HzE4GTi6Q9DHWvMs1h+HrLA1NG2CvEdRQP+eTrPsEyQYQY2FM5SprK4TSfmUR+zwt2+5mtjiGHdEMCp6foX1kYHozO6uArUYRuX6+Scc0O9BeCJ3R7Sq0tIhuS7O7gWLtbBRrK9aOgWJtEYJi7WwUayvWHjddibXdfTawD3BRFfmV+aU6wMeAG939DjP7ThUOiSBuAd7h7nNI7kgdCJwG4O7XAEdOr92UlbYKBthrAo2pn4oJKdfYaGMdNvQ8FZNDZh+J2aca2hcaUz8V0wjNHmKv0XXY0PNUTBaNiSUb2h8aUz8V0wjdbmMdNvQ8FZNDY2LJhvaFxtRPxTRCs4fYa3QdNvQ8HTdHAb8LnFdFZrOmpqbW+CJdkP5aYG8zuzEvA3ffCbgAeNnM9q/CKVEcd38/cBYwG/iSmV2QLuL/ELBT/+MMg9IG2voRsBuwEclmA4eb2c0Z9gamH7WsoxCzfmISWK5S7TDoeOCnQ2w1og4Dfa79PBWTw7A+ElO3aXBfiF0/sahbs3PG6trrsG3nqZgsFGvn+qxYW7G2dFs0BsXauf4q1q6gHdqm2207T8eBu68LHAIsBT5gZjcUPG4RGXPkgybVFwLfBlYAL6Zfn2RmmY8ouPv2ZvZwEafEeHH3ecBHzOy4LtorS9v8LUrMcrWxDtvos5gc1H+zaaPPeWiszqZt/orJQv03m7b5WxSN1dm00WcxOaj/ZtNGn/PQWJ1N2/wti7t/iGS99q/kzV27+17AGenH9YGtgcPM7NaZadeaVBdCCCGEEEIIIYQQQgghxGBm1+2AEEIIIYQQQgghhBBCCNEW/h+fgo+VOMHf8QAAAABJRU5ErkJggg==",
"text/latex": [
"$\\displaystyle \\left[ \\left\\{ A_{0,0} : - \\frac{- B_{0,0} B_{1,1} + B_{0,0} b + B_{0,1} B_{1,0}}{B_{0,0} B_{1,1} - B_{0,0} b - B_{0,1} B_{1,0} - B_{1,1} b + b^{2}}, \\ A_{0,1} : - \\frac{B_{0,1} b}{B_{0,0} B_{1,1} - B_{0,0} b - B_{0,1} B_{1,0} - B_{1,1} b + b^{2}}, \\ A_{1,0} : - \\frac{B_{1,0} b}{B_{0,0} B_{1,1} - B_{0,0} b - B_{0,1} B_{1,0} - B_{1,1} b + b^{2}}, \\ A_{1,1} : - \\frac{- B_{0,0} B_{1,1} + B_{0,1} B_{1,0} + B_{1,1} b}{B_{0,0} B_{1,1} - B_{0,0} b - B_{0,1} B_{1,0} - B_{1,1} b + b^{2}}\\right\\}\\right]$"
],
"text/plain": [
"⎡⎧ -(-B_{0,0}⋅B_{1,1} + B_{0,0}⋅b + B_{0,1}⋅B_{1,0}) \n",
"⎢⎪A_{0,0}: ──────────────────────────────────────────────────────────────, A_{\n",
"⎢⎨ 2 \n",
"⎢⎪ B_{0,0}⋅B_{1,1} - B_{0,0}⋅b - B_{0,1}⋅B_{1,0} - B_{1,1}⋅b + b \n",
"⎣⎩ \n",
"\n",
" -B_{0,1}⋅b \n",
"0,1}: ──────────────────────────────────────────────────────────────, A_{1,0}:\n",
" 2 \n",
" B_{0,0}⋅B_{1,1} - B_{0,0}⋅b - B_{0,1}⋅B_{1,0} - B_{1,1}⋅b + b \n",
" \n",
"\n",
" -B_{1,0}⋅b \n",
" ──────────────────────────────────────────────────────────────, A_{1,1}: ────\n",
" 2 \n",
" B_{0,0}⋅B_{1,1} - B_{0,0}⋅b - B_{0,1}⋅B_{1,0} - B_{1,1}⋅b + b B_{0\n",
" \n",
"\n",
" -(-B_{0,0}⋅B_{1,1} + B_{0,1}⋅B_{1,0} + B_{1,1}⋅b) ⎫⎤\n",
"──────────────────────────────────────────────────────────⎪⎥\n",
" 2⎬⎥\n",
",0}⋅B_{1,1} - B_{0,0}⋅b - B_{0,1}⋅B_{1,0} - B_{1,1}⋅b + b ⎪⎥\n",
" ⎭⎦"
]
},
"execution_count": 18,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"A, B, base_symbol, solv = solvable(2)\n",
"solns = solve(solv)[0]\n",
"solns"
]
},
{
"cell_type": "code",
"execution_count": 122,
"metadata": {},
"outputs": [
{
"data": {
"text/latex": [
"$\\displaystyle \\left[\\begin{matrix}3.0 & 4.0\\\\8.0 & 7.0\\end{matrix}\\right]$"
],
"text/plain": [
"⎡3.0 4.0⎤\n",
"⎢ ⎥\n",
"⎣8.0 7.0⎦"
]
},
"execution_count": 122,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"def get_a(base: int, my_b: Matrix) -> Matrix:\n",
" b_map = {base_symbol: base} | dict(zip(B, my_b))\n",
" return A.evalf(subs={a: v.evalf(subs=b_map) for a, v in solns.items()})\n",
"\n",
"get_a(10, Matrix([[7, 2], [4, 9]]))"
]
},
{
"attachments": {},
"cell_type": "markdown",
"metadata": {},
"source": [
"Just because `get_a` works for a clear example doesn't mean it will always return clean values, however!"
]
},
{
"cell_type": "code",
"execution_count": 123,
"metadata": {},
"outputs": [
{
"data": {
"text/latex": [
"$\\displaystyle \\left[\\begin{matrix}-9.0 & -11.25\\\\0 & -0.25\\end{matrix}\\right]$"
],
"text/plain": [
"⎡-9.0 -11.25⎤\n",
"⎢ ⎥\n",
"⎣ 0 -0.25 ⎦"
]
},
"execution_count": 123,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"get_a(10, Matrix([[9, 9], [0, 2]]))"
]
},
{
"attachments": {},
"cell_type": "markdown",
"metadata": {},
"source": [
"So let's iterate through every possible $B$ and find all working candidate $A$ matrices (where every $A_{ij}$ is an integer and $0 \\le A_ij \\lt b$):"
]
},
{
"cell_type": "code",
"execution_count": 139,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"0 0\n",
"1 1\n",
"2 1\n",
"3 2\n",
"4 5\n",
"5 8\n",
"6 21\n",
"7 22\n",
"8 54\n",
"9 54\n",
"10 101\n"
]
}
],
"source": [
"from itertools import product\n",
"def iterate_matrix(base: int):\n",
" for w, x, y, z in product(*[range(base)]*4):\n",
" b = Matrix([[w, x], [y, z]])\n",
" a = get_a(base, b)\n",
" # always a positive integer\n",
" if not all(i % 1 == 0 and 0 <= i < base for i in a):\n",
" continue\n",
" a = a.applyfunc(int)\n",
" # assert a@b == Matrix(concatenate(base)(a, b))\n",
" yield a, b\n",
"\n",
"BASES = {}\n",
"for base in range(11):\n",
" print(base, end=' ')\n",
" BASES[base] = list(iterate_matrix(base))\n",
" print(len(BASES[base]))"
]
},
{
"cell_type": "code",
"execution_count": 138,
"metadata": {},
"outputs": [
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}0 & 0\\\\0 & 0\\end{matrix}\\right], \\ \\left[\\begin{matrix}0 & 0\\\\0 & 0\\end{matrix}\\right], \\ \\left[\\begin{matrix}0 & 0\\\\0 & 0\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡0 0⎤ ⎡0 0⎤ ⎡0 0⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣0 0⎦ ⎣0 0⎦ ⎣0 0⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 2\\\\9 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}2 & 2\\\\9 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}22 & 22\\\\99 & 99\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 2⎤ ⎡2 2⎤ ⎡22 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣9 9⎦ ⎣9 9⎦ ⎣99 99⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 3\\\\6 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}2 & 3\\\\6 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}22 & 33\\\\66 & 99\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 3⎤ ⎡2 3⎤ ⎡22 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 9⎦ ⎣6 9⎦ ⎣66 99⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 6\\\\3 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}2 & 6\\\\3 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}22 & 66\\\\33 & 99\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 6⎤ ⎡2 6⎤ ⎡22 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 9⎦ ⎣3 9⎦ ⎣33 99⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 3\\\\3 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}2 & 6\\\\6 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}22 & 36\\\\36 & 58\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 3⎤ ⎡2 6⎤ ⎡22 36⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 5⎦ ⎣6 8⎦ ⎣36 58⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 6\\\\7 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}2 & 6\\\\7 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}52 & 66\\\\77 & 96\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 6⎤ ⎡2 6⎤ ⎡52 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣7 9⎦ ⎣7 6⎦ ⎣77 96⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 7\\\\6 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}2 & 7\\\\6 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}52 & 77\\\\66 & 96\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 7⎤ ⎡2 7⎤ ⎡52 77⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 9⎦ ⎣6 6⎦ ⎣66 96⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 9\\\\2 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}2 & 9\\\\2 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}22 & 99\\\\22 & 99\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 9⎤ ⎡2 9⎤ ⎡22 99⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 9⎦ ⎣2 9⎦ ⎣22 99⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 3\\\\8 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}3 & 3\\\\8 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}33 & 33\\\\88 & 88\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 3⎤ ⎡3 3⎤ ⎡33 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 8⎦ ⎣8 8⎦ ⎣88 88⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 4\\\\6 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}3 & 4\\\\6 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}33 & 44\\\\66 & 88\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 4⎤ ⎡3 4⎤ ⎡33 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 8⎦ ⎣6 8⎦ ⎣66 88⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 5\\\\9 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}3 & 5\\\\9 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}63 & 55\\\\99 & 85\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 5⎤ ⎡3 5⎤ ⎡63 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣9 8⎦ ⎣9 5⎦ ⎣99 85⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 6\\\\4 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}3 & 6\\\\4 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}33 & 66\\\\44 & 88\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 6⎤ ⎡3 6⎤ ⎡33 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 8⎦ ⎣4 8⎦ ⎣44 88⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 8\\\\3 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}3 & 8\\\\3 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}33 & 88\\\\33 & 88\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 8⎤ ⎡3 8⎤ ⎡33 88⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 8⎦ ⎣3 8⎦ ⎣33 88⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 9\\\\5 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}3 & 9\\\\5 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}63 & 99\\\\55 & 85\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 9⎤ ⎡3 9⎤ ⎡63 99⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 8⎦ ⎣5 5⎦ ⎣55 85⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 2\\\\8 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}4 & 2\\\\8 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}24 & 22\\\\88 & 79\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 2⎤ ⎡4 2⎤ ⎡24 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 7⎦ ⎣8 9⎦ ⎣88 79⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 4\\\\4 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}4 & 4\\\\4 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}24 & 44\\\\44 & 79\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 4⎤ ⎡4 4⎤ ⎡24 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 7⎦ ⎣4 9⎦ ⎣44 79⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}4 & 4\\\\7 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}4 & 4\\\\7 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}44 & 44\\\\77 & 77\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡4 4⎤ ⎡4 4⎤ ⎡44 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣7 7⎦ ⎣7 7⎦ ⎣77 77⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 2\\\\4 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}4 & 4\\\\8 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}24 & 24\\\\48 & 48\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 2⎤ ⎡4 4⎤ ⎡24 24⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 4⎦ ⎣8 8⎦ ⎣48 48⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 5\\\\8 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}4 & 5\\\\8 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}64 & 55\\\\88 & 75\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 5⎤ ⎡4 5⎤ ⎡64 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 7⎦ ⎣8 5⎦ ⎣88 75⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}4 & 7\\\\4 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}4 & 7\\\\4 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}44 & 77\\\\44 & 77\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡4 7⎤ ⎡4 7⎤ ⎡44 77⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 7⎦ ⎣4 7⎦ ⎣44 77⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 8\\\\2 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}4 & 8\\\\2 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}24 & 88\\\\22 & 79\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 8⎤ ⎡4 8⎤ ⎡24 88⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 7⎦ ⎣2 9⎦ ⎣22 79⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 4\\\\2 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}4 & 8\\\\4 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}24 & 48\\\\24 & 48\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 4⎤ ⎡4 8⎤ ⎡24 48⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 4⎦ ⎣4 8⎦ ⎣24 48⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 8\\\\5 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}4 & 8\\\\5 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}64 & 88\\\\55 & 75\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 8⎤ ⎡4 8⎤ ⎡64 88⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 7⎦ ⎣5 5⎦ ⎣55 75⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 3\\\\5 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 3\\\\5 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}25 & 33\\\\55 & 69\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 3⎤ ⎡5 3⎤ ⎡25 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 6⎦ ⎣5 9⎦ ⎣55 69⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 4\\\\5 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 4\\\\5 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}35 & 44\\\\55 & 68\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 4⎤ ⎡5 4⎤ ⎡35 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 6⎦ ⎣5 8⎦ ⎣55 68⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 5\\\\3 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 5\\\\3 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}25 & 55\\\\33 & 69\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 5⎤ ⎡5 5⎤ ⎡25 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 6⎦ ⎣3 9⎦ ⎣33 69⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 5\\\\4 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 5\\\\4 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}35 & 55\\\\44 & 68\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 5⎤ ⎡5 5⎤ ⎡35 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 6⎦ ⎣4 8⎦ ⎣44 68⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}4 & 5\\\\5 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 5\\\\5 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}45 & 55\\\\55 & 67\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡4 5⎤ ⎡5 5⎤ ⎡45 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 6⎦ ⎣5 7⎦ ⎣55 67⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 5\\\\6 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 5\\\\6 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}55 & 55\\\\66 & 66\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 5⎤ ⎡5 5⎤ ⎡55 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 6⎦ ⎣6 6⎦ ⎣66 66⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 5\\\\7 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 5\\\\7 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}65 & 55\\\\77 & 65\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 5⎤ ⎡5 5⎤ ⎡65 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣7 6⎦ ⎣7 5⎦ ⎣77 65⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}7 & 5\\\\8 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 5\\\\8 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}75 & 55\\\\88 & 64\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡7 5⎤ ⎡5 5⎤ ⎡75 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 6⎦ ⎣8 4⎦ ⎣88 64⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}8 & 5\\\\9 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 5\\\\9 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}85 & 55\\\\99 & 63\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡8 5⎤ ⎡5 5⎤ ⎡85 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣9 6⎦ ⎣9 3⎦ ⎣99 63⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 6\\\\5 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 6\\\\5 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}55 & 66\\\\55 & 66\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 6⎤ ⎡5 6⎤ ⎡55 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 6⎦ ⎣5 6⎦ ⎣55 66⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 7\\\\5 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 7\\\\5 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}65 & 77\\\\55 & 65\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 7⎤ ⎡5 7⎤ ⎡65 77⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 6⎦ ⎣5 5⎦ ⎣55 65⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}7 & 8\\\\5 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 8\\\\5 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}75 & 88\\\\55 & 64\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡7 8⎤ ⎡5 8⎤ ⎡75 88⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 6⎦ ⎣5 4⎦ ⎣55 64⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}8 & 9\\\\5 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}5 & 9\\\\5 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}85 & 99\\\\55 & 63\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡8 9⎤ ⎡5 9⎤ ⎡85 99⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 6⎦ ⎣5 3⎦ ⎣55 63⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 2\\\\7 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 2\\\\7 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}26 & 22\\\\77 & 59\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 2⎤ ⎡6 2⎤ ⎡26 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣7 5⎦ ⎣7 9⎦ ⎣77 59⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 2\\\\9 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 2\\\\9 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}36 & 22\\\\99 & 58\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 2⎤ ⎡6 2⎤ ⎡36 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣9 5⎦ ⎣9 8⎦ ⎣99 58⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 6\\\\6 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 3\\\\3 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}36 & 63\\\\63 & 99\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 6⎤ ⎡6 3⎤ ⎡36 63⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 9⎦ ⎣3 9⎦ ⎣63 99⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 3\\\\6 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 3\\\\6 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}36 & 33\\\\66 & 58\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 3⎤ ⎡6 3⎤ ⎡36 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 5⎦ ⎣6 8⎦ ⎣66 58⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 5\\\\6 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 5\\\\6 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}66 & 55\\\\66 & 55\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 5⎤ ⎡6 5⎤ ⎡66 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 5⎦ ⎣6 5⎦ ⎣66 55⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 6\\\\3 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 6\\\\3 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}36 & 66\\\\33 & 58\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 6⎤ ⎡6 6⎤ ⎡36 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 5⎦ ⎣3 8⎦ ⎣33 58⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 6\\\\5 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 6\\\\5 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}66 & 66\\\\55 & 55\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 6⎤ ⎡6 6⎤ ⎡66 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 5⎦ ⎣5 5⎦ ⎣55 55⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 3\\\\3 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 6\\\\6 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}36 & 36\\\\36 & 36\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 3⎤ ⎡6 6⎤ ⎡36 36⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 3⎦ ⎣6 6⎦ ⎣36 36⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}9 & 6\\\\7 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 6\\\\7 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}96 & 66\\\\77 & 52\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡9 6⎤ ⎡6 6⎤ ⎡96 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣7 5⎦ ⎣7 2⎦ ⎣77 52⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 7\\\\2 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 7\\\\2 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}26 & 77\\\\22 & 59\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 7⎤ ⎡6 7⎤ ⎡26 77⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 5⎦ ⎣2 9⎦ ⎣22 59⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}9 & 7\\\\6 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 7\\\\6 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}96 & 77\\\\66 & 52\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡9 7⎤ ⎡6 7⎤ ⎡96 77⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 5⎦ ⎣6 2⎦ ⎣66 52⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 9\\\\2 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}6 & 9\\\\2 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}36 & 99\\\\22 & 58\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 9⎤ ⎡6 9⎤ ⎡36 99⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 5⎦ ⎣2 8⎦ ⎣22 58⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 4\\\\8 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}7 & 2\\\\4 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}37 & 42\\\\84 & 79\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 4⎤ ⎡7 2⎤ ⎡37 42⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 7⎦ ⎣4 9⎦ ⎣84 79⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 2\\\\8 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}7 & 2\\\\8 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}37 & 22\\\\88 & 48\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 2⎤ ⎡7 2⎤ ⎡37 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 4⎦ ⎣8 8⎦ ⎣88 48⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 8\\\\4 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}7 & 4\\\\2 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}37 & 84\\\\42 & 79\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 8⎤ ⎡7 4⎤ ⎡37 84⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 7⎦ ⎣2 9⎦ ⎣42 79⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 4\\\\4 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}7 & 4\\\\4 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}37 & 44\\\\44 & 48\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 4⎤ ⎡7 4⎤ ⎡37 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 4⎦ ⎣4 8⎦ ⎣44 48⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}7 & 4\\\\7 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}7 & 4\\\\7 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}77 & 44\\\\77 & 44\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡7 4⎤ ⎡7 4⎤ ⎡77 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣7 4⎦ ⎣7 4⎦ ⎣77 44⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 5\\\\5 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}7 & 5\\\\5 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}67 & 55\\\\55 & 45\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 5⎤ ⎡7 5⎤ ⎡67 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 4⎦ ⎣5 5⎦ ⎣55 45⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}7 & 7\\\\4 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}7 & 7\\\\4 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}77 & 77\\\\44 & 44\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡7 7⎤ ⎡7 7⎤ ⎡77 77⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 4⎦ ⎣4 4⎦ ⎣44 44⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 8\\\\2 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}7 & 8\\\\2 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}37 & 88\\\\22 & 48\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 8⎤ ⎡7 8⎤ ⎡37 88⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 4⎦ ⎣2 8⎦ ⎣22 48⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 2\\\\6 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 2\\\\6 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}28 & 22\\\\66 & 39\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 2⎤ ⎡8 2⎤ ⎡28 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 3⎦ ⎣6 9⎦ ⎣66 39⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 2\\\\7 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 2\\\\7 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}38 & 22\\\\77 & 38\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 2⎤ ⎡8 2⎤ ⎡38 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣7 3⎦ ⎣7 8⎦ ⎣77 38⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}4 & 2\\\\8 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 2\\\\8 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}48 & 22\\\\88 & 37\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡4 2⎤ ⎡8 2⎤ ⎡48 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 3⎦ ⎣8 7⎦ ⎣88 37⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 2\\\\9 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 2\\\\9 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}58 & 22\\\\99 & 36\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 2⎤ ⎡8 2⎤ ⎡58 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣9 3⎦ ⎣9 6⎦ ⎣99 36⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 6\\\\6 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 3\\\\3 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}58 & 63\\\\63 & 58\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 6⎤ ⎡8 3⎤ ⎡58 63⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 5⎦ ⎣3 8⎦ ⎣63 58⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 3\\\\4 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 3\\\\4 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}28 & 33\\\\44 & 39\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 3⎤ ⎡8 3⎤ ⎡28 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 3⎦ ⎣4 9⎦ ⎣44 39⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 3\\\\6 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 3\\\\6 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}58 & 33\\\\66 & 36\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 3⎤ ⎡8 3⎤ ⎡58 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 3⎦ ⎣6 6⎦ ⎣66 36⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}8 & 3\\\\8 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 3\\\\8 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}88 & 33\\\\88 & 33\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡8 3⎤ ⎡8 3⎤ ⎡88 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 3⎦ ⎣8 3⎦ ⎣88 33⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 4\\\\3 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 4\\\\3 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}28 & 44\\\\33 & 39\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 4⎤ ⎡8 4⎤ ⎡28 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 3⎦ ⎣3 9⎦ ⎣33 39⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}4 & 4\\\\4 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 4\\\\4 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}48 & 44\\\\44 & 37\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡4 4⎤ ⎡8 4⎤ ⎡48 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 3⎦ ⎣4 7⎦ ⎣44 37⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 4\\\\5 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 4\\\\5 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}68 & 44\\\\55 & 35\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 4⎤ ⎡8 4⎤ ⎡68 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 3⎦ ⎣5 5⎦ ⎣55 35⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}8 & 4\\\\6 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 4\\\\6 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}88 & 44\\\\66 & 33\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡8 4⎤ ⎡8 4⎤ ⎡88 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 3⎦ ⎣6 3⎦ ⎣66 33⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 2\\\\3 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 4\\\\6 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}28 & 24\\\\36 & 28\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 2⎤ ⎡8 4⎤ ⎡28 24⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 2⎦ ⎣6 8⎦ ⎣36 28⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}4 & 2\\\\4 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 4\\\\8 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}48 & 24\\\\48 & 24\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡4 2⎤ ⎡8 4⎤ ⎡48 24⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 2⎦ ⎣8 4⎦ ⎣48 24⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 5\\\\4 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 5\\\\4 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}68 & 55\\\\44 & 35\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 5⎤ ⎡8 5⎤ ⎡68 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 3⎦ ⎣4 5⎦ ⎣44 35⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 6\\\\2 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 6\\\\2 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}28 & 66\\\\22 & 39\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 6⎤ ⎡8 6⎤ ⎡28 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 3⎦ ⎣2 9⎦ ⎣22 39⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 6\\\\3 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 6\\\\3 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}58 & 66\\\\33 & 36\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 6⎤ ⎡8 6⎤ ⎡58 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 3⎦ ⎣3 6⎦ ⎣33 36⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}8 & 6\\\\4 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 6\\\\4 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}88 & 66\\\\44 & 33\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡8 6⎤ ⎡8 6⎤ ⎡88 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 3⎦ ⎣4 3⎦ ⎣44 33⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}2 & 3\\\\2 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 6\\\\4 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}28 & 36\\\\24 & 28\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡2 3⎤ ⎡8 6⎤ ⎡28 36⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 2⎦ ⎣4 8⎦ ⎣24 28⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 3\\\\3 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 6\\\\6 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}58 & 36\\\\36 & 22\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 3⎤ ⎡8 6⎤ ⎡58 36⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 2⎦ ⎣6 2⎦ ⎣36 22⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 7\\\\2 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 7\\\\2 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}38 & 77\\\\22 & 38\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 7⎤ ⎡8 7⎤ ⎡38 77⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 3⎦ ⎣2 8⎦ ⎣22 38⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}4 & 8\\\\2 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 8\\\\2 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}48 & 88\\\\22 & 37\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡4 8⎤ ⎡8 8⎤ ⎡48 88⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 3⎦ ⎣2 7⎦ ⎣22 37⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}8 & 8\\\\3 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 8\\\\3 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}88 & 88\\\\33 & 33\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡8 8⎤ ⎡8 8⎤ ⎡88 88⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 3⎦ ⎣3 3⎦ ⎣33 33⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}4 & 4\\\\2 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 8\\\\4 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}48 & 48\\\\24 & 24\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡4 4⎤ ⎡8 8⎤ ⎡48 48⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 2⎦ ⎣4 4⎦ ⎣24 24⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 9\\\\2 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}8 & 9\\\\2 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}58 & 99\\\\22 & 36\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 9⎤ ⎡8 9⎤ ⎡58 99⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 3⎦ ⎣2 6⎦ ⎣22 36⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 4\\\\6 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 2\\\\3 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}39 & 42\\\\63 & 39\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 4⎤ ⎡9 2⎤ ⎡39 42⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 3⎦ ⎣3 9⎦ ⎣63 39⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}7 & 4\\\\8 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 2\\\\4 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}79 & 42\\\\84 & 37\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡7 4⎤ ⎡9 2⎤ ⎡79 42⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 3⎦ ⎣4 7⎦ ⎣84 37⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 2\\\\6 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 2\\\\6 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}39 & 22\\\\66 & 28\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 2⎤ ⎡9 2⎤ ⎡39 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 2⎦ ⎣6 8⎦ ⎣66 28⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 2\\\\7 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 2\\\\7 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}59 & 22\\\\77 & 26\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 2⎤ ⎡9 2⎤ ⎡59 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣7 2⎦ ⎣7 6⎦ ⎣77 26⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}7 & 2\\\\8 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 2\\\\8 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}79 & 22\\\\88 & 24\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡7 2⎤ ⎡9 2⎤ ⎡79 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣8 2⎦ ⎣8 4⎦ ⎣88 24⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}9 & 2\\\\9 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 2\\\\9 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}99 & 22\\\\99 & 22\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡9 2⎤ ⎡9 2⎤ ⎡99 22⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣9 2⎦ ⎣9 2⎦ ⎣99 22⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 6\\\\4 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 3\\\\2 & 9\\end{matrix}\\right], \\ \\left[\\begin{matrix}39 & 63\\\\42 & 39\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 6⎤ ⎡9 3⎤ ⎡39 63⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 3⎦ ⎣2 9⎦ ⎣42 39⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}9 & 6\\\\6 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 3\\\\3 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}99 & 63\\\\63 & 36\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡9 6⎤ ⎡9 3⎤ ⎡99 63⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 3⎦ ⎣3 6⎦ ⎣63 36⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 3\\\\4 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 3\\\\4 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}39 & 33\\\\44 & 28\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 3⎤ ⎡9 3⎤ ⎡39 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 2⎦ ⎣4 8⎦ ⎣44 28⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 3\\\\5 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 3\\\\5 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}69 & 33\\\\55 & 25\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 3⎤ ⎡9 3⎤ ⎡69 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣5 2⎦ ⎣5 5⎦ ⎣55 25⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}9 & 3\\\\6 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 3\\\\6 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}99 & 33\\\\66 & 22\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡9 3⎤ ⎡9 3⎤ ⎡99 33⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣6 2⎦ ⎣6 2⎦ ⎣66 22⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}7 & 8\\\\4 & 3\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 4\\\\2 & 7\\end{matrix}\\right], \\ \\left[\\begin{matrix}79 & 84\\\\42 & 37\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡7 8⎤ ⎡9 4⎤ ⎡79 84⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 3⎦ ⎣2 7⎦ ⎣42 37⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 4\\\\3 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 4\\\\3 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}39 & 44\\\\33 & 28\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 4⎤ ⎡9 4⎤ ⎡39 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 2⎦ ⎣3 8⎦ ⎣33 28⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}7 & 4\\\\4 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 4\\\\4 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}79 & 44\\\\44 & 24\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡7 4⎤ ⎡9 4⎤ ⎡79 44⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣4 2⎦ ⎣4 4⎦ ⎣44 24⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}6 & 5\\\\3 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 5\\\\3 & 5\\end{matrix}\\right], \\ \\left[\\begin{matrix}69 & 55\\\\33 & 25\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡6 5⎤ ⎡9 5⎤ ⎡69 55⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 2⎦ ⎣3 5⎦ ⎣33 25⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}3 & 6\\\\2 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 6\\\\2 & 8\\end{matrix}\\right], \\ \\left[\\begin{matrix}39 & 66\\\\22 & 28\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡3 6⎤ ⎡9 6⎤ ⎡39 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 2⎦ ⎣2 8⎦ ⎣22 28⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}9 & 6\\\\3 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 6\\\\3 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}99 & 66\\\\33 & 22\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡9 6⎤ ⎡9 6⎤ ⎡99 66⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣3 2⎦ ⎣3 2⎦ ⎣33 22⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}5 & 7\\\\2 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 7\\\\2 & 6\\end{matrix}\\right], \\ \\left[\\begin{matrix}59 & 77\\\\22 & 26\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡5 7⎤ ⎡9 7⎤ ⎡59 77⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 2⎦ ⎣2 6⎦ ⎣22 26⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}7 & 8\\\\2 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 8\\\\2 & 4\\end{matrix}\\right], \\ \\left[\\begin{matrix}79 & 88\\\\22 & 24\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡7 8⎤ ⎡9 8⎤ ⎡79 88⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 2⎦ ⎣2 4⎦ ⎣22 24⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\displaystyle \\left( \\left[\\begin{matrix}9 & 9\\\\2 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}9 & 9\\\\2 & 2\\end{matrix}\\right], \\ \\left[\\begin{matrix}99 & 99\\\\22 & 22\\end{matrix}\\right]\\right)$"
],
"text/plain": [
"⎛⎡9 9⎤ ⎡9 9⎤ ⎡99 99⎤⎞\n",
"⎜⎢ ⎥, ⎢ ⎥, ⎢ ⎥⎟\n",
"⎝⎣2 2⎦ ⎣2 2⎦ ⎣22 22⎦⎠"
]
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"from IPython.display import display\n",
"for a, b in BASES[10]:\n",
" display((a, b, Matrix(concatenate(base)(a, b))))"
]
}
],
"metadata": {
"kernelspec": {
"display_name": "Python 3",
"language": "python",
"name": "python3"
},
"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.11.1"
},
"orig_nbformat": 4
},
"nbformat": 4,
"nbformat_minor": 2
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment