Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

bug in view for words in a free group #3845

Closed
ThomasBreuer opened this issue Jan 13, 2020 · 2 comments · Fixed by #3847
Closed

bug in view for words in a free group #3845

ThomasBreuer opened this issue Jan 13, 2020 · 2 comments · Fixed by #3847
Assignees
Labels
kind: bug: wrong result Issues describing bugs that result in mathematically or otherwise wrong results, and PRs fixing them kind: bug Issues describing general bugs, and PRs fixing them

Comments

@ThomasBreuer
Copy link
Contributor

The following happens in GAP 4.10.2 as well as in the current master branch.

gap> f:= FreeGroup( ["x","y"] );;
gap> x:= f.1;;  y:= f.2;;
gap> w1:= y^7*x*y*x*y^3*x*y*x;
y^4*(y^2*(y*x)^2)^2
gap> w2:= y^-7*x*y^16;
y^-7*x*y^16
gap> w:= w1 * w2;
y^4*(y^2*y^16^2)^2*y^-7*x*y^16

(The way how w1 and w2 are viewed is correct, but the way w is viewed is wrong.)

@fingolfin fingolfin added kind: bug Issues describing general bugs, and PRs fixing them kind: bug: wrong result Issues describing bugs that result in mathematically or otherwise wrong results, and PRs fixing them labels Jan 13, 2020
@fingolfin
Copy link
Member

fingolfin commented Jan 13, 2020

This regression is also in GAP 4.9, but not in GAP 4.8, 4.7, 4.6. It was introduced before the HPC-GAP merge and the new build system. I'm now bisecting it.

@fingolfin
Copy link
Member

The regression was introduced by commit b2d2bb2 (ping @hulpke)

hulpke added a commit to hulpke/gap that referenced this issue Jan 13, 2020
Re-indexing with temporary letters went wrong if there were already powers
stored.

close gap-system#3845
hulpke added a commit that referenced this issue Jan 14, 2020
* FIX: Printing of assoc. words if there are iterated powers

Re-indexing with temporary letters went wrong if there were already powers
stored.

close #3845
fingolfin pushed a commit that referenced this issue Jan 27, 2020
* FIX: Printing of assoc. words if there are iterated powers

Re-indexing with temporary letters went wrong if there were already powers
stored.

close #3845
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: bug: wrong result Issues describing bugs that result in mathematically or otherwise wrong results, and PRs fixing them kind: bug Issues describing general bugs, and PRs fixing them
Projects
None yet
3 participants