class SL2P < $IS_LT{SL2P},$STR,$HASH
****
MAT2P with determinant=1.


Ancestors
$HASH $IS_EQ $STR $IS_LT{_}



Public


Readable Attributes
attr m:ARRAY{ARRAY{ET}}; .. Included as m

Writable Attributes
attr m:ARRAY{ARRAY{ET}}; .. Included as m

Readonly Shareds
shared base:INT; .. Included as base
**** prime

Writable Shareds
shared base:INT; .. Included as base
**** prime

Features
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

Iters
up_mat!:SAME .. Included as up_mat!
up_sl!:SAME .. Included as up_sl!

The Sather Home Page