class ALEXMAT
****
ALEXMATmaxC=maxC; matV=array[1..ALEXMATmaxC] OF PolyInt; pmatV=POINTER TO matV; amatV=array[1..ALEXMATmaxC] OF pmatV;


Flattened version is here



Public


Readonly Shareds
shared AMat:MAT_POLYS_INTI;
shared Relator:ARRAY{WORD};
shared compoN:INT;
**** #of component
shared g2c:ARRAY{INT};
****
shared jPivot:ARRAY{INT};
****
shared trimC:INT;
**** component of over bridge of deleted relation
shared trimN:INT;
**** number of free generator

Writable Shareds
shared AMat:MAT_POLYS_INTI;
shared Relator:ARRAY{WORD};
shared compoN:INT;
**** #of component
shared g2c:ARRAY{INT};
****
shared jPivot:ARRAY{INT};
****
shared trimC:INT;
**** component of over bridge of deleted relation
shared trimN:INT;
**** number of free generator

Features
APolyOut(p0:INT, testSym:BOOL)
AlexIdeal(trimN:INT,diagonal_part:ARRAY{POLYS_INTI},SAMat:MAT_POLYS_INTI,ideg:INT)
AlexMat(TCode:TCODE, testSym:BOOL, testGb:BOOL)
AlexPoly(p0:INT, out apoly:POLYS_INTI)
****
AlexanderIdeals(p0:INT)
MakeMatrix(TCode:TCODE)
**** RLength
WriteMatrix(p0:INT)
apoly2conway(apoly:POLYS_INTI, out cpoly:POLYS_INTI)
conway2apoly(cpoly:POLYS_INTI, out apoly:POLYS_INTI)
printApoly(apoly:POLYS_INTI)
printConway(cpoly:POLYS_INTI)
splitMatrix(p0:INT, out diagonal_part:ARRAY{POLYS_INTI}, out SAMat:MAT_POLYS_INTI)
**** split Alexander matrix AMat to diagoanl part and other part.
trimMat1(TCode:TCODE)
****


Private

a2c(apoly:POLYS_INTI, out cpoly:POLYS_INTI)
c2a(cpoly:POLYS_INTI, out apoly:POLYS_INTI)
**** a=c.substitute(x-1/x)

The Sather Home Page