class REP_TABLE{STK,ET}
****
Make a table of representations.If checkEq is called, check if cunjugate to representation in the table. i.e. It return true if the representation is new upto conjugate.




Public


Readable Attributes
attr rep_tbl:ARRAY{ARRAY{ET}};

Writable Attributes
attr rep_tbl:ARRAY{ARRAY{ET}};

Features
checkEqTbl(inout stack:STK, checkTra:ARRAY{INT}, num:INT, cnj_class:INT, Rback:CARD):BOOL
**** true if new Rep cnj_class is pointer of stack. RBack : area for equivalence check of rep. (# of Pd when GenConj failed.)
create:SAME


Private

SetTable(stack:STK, checkTra:ARRAY{INT}, num:INT)

The Sather Home Page