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.