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

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

Features
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

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

The Sather Home Page