This is an easy way to do the calculations to make sure they are correct as well as to save typing into latex. Make sure to click to typeset above before evaluating if you want to see the results nicely. A couple tips in case you don't use SAGE much: it uses python, so things are numbered starting at 0, if you are unsure of a command you can type command? and it will bring up usage.
|
Here I do the calculation for the $\mathcal{B}_3$ case. The augmented matrix $[\Upsilon:\mathcal{D}]$ has the following form.
|
We start with the assumption that $c_{21} \neq 0$.
|
|
|
|
|
|
|
|
|
|
Looking at the bottom right entry we multiply by $c_{21}$ and simplify to get:
$X = x(c_{21}d_{11} - c_{11}d_{21} + c_{22} d_{12} - c_{12}d_{22}) + (a_{12}d_{22} + a_{11} d_{21} - b_{12}c_{22} - b_{11}c_{21})$.
|
Defining Taylor's version of $J$.
|
|
For $g$ to be symplectic, we must have the $(4,3)$ entry is 0, which says the coefficient of $x$ in $X$ must vanish. Similarly, the $(1,4)$ entry must vanish, which gives the non-$x$ term of $X$ must vanish. Thus, $X =0$. It still works! whew..
Now suppose that $c_{21} = 0$.
|
Assume $c_{22} \neq 0$.
|
|
|
|
|
|
|
|
|
|
|
|
|
We now consider the $\mathcal{B}_2$ calculation.
|
|
Assume that $c_{21}x + c_{11} \neq 0$.
|
|
|
|
|
|
|
|
|
If $c_{22}x + c_{12} = 0$, we should get a contradiction as in the write-up. (It will have rank 2, which gives too many $E$'s that map to $x,z$.) If we assume $c_{22}x+c_{12} \neq 0$, then we have:
|
|
Note the entry in the (4,3) spot is 0; I am not sure why it is not simplifying it to be that.
|