24.15 ExponentsAgWord

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 

Previous Up Top
Index

GAP 3.4.4
April 1997