]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
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)
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.


No differences found