From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 22 Nov 2020 14:32:32 +0000 (-0500)
Subject: eja: alter BilinearFormEJA to take only a matrix argument.
X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=cda12a746b75b33381325e31afab44c6e9b85950;hp=cda12a746b75b33381325e31afab44c6e9b85950;p=sage.d.git

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.
---