tr1 * tr2
* evaluates to the product of the two transformations
tr1 and tr2.
tr * perm
perm * tr
* evaluates to the product of the transformation tr and
the permutation perm in the given order if the degree of perm is less
than or equal to the degree of tr.
list * tr
tr * list
* evaluates to the list of products of the elements in
list with the transformation tr. That means that the value is a new
list new such that
new[i] = list[i] * tr or
tr * list[i], respectively.
i ^ tr
^ evaluates to the image <i>^<tr> of the positive
integer i under the transformation tr if i is less than the degree
tr ^ 0
^ evaluates to the identity transformation on n points
if tr is a transformation on n points (see IdentityTransformation).
tr ^ i
For a positive integer i the operator
^ evaluates to the i-th
power of the transformation tr.
tr ^ -1
^ evaluates to the inverse mapping of the transformation