|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of CharTable in repthy |
| Fields in repthy declared as CharTable | |
protected CharTable |
Group.charTable
Should be accessed by Group.getCharTable(), not directly,
because the method makes sure to fill in the table the first
time. |
| Methods in repthy that return CharTable | |
CharTable |
S_n.getCharTable()
Same as the regular method, except uses the theorem that every value in the character table is an integer if (and only if) the group is Sn. |
CharTable |
Group.getCharTable()
Returns the character table, filling it in automatically the first time. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||