class ALEXMAT




Public


Readonly Shareds
shared AMat:MT; .. Included as AMat
shared Relator:ARRAY{WORD}; .. Included as Relator
****
shared compoN:CARD; .. Included as compoN
**** #of component
shared g2c:ARRAY{CARD}; .. Included as g2c
**** map: generator to comploent
shared jPivot:ARRAY{CARD}; .. Included as jPivot
****
shared num_gen:CARD; .. Included as num_gen
**** number of generatrs
shared rep_deg:CARD; .. Included as rep_deg
**** degree of representation matrix
shared trimC:CARD; .. Included as trimC
**** component of over bridge of deleted relation
shared trimN:CARD; .. Included as trimN
**** number of free generator

Writable Shareds
shared AMat:MT; .. Included as AMat
shared Relator:ARRAY{WORD}; .. Included as Relator
****
shared compoN:CARD; .. Included as compoN
**** #of component
shared g2c:ARRAY{CARD}; .. Included as g2c
**** map: generator to comploent
shared jPivot:ARRAY{CARD}; .. Included as jPivot
****
shared num_gen:CARD; .. Included as num_gen
**** number of generatrs
shared rep_deg:CARD; .. Included as rep_deg
**** degree of representation matrix
shared trimC:CARD; .. Included as trimC
**** component of over bridge of deleted relation
shared trimN:CARD; .. Included as trimN
**** number of free generator

Features
APolyOut(p0:CARD, testSym:BOOL,use_conway:BOOL)
AlexIdeal(trimN:INT,diagonal_part:ARRAY{ET},SAMat:MT,ideg:INT):BOOL .. Included as AlexIdeal
**** Assume that ET: POLYS_INTI, CT: INTI When free differential method, we must delete __one__ free meridian generator.
AlexMat(TCode:TCODE, testSym:BOOL, testGb:BOOL)
AlexMat(TCode:TCODE, testSym:BOOL, testGb:BOOL, use_conway:BOOL)
AlexPoly(p0:CARD, out apoly:ET) .. Included as AlexPoly
AlexanderIdeals(p0:CARD) .. Included as AlexanderIdeals
ExtendedAlexanderPoly(ap:ET, ideg:INT) .. Included as ExtendedAlexanderPoly
**** Base in Z[[t]][1/t]. Note that it is PID, and monic is invertible.
MakeMatrix(TCode:TCODE) .. Included as MakeMatrix
**** non-twisted case is concluded to trivial representation.
MakeMatrix(TCode:TCODE,Rep:ARRAY{MT},RepR:ARRAY{MT}) .. Included as MakeMatrix
MatReduction:CARD
**** reduce relation matrix and get ideals.
WriteMatrix(p0:CARD) .. Included as WriteMatrix
apoly2conway(apoly:ET, out cpoly:ET) .. Included as apoly2conway
conway2apoly(cpoly:ET, out apoly:ET) .. Included as conway2apoly
printAp(ap:ET) .. Included as printAp
**** ET: POLYS_INTI
printApoly(apoly:ET, title:STR) .. Included as printApoly
printConway(cpoly:ET) .. Included as printConway
splitMatrix(p0:CARD, out diagonal_part:ARRAY{ET}, out SAMat:MT) .. Included as splitMatrix
**** split Alexander matrix AMat to diagoanl part and other part.
trimMat1(TCode:TCODE) .. Included as trimMat1
****


Private

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

The Sather Home Page