class COVERING_LINKAGE
****
Covering linkage


Flattened version is here



Public


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

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

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

The Sather Home Page