This looks like a Sage bug.
Indeed, in src/sage/groups/matrix_gps/orthogonal.py one sees
if invariant_form is not None:
if is_FiniteField(ring):
raise NotImplementedError("invariant_form for finite
groups is fixed by GAP")
And it should be triggerred for your
Hello,
I was trying to compute with the general orthogonal group. If I am not
wrong, I think that one can specify the bilinear form for the general
orthogonal group.
I did the following:
sage: b
[0 0 0 1 0 0]
[0 0 0 0 1 0]
[0 0 0 0 0 1]
[1 0 0 0 0 0]
[0 1 0 0 0 0]
[0 0 1 0 0 0]
This defines th
