class ALEXMAT_TWIST |
---|
**** | CT: INTI ET: POLYS_INTI |
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 |
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 |
APolyOut(p0:CARD) .. Included as APolyOut |
---|
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, Rep:ARRAY{MT},RepR:ARRAY{MT}) .. Included as AlexMat |
---|
**** | Rep/RepR: Representation / reverse Rep[i] : image of generator x_i. Rep[0] : not used. |
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 |
---|
WriteMatrix(p0:CARD) .. Included as WriteMatrix |
---|
printAp(ap:ET) .. Included as printAp |
---|
**** | ET: POLYS_INTI |
printApoly(apoly:ET, title:STR) .. Included as printApoly |
---|
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 |
---|
**** |