class REP_STACK |
---|
**** | 1996/10LINUX version
Kouji Kodama 1989/8 kernel of computing the group S(Jn). |
attr Jn1:INT; |
---|
**** | Jn+1 [ 0..(static work).. Bottom..(stack work) ] |
attr Jn2:INT; |
---|
**** | Jn+2 [ 0..(static work).. Bottom..(stack work) ] |
attr Jn:INT; |
---|
**** | index of permutation [ 0..(static work).. Bottom..(stack work) ] |
attr bottom:INT; |
---|
**** | 0<bottom<pt<st.size [ 0..(static work).. Bottom..(stack work) ] |
**** | [ 0..(static work).. Bottom..(stack work) ] |
attr pt:INT; |
---|
**** | stack pointer. assume that stack.has_ind(pt). [ 0..(static work).. Bottom..(stack work) ] |
attr st:ARRAY{ARRAY{INT}}; |
---|
**** | stack [ 0..(static work).. Bottom..(stack work) ] |
attr bottom:INT; |
---|
**** | 0<bottom<pt<st.size [ 0..(static work).. Bottom..(stack work) ] |
**** | [ 0..(static work).. Bottom..(stack work) ] |
attr pt:INT; |
---|
**** | stack pointer. assume that stack.has_ind(pt). [ 0..(static work).. Bottom..(stack work) ] |
attr st:ARRAY{ARRAY{INT}}; |
---|
**** | stack [ 0..(static work).. Bottom..(stack work) ] |
end; |
---|
attr Jn:INT; |
---|
**** | index of permutation [ 0..(static work).. Bottom..(stack work) ] |
attr Jn1:INT; |
---|
**** | Jn+1 [ 0..(static work).. Bottom..(stack work) ] |
attr Jn2:INT; |
---|
**** | Jn+2 [ 0..(static work).. Bottom..(stack work) ] |