a row matrix whose entries are generators of the ideal of an isotropic subspace for qq.
i1 : kk=ZZ/101; |
i2 : g=1; |
i3 : rNP=randNicePencil(kk,g); |
i4 : u=rNP.isotropicSpace
o4 = | x_0 z_1 z_2 |
1 3
o4 : Matrix (kk[x , y , z ..z , s, t]) <--- (kk[x , y , z ..z , s, t])
0 0 1 2 0 0 1 2
|
The object isotropicSpace is a symbol.