class MAT_INTI




Public


Readable Attributes
attr m:ARRAY{ARRAY{ET}}; .. Included as m
attr nc:INT; .. Included as nc
**** column
attr nr:INT; .. Included as nr
**** row

Writable Attributes
attr m:ARRAY{ARRAY{ET}}; .. Included as m
attr nc:INT; .. Included as nc
**** column
attr nr:INT; .. Included as nr
**** row

Readonly Shareds
shared iPivot:ARRAY{INT}; .. Included as iPivot
shared jPivot:ARRAY{INT}; .. Included as jPivot
shared r_0:ET; .. Included as r_0
shared r_1:ET; .. Included as r_1

Writable Shareds
shared iPivot:ARRAY{INT}; .. Included as iPivot
shared jPivot:ARRAY{INT}; .. Included as jPivot
shared r_0:ET; .. Included as r_0
shared r_1:ET; .. Included as r_1

Features
CheckZero(p0:INT):BOOL .. Included as CheckZero
SetPivot(p0:INT):BOOL .. Included as SetPivot
SetPivot(p0:INT, nc1:INT):BOOL .. Included as SetPivot
**** Set Pivot,iPivot,jPivot "is_lt" "abs" is needed
SolveD .. Included as SolveD
**** make diagonal
SolveH(inout Group:ARRAY{ET}) .. Included as SolveH
**** for Homology
SolveL(jDeg:INT, inout Rank:INT, .. Included as SolveL
SubC(p0,i:INT) .. Included as SubC
SubL(p0,j:INT) .. Included as SubL
aget(i1:INT):ARRAY{ET} .. Included as aget
**** The array with index `[i1]'.
aget(i1,i2:INT):ET .. Included as aget
**** The element with indices `[i1,i2]'.
aset(i1:INT,val:ARRAY{ET}) .. Included as aset
**** Set row with index `[i1]' to val.
aset(i1,i2:INT,val:ET) .. Included as aset
**** Set the element with indices `[i1,i2]' to val.
clear .. Included as clear
cofactor(ip,jp:INT):ET .. Included as cofactor
**** assume the matrix is square(nr=nc)
col_mod(j:INT, n:INTI)
col_plus_scaled_col(j0,j1:INT, c:ET) .. Included as col_plus_scaled_col
**** m[*,j0]=m[*,j0]+c*m[*,j1]
copy:SAME .. Included as copy
create(r,c:INT):SAME
create(r,c:INT, r_one:ET):SAME .. Included as create
**** Create a matrix with r rows and c columns
create(arg:SAME):SAME .. Included as create
**** Creates a new matrix with the same dimensions.
det:INTI
det:ET .. Included as det_p
**** Use when cannot work Gaussian algorithm. i.e. "ET" is not a field
det_primitive:ET .. Included as det_primitive
**** #OUT+"det_primitive\n";
has_ind(i,j:INT):BOOL .. Included as has_ind
**** return (m.has_ind(i) and m[i].has_ind(j));
initPivot .. Included as initPivot
mat_fltd:MAT_FLTD
mat_rat:MAT_RAT
minor(ip,jp:INT):ET .. Included as minor
**** assume the matrix is square(nr=nc)
minor_matrix(ip,jp:INT):SAME .. Included as minor_matrix
**** remove row [ip] and column [jp].
minor_matrix_column(jp:INT):SAME .. Included as minor_matrix_column
**** remove column [jp].
minor_matrix_row(ip:INT):SAME .. Included as minor_matrix_row
**** remove row [ip].
minus(o:SAME) .. Included as minus
**** self:=self-o destructive
minus(o:SAME):SAME .. Included as minus
minus_arg(arg:SAME) .. Included as minus_arg
**** self:=arg-self destructive
negate .. Included as negate
**** destructive
negate:SAME .. Included as negate
plus(o:SAME) .. Included as plus
**** destructive
plus(o:SAME):SAME .. Included as plus
printRelation .. Included as printRelation
**** for Homology
resize(nr1,nc1:INT):SAME .. Included as resize
row_mod(i:INT, n:INTI)
row_plus_scaled_row(i0,i1:INT, c:ET) .. Included as row_plus_scaled_row
**** m[i0,*]=m[i0,*]+c*m[i1,*]
str:STR .. Included as str
strTeX:STR .. Included as strTeX
str_array:STR .. Included as str_array
**** LaTeX array. v:var name
str_pmatrix:STR .. Included as str_pmatrix
**** TeX \pmatrix{ }. v:var name
sub_matrix(ci,cj:ARRAY{INT}):SAME .. Included as sub_matrix
**** sub-matrix with combination(selection) ci[] for row {0..nr-1} and cj[] for column {0..nc-1}
swap_col(j1,j2:INT) .. Included as swap_col
swap_col(j1,j2:INT, i_start, i_end:INT) .. Included as swap_col
swap_row(i1,i2:INT) .. Included as swap_row
times(o:ET) .. Included as times
**** destructive
times(o:ET):SAME .. Included as times
times(o:SAME) .. Included as times
**** destructive
times(o:SAME):SAME .. Included as times
times_trans(o:SAME) .. Included as times_trans
**** destructive self:=self*(o.trans)
times_trans(o:SAME):SAME .. Included as times_trans
**** self*(o.trans)
trans .. Included as trans
trans:SAME .. Included as trans


Private

SetPivot_set(p0,ip,jp:INT) .. Included as SetPivot_set
shared det_primitive_d:ET; .. Included as det_primitive_d
shared det_primitive_d:ET; .. Included as det_primitive_d
det_primitive_r(i:INT,jpiv:ARRAY{INT},d:ET) .. Included as det_primitive_r

The Sather Home Page