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 Stabilizer for alternating group #665

Closed
ChrisJefferson opened this issue Mar 9, 2016 · 2 comments
Closed

Bug in Stabilizer for alternating group #665

ChrisJefferson opened this issue Mar 9, 2016 · 2 comments
Labels
kind: bug Issues describing general bugs, and PRs fixing them

Comments

@ChrisJefferson
Copy link
Contributor

The following code breaks in master (and 4.8.3), it worked in 4.8.0. It is specifically knowledge of IsAlternatingGroup which breaks things. The problem was introduced somewhere in the range 4485002..4fca53f, which is a range of commits where @stevelinton added a number of optimisations for symmetric and alternating groups. Unfortunately it's not obvious to me what in that range of commits broke things, or if this is some deeper issue pushed to the surface by those commits.

gap> g := Group([ (1,2,3), (2,3,4) ]);
Group([ (1,2,3), (2,3,4) ])
gap> IsAlternatingGroup(g);
true
gap> Stabilizer(g, [ [1,2], [3,4] ], OnSetsSets);
Error, Variable: 'stopat' must have an assigned value in
  p := stopat; at /Users/caj/reps/gap/gap/lib/oprt.gi:1291 called from
OrbitStabilizerAlgorithm( G, false, false, gens, acts, rec(
    pnt := d,
    act := act,
    onlystab := true ) ) at /Users/caj/reps/gap/gap/lib/oprt.gi:2861 called from
orbish( G, pnt, gens, acts, act ) at /Users/caj/reps/gap/gap/lib/oprt.gd:863 called from
CallFuncList( StabilizerFunc, arg ) at /Users/caj/reps/gap/gap/lib/oprt.gi:2829 called from
CallFuncList( Stabilizer, Concatenation( [ SymmetricParentGroup( g ) ], arg )
 ) at /Users/caj/reps/gap/gap/lib/gpprmsya.gi:1018 called from
orbish( G, pnt, gens, acts, act ) at /Users/caj/reps/gap/gap/lib/oprt.gd:863 called from
...  at line 3 of *stdin*
you can 'return;' after assigning a value
@ChrisJefferson ChrisJefferson added the kind: bug Issues describing general bugs, and PRs fixing them label Mar 9, 2016
hulpke added a commit to hulpke/gap that referenced this issue Mar 9, 2016
Stabilizer for alternating groups defers in some cases to symmetric group.
In this situation, one cannot simply keep the generators of the alternating
group.

This fixes gap-system#665
hulpke added a commit to hulpke/gap that referenced this issue Mar 9, 2016
Stabilizer for alternating groups defers in some cases to symmetric group.
In this situation, one cannot simply keep the generators of the alternating
group.

This fixes gap-system#665
@stevelinton
Copy link
Contributor

Thanks for catching this. It was my error.

@olexandr-konovalov
Copy link
Member

I will close this - it's fixed by @hulpke in #667.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: bug Issues describing general bugs, and PRs fixing them
Projects
None yet
Development

No branches or pull requests

3 participants