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.


Flattened version is here



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