class WORD |
---|
**** | group word |
BRAID |
attr w:ARRAY{INT}; |
---|
attr w:ARRAY{INT}; |
---|
aget(i:CARD):INT |
---|
append(s:INT) |
---|
append(s:INT):SAME |
---|
append(b:SAME) |
---|
append(b:SAME):SAME |
---|
aset(i:CARD, g:INT) |
---|
cancel:SAME |
---|
check:BOOL |
---|
clone:SAME |
---|
create(s:STR):SAME |
---|
**** | convert STR to WORD. format: "2 -1 3 -2 -3 2 1"
__________^^^^^^^^^^^^^^^^word |
create:SAME |
---|
delete(pos:CARD) |
---|
delete(pos:CARD):SAME |
---|
div(s:INT):SAME |
---|
div(b:SAME):SAME |
---|
gstr(g:INT, b:INT):STR |
---|
**** | b: base for coverings. x_{g.b} or x_{g.b}^{-1} |
gstr(g:INT,b:INT, s1,s2,s3:STR):STR |
---|
**** | b: base for coverings s1(s2 resp.) is pre(post resp.) str for generator name "g". |
insert(pos:CARD, s:INT) |
---|
insert(pos:CARD, s:INT):SAME |
---|
insert(pos:CARD,b:SAME):SAME |
---|
inverse:SAME |
---|
**** | inverse as group |
is_trivial:BOOL |
---|
maxGen:CARD |
---|
**** | m= max index of generator |
pow(n:CARD):SAME |
---|
pow(n:INT):SAME |
---|
printD |
---|
**** | print for debug/check |
reverse:SAME |
---|
**** | reverse order of elements |
size:CARD |
---|
str:STR |
---|
str_n(nl:CARD):STR |
---|
**** | convert WORD to STR as a sequence of number "\n" can be included. format: "1 2 3 -2 -1 -2" |
times(s:INT):SAME |
---|
times(b:SAME):SAME |
---|
total_appearance(g:INT):INT |
---|
**** | total appearance for g-th generator. |
total_negative_power:INT |
---|
total_positive_power:INT |
---|
total_power(g:INT):INT |
---|
**** | total power for g-th generator. |
total_power:INT |
---|
wstr(s1,s2,s3:STR):STR |
---|
**** | convert WORD to STR s1(s2 resp.) is pre(post resp.) str for generator name "g". |
wstr:STR |
---|
**** | convert WORD to STR in TeX like format as "x_{1} x_{2} x_{1}^{-1} x_{2}^{-1}" |
ind!:CARD |
---|