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