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