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

permut package tests fail with the master branch #2099

Closed
olexandr-konovalov opened this issue Jan 22, 2018 · 1 comment
Closed

permut package tests fail with the master branch #2099

olexandr-konovalov opened this issue Jan 22, 2018 · 1 comment
Labels
kind: bug Issues describing general bugs, and PRs fixing them release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)

Comments

@olexandr-konovalov
Copy link
Member

The following failures from https://travis-ci.org/gap-system/gap-docker-pkg-tests-master/jobs/331580007 are new and did not appear in the previous build (https://travis-ci.org/gap-system/gap-docker-pkg-tests-master/builds/331311839):

============================OUTPUT START==============================
#I  RunPackageTests("permut", "1.03", "tst/permut.tst", false);
 ┌───────┐   GAP 4.dev of today
 │  GAP  │   https://www.gap-system.org
 └───────┘   Architecture: x86_64-pc-linux-gnu-default64
 Configuration:  gmp 5.1.3, readline
 Loaded workspace: wsp.g
 Packages:   FORMAT 1.3, GAPDoc 1.6.1, permut 1.03, PrimGrp 3.3.0, 
             smallgrp 1.2, TransGrp 2.0.2
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
########> Diff in /home/gap/inst/gap-master/pkg/permut/tst/permut.tst:22
# Input is:
IsTGroup(SymmetricGroup(3));
# Expected output:
true
# But found:
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `RemoveSet' on 2 arguments
########
########> Diff in /home/gap/inst/gap-master/pkg/permut/tst/permut.tst:28
# Input is:
IdsOfAllSmallGroups(Size, 48, IsPTGroup, true) =
[ [ 48, 1 ], [ 48, 2 ], [ 48, 4 ], [ 48, 5 ], [ 48, 9 ], [ 48, 10 ], 
  [ 48, 11 ], [ 48, 20 ], [ 48, 23 ], [ 48, 24 ], [ 48, 34 ], [ 48, 35 ], 
  [ 48, 40 ], [ 48, 42 ], [ 48, 44 ], [ 48, 46 ], [ 48, 51 ], [ 48, 52 ] ];
# Expected output:
true
# But found:
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `RemoveSet' on 2 arguments
########
permut.tst
msecs: 116
#I  Errors detected while testing package permut 1.03
#I  using the test file `tst/permut.tst'
#I  RunPackageTests("permut", "1.03", "tst/permut.tst", false): runtime 328
============================OUTPUT END================================
@fingolfin fingolfin added kind: bug Issues describing general bugs, and PRs fixing them topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker) labels Jan 23, 2018
@fingolfin
Copy link
Member

This is caused by PR #2094, specifcally this code in grp.gi:

InstallMethod( IsPNilpotentOp,
    "for a group with special pcgs: test for normal Hall subgroup",
    [ IsGroup and HasSpecialPcgs, IsPosInt ],
    function( G, p )

    local primes, S;

    primes:= PrimeDivisors( Size( G ) );
    RemoveSet( primes, p );             # <--  this tries to remove an element from an immutable list
    S:= HallSubgroup( G, primes );

    return S <> fail and IsNormal( G, S );
    end );

Simple fix is to use Difference or Filtered instead of RemoveSet.

And I guess that teaches that it would have been best in PR #2094 to add tests that ensure every single changed line actually gets executed ... sigh

@olexandr-konovalov olexandr-konovalov added the release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes label Jan 28, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: bug Issues describing general bugs, and PRs fixing them release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
Projects
None yet
Development

No branches or pull requests

2 participants