Need to include the functionality of pseudo-isometries of degenerate tensors.
It is in theory trivial, because
Prop.
If : V x V >--> W, V = rad V + V0, and # := restriction of to V0; then,
PIsom( * ) = hom ( V, rad V) \rtimes PIsom( # ).
So this is a recursive call followed by gluing in hom(V,rad V). But the decomposition V=rad V + V0 will us a different basis so there is a conjugation issue. This is almost implemented but commented out because of the basis issue.
Need to include the functionality of pseudo-isometries of degenerate tensors.
It is in theory trivial, because
Prop. If : V x V >--> W, V = rad V + V0, and # := restriction of to V0; then, PIsom( * ) = hom ( V, rad V) \rtimes PIsom( # ).
So this is a recursive call followed by gluing in hom(V,rad V). But the decomposition V=rad V + V0 will us a different basis so there is a conjugation issue. This is almost implemented but commented out because of the basis issue.
Also need FullyNondegenerate.