Lines Matching refs:P0
11 …0, g1, k, l, D, U, KK1, KK2, KK3, KK4, BB, bb, N, CC, a, b, c, d, ww, K0, P0, H0, t, pos, makeCar…
10425 K0:= [ ]; P0:= [ ];
10433 Add( P0, Basis(L)[i] );
10441 Add( P0, Basis(L)[Length(t)+i] );
10457 Add( P0, Basis(L)[i] );
10458 Add( P0, Basis(L)[i+p] );
10462 Add( P0, Basis(L)[pos] );
10464 Add( P0, Basis(L)[pos+p] );
10475 Add( P0, Basis(L)[ 2*Length(t)+i^h ] );
10497 P0 := SubspaceNC( L, P0 );
10499 SetCartanDecomposition( L, rec( K:=K0 ,P:=P0, CartanInv := makeCartInv(L,K0,P0) ) );