class MAT_POLYM_INTI_REDUCTION




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