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 |
---|
shared base:INT; .. Included as base |
---|
ET_compare_dia(e1,e2:ET):INT .. Included as ET_compare_dia |
---|
**** | e1<e2 means near with zero. |
aget(i1,i2:INT):ET .. Included as aget |
---|
aset(i1,i2:INT,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:INT .. Included as hash |
---|
inverse:SAME .. Included as inverse |
---|
inverse:SAME .. Included as inverse_mat |
---|
is_eq(o:SAME):BOOL .. Included as is_eq |
---|
is_eq(arg: $OB): BOOL .. Included as is_eq |
---|
**** | Overloaded version of the is_eq routine that works with an argument of any type. If the type of the 'arg' is not the same as they type of 'self' then return false. Otherwise, deletegate to the 'real' is_eq(SAME):BOOL routine |
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 |
---|
one:SAME .. Included as one |
---|
plus(o:SAME):SAME .. Included as plus |
---|
set_base(p:INT) .. Included as set_base |
---|
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! |
---|