search

gap-packages / orb

The GAP package orb for advanced orbit enumerations
https://gap-packages.github.io/orb/
GNU General Public License v3.0
7 stars 9 forks source link

Tests failing in GAP master #54

Closed olexandr-konovalov closed 2 years ago

olexandr-konovalov commented 4 years ago

See e.g. https://travis-ci.org/github/gap-infra/gap-docker-pkg-tests-master/jobs/714790604

########> Diff in /home/gap/inst/gap-master/pkg/orb-4.8.3/tst/m11PF3d24/M11Orb\
itOnPF3d24.tst:36
# Input is:
setup := OrbitBySuborbitBootstrapForLines(
            [cu1,cu2,cgens],[pgu1,pgu2,pgens],[20,720,7920],[5,11],rec());
# Expected output:
#I  Calculating stabilizer chain for whole group...
#I  Trying smaller degree permutation representation for U2...
#I  Computing a base for helper subgroup #2
#I  Trying smaller degree permutation representation for U1...
#I  Found one on 5 points.
#I  Computing a base for helper subgroup #1
#I  Enumerating permutation base images of U_1...
#I  Looking for U1-coset-recognising U2-orbit in factor space...
#I  New stabilizer order: 3 (l=2)
#I  New stabilizer order: 9 (l=2)
#I  OrbitBySuborbit found 100% of a U2-orbit of size 80
#I  Found 4 suborbits (need 36)
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  Found 36 suborbits (need 36)
<setup for an orbit-by-suborbit enumeration, k=2>
# But found:
#I  Calculating stabilizer chain for whole group...
#I  Trying smaller degree permutation representation for U2...
#I  Computing a base for helper subgroup #2
#I  Trying smaller degree permutation representation for U1...
#I  Found one on 5 points.
#I  Computing a base for helper subgroup #1
#I  Enumerating permutation base images of U_1...
#I  Looking for U1-coset-recognising U2-orbit in factor space...
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  Found 36 suborbits (need 36)
<setup for an orbit-by-suborbit enumeration, k=2>
########
########> Diff in /home/gap/inst/gap-master/pkg/orb-4.8.3/tst/m11PF3d24/M11Orb\
itOnPF3d24.tst:65
# Input is:
o := OrbitBySuborbit(setup,v,3,3,2,100);
# Expected output:
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 360
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  Enough hits of stabiliser, assuming it is complete...
#I  OrbitBySuborbit found 100% of a U3-orbit of size 7 920
<orbit-by-suborbit size=7920 stabsize=1 saving factor=660>
# But found:
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 360
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  OrbitBySuborbit found 100% of a U2-orbit of size 720
#I  Enough hits of stabiliser, assuming it is complete...
#I  OrbitBySuborbit found 100% of a U3-orbit of size 7 920
<orbit-by-suborbit size=7920 stabsize=1 saving factor=660>
########

In the first diff we have different number of steps, in the 2nd - the orbit of order 360 appears in different step.

fingolfin commented 2 years ago

This was resolved d5444e0fd07283592bacf7d5ac626d3eb63d5b8e which is in orb 4.8.4