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