Skip to content

Commit

Permalink
release 2.84
Browse files Browse the repository at this point in the history
  • Loading branch information
@cdwensley
cdwensley committed Nov 15, 2021
1 parent 702ccf3 commit cb77951
Show file tree
Hide file tree
Showing 7 changed files with 54 additions and 25 deletions.
3 changes: 2 additions & 1 deletion CHANGES.md
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,8 @@
# CHANGES to the 'XMod' package

## 2.83 -> 2.83dev (08/04/2021)
## 2.83 -> 2.84 (15/11/2021)

* (15/11/21) moved the package homepage to https://github.com/cdwensley
* (08/04/21) Switch CI to use GitHub Actions

## 2.82 -> 2.83 (17/02/2021)
Expand Down
8 changes: 4 additions & 4 deletions PackageInfo.g
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@ SetPackageInfo( rec(

PackageName := "XMod",
Subtitle := "Crossed Modules and Cat1-Groups",
Version := "2.83dev",
Date := "18/02/2021", # dd/mm/yyyy format
Version := "2.84",
Date := "15/11/2021", # dd/mm/yyyy format
License := "GPL-2.0-or-later",

Persons := [
Expand All @@ -18,7 +18,7 @@ Persons := [
IsAuthor := true,
IsMaintainer := true,
Email := "[email protected]",
WWWHome := "http://pages.bangor.ac.uk/~mas023/",
WWWHome := "https://github.com/cdwensley",
PostalAddress := Concatenation( [
"Dr. C.D. Wensley\n",
"School of Computer Science and Electronic Engineering\n",
Expand Down Expand Up @@ -121,7 +121,7 @@ AvailabilityTest := ReturnTrue,
BannerString := Concatenation(
"Loading XMod ", String( ~.Version ),
" (methods for crossed modules and cat1-groups)\n",
"by Chris Wensley (http://pages.bangor.ac.uk/~mas023/),\n",
"by Chris Wensley (https://github.com/cdwensley),\n",
" with contributions from:\n",
" Murat Alp ([email protected]),\n",
" Alper Odabas ([email protected]),\n",
Expand Down
29 changes: 16 additions & 13 deletions doc/gp2obj.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<!-- -->
<!-- gp2obj.xml XMod documentation Chris Wensley -->
<!-- & Murat Alp -->
<!-- Copyright (C) 1996-2020, Chris Wensley et al, -->
<!-- Copyright (C) 1996-2021, Chris Wensley et al, -->
<!-- School of Computer Science, Bangor University, U.K. -->
<!-- -->
<!-- ------------------------------------------------------------------- -->
Expand Down Expand Up @@ -1135,14 +1135,14 @@ provided by the <Package>Utils</Package> package,
and then using the iterator <C>AllCat1GroupsWithImageIterator(G,R)</C>.

<ManSection>
<Oper Name="AllCat1GroupsWithImage"
Arg="G R" />
<Oper Name="AllCat1GroupsWithImageIterator"
Arg="G R" />
<Attr Name="AllCat1GroupsWithImageNumber"
Arg="G R" />
<Oper Name="AllCat1GroupsWithImageUpToIsomorphism"
Arg="G R" />
<Oper Name="AllCat1GroupsWithImage"
Arg="G R" />
<Description>
The iterator <C>AllCat1GroupsWithImageIterator(G,R)</C>
iterates through all the cat<M>^1</M>-groups with source <C>G</C>
Expand Down Expand Up @@ -1175,18 +1175,19 @@ gap> L12 := AllCat1GroupsWithImage( d12, c2 );
<Description>
The operation <C>AllCat1GroupsMatrix(G)</C> constructs a symmetric matrix
<M>M</M> with rows and columns labelled by the idempotent endomorphisms
<M>e_i</M> on <M>G</M>, where <M>M_{ij}</M> is
<M>2</M> if <M>e_i,e_j</M> combine to form a cat<M>^1</M>-group;
<M>1</M> if they only form a pre-cat<M>^1</M>-group;
and <M>0</M> otherwise. The matrix is automatically printed out
with dots in place of zeroes.
<M>e_i</M> on <M>G</M>, where <M>M_{ij} = 2</M>
if <M>e_i,e_j</M> combine to form a cat<M>^1</M>-group;
<M>M_{ij} = 1</M> if they only form a pre-cat<M>^1</M>-group;
and <M>M_{ij} = 0</M> otherwise.
The matrix is automatically printed out with dots in place of zeroes.
<P/>
In the example we see that the group <M>QD_{16}</M>
has <M>10</M> idempotent endomorphisms and <M>5</M> cat<M>12</M>-groups,
all of which are symmetric(<M>t=h)</M>,
and a further <M>9</M> pre-cat<M>^1</M>-groups.
has <M>10</M> idempotent endomorphisms and <M>5</M> cat<M>^1</M>-groups,
all of which are symmetric (<M>t=h</M>),
and a further <M>9</M> pre-cat<M>^1</M>-groups,
<M>5</M> of which are symmetric.
(A cat<M>^1</M>-group and its transpose are not counted twice.)
This operation is intended to be used to illustrate how cat<M>^2</M>-groups
This operation is intended to be used to illustrate how cat<M>^1</M>-groups
are formed, and should only be used with groups of low order.
<P/>
The attribute <C>AllCat1GroupsNumber(G)</C> returns the
Expand All @@ -1196,7 +1197,9 @@ number <M>n</M> of these cat<M>^1</M>-groups.
<P/>
<Example>
<![CDATA[
gap> AllCat1GroupsMatrix( G );;
gap> qd16 := SmallGroup( 16, 8 );;
gap> AllCat1GroupsMatrix( qd16 );;
number of idempotent endomorphisms found = 10
number of cat1-groups found = 5
number of additional pre-cat1-groups found = 9
1.........
Expand Down
4 changes: 2 additions & 2 deletions doc/history.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<!-- -->
<!-- history.xml XMod documentation Chris Wensley -->
<!-- -->
<!-- Copyright (C) 1996-2020, Murat Alp and Chris Wensley, -->
<!-- Copyright (C) 1996-2021, Murat Alp and Chris Wensley, -->
<!-- School of Computer Science, Bangor University, U.K. -->
<!-- -->
<!-- ------------------------------------------------------------------- -->
Expand Down Expand Up @@ -165,7 +165,7 @@ The material on isoclinism in Chapter 4 was added.
</Item>
<Item>
The package webpage has moved to
<URL>http://pages.bangor.ac.uk/~mas023/chda/</URL>.
<URL>https://github.com/cdwensley</URL>.
</Item>
<Item>
A GitHub repository was started at:
Expand Down
4 changes: 2 additions & 2 deletions doc/intro.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<!-- -->
<!-- intro.xml XMod documentation Chris Wensley -->
<!-- -->
<!-- Copyright (C) 1996-2020, Chris Wensley et al, -->
<!-- Copyright (C) 1996-2021, Chris Wensley et al, -->
<!-- School of Computer Science, Bangor University, U.K. -->
<!-- -->
<!-- ------------------------------------------------------------------- -->
Expand Down Expand Up @@ -203,6 +203,6 @@ gap> ReadPackage( "xmod", "tst/testall.g" );
<P/>
Additional information can be found on the
<E>Computational Higher-dimensional Discrete Algebra</E> website at:
<URL>http://pages.bangor.ac.uk/~mas023/chda/intro.html</URL>.
<URL>https://github.com/cdwensley</URL>.

</Chapter>
10 changes: 9 additions & 1 deletion lib/gp2obj.gi
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2610,7 +2610,8 @@ function( G )
for j in [1..i-1] do
M[i][j] := M[j][i];
od;
od;
od;
Print( "number of idempotent endomorphisms found = ", eps, "\n" );
Print( "number of cat1-groups found = ", ctot, "\n" );
if ( ptot > 0 ) then
Print( "number of additional pre-cat1-groups found = ", ptot, "\n" );
Expand All @@ -2627,6 +2628,13 @@ function( G )
od;
Print( "\n" );
od;
InitCatnGroupRecords( G );
if not IsBound( CatnGroupNumbers( G ).idem ) then
CatnGroupNumbers( G ).idem := eps;
fi;
if not IsBound( CatnGroupNumbers( G ).cat1 ) then
CatnGroupNumbers( G ).cat1 := ctot;
fi;
return M;
end );

Expand Down
21 changes: 19 additions & 2 deletions tst/manual/gp2obj.tst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
##
#W gp2obj.tst XMOD test file Chris Wensley
#W & Murat Alp
#Y Copyright (C) 2001-2020, Chris Wensley et al,
#Y Copyright (C) 2001-2021, Chris Wensley et al,
#Y School of Computer Science, Bangor University, U.K.
##
gap> START_TEST( "XMod package: gp2obj.tst" );
Expand Down Expand Up @@ -430,6 +430,23 @@ gap> L12 := AllCat1GroupsWithImage( d12, c2 );
[ [d12=>Group( [ (), (1,6)(2,5)(3,4) ] )] ]

## Section 2.6.2
gap> qd16 := SmallGroup( 16, 8 );;
gap> AllCat1GroupsMatrix( qd16 );;
number of idempotent endomorphisms found = 10
number of cat1-groups found = 5
number of additional pre-cat1-groups found = 9
1.........
.21.......
.11.......
...21.....
...11.....
.....21...
.....11...
.......21.
.......11.
.........2

## Section 2.6.3
gap> iter := AllCat1GroupsIterator( d12 );;
gap> AllCat1GroupsNumber( d12 );
12
Expand All @@ -439,7 +456,7 @@ gap> iso12 := AllCat1GroupsUpToIsomorphism( d12 );
[d12=>Group( [ (1,5,3)(2,6,4), (2,6)(3,5) ] )],
[d12=>Group( [ (1,2,3,4,5,6), (2,6)(3,5) ] )] ]

## Section 2.6.3
## Section 2.6.4
gap> CatnGroupNumbers( d12 );
rec( cat1 := 12, idem := 21, iso1 := 4, siso := 4, symm := 12 )

Expand Down

0 comments on commit cb77951

Please sign in to comment.