Coercion in MAGMA

Question

In MAGMA, if you are dealing with an element $x\in H$ for some group $H$, and you know that $H<G$ for some group $G$, is there an easy way to coerce $x$ into $G$ (e.g. if $H=\text{Alt}(n)$ and $G=\text{Alt}(n+k)$ for some $k\geq 1$)? The natural coercion method $G!x$ does not seem to work.

Answer 1

G!CycleDecomposition(g);

will work

Answer 2

One way would be to define the inclusion homomorphism $H \hookrightarrow G$ and apply it to your element $x$. See http://magma.maths.usyd.edu.au/magma/handbook/text/547#5783 for how to define homomorphisms.