class ALEXMATM
****
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: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 deleted relation
Writable Shareds
shared AMat:MAT_POLYM_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 deleted relation
Features
AlexIdeal(trimN:INT,diagonal_part:ARRAY{POLYM_INTI},SAMat:MAT_POLYM_INTI,ideg:INT)
AlexMat(TCode:TCODE)
AlexMat_Theta(TCode:TCODE)
****
Assume TCode for Theta-curve
AlexPoly(p0:INT, out apoly:POLYM_INTI)
****
AlexanderIdeals(p0:INT)
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:INT)
printApoly(apoly:POLYM_INTI)
splitMatrix(p0:INT, 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