ENHANCE: In MTC, make relators canonical (better duplicate detection)

gap-system · Aug 11, 2016 · 0184f00 · 0184f00
1 parent cb2f07f
commit 0184f00
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/sgpres.gi b/lib/sgpres.gi
@@ -3383,6 +3383,8 @@ local DATA,rels,i,j,w,f,r,s,fam,new,ri,a,offset,p,rset,re,start,stack,pres,
     CompletionBar(InfoFpGroup,2,"Coset Loop: ",i/DATA.n);
     for w in DATA.rels do
       r:=NEWTC_Rewrite(DATA,i,w);
+      MakeCanonical(r);
+
       # reduce with others
       for j in rels do
 	r:=NEWTC_ReplacedStringCyclic(r,j);