class SL2P_STACK |
---|
**** | 2002-12 K.Kodamaattr lst:ARRAY{SL2P}; |
attr cnj:SL2P_CNJ_CLS; |
---|
attr p:INT; |
---|
**** | prime attr lst:ARRAY{SL2P}; |
attr |
---|
attr cnj:SL2P_CNJ_CLS; |
---|
attr |
---|
CMul(w:ARRAY{INT}) |
---|
**** | +1 |
Conjugate( P,Q :INT) |
---|
**** | +1 -- Fetch Q P Q~ |
Eq1:BOOL |
---|
**** | -1 -- check if unit |
Eq:BOOL |
---|
**** | -2 -- if st[pt]=st[pt-1] |
Fetch(i:INT) |
---|
**** | +1 |
Gen:BOOL |
---|
**** | 0/-2 |
GenConj:BOOL |
---|
**** | 0/-4if Gen then return true; else Pd(2);return false; end; |
GenConjDispose |
---|
**** | -4 |
GenY:BOOL |
---|
**** | 0/-2 |
GenYang:BOOL |
---|
**** | true: +0, false: -2 |
InitConj |
---|
**** | Assume thet a conj. class id/Yang-diagram is on the stack top. 1+3 : 0:c, -1:work, -2:n, -3:class. |
InitGen |
---|
**** | +2 |
InitGenY(Ynum:CARD) |
---|
**** | +2 |
InitYang |
---|
**** | +2 |
Inv |
---|
**** | 0 |
Mul |
---|
**** | -1 -- fetch(a); fetch(b); Mul implies a*b |
Store(i:INT) |
---|
**** | -1 |
Unit |
---|
**** | +1 |
WriteStackLog |
---|
**** | -1 |
Yang |
---|
**** | +1 |
create(prime_number:INT):SAME |
---|
attr p:INT; |
---|
**** | prime attr lst:ARRAY{SL2P}; |