class ALEXMAT
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,use_conway:BOOL)
AlexIdeal(trimN:INT,diagonal_part:ARRAY{POLYS_INTI},SAMat:MAT_POLYS_INTI,ideg:INT)
AlexMat(TCode:TCODE, testSym:BOOL, testGb:BOOL)
AlexMat(TCode:TCODE, testSym:BOOL, testGb:BOOL, use_conway:BOOL)
AlexPoly(p0:INT, out apoly:POLYS_INTI)
****
AlexanderIdeals(p0:INT)
ExtendedAlexanderPoly(ap:POLYS_INTI, ideg: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