class ALEXMATM
****
Multi variable Alexander matrix and Alexander polynomial for 1-knot, 2-knot, theta curve.




Public


Readonly Shareds
shared AMat:MAT_POLYM_INTI;
****
shared Relator:ARRAY{WORD};
****
shared compoN:CARD;
**** #of component
shared g2c:ARRAY{CARD};
**** map generator to component
shared jPivot:ARRAY{CARD};
shared trimC:CARD;
**** component of over bridge of deleted relation
shared trimN:CARD;
**** number of deleted relation

Writable Shareds
shared AMat:MAT_POLYM_INTI;
****
shared Relator:ARRAY{WORD};
****
shared compoN:CARD;
**** #of component
shared g2c:ARRAY{CARD};
**** map generator to component
shared jPivot:ARRAY{CARD};
shared trimC:CARD;
**** component of over bridge of deleted relation
shared trimN:CARD;
**** number of deleted relation

Features
AlexIdeal(trimN:INT,diagonal_part:ARRAY{POLYM_INTI},SAMat:MAT_POLYM_INTI,ideg:INT)
AlexMat(TCode:TCODE,testGb:BOOL)
AlexMat_Theta(TCode:TCODE)
**** Assume TCode for Theta-curve
AlexPoly(p0:CARD, out apoly:POLYM_INTI)
****
AlexanderIdeals(p0:CARD)
MakeMatrix(TCode:TCODE)
**** Make relation with Fox's free differential. Note that
____(1)_w=(a_b_a~_c~)_at_crossings
____(2)_w=(a_b_c)_at_verteces_of_theta_curve
____(3)_w=(a_b)_at_the_end_of_un-coherent_band
WriteMatrix(p0:CARD)
printApoly(apoly:POLYM_INTI)
splitMatrix(p0:CARD, out diagonal_part:ARRAY{POLYM_INTI}, out SAMat:MAT_POLYM_INTI)
**** split Alexander matrix AMat to diagoanl part and other part.
trimMat1(TCode:TCODE)
trimMat1_Theta(TCode:TCODE)
trimMat1c
trimMat1r

The Sather Home Page