class MAT_POLYS_INTI_REDUCTION
Public
Readonly Shareds
shared Mat:MAT_POLYS_INTI;
****
shared Pivot_lc:INTI;
****
coefficient of highest term
shared cv0:ARRAY{POLYS_INTI};
shared deg:INT;
shared ip,jp:INT;
shared jPivot:ARRAY{INT};
****
[1..ALEXMATmaxC]
shared ip,jp:INT;
shared p0:INT;
shared polydeg,polydegM:INT;
shared polydeg,polydegM:INT;
shared unit:BOOL;
****
true if pivot be a unit.
Writable Shareds
shared Mat:MAT_POLYS_INTI;
****
shared Pivot_lc:INTI;
****
coefficient of highest term
shared cv0:ARRAY{POLYS_INTI};
shared deg:INT;
shared ip,jp:INT;
shared jPivot:ARRAY{INT};
****
[1..ALEXMATmaxC]
shared ip,jp:INT;
shared p0:INT;
shared polydeg,polydegM:INT;
shared polydeg,polydegM:INT;
shared unit:BOOL;
****
true if pivot be a unit.
Features
CheckZero(p0:INT):BOOL
CheckZeroI(p0:INT):BOOL
CheckZeroJ(p0:INT):BOOL
SetPivot(p0:INT, inout polydeg:INT):BOOL
****
Set Pivot_lc,jPivot: ip:=p0,jp:=jPivot[p0],cv0:=Mat[ip];
SetPivotSearch(p0:INT)
Sp(i,j:INT)
SubC(i:INT, inout polydegM:INT):BOOL
SubL(j:INT, inout polydegM:INT):BOOL
maxDeg(p0:INT):INT
****
maximal degree in [p0..iDeg][p0..jDeg]
reduce(inout mat:MAT_POLYS_INTI,out jpivot:ARRAY{INT},out rDeg:INT)
****
#OUT+"reduce\n";
shiftC(i:INT)
****
shift degree of i-th row to standard position
shiftL(j:INT)
****
shift degree to standard position
The Sather Home Page