class RTCODE |
---|
**** | class about reduced tcode for polynomial invariants |
DelCTail(t1,t2:CARD,tPtr:CARD) |
---|
**** | remove codes at t1 t2. assume that t1 < t2 |
DelSeqTail(t1,t2:CARD,tPtr:CARD) |
---|
**** | remove codes from t1 to t2-1 |
TrimC(tPtrT, cPtr:CARD) |
---|
**** |
__trim_loop_near_'ks'code |
TrimDelPC(tPtrT:CARD) |
---|
**** |
__del_crossing_code |
TrimL(tPtrT, lPtr:CARD) |
---|
**** |
__trim_at_a_loop_ |
TrimRotOV(inout tPtr:CARD) |
---|
clone(stp:CARD):SAME |
---|
**** | clone after "stp" |
create(tcode:TCODE):SAME |
---|
exgCmpTail(s1,s2,s3:CARD) |
---|
**** | exchange segment s1..s2-1 s2..s3-1. only set companion after s1 |
printD(tPtr:CARD) |
---|
rotOvCmpTail(stp:CARD):INT |
---|
**** | move start points until the first crossing of the specified component cross __over__ return moved length |
rotOvCmpTail2(inout stp:CARD):INT |
---|
support:CARD |
---|
**** | not void if 1>=spport. |