In MAGMA, if you are dealing with an element $x\in H$ for some group $H$, and you know that $H
Coercion in MAGMA
2
$\begingroup$
group-theory
finite-groups
computer-algebra-systems
magma-cas
-
0No need to apologize; after all, the correct tag didn't even exist when you asked this question. – 2012-11-02
2 Answers
4
G!CycleDecomposition(g);
will work
-
0Thanks for the quick and helpful responses. – 2012-11-02
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.