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 MakeImagesInfoLinearGeneralMappingByImages ? #4481

Closed
cdwensley opened this issue May 10, 2021 · 1 comment
Closed

bug in MakeImagesInfoLinearGeneralMappingByImages ? #4481

cdwensley opened this issue May 10, 2021 · 1 comment

Comments

@cdwensley
Copy link
Contributor

Please use the following template to submit an issue
(you may delete lines which are not used). Thank you!

Observed behaviour

gap> F := GF(3);;                                                           
gap> A35 := GroupRing( F, G );;                                             
gap> vecA := BasisVectors( Basis( A35 ) );;                                 
gap> I35 := AugmentationIdeal( A35 );;                                      
gap> vecI := BasisVectors( Basis( I35 ) );;                                 
gap> maps := ListWithIdenticalEntries( 5, 0 );;                             
gap> for j in [1..5] do                                                     
>        im := List( vecI, v -> v*vecA[j] );                             
>        maps[j] := LeftModuleHomomorphismByImages( I35, I35, vecI, im );
>    od;
gap> hom := LeftModuleHomomorphismByImages( A35, M, vecA, maps );           
Error, <imgs> must lie in <R> at /Applications/gap/gapdev/lib/vspchom.gi:160 called from
LeftModuleGeneralMappingByImages( S, R, gens, imgs 
 ) at /Applications/gap/gapdev/lib/vspchom.gi:215 called from
<function "LeftModuleHomomorphismByImages">( <arguments> )
 called from read-eval loop at *stdin*:30
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> 

alternative error message: 
```Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `*' on 2 arguments at /Applications/gap/gapdev/lib/methsel2.g:249 called from
coeff[1] * B[1] at /Applications/gap/gapdev/lib/basis.gi:363 called from
LinearCombination( x, mapi[2] ) at /Applications/gap/gapdev/lib/vspchom.gi:321 called from
func( C[i] ) at /Applications/gap/gapdev/lib/coll.gi:665 called from
List( ech.coeffs, function ( x )
      return LinearCombination( x, mapi[2] );
  end ) at /Applications/gap/gapdev/lib/vspchom.gi:321 called from
MakeImagesInfoLinearGeneralMappingByImages( map 
 ); at /Applications/gap/gapdev/lib/vspchom.gi:414 called from
...  
type 'quit;' to quit to outer loop


### Expected behaviour
```gap> hom := LeftModuleHomomorphismByImages( A35, M, vecA, maps ); 
[ (Z(3)^0)*(), (Z(3)^0)*(1,2,3,4,5), (Z(3)^0)*(1,3,5,2,4), 
  (Z(3)^0)*(1,4,2,5,3), (Z(3)^0)*(1,5,4,3,2) ] -> 
[ [ (Z(3)^0)*()+(Z(3))*(1,2,3,4,5), (Z(3)^0)*(1,2,3,4,5)+(Z(3))*(1,3,5,2,4), 
      (Z(3)^0)*(1,3,5,2,4)+(Z(3))*(1,4,2,5,3), 
      (Z(3)^0)*(1,4,2,5,3)+(Z(3))*(1,5,4,3,2) ] -> 
    [ (Z(3)^0)*()+(Z(3))*(1,2,3,4,5), (Z(3)^0)*(1,2,3,4,5)+(Z(3))*(1,3,5,2,4),
      (Z(3)^0)*(1,3,5,2,4)+(Z(3))*(1,4,2,5,3), 
      (Z(3)^0)*(1,4,2,5,3)+(Z(3))*(1,5,4,3,2) ], 
  [ (Z(3)^0)*()+(Z(3))*(1,2,3,4,5), (Z(3)^0)*(1,2,3,4,5)+(Z(3))*(1,3,5,2,4), 
      (Z(3)^0)*(1,3,5,2,4)+(Z(3))*(1,4,2,5,3), 
      (Z(3)^0)*(1,4,2,5,3)+(Z(3))*(1,5,4,3,2) ] -> 
    [ (Z(3)^0)*(1,2,3,4,5)+(Z(3))*(1,3,5,2,4), 
      (Z(3)^0)*(1,3,5,2,4)+(Z(3))*(1,4,2,5,3), 
      (Z(3)^0)*(1,4,2,5,3)+(Z(3))*(1,5,4,3,2), (Z(3))*()+(Z(3)^0)*(1,5,4,3,2) 
     ], 
  [ (Z(3)^0)*()+(Z(3))*(1,2,3,4,5), (Z(3)^0)*(1,2,3,4,5)+(Z(3))*(1,3,5,2,4), 
      (Z(3)^0)*(1,3,5,2,4)+(Z(3))*(1,4,2,5,3), 
      (Z(3)^0)*(1,4,2,5,3)+(Z(3))*(1,5,4,3,2) ] -> 
    [ (Z(3)^0)*(1,3,5,2,4)+(Z(3))*(1,4,2,5,3), 
      (Z(3)^0)*(1,4,2,5,3)+(Z(3))*(1,5,4,3,2), (Z(3))*()+(Z(3)^0)*(1,5,4,3,2),
      (Z(3)^0)*()+(Z(3))*(1,2,3,4,5) ], 
  [ (Z(3)^0)*()+(Z(3))*(1,2,3,4,5), (Z(3)^0)*(1,2,3,4,5)+(Z(3))*(1,3,5,2,4), 
      (Z(3)^0)*(1,3,5,2,4)+(Z(3))*(1,4,2,5,3), 
      (Z(3)^0)*(1,4,2,5,3)+(Z(3))*(1,5,4,3,2) ] -> 
    [ (Z(3)^0)*(1,4,2,5,3)+(Z(3))*(1,5,4,3,2), (Z(3))*()+(Z(3)^0)*(1,5,4,3,2),
      (Z(3)^0)*()+(Z(3))*(1,2,3,4,5), (Z(3)^0)*(1,2,3,4,5)+(Z(3))*(1,3,5,2,4) 
     ], 
  [ (Z(3)^0)*()+(Z(3))*(1,2,3,4,5), (Z(3)^0)*(1,2,3,4,5)+(Z(3))*(1,3,5,2,4), 
      (Z(3)^0)*(1,3,5,2,4)+(Z(3))*(1,4,2,5,3), 
      (Z(3)^0)*(1,4,2,5,3)+(Z(3))*(1,5,4,3,2) ] -> 
    [ (Z(3))*()+(Z(3)^0)*(1,5,4,3,2), (Z(3)^0)*()+(Z(3))*(1,2,3,4,5), 
      (Z(3)^0)*(1,2,3,4,5)+(Z(3))*(1,3,5,2,4), 
      (Z(3)^0)*(1,3,5,2,4)+(Z(3))*(1,4,2,5,3) ] ]

### Copy and paste GAP banner (to tell us about your setup)
``` ┌───────┐   GAP 4.8.8-7882-g179c9d7 built on 2021-04-14 12:23:01+0100
 │  GAP  │   https://www.gap-system.org
 └───────┘   Architecture: x86_64-apple-darwin17.7.0-default64-kv8
 Configuration:  gmp 6.2.1, GASMAN
 Loading the library and packages ...
 Packages:   AClib 1.3.2, Alnuth 3.1.2, AtlasRep 2.1.0, AutoDoc 2019.09.04, 
             AutPGrp 1.10.2, Browse 1.8.8, CaratInterface 2.3.3, CRISP 1.4.5, 
             Cryst 4.1.23, CrystCat 1.1.9, CTblLib 1.2.2, FactInt 1.6.3, 
             FGA 1.4.0, Forms 1.2.5, GAPDoc 1.6.3, genss 1.6.6, IO 4.7.0, 
             IRREDSOL 1.4, LAGUNA 3.9.3, orb 4.8.3, Polenta 1.3.9, 
             Polycyclic 2.15.1, PrimGrp 3.4.0, RadiRoot 2.8, recog 1.3.2, 
             ResClasses 4.7.2, SmallGrp 1.4.1, Sophus 1.24, SpinSym 1.5.2, 
             TomLib 1.2.9, TransGrp 2.0.5, utils 0.69
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
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