Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package gap-groupoids for openSUSE:Factory checked in at 2026-08-20 16:16:21 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/gap-groupoids (Old) and /work/SRC/openSUSE:Factory/.gap-groupoids.new.1258 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "gap-groupoids" Thu Aug 20 16:16:21 2026 rev:9 rq:1372164 version:1.83 Changes: -------- --- /work/SRC/openSUSE:Factory/gap-groupoids/gap-groupoids.changes 2026-07-06 12:29:09.948797225 +0200 +++ /work/SRC/openSUSE:Factory/.gap-groupoids.new.1258/gap-groupoids.changes 2026-08-20 16:16:33.914944711 +0200 @@ -1,0 +2,6 @@ +Thu Aug 20 07:35:52 UTC 2026 - Jan Engelhardt <[email protected]> + +- Update to release 1.83 + * Adjust output after changes in automorphism group code + +------------------------------------------------------------------- Old: ---- groupoids-1.82.tar.gz New: ---- groupoids-1.83.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ gap-groupoids.spec ++++++ --- /var/tmp/diff_new_pack.PQh6vC/_old 2026-08-20 16:16:35.431998382 +0200 +++ /var/tmp/diff_new_pack.PQh6vC/_new 2026-08-20 16:16:35.433998453 +0200 @@ -17,7 +17,7 @@ Name: gap-groupoids -Version: 1.82 +Version: 1.83 Release: 0 Summary: GAP: Groupoids, graphs of groups, and graphs of groupoids License: GPL-2.0-or-later ++++++ _scmsync.obsinfo ++++++ --- /var/tmp/diff_new_pack.PQh6vC/_old 2026-08-20 16:16:35.470999762 +0200 +++ /var/tmp/diff_new_pack.PQh6vC/_new 2026-08-20 16:16:35.474999903 +0200 @@ -1,5 +1,5 @@ -mtime: 1783276457 -commit: 3c150a3670b38ab52a92e61dfd00b95824eafa3d2f59b0bff4fac84ef6711aad +mtime: 1787211366 +commit: 72db30176194f6c15887646a2545fd52547b922cf9f74f870dbffac197357e5a url: https://src.opensuse.org/jengelh/gap-groupoids revision: master ++++++ build.specials.obscpio ++++++ ++++++ build.specials.obscpio ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/.gitignore new/.gitignore --- old/.gitignore 1970-01-01 01:00:00.000000000 +0100 +++ new/.gitignore 2026-08-20 09:36:06.000000000 +0200 @@ -0,0 +1 @@ +.osc ++++++ groupoids-1.82.tar.gz -> groupoids-1.83.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/CHANGES.md new/groupoids-1.83/CHANGES.md --- old/groupoids-1.82/CHANGES.md 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/CHANGES.md 2026-08-19 02:00:00.000000000 +0200 @@ -1,6 +1,7 @@ # CHANGES to the 'groupoids' package -## Version 1.82 for GAP 4.16.0 (03/07/26) +## Version 1.83 for GAP 4.16.0 (19/08/26) + * (19/08/26) adjust output after changes in automorphism group code * (03/07/26) tst/extra/cosets.tst returns some errors when tested with 4.13 and 4.14, so these versions removed from CI.yml diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/PackageInfo.g new/groupoids-1.83/PackageInfo.g --- old/groupoids-1.82/PackageInfo.g 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/PackageInfo.g 2026-08-19 02:00:00.000000000 +0200 @@ -8,8 +8,8 @@ PackageName := "groupoids", Subtitle := "Calculations with finite groupoids and their homomorphisms", -Version := "1.82", -Date := "03/07/2026", # dd/mm/yyyy format +Version := "1.83", +Date := "19/08/2026", # dd/mm/yyyy format License := "GPL-2.0-or-later", Persons := [ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/doc/_entities.xml new/groupoids-1.83/doc/_entities.xml --- old/groupoids-1.82/doc/_entities.xml 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/doc/_entities.xml 2026-08-19 02:00:00.000000000 +0200 @@ -1,6 +1,6 @@ <!ENTITY AutoDoc '<Package>AutoDoc</Package>'> -<!ENTITY RELEASEDATE '3 July 2026'> +<!ENTITY RELEASEDATE '19 August 2026'> <!ENTITY RELEASEYEAR '2026'> -<!ENTITY VERSION '1.82'> +<!ENTITY VERSION '1.83'> <!ENTITY XMod '<Package>XMod</Package>'> <!ENTITY groupoids '<Package>groupoids</Package>'> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/doc/_main.tex new/groupoids-1.83/doc/_main.tex --- old/groupoids-1.82/doc/_main.tex 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/doc/_main.tex 2026-08-19 02:00:00.000000000 +0200 @@ -105,8 +105,8 @@ \mbox{}}}\\ \vfill -{\Huge 1.82 \mbox{}}\\[1cm] -{ 3 July 2026 \mbox{}}\\[1cm] +{\Huge 1.83 \mbox{}}\\[1cm] +{ 19 August 2026 \mbox{}}\\[1cm] \mbox{}\\[2cm] {\Large \textbf{\strut Emma J. Moore \strut\mbox{}}}\\ {\Large \textbf{\strut Chris Wensley \strut\mbox{}}}\\ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/doc/chap0.html new/groupoids-1.83/doc/chap0.html --- old/groupoids-1.82/doc/chap0.html 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/doc/chap0.html 2026-08-19 02:00:00.000000000 +0200 @@ -29,10 +29,10 @@ <h2>Calculations with finite groupoids and their homomorphisms</h2> <p> - 1.82</p> + 1.83</p> <p> - 3 July 2026 + 19 August 2026 </p> </div> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/doc/chap0.txt new/groupoids-1.83/doc/chap0.txt --- old/groupoids-1.82/doc/chap0.txt 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/doc/chap0.txt 2026-08-19 02:00:00.000000000 +0200 @@ -6,10 +6,10 @@ [1X Calculations with finite groupoids and their homomorphisms [101X - 1.82 + 1.83 - 3 July 2026 + 19 August 2026 Emma J. Moore diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/doc/chap0_mj.html new/groupoids-1.83/doc/chap0_mj.html --- old/groupoids-1.82/doc/chap0_mj.html 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/doc/chap0_mj.html 2026-08-19 02:00:00.000000000 +0200 @@ -32,10 +32,10 @@ <h2>Calculations with finite groupoids and their homomorphisms</h2> <p> - 1.82</p> + 1.83</p> <p> - 3 July 2026 + 19 August 2026 </p> </div> Binary files old/groupoids-1.82/doc/manual.pdf and new/groupoids-1.83/doc/manual.pdf differ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/doc/title.xml new/groupoids-1.83/doc/title.xml --- old/groupoids-1.82/doc/title.xml 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/doc/title.xml 2026-08-19 02:00:00.000000000 +0200 @@ -9,7 +9,7 @@ Calculations with finite groupoids and their homomorphisms </Subtitle> <Version> - 1.82 + 1.83 </Version> <Author> Emma J. Moore @@ -20,7 +20,7 @@ <Homepage>https://github.com/cdwensley</Homepage> </Author> <Date> - 3 July 2026 + 19 August 2026 </Date> <Abstract> The &groupoids; package provides functions for computation with groupoids (categories with every arrow invertible) and their morphisms; for graphs of groups, and graphs of groupoids. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/tst/extra/nicemap.tst new/groupoids-1.83/tst/extra/nicemap.tst --- old/groupoids-1.82/tst/extra/nicemap.tst 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/tst/extra/nicemap.tst 2026-08-19 02:00:00.000000000 +0200 @@ -3,8 +3,8 @@ #W nicemap.tst Groupoids Package Chris Wensley ## -gap> gpd_infolevel_saved := InfoLevel( InfoGroupoids );; -gap> SetInfoLevel( InfoGroupoids, 0 );; +gap> gpd_infolevel_saved := InfoLevel( InfoGroupoids );; +gap> SetInfoLevel( InfoGroupoids, 0 );; gap> a4 := Group( (1,2,3), (2,3,4) );; gap> SetName( a4, "a4" ); @@ -13,204 +13,26 @@ single piece groupoid: objects: [ -9, -8, -7 ] group: a4 = <[ (1,2,3), (2,3,4) ]> -gap> a4 := Ga4!.magma;; +gap> a4 := Ga4!.magma;; gap> ga4 := GeneratorsOfGroup( a4 );; gap> obs := ObjectList( Ga4 );; -gap> ro := obs[1];; -gap> nobs := Length( obs );; -gap> AGa4 := AutomorphismGroupOfGroupoid( Ga4 );; -gap> Size( AGa4 ); +gap> ro := obs[1];; +gap> nobs := Length( obs );; +gap> AGa4 := AutomorphismGroupOfGroupoid( Ga4 );; +gap> Size( AGa4 ); 20736 -gap> nob := NiceObject( AGa4 );; +gap> AGa4 = AutomorphismGroup( Ga4 ); +true +gap> nob := NiceObject( AGa4 );; +gap> names := [ "(((A4 x A4 x A4) : C2) : C3) : C2", +> "(C2 x C2 x C2 x C2 x C2 x C2) : (((C3 x C3 x C3) : C3) : (C2 x C2))" ];; +gap> StructureDescription( nob ) in names; +true gap> gennob := GeneratorsOfGroup( nob ); [ f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, f11, f12 ] -gap> g1 := gennob[1];; g2 := gennob[2];; g3 := gennob[3];; -gap> g4 := gennob[4];; g5 := gennob[5];; g6 := gennob[6];; -gap> g7 := gennob[7];; g8 := gennob[8];; g9 := gennob[9];; -gap> g10:= gennob[10];; g11:= gennob[11];; g12:= gennob[12];; gap> nmon := NiceMonomorphism( AGa4 );; -gap> AGa4 := AutomorphismGroup( Ga4 );; -gap> genaut := GeneratorsOfGroup( AGa4 );; -gap> Length(genaut); -8 -gap> ## problem: Gap4.11 and GAPdev return different NiceMonomorphisms -gap> ver := GAPInfo.Version{[1..4]};; -gap> w := genaut[1]; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,3,4) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ] ] -gap> x := genaut[2]; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,4,3) : -9 -> -9], [(1,2,3) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ] ] -gap> y := genaut[3]; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,3) : -8 -> -8], [(2,3,4) : -8 -> -8], [() : -8 -> -7], - [() : -8 -> -9] ] ] -gap> z := genaut[4]; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,3) : -8 -> -8], [(2,3,4) : -8 -> -8], [() : -8 -> -9], - [() : -8 -> -7] ] ] -gap> u := genaut[5]; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [(1,2,3) : -9 -> -8], - [() : -9 -> -7] ] ] -gap> v := genaut[6]; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [(2,3,4) : -9 -> -8], - [() : -9 -> -7] ] ] -gap> s := genaut[7]; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [(1,2,3) : -9 -> -7] ] ] -gap> t := genaut[8]; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [(2,3,4) : -9 -> -7] ] ] -gap> w1 := ImageElm( nmon, w );; -gap> if ( ver = "4.11" ) then w2 := ( w1 = g4^2*g5^2*g6^2 ); -> elif ( ver = "4.12" ) then w2 := ( w1 = g6^2*g10 ); -> else w2 := true; fi; -gap> w2; -true -gap> x1 := ImageElm( nmon, x );; -gap> if ( ver = "4.11" ) then x2 := ( x1 = g3*g7*g8*g11*g12 ); -> elif ( ver = "4.12" ) then x2 := ( x1 = g2*g3*g4^2*g6^2*g8*g11 ); -> else x2 := true; fi; -gap> x2; -true -gap> y1 := ImageElm( nmon, y );; -gap> if ( ver = "4.11" ) then y2 := ( y1 = g2 ); -> elif ( ver = "4.12" ) then y2 := ( y1 = g5^2 ); -> else y2 := true; fi; -gap> y2; -true -gap> z1 := ImageElm( nmon, z );; -gap> if ( ver = "4.11" ) then z2 := ( z1 = g1*g2 ); -> elif ( ver = "4.12" ) then z2 := ( z1 = g1*g3*g5*g8 ); -> else z2 := true; fi; -gap> w2; -true -gap> u1 := ImageElm( nmon, u );; -gap> if ( ver = "4.11" ) then u2 := ( u1 = g5*g11 ); -> elif ( ver = "4.12" ) then u2 := ( u1 = g3^2*g4^2*g6*g9 ); -> else u2 := true; fi; -gap> u2; -true -gap> v1 := ImageElm( nmon, v );; -gap> if ( ver = "4.11" ) then v2 := ( v1 = g5^2 ); -> elif ( ver = "4.12" ) then v2 := ( v1 = g3*g4*g6^2*g10 ); -> else v2 := true; fi; -gap> v2; -true -gap> s1 := ImageElm( nmon, s );; -gap> if ( ver = "4.11" ) then s2 := ( s1 = g4*g9 ); -> elif ( ver = "4.12" ) then s2 := ( s1 = g3^2*g8 ); -> else s2 := true; fi; -gap> s2; -true -gap> t1 := ImageElm( nmon, t );; -gap> if ( ver = "4.11" ) then t2 := ( t1 = g4^2 ); -> elif ( ver = "4.12" ) then t2 := ( t1 = g3 ); -> else t2 := true; fi; -gap> t2; -true - -gap> aperm := GroupoidAutomorphismByObjectPerm( Ga4, [-8,-9,-7] ); -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,3) : -8 -> -8], [(2,3,4) : -8 -> -8], [() : -8 -> -9], - [() : -8 -> -7] ] ] -gap> a := GroupHomomorphismByImages( a4, a4, -> [ (1,2,3), (2,3,4) ], [ (1,2,4), (1,3,4) ] );; -gap> aauto := GroupoidAutomorphismByGroupAuto( Ga4, a ); -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,4) : -9 -> -9], [(1,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ] ] -gap> arays := GroupoidAutomorphismByRayShifts( Ga4, [ (), (1,4,3), (1,4,2) ] ); -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [(1,4,3) : -9 -> -8], - [(1,4,2) : -9 -> -7] ] ] - -#### make some basic checks -gap> a := Arrow( Ga4, (), -9, -9 );; -gap> b := Arrow( Ga4, (), -9, -8 );; -gap> c := Arrow( Ga4, (1,2,3), -8, -8 );; -gap> d := Arrow( Ga4, (2,3,4), -8, -7 );; -gap> e := Arrow( Ga4, (1,2)(3,4), -7, -7 );; -gap> f := Arrow( Ga4, (1,4,2), -7, -9 );; -gap> A := [ a, b, c, d, e, f ]; -[ [() : -9 -> -9], [() : -9 -> -8], [(1,2,3) : -8 -> -8], - [(2,3,4) : -8 -> -7], [(1,2)(3,4) : -7 -> -7], [(1,4,2) : -7 -> -9] ] -gap> Aw := List( A, k -> ImageElm( w, k ) ); -[ [() : -9 -> -9], [() : -9 -> -8], [(1,3,4) : -8 -> -8], - [(2,3,4) : -8 -> -7], [(1,3)(2,4) : -7 -> -7], [(1,2,3) : -7 -> -9] ] -gap> Az := List( A, k -> ImageElm( z, k ) ); -[ [() : -8 -> -8], [() : -8 -> -9], [(1,2,3) : -9 -> -9], - [(2,3,4) : -9 -> -7], [(1,2)(3,4) : -7 -> -7], [(1,4,2) : -7 -> -8] ] -gap> Awz := List( Aw, k -> ImageElm( z, k ) ); -[ [() : -8 -> -8], [() : -8 -> -9], [(1,3,4) : -9 -> -9], - [(2,3,4) : -9 -> -7], [(1,3)(2,4) : -7 -> -7], [(1,2,3) : -7 -> -8] ] -gap> Azw := List( Az, k -> ImageElm( w, k ) ); -[ [() : -8 -> -8], [() : -8 -> -9], [(1,3,4) : -9 -> -9], - [(2,3,4) : -9 -> -7], [(1,3)(2,4) : -7 -> -7], [(1,2,3) : -7 -> -8] ] -gap> Awz = Azw; -true -gap> wz := w*z;; -gap> B := List( A, k -> ImageElm( wz, k ) ); -[ [() : -8 -> -8], [() : -8 -> -9], [(1,3,4) : -9 -> -9], - [(2,3,4) : -9 -> -7], [(1,3)(2,4) : -7 -> -7], [(1,2,3) : -7 -> -8] ] -gap> Awz = B; -true -gap> ut := u*t; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [(1,2,3) : -9 -> -8], - [(2,3,4) : -9 -> -7] ] ] -gap> wzut := wz*ut; -groupoid homomorphism : -[ [ [(1,2,3) : -9 -> -9], [(2,3,4) : -9 -> -9], [() : -9 -> -8], - [() : -9 -> -7] ], - [ [(1,4,2) : -8 -> -8], [(1,4,3) : -8 -> -8], [(1,3,2) : -8 -> -9], - [(1,4,2) : -8 -> -7] ] ] -gap> Aut := List( A, k -> ImageElm( ut, k ) ); -[ [() : -9 -> -9], [(1,2,3) : -9 -> -8], [(1,2,3) : -8 -> -8], - [(1,2)(3,4) : -8 -> -7], [(1,3)(2,4) : -7 -> -7], [(1,4,3) : -7 -> -9] ] -gap> Awzut := List( Awz, k -> ImageElm( ut, k ) ); -[ [() : -8 -> -8], [(1,3,2) : -8 -> -9], [(1,3,4) : -9 -> -9], - [(2,4,3) : -9 -> -7], [(1,4)(2,3) : -7 -> -7], [(1,3)(2,4) : -7 -> -8] ] -gap> C := List( A, k -> ImageElm( wzut, k ) ); -[ [() : -8 -> -8], [(1,3,2) : -8 -> -9], [(1,3,4) : -9 -> -9], - [(2,4,3) : -9 -> -7], [(1,4)(2,3) : -7 -> -7], [(1,3)(2,4) : -7 -> -8] ] -gap> Awzut = C; +gap> IsPcGroup( Range( nmon ) ); true -gap> Autwz := List( Aut, k -> ImageElm( wz, k ) ); -[ [() : -8 -> -8], [(1,3,4) : -8 -> -9], [(1,3,4) : -9 -> -9], - [(1,3)(2,4) : -9 -> -7], [(1,4)(2,3) : -7 -> -7], [(1,2,4) : -7 -> -8] ] -gap> Autwz = C; -false gap> # -gap> SetInfoLevel( InfoGroupoids, gpd_infolevel_saved );; +gap> SetInfoLevel( InfoGroupoids, gpd_infolevel_saved );; diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/groupoids-1.82/tst/manual/gpdaut.tst new/groupoids-1.83/tst/manual/gpdaut.tst --- old/groupoids-1.82/tst/manual/gpdaut.tst 2026-07-03 02:00:00.000000000 +0200 +++ new/groupoids-1.83/tst/manual/gpdaut.tst 2026-08-19 02:00:00.000000000 +0200 @@ -204,9 +204,12 @@ 20736 gap> SetName( AJa4, "AJa4" ); gap> SetName( NJa4, "NJa4" ); -gap> ## either of these names may be returned +gap> ## any of these names may be returned; which one depends on the +gap> ## decomposition StructureDescription happens to choose, and the last +gap> ## one occurs when the SmallGrp package is not available gap> names := [ "(((A4 x A4 x A4) : C2) : C3) : C2", -> "(C2 x C2 x C2 x C2 x C2 x C2) : (((C3 x C3 x C3) : C3) : (C2 x C2))" ];; +> "(C2 x C2 x C2 x C2 x C2 x C2) : (((C3 x C3 x C3) : C3) : (C2 x C2))", +> "(C2 x C2 x C2 x C2 x C2 x C2) : (((C9 : C3) : C3) : (C2 x C2))" ];; gap> StructureDescription( NJa4 ) in names; true gap> ## cannot test images of Agens because of random variations @@ -344,7 +347,7 @@ [[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ] : -15 -> -13], [[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ] : -15 -> -12], [[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ] : -15 -> -11] ] -gap> mor := GroupoidHomomorphismFromSinglePiece( Ga4, Ra4, gens, images ); +gap> mor := GroupoidHomomorphismFromSinglePiece( Ga4, Ra4, gens, images ); groupoid homomorphism : [ [ [(1,2,3) : -15 -> -15], [(2,3,4) : -15 -> -15], [() : -15 -> -14], [() : -15 -> -13], [() : -15 -> -12], [() : -15 -> -11] ],
