class COVERING_LINKAGE
****
Covering linkage
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, inout br:ARRAY{INT})
printElChar
printLChar
printVChar
scl1(el,el1:INT)
scl2(el1:INT)
scl3(el1:INT)
wait
The Sather Home Page