class SL2P < $IS_LT{SL2P},$STR,$HASH |
---|
**** | MAT2P with determinant=1. |
$HASH | $IS_EQ | $STR | $IS_LT{_} |
attr m:ARRAY{ARRAY{ET}}; .. Included as m |
---|
attr m:ARRAY{ARRAY{ET}}; .. Included as m |
---|
shared base:INT; .. Included as base |
---|
**** | prime |
shared base:INT; .. Included as base |
---|
**** | prime |
ET_compare_dia(e1,e2:ET):INT .. Included as ET_compare_dia |
---|
**** | e1<e2 means near with zero. |
aget(i1,i2:CARD):ET .. Included as aget |
---|
aset(i1,i2:CARD,val:ET) .. Included as aset |
---|
cofactor_matrix:SAME .. Included as cofactor_matrix |
---|
compare_dia(o:SAME):INT .. Included as compare_dia |
---|
**** | lexicographical order of [1][0], [0][1], [0][0], [1][1] |
conjugate(o:SAME):SAME .. Included as conjugate |
---|
**** | o * self * o~ |
conjugateR(o:SAME):SAME .. Included as conjugateR |
---|
**** | o~ * self * o |
copy:SAME .. Included as copy |
---|
create(a,b,c,d:ET):SAME .. Included as create |
---|
create(a,b,c,d:INT):SAME .. Included as create |
---|
create:SAME .. Included as create |
---|
det:ET .. Included as det |
---|
div(i:ET):SAME .. Included as div |
---|
div(i:INT):SAME .. Included as div |
---|
div(o:SAME):SAME .. Included as div |
---|
get_list:ARRAY{SAME} |
---|
hash:CARD .. Included as hash |
---|
inverse:SAME .. Included as inverse |
---|
**** | pre det.is_one |
inverse:SAME .. Included as inverse_mat |
---|
is_eq(o:SAME):BOOL .. Included as is_eq |
---|
is_eq(other : $OB) : BOOL .. Included as is_eq |
---|
**** | This is the generic equality predicate. c.f. the class $IS_EQ |
is_lt(o:SAME):BOOL .. Included as is_lt |
---|
**** | lexicographical order of [0][0], [0][1], [1][0], [1][1] |
is_lt_dia(o:SAME):BOOL .. Included as is_lt_dia |
---|
is_one:BOOL .. Included as is_one |
---|
is_zero:BOOL .. Included as is_zero |
---|
minus(o:SAME):SAME .. Included as minus |
---|
negate:SAME .. Included as negate |
---|
next_mat:SAME .. Included as next_mat |
---|
**** | consist with is_lt |
next_sl:SAME .. Included as next_sl |
---|
**** | ireturn (0,0:0,0) when end. |
one:SAME .. Included as one |
---|
plus(o:SAME):SAME .. Included as plus |
---|
set_base(p:INT) .. Included as set_base |
---|
str(lib : LIBCHARS) : STR .. Included as str |
---|
str:STR .. Included as str |
---|
times(i:ET):SAME .. Included as times |
---|
times(i:INT):SAME .. Included as times |
---|
times(o:SAME):SAME .. Included as times |
---|
zero:SAME .. Included as zero |
---|
up_mat!:SAME .. Included as up_mat! |
---|
up_sl!:SAME .. Included as up_sl! |
---|