Skip to content

Commit 34fb112

Browse files
cdwensleycdwensley
authored
Merge pull request #108 from gap-packages/extract
removing files superceded by utils0-.tst
2 parents d4743e5 + 2fee2e5 commit 34fb112

14 files changed

Lines changed: 86 additions & 579 deletions

‎CHANGES.md‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,10 @@
11
# CHANGES log for the 'Utils' package
22

3+
## Version 0.99 for GAP 4.16.1 (09/09/26)
4+
* (09/09/26) since now using AutoDoc to extract tests from the manual,
5+
many of the original tests are no longer needed, so removed.
6+
* (08/09/26) extensive changes to the Download function
7+
38
## Version 0.98 for GAP 4.16.0 (04/08/26)
49
* (04/08/26) changed Fitting series examples to just show StructureDescription
510

‎doc/groups.xml‎

Lines changed: 10 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -401,24 +401,21 @@ The first of these is the zero map, the last is the identity.
401401
<P/>
402402
<Example><![CDATA[
403403
gap> gens := [ (1,2,3,4), (1,2)(3,4) ];;
404-
gap> d8 := Group( gens );;
405-
gap> SetName( d8, "d8" );
404+
gap> d8 := Group( gens );; SetName( d8, "d8" );
406405
gap> c2 := Subgroup( d8, [ (2,4) ] );;
407406
gap> SortedList( IdempotentEndomorphismsWithImage( gens, c2 ) );
408407
[ [ (), (2,4) ], [ (2,4), () ] ]
409408
gap> data:= IdempotentEndomorphismsData( d8 );;
410-
gap> data.images[1];
411-
[ [ (), () ] ]
412-
gap> List( data.images, Length );
413-
[ 1, 2, 2, 2, 2, 1 ]
409+
gap> Length( data.images );
410+
6
414411
gap> all:= IdempotentEndomorphisms( d8 );;
415-
gap> Length( all );
416-
10
417-
gap> all[1];
418-
[ (1,2,3,4), (1,2)(3,4) ] -> [ (), () ]
419-
gap> Size( Image( all[1] ) );
420-
1
421-
gap> Last( all ) = IdentityMapping( d8 );
412+
gap> allim := List( all, m -> MappingGeneratorsImages(m)[2] );;
413+
gap> ## the list of 10 sets of images sorted:
414+
gap> allimpairs :=
415+
> [ [ (), () ], [ (), (2,4) ], [ (2,4), () ], [ (), (1,3) ], [ (1,3), () ],
416+
> [ (), (1,2)(3,4) ], [ (1,2)(3,4), (1,2)(3,4) ], [ (), (1,4)(2,3) ],
417+
> [ (1,4)(2,3), (1,4)(2,3) ], [ (1,2,3,4), (1,2)(3,4) ] ];;
418+
gap> ForAll( allim, m -> ( m in allimpairs ) );
422419
true
423420
]]></Example>
424421
</Description>

‎doc/intro.xml‎

Lines changed: 11 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<!-- -->
33
<!-- intro.xml Utils documentation Chris Wensley -->
44
<!-- -->
5-
<!-- Copyright (C) 2015-2018, The GAP Group -->
5+
<!-- Copyright (C) 2015-2026, The GAP Group -->
66
<!-- -->
77
<!-- ------------------------------------------------------------------- -->
88

@@ -78,8 +78,16 @@ may be rebuilt as follows:
7878
gap> ReadPackage( "utils", "makedoc.g" );
7979
]]></Log>
8080
<P/>
81-
It is possible to check that the package has been installed correctly
82-
by running the test files (which terminates the &GAP; session):
81+
82+
This package now uses the <Package>AutoDoc</Package> package
83+
to extract test files from the examples in the manual.
84+
Many of the original test files,
85+
which duplicated these examples, have now been deleted.
86+
The user can ensure that the full set of test files exists on their system
87+
by rebuilding the manual, as described above.
88+
<P/>
89+
It is then possible to check that the package has been installed correctly
90+
by running the test suite (this terminates the &GAP; session):
8391
<P/>
8492
<Log><![CDATA[
8593
gap> ReadPackage( "utils", "tst/testall.g" );

‎doc/iterator.xml‎

Lines changed: 24 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<!-- -->
33
<!-- iterator.xml Utils documentation -->
44
<!-- -->
5-
<!-- Copyright (C) 2015-2019, The GAP Group -->
5+
<!-- Copyright (C) 2015-2026, The GAP Group -->
66
<!-- -->
77
<!-- ------------------------------------------------------------------- -->
88

@@ -54,6 +54,11 @@ gap> AllIsomorphisms( G, s3 );
5454
gap> iter := AllIsomorphismsIterator( G, s3 );;
5555
gap> for h in iter do Print( ImageElm( h, G.1 ) = (6,7), ", " ); od;
5656
true, false, false, true, false, false,
57+
gap> s4 := Group( (1,2),(2,3),(3,4) );;
58+
gap> AllIsomorphismsNumber( s3, s4 );
59+
0
60+
gap> AllIsomorphisms( s3, s4 );
61+
[ ]
5762
]]></Example>
5863
</Description>
5964
</ManSection>
@@ -156,6 +161,24 @@ gap> NextIterator( pairs4 );
156161
gap> IsDoneIterator( pairs4 );
157162
true
158163
]]></Example>
164+
165+
Some trivial cases:
166+
<Example><![CDATA[
167+
gap> iter0 := IteratorList( [ ] );;
168+
gap> iter4 := IteratorList( [ 4 ] );;
169+
gap> cart := CartesianIterator( iter0, iter0 );;
170+
gap> IsDoneIterator( cart );
171+
true
172+
gap> cart := CartesianIterator( iter0, iter4 );;
173+
gap> IsDoneIterator( cart );
174+
true
175+
gap> cart := CartesianIterator( iter4, iter0 );;
176+
gap> IsDoneIterator( cart );
177+
true
178+
gap> pairs0 := UnorderedPairsIterator( iter0 );;
179+
gap> IsDoneIterator( pairs0 );
180+
true
181+
]]></Example>
159182
</Description>
160183
</ManSection>
161184

‎doc/matrix.xml‎

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<!-- -->
33
<!-- matrix.xml Utils documentation -->
44
<!-- -->
5-
<!-- Copyright (C) 2023, The GAP Group -->
5+
<!-- Copyright (C) 2015-2026, The GAP Group -->
66
<!-- -->
77
<!-- ------------------------------------------------------------------- -->
88

@@ -83,6 +83,14 @@ gap> Display( M8 );
8383
gap> L8 := DirectSumDecompositionMatrices( M8 );;
8484
gap> Length( L8 );
8585
16
86+
87+
gap> M3 := [ [0,0,7,0,0,0,0], [0,0,0,8,0,0,0], [0,0,0,0,9,0,0] ];;
88+
gap> Display( M3 );
89+
[ [ 0, 0, 7, 0, 0, 0, 0 ],
90+
[ 0, 0, 0, 8, 0, 0, 0 ],
91+
[ 0, 0, 0, 0, 9, 0, 0] ]
92+
gap> L3 := DirectSumDecompositionMatrices( M3 );
93+
[ [ [ [ 0, 0, 7 ] ], [ [ 8 ] ], [ [ 9, 0, 0 ] ] ] ]
8694
]]></Example>
8795
<P/>
8896

‎tst/gslp.tst‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,9 @@
55
##
66
#Y Copyright (C) 2026, The GAP Group
77
##
8+
##
9+
## some tests other than those in the manual
10+
811
gap> START_TEST( "gslp.tst" );
912

1013
#

‎tst/iterator.tst‎

Lines changed: 0 additions & 100 deletions
This file was deleted.

‎tst/lists.tst‎

Lines changed: 0 additions & 109 deletions
This file was deleted.

‎tst/manual.g‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
## utils.g
2+
LoadPackage("utils");
3+
Print( "running utils01.tst\n" );
4+
Test( "tst/utils01.tst", rec(compareFunction := "uptowhitespace") );
5+
Print( "running utils02.tst\n" );
6+
Test( "tst/utils02.tst", rec(compareFunction := "uptowhitespace") );
7+
Print( "running utils03.tst\n" );
8+
Test( "tst/utils03.tst", rec(compareFunction := "uptowhitespace") );
9+
Print( "running utils04.tst\n" );
10+
Test( "tst/utils04.tst", rec(compareFunction := "uptowhitespace") );
11+
Print( "running utils05.tst\n" );
12+
Test( "tst/utils05.tst", rec(compareFunction := "uptowhitespace") );
13+
Print( "running utils06.tst\n" );
14+
Test( "tst/utils06.tst", rec(compareFunction := "uptowhitespace") );
15+
Print( "running utils07.tst\n" );
16+
Test( "tst/utils07.tst", rec(compareFunction := "uptowhitespace") );
17+
Print( "running utils08.tst\n" );
18+
Test( "tst/utils08.tst", rec(compareFunction := "uptowhitespace") );
19+
Print( "running utils09.tst\n" );
20+
Test( "tst/utils09.tst", rec(compareFunction := "uptowhitespace") );
21+
Print( "running utils10.tst\n" );
22+
Test( "tst/utils10.tst", rec(compareFunction := "uptowhitespace") );
23+
Print( "running utils11.tst\n" );
24+
Test( "tst/utils11.tst", rec(compareFunction := "uptowhitespace") );

0 commit comments

Comments
 (0)