Reproduce a few bugs of printing

Author: utensil

doc/python/BACCAB.py

@@ -9,7 +9,6 @@
 print('\\bm{a|(b*c)} =', a | (b * c))
 print('\\bm{a|(b^c)} =', a | (b ^ c))
 print('\\bm{a|(b^c^d)} =', a | (b ^ c ^ d))
-# FIXME:FIXED this should print 0, got blank
 print('\\bm{a|(b^c)+c|(a^b)+b|(c^a)} =',
       (a | (b ^ c)) + (c | (a ^ b)) + (b | (c ^ a)))
 print('\\bm{a*(b^c)-b*(a^c)+c*(a^b)} =',

examples/ipython/printing-galgebra.ipynb

@@ -237,6 +237,164 @@
     "    data = f.read()\n",
     "display_pretty(data, raw=True)"
    ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "## Reproduce Some bugs"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 10,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "Format()\n",
+    "xyz_coords = x, y, z = symbols('x y z', real=True)\n",
+    "o3d, ex, ey, ez = Ga.build('e', g=[1, 1, 1], coords=xyz_coords, norm=True)"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 11,
+   "metadata": {},
+   "outputs": [
+    {
+     "data": {
+      "text/latex": [
+       "$\\displaystyle \\left( \\left( 1\\right), \\  \\left( e_{x}, \\  e_{y}, \\  e_{z}\\right), \\  \\left( e^{e}_{x y}, \\  e^{e}_{x z}, \\  e^{e}_{y z}\\right), \\  \\left( e^{e e}_{x y z}\\right)\\right)$"
+      ],
+      "text/plain": [
+       "((1,), (eₓ, e_y, e_z), (e_x_y__e, e_x_z__e, e_y_z__e), (e_x_y_z__e__e,))"
+      ]
+     },
+     "execution_count": 11,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    "# FIXME BUG: incorrect handling of \\wedge\n",
+    "o3d.blades"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 12,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "def build_ga_from_solution(solution, norm=False):\n",
+    "    [metric, coordinate_set, _index_config, cosmological_constant] = solution\n",
+    "    return Ga('e', g=metric, coords=coordinate_set, norm=norm)\n",
+    "\n",
+    "g4coords = u, x, y, z = symbols(\"u x y z\")\n",
+    "g = [\n",
+    "    [0, 0, -exp(-z), 0],\n",
+    "    [0, S.Half * u ** 2 * exp(4 * z), 0, 0],\n",
+    "    [-exp(-z), 0, 12 * exp(-2 * z), u * exp(-z)],\n",
+    "    [0, 0, u * exp(-z), S.Half * u ** 2],\n",
+    "]\n",
+    "g4 = build_ga_from_solution([g, g4coords, None, 0])"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 13,
+   "metadata": {},
+   "outputs": [
+    {
+     "data": {
+      "text/plain": [
+       "(e_u, e_x, e_y, e_z)"
+      ]
+     },
+     "execution_count": 13,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    "# FIXME BUG: should be LaTeX\n",
+    "g4.mv()"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 14,
+   "metadata": {},
+   "outputs": [
+    {
+     "data": {
+      "text/plain": [
+       "(-10*e_u - exp(z)*e_y + 2*e_z/u,\n",
+       " 2*exp(-4*z)*e_x/u**2,\n",
+       " -exp(z)*e_u,\n",
+       " 2*e_u/u + 2*e_z/u**2)"
+      ]
+     },
+     "execution_count": 14,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    "# FIXME BUG: should be LaTeX\n",
+    "g4.mvr()"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 15,
+   "metadata": {},
+   "outputs": [
+    {
+     "data": {
+      "text/latex": [
+       "$\\displaystyle \\left( \\left( 1\\right), \\  \\left( e_{u}, \\  e_{x}, \\  e_{y}, \\  e_{z}\\right), \\  \\left( e^{e}_{u x}, \\  e^{e}_{u y}, \\  e^{e}_{u z}, \\  e^{e}_{x y}, \\  e^{e}_{x z}, \\  e^{e}_{y z}\\right), \\  \\left( e^{e e}_{u x y}, \\  e^{e e}_{u x z}, \\  e^{e e}_{u y z}, \\  e^{e e}_{x y z}\\right), \\  \\left( e^{e e e}_{u x y z}\\right)\\right)$"
+      ],
+      "text/plain": [
+       "((1,), (eᵤ, eₓ, e_y, e_z), (e_u_x__e, e_u_y__e, e_u_z__e, e_x_y__e, e_x_z__e, \n",
+       "e_y_z__e), (e_u_x_y__e__e, e_u_x_z__e__e, e_u_y_z__e__e, e_x_y_z__e__e), (e_u_\n",
+       "x_y_z__e__e__e,))"
+      ]
+     },
+     "execution_count": 15,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    "# FIXME BUG: incorrect handling of \\wedge\n",
+    "g4.blades"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 16,
+   "metadata": {},
+   "outputs": [
+    {
+     "data": {
+      "text/latex": [
+       "$\\displaystyle e^{e e e}_{u x y z}$"
+      ],
+      "text/plain": [
+       "e_u_x_y_z__e__e__e"
+      ]
+     },
+     "execution_count": 16,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    "# FIXME BUG: incorrect handling of \\wedge\n",
+    "# This is the root cause of the above\n",
+    "g4.e.obj"
+   ]
   }
  ],
  "metadata": {