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. |
attr rep_tbl:ARRAY{ARRAY{ET}}; |
---|
attr rep_tbl:ARRAY{ARRAY{ET}}; |
---|
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 |
---|
SetTable(stack:STK, checkTra:ARRAY{INT}, num:INT) |
---|