]> gitweb.michael.orlitzky.com - sage.d.git/commit
eja: alter BilinearFormEJA to take only a matrix argument.
authorMichael Orlitzky <michael@orlitzky.com>
Sun, 22 Nov 2020 14:32:32 +0000 (09:32 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sun, 22 Nov 2020 14:32:32 +0000 (09:32 -0500)
commitcda12a746b75b33381325e31afab44c6e9b85950
tree48dd647d2ec4ad4d52d73dbbebc2479a4e6f333f
parentd96de12813f0403a0ca7ca1c57c75c732cf13612
eja: alter BilinearFormEJA to take only a matrix argument.

The BilinearFormEJA constructor originally took both the size "n" and
a bilinear form matrix "B" that acted on the x-bar component of an
algebra element. This was a bit silly: except when n=0, we can
determine the size of the algebra from the bilinear form matrix.

Now, we insist that the entire matrix "B" be passed in, including the
upper-left "1" block. This allows us to pass in a matrix of size zero
to get the trivial algebra, and in all other cases, to infer that the
dimension of the algebra is the size of the matrix.
mjo/eja/eja_algebra.py