ExponentsAgWord( g )
ExponentsAgWord( g, s, e )
ExponentsAgWord( g, s, e, root )
In its first form ExponentsAgWord
returns the exponent vector of an ag
word g, with respect to the AG system of the supergroup of g, as list
of integers. In the second form ExponentsAgWord
returns the sublist of
the exponent vector of g starting at position s and ending at
position e as list of integers. In the third form the vector is
returned as list of finite field elements over the same finite field as
root.
Let G be the parent group of g and (g_1, ..., g_n) the AG system of
G and let o_i be the relative order of g_i. Then the element g
can be expressed uniquely in the form g_1^{nu_1}* ...* g_n^{nu_n}
for integers nu_i between 0 and o_i-1. The exponent vector of g
is the list [nu_1, ..., nu_n]
.
Note that you must use Exponents
if you want to get the exponent list
of g with respect not to the parent group of g but to a given
subgroup, which contains g. See Exponents for details.
gap> ExponentsAgWord( a * b^2 * c^2 * d ); [ 1, 2, 0, 1 ] gap> a * b^2 * c^2 * d; a*b^2*d
GAP 3.4.4