class ALEXMAT_TWIST_FP
****
CT: Finite Field ET: polynomial is principal ideal domain (with GCD algorithm)




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) .. Included as APolyOut
AlexIdeal(trimN:INT,diagonal_part:ARRAY{ET},SAMat:MT,ideg:INT):BOOL .. Included as AlexIdeal
**** 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
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
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
****

The Sather Home Page