Wedgie/Archived version: Difference between revisions
I computed a small example using exterior algebra. The main point is that these sort of computations can be easily done in Maple. Many basic algorithms are there, one doesn't really have to program anything oneself. |
|||
| Line 114: | Line 114: | ||
[math] \displaystyle b_1=dx_1-4dx_3-13dx_4 \quad, \quad b_2=dx_2+4dx_3+10dx_4 [/math]. | [math] \displaystyle b_1=dx_1-4dx_3-13dx_4 \quad, \quad b_2=dx_2+4dx_3+10dx_4 [/math]. | ||
Now one can check that [math] \alpha=b_1\wedge b_2 [/math]. All these computations can be done easily in Maple when the things are properly set up. But is this useful to anyone? | Now one can check that [math] \alpha=b_1\wedge b_2 [/math]. All these computations can be done easily in Maple when the things are properly set up. But is this useful to anyone? | ||
The original [math] (e_{19}, e_{31}) [/math] is a different basis of the nullspace. In matrix terms the connection between them is as follows. If | |||
[math] \displaystyle A=\begin{pmatrix} 19&30&44&53\\31&49&72&87\end{pmatrix} | |||
[/math] | |||
then its Hermite (normal) form is | |||
[math] \displaystyle H=\begin{pmatrix} 1&0&-4&-13\\0&1&4&10\end{pmatrix} | |||
[/math] | |||
==Truncation of wedgies== | ==Truncation of wedgies== | ||