Let $G:=F/[x^{a}*y^{-b}*z^{-c}, y^{q}*x^{-p}*z^{-r},z^{k}*x^{-v}*y^{-w}]$ be abelian group by given relations $m:=[[a,b,c],[p,q,r],[v,w,k]]$ and given restrictions of elements of $m$. How to add the condition such that the elements of the group $G$ are in normal form in the following code?
F:=FreeAbelianGroup(3);
x:=F.1;; y:=F.2;; z:=F.3;;
n:= 145;; a:=1;; b:=8;; c:=4;; p;; q:=6;;
for r in [2..10] do
for v in [11..16]do
for w in [2..10]do
for k in [2..20]do
total:=[];;
G:=F/[x^a*y^-b*z^-c, y^xq*x^-p*z^-r,z^k*x^-v*y^-w];
m:=[[a,b,c],[p,q,r],[v,w,k]];
if IsCyclic(G) and Determinant(m) mod n=0 then
Print(m," size ", Size(G),"\n");
Add(total,Mt);
fi;
od;
od;
od;
od;
I tried with
List(L,p->PolynomialReducedRemainder(p,gb,MonomialGrlexOrdering()));
when there is given the presentation of $G$. But in this case the relations are given by $a,b,c$ ... and do not know how to be considered that elements of $G$ must be in normal ordering.
Thanks in advance