class SL2P_STACK
****
2002-12 K.Kodamaattr lst:ARRAY{SL2P};


Flattened version is here



Public


Readable Attributes
attr cnj:SL2P_CNJ_CLS;
attr p:INT;
**** prime attr lst:ARRAY{SL2P};
attr

Writable Attributes
attr cnj:SL2P_CNJ_CLS;
attr

Features
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


Private

attr p:INT;
**** prime attr lst:ARRAY{SL2P};

The Sather Home Page