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

Problem with IsomorphismGroups in master #963

Closed
hungaborhorvath opened this issue Nov 27, 2016 · 0 comments
Closed

Problem with IsomorphismGroups in master #963

hungaborhorvath opened this issue Nov 27, 2016 · 0 comments
Milestone

Comments

@hungaborhorvath
Copy link
Contributor

Current master has a problem with IsomorphismGroups for the smallest perfect group:

 ┌───────┐   GAP v4.8.3-517-g03e2122 of 2016-04-14 00:20:37 (CEST)
 │  GAP  │   http://www.gap-system.org
 └───────┘   Architecture: x86_64-pc-linux-gnu-gcc-default64
 Libs used:  gmp, readline
 Loading the library and packages ...
 Components: trans 1.0, prim 3.0, small* 1.0, id* 1.0
 Packages:   AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.1, AutPGrp 1.6, 
             Browse 1.8.6, CRISP 1.4.4, Cryst 4.1.12, CrystCat 1.1.6, 
             CTblLib 1.2.2, FactInt 1.5.3, FGA 1.3.1, GAPDoc 1.5.1, IO 4.4.6, 
             IRREDSOL 1.3.1, LAGUNA 3.7.0, Polenta 1.3.7, Polycyclic 2.11, 
             RadiRoot 2.7, ResClasses 4.5.0, Sophus 1.23, SpinSym 1.5, 
             TomLib 1.2.6, Utils 0.43
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> G := PerfectGroup(120,1);
A5 2^1
gap> IsomorphismGroups(G, SL(2,5));
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 2nd choice method found for `FittingFreeLiftSetup' on 1 arguments at /home/ghorvath/work/gap/lib/methsel2.g:241 called from
FittingFreeLiftSetup( G 
 ) at /home/ghorvath/work/gap/lib/autsr.gi:234 called from
AutomGrpSR( G ) at /home/ghorvath/work/gap/lib/morpheus.gi:1950 called from
AutomorphismGroup( G 
 ); at /home/ghorvath/work/gap/lib/autsr.gi:810 called from
PatheticIsomorphism( G, H 
 ) at /home/ghorvath/work/gap/lib/morpheus.gi:2051 called from
<function "IsomorphismGroups">( <arguments> )
 called from read-eval loop at *stdin*:2
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> 

This works properly in stable:

 ┌───────┐   GAP 4.8.6, 12-Nov-2016, build of 2016-11-14 18:54:46 (CET)
 │  GAP  │   http://www.gap-system.org
 └───────┘   Architecture: x86_64-pc-linux-gnu-gcc-default64
 Libs used:  gmp, readline
 Loading the library and packages ...
 Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
 Packages:   AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.1, AutPGrp 1.6, 
             Browse 1.8.6, CRISP 1.4.4, Cryst 4.1.12, CrystCat 1.1.6, 
             CTblLib 1.2.2, FactInt 1.5.3, FGA 1.3.1, GAPDoc 1.5.1, IO 4.4.6, 
             IRREDSOL 1.3.1, LAGUNA 3.7.0, Polenta 1.3.7, Polycyclic 2.11, 
             RadiRoot 2.7, ResClasses 4.5.0, Sophus 1.23, SpinSym 1.5, 
             TomLib 1.2.6, Utils 0.43
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> G := PerfectGroup(120,1); 
A5 2^1
gap> IsomorphismGroups(G, SL(2,5));
[ (b^-1*(b^-1*a^-1)^2)^2*(b*(b*a)^2)^2*b^2, b^2 ] -> 
[ [ [ 0*Z(5), Z(5)^2 ], [ Z(5)^0, Z(5)^2 ] ], 
  [ [ Z(5)^2, Z(5)^2 ], [ Z(5)^0, 0*Z(5) ] ] ]
gap> 

@hulpke Can this be caused by #896 ?

@olexandr-konovalov olexandr-konovalov added this to the GAP 4.9.0 milestone Nov 27, 2016
hulpke added a commit to hulpke/gap that referenced this issue Nov 27, 2016
hulpke added a commit to hulpke/gap that referenced this issue Nov 28, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants