class COVERING_LINKAGE
****
Covering linkage. c.f. Hartrey,R. & K.Murasugi,"Covering linkage invariants", Canad. J. Math.,29(1977).


Flattened version is here



Public


Readonly Shareds
shared CChar:MAT_RAT;
**** [1..GenMax],[1..Jn]
shared CharL:ARRAY{RAT};
**** [1..Jn]
shared GenMax:CARD;
shared LRdeg0,LGdeg0:CARD;
**** allocate length of vect
shared LRdeg0,LGdeg0:CARD;
**** allocate length of vect
shared Rank:CARD;
****
shared RelMat:MAT_INTI;
**** [0..rL*Jn-1][0..GenMax*Jn-1]
shared Relator:ARRAY{WORD};
shared cv0:ARRAY{INTI};
**** RelMat[*]
shared iPivot:ARRAY{CARD};
**** [0..rL*Jn-1]
shared i_set:ARRAY{CARD};
**** [0..GenMax*Jn-1]
shared jPivot:ARRAY{CARD};
**** [0..GenMax*Jn-1]
shared link:MAT_RAT;
**** [0..NOrbit] ,[0..NOrbit]
shared oTbl:ARRAY{CARD};
**** [1..NOrbit]
shared rL:CARD;
**** (# of relation)=Relator.size

Writable Shareds
shared CChar:MAT_RAT;
**** [1..GenMax],[1..Jn]
shared CharL:ARRAY{RAT};
**** [1..Jn]
shared GenMax:CARD;
shared LRdeg0,LGdeg0:CARD;
**** allocate length of vect
shared LRdeg0,LGdeg0:CARD;
**** allocate length of vect
shared Rank:CARD;
****
shared RelMat:MAT_INTI;
**** [0..rL*Jn-1][0..GenMax*Jn-1]
shared Relator:ARRAY{WORD};
shared cv0:ARRAY{INTI};
**** RelMat[*]
shared iPivot:ARRAY{CARD};
**** [0..rL*Jn-1]
shared i_set:ARRAY{CARD};
**** [0..GenMax*Jn-1]
shared jPivot:ARRAY{CARD};
**** [0..GenMax*Jn-1]
shared link:MAT_RAT;
**** [0..NOrbit] ,[0..NOrbit]
shared oTbl:ARRAY{CARD};
**** [1..NOrbit]
shared rL:CARD;
**** (# of relation)=Relator.size

Features
BrIndex(TCode:TCODE)
**** print branch index
CRm2(gen,base:INT)
CharacteristicVector(NOrbit:CARD)
**** Solve the Matrix 'RelMat' ,and set Rank,oTbl
CheckChar(NOrbit:CARD,no1:CARD)
CoveringLinkage(TCode:TCODE)
**** if te .in TCode[INT(TLength-1)].sep then BrIndex; ErrorMessage('Exist saddle band',''); return; end;
LinkC(j0:CARD):BOOL
LinkPrintLog(NOrbit:CARD)
LinkingNumber(NOrbit:CARD,Lon:WORD)
RelationMatrix
SetChar(j0:CARD)
SetCharL(Lon:WORD)
SetLink(no1:CARD)
covering(TCode:TCODE)
incOrbitsToCDBr(compo:CARD, out br:ARRAY{CARD})
printElChar
printLChar
printVChar
scl1(el,el1:INT)
scl2(el1:INT)
scl3(el1:INT)
wait

The Sather Home Page