1 | initial version |
Regarding your first problem: in the group you defined, x^-1
is the same as x^4
, and x^-2
is the same as x^3
, so the answer returned by GAP is correct. I don't know if there is a way to ask GAP to display only positive powers.
As for the multiplication table, you need to spell it MultiplicationTable
instead of MultTable
:
gap> f := FreeGroup("x");
<free group on the generators [ x ]>
gap> AssignGeneratorVariables(f);
#I Assigned the global variables [ x ]
gap> x^5 * x^-7;
x^-2
gap> g := f/[x^5];
<fp group on the generators [ x ]>
gap> AssignGeneratorVariables(g);
#I Global variable `x' is already defined and will be overwritten
#I Assigned the global variables [ x ]
gap> Size(g);
5
gap> List(g);
[ <identity ...>, x, x^-1, x^2, x^-2 ]
gap> MultTable(g);
Error, Variable: 'MultTable' must have a value
not in any function at line 16 of *stdin*
gap> MultiplicationTable(g);
[ [ 1, 2, 3, 4, 5 ], [ 2, 3, 4, 5, 1 ], [ 3, 4, 5, 1, 2 ], [ 4, 5, 1, 2, 3 ], [ 5, 1, 2, 3, 4 ] ]
gap>