class SL2P_CNJ_CLS |
---|
**** | list conjugate classes of SL2(p) in MAP2P. |
attr cls:ARRAY{ARRAY{SL2P}}; |
---|
**** | conjugate class --> list of matrix |
attr map:MAP{SL2P,CARD}; |
---|
**** | matrix --> conjugate class |
attr cls:ARRAY{ARRAY{SL2P}}; |
---|
**** | conjugate class --> list of matrix |
attr map:MAP{SL2P,CARD}; |
---|
**** | matrix --> conjugate class |
create:SAME |
---|
str(lib : LIBCHARS) : STR |
---|
str:STR |
---|
is_lt_cls(a1,a2:ARRAY{SL2P}):BOOL is return is_lt_mat(a1[0],a2[0]); end; |
---|
is_lt_mat(s1,s2:SL2P):BOOL |
---|
**** | return s1.is_lt(s2); |
set_cnj_cls |
---|