Opened 4 years ago
Closed 4 years ago
#26901 closed defect (duplicate)
update p_group_cohomology to GAP 4.10
Reported by: | dimpase | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | packages: optional | Keywords: | |
Cc: | SimonKing | Merged in: | |
Authors: | Reviewers: | Simon King | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #26856 | Stopgaps: |
Description (last modified by )
#26856 updates database_gap to GAP 4.10, and this requires changes in the package docs, as well as fixes of doctests (hopefully easy).
in particular, everything that mentions database_gap should disappear, as all the data there becomes a part of GAP spkg.
Change History (10)
comment:1 Changed 4 years ago by
- Cc SimonKing added
- Description modified (diff)
comment:2 Changed 4 years ago by
This is how far it gets on a Linux laptop within 30 minutes of wall clock time, if installed with SAGE_CHECK=yes
:
[p_group_cohomology-3.0] Running the test suite for p_group_cohomology-3.0... [p_group_cohomology-3.0] make[2]: Entering directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources' [p_group_cohomology-3.0] Making check in src [p_group_cohomology-3.0] make[3]: Entering directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources/src' [p_group_cohomology-3.0] make mnttest.sh [p_group_cohomology-3.0] make[4]: Entering directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources/src' [p_group_cohomology-3.0] test -r ./test.reg || cp ./test.reg . [p_group_cohomology-3.0] make[4]: Leaving directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources/src' [p_group_cohomology-3.0] make check-TESTS [p_group_cohomology-3.0] make[4]: Entering directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources/src' [p_group_cohomology-3.0] make[5]: Entering directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources/src' [p_group_cohomology-3.0] PASS: mnttest.sh [p_group_cohomology-3.0] ============================================================================ [p_group_cohomology-3.0] Testsuite summary for modular_resolution 1.0 [p_group_cohomology-3.0] ============================================================================ [p_group_cohomology-3.0] # TOTAL: 1 [p_group_cohomology-3.0] # PASS: 1 [p_group_cohomology-3.0] # SKIP: 0 [p_group_cohomology-3.0] # XFAIL: 0 [p_group_cohomology-3.0] # FAIL: 0 [p_group_cohomology-3.0] # XPASS: 0 [p_group_cohomology-3.0] # ERROR: 0 [p_group_cohomology-3.0] ============================================================================ [p_group_cohomology-3.0] make[5]: Leaving directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources/src' [p_group_cohomology-3.0] make[4]: Leaving directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources/src' [p_group_cohomology-3.0] make[3]: Leaving directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources/src' [p_group_cohomology-3.0] make[3]: Entering directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources' [p_group_cohomology-3.0] make[3]: Leaving directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources' [p_group_cohomology-3.0] make[2]: Leaving directory '/mnt/opt/Sage/sage-dev/local/var/tmp/sage/build/p_group_cohomology-3.0/src/csources' [p_group_cohomology-3.0] too many failed tests, not using stored timings [p_group_cohomology-3.0] Running doctests with ID 2018-12-15-12-28-22-11b32805. [p_group_cohomology-3.0] Git branch: HEAD [p_group_cohomology-3.0] Using --optional=dochtml,fricas,gdb,meataxe,memlimit,mpir,python2,sage [p_group_cohomology-3.0] Sorting sources by runtime so that slower doctests are run first.... [p_group_cohomology-3.0] Doctesting 12 files using 4 threads. [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/cochain.pxd [p_group_cohomology-3.0] [0 tests, 0.00 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/auxiliaries.py [p_group_cohomology-3.0] [69 tests, 5.86 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/cochain.pyx [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 93, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] cS1 = HS.1*HS.2+HS.3; cS1 [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] (c_2_1)*(c_1_0)+(b_3_2): 3-Cocycle in H^*(Sym6; GF(2)) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] (c_2_1)*(c_1_0)+(b_3_3): 3-Cocycle in H^*(Sym6; GF(2)) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 95, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] cS2 = HS.1*HS.2+HS.4; cS2 [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] (c_2_1)*(c_1_0)+(c_3_3): 3-Cocycle in H^*(Sym6; GF(2)) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] (c_2_1)*(c_1_0)+(c_3_2): 3-Cocycle in H^*(Sym6; GF(2)) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 99, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] HS.rels() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['b_3_2^2+b_3_2*c_3_3+c_2_1*c_1_0*b_3_2'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['b_3_3*c_3_2+c_2_1*c_1_0*b_3_3'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 107, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] [resS_D(g).as_polynomial() for g in HS.gens()[1:]] [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['c_2_2', 'b_1_1+b_1_0', 'c_2_2*b_1_1+c_2_2*b_1_0', 'b_1_0^2*b_1_1+c_2_2*b_1_1'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['c_2_2', 'b_1_1+b_1_0', 'b_1_0^2*b_1_1+c_2_2*b_1_1', '0'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 125, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] HD.1*resS_D(HS.2) == resS_D(HS.1)*(HD.2+HD.3) == resS_D(HS.3) [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] True [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] False
comment:3 Changed 4 years ago by
At the moment, I am about to upgrade the cohomology package anyway. That's #26001. What isn't mentioned in the ticket description: I plan to replace gap-via-pexpect by libgap. Currently the work was stalled because of teaching, but I suppose that I will fix the package over the holidays.
I propose that I first finish #26001 and then we can see if there are issues left with the gap upgrade.
comment:4 Changed 4 years ago by
I suggest that you base #26001 on #22626 (and #26856), or at least be prepared that they might make you do extra work if you stick with (lib)GAP 4.8.6 for the time being. In particular there are few (low-level) API changes for libGAP in Sage done in #22626.
As well, perhaps more importantly, there is sometimes extra work to be done in porting to libGAP just because some parts of Sage are still pexpect-GAP based, in particular PermutationGroup (see e.g. #26889) for such an example.
We should plan to take care of this soon, perhaps even before #26001 (but not before #22626 and #26856).
comment:5 Changed 4 years ago by
For the record, this is the full log of installation with SAGE_CHECK=yes Seems to be that most of it just formatting (with few places where GAP actually seems be do doing better job than before):
[p_group_cohomology-3.0] Doctesting 12 files using 4 threads. [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/cochain.pxd [p_group_cohomology-3.0] [0 tests, 0.00 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/auxiliaries.py [p_group_cohomology-3.0] [69 tests, 5.86 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/cochain.pyx [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 93, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] cS1 = HS.1*HS.2+HS.3; cS1 [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] (c_2_1)*(c_1_0)+(b_3_2): 3-Cocycle in H^*(Sym6; GF(2)) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] (c_2_1)*(c_1_0)+(b_3_3): 3-Cocycle in H^*(Sym6; GF(2)) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 95, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] cS2 = HS.1*HS.2+HS.4; cS2 [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] (c_2_1)*(c_1_0)+(c_3_3): 3-Cocycle in H^*(Sym6; GF(2)) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] (c_2_1)*(c_1_0)+(c_3_2): 3-Cocycle in H^*(Sym6; GF(2)) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 99, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] HS.rels() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['b_3_2^2+b_3_2*c_3_3+c_2_1*c_1_0*b_3_2'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['b_3_3*c_3_2+c_2_1*c_1_0*b_3_3'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 107, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] [resS_D(g).as_polynomial() for g in HS.gens()[1:]] [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['c_2_2', 'b_1_1+b_1_0', 'c_2_2*b_1_1+c_2_2*b_1_0', 'b_1_0^2*b_1_1+c_2_2*b_1_1'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['c_2_2', 'b_1_1+b_1_0', 'b_1_0^2*b_1_1+c_2_2*b_1_1', '0'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 125, in pGroupCohomology.cochain [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] HD.1*resS_D(HS.2) == resS_D(HS.1)*(HD.2+HD.3) == resS_D(HS.3) [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] True [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] False [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 2728, in pGroupCohomology.cochain.MODCOCH.as_cocycle_in_subgroup [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H.1.as_cocycle_in_subgroup() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] (b_1_0)^2+(b_2_2)+(b_2_1): 2-Cocycle in H^*(SmallGroup(192,1493); GF(2)) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] b_2_1+(b_2_0): 2-Cocycle in H^*(SmallGroup(192,1493); GF(2)) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 2730, in pGroupCohomology.cochain.MODCOCH.as_cocycle_in_subgroup [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H.subgroup_cohomology()('b_1_0^2+b_2_1+b_2_2')*H.2.as_cocycle_in_subgroup() == (H.1*H.2).as_cocycle_in_subgroup() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] True [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] False [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 2774, in pGroupCohomology.cochain.MODCOCH.as_cocycle_in_sylow [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H.1.as_cocycle_in_sylow() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] b_1_1*b_1_2+b_1_1^2+b_1_0^2+b_2_5+b_2_4: 2-Cocycle in H^*(SmallGroup(64,138); GF(2)) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] b_1_2^2+b_1_1*b_1_2+b_2_6+b_2_5: 2-Cocycle in H^*(SmallGroup(64,138); GF(2)) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cochain.pyx", line 2776, in pGroupCohomology.cochain.MODCOCH.as_cocycle_in_sylow [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H.sylow_cohomology()('b_1_1*b_1_2+b_1_1^2+b_1_0^2+b_2_5+b_2_4')*H.2.as_cocycle_in_sylow() == (H.1*H.2).as_cocycle_in_sylow() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] True [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] False [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] 3 items had failures: [p_group_cohomology-3.0] 5 of 25 in pGroupCohomology.cochain [p_group_cohomology-3.0] 2 of 9 in pGroupCohomology.cochain.MODCOCH.as_cocycle_in_subgroup [p_group_cohomology-3.0] 2 of 8 in pGroupCohomology.cochain.MODCOCH.as_cocycle_in_sylow [p_group_cohomology-3.0] [1459 tests, 9 failures, 3379.55 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/barcode.py [p_group_cohomology-3.0] [143 tests, 114.92 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/dickson.pyx [p_group_cohomology-3.0] [28 tests, 2.66 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/factory.py [p_group_cohomology-3.0] [216 tests, 401.69 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/__init__.py [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 372, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] print(HS6b) [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] <BLANKLINE> [p_group_cohomology-3.0] Cohomology ring of SymmetricGroup(6) with coefficients in GF(2) [p_group_cohomology-3.0] <BLANKLINE> [p_group_cohomology-3.0] Computation complete [p_group_cohomology-3.0] Minimal list of generators: [p_group_cohomology-3.0] [c_2_1: 2-Cocycle in H^*(SymmetricGroup(6); GF(2)), [p_group_cohomology-3.0] c_1_0: 1-Cocycle in H^*(SymmetricGroup(6); GF(2)), [p_group_cohomology-3.0] b_3_2: 3-Cocycle in H^*(SymmetricGroup(6); GF(2)), [p_group_cohomology-3.0] c_3_3: 3-Cocycle in H^*(SymmetricGroup(6); GF(2))] [p_group_cohomology-3.0] Minimal list of algebraic relations: [p_group_cohomology-3.0] [b_3_2^2+b_3_2*c_3_3+c_2_1*c_1_0*b_3_2] [p_group_cohomology-3.0] <BLANKLINE> [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] <BLANKLINE> [p_group_cohomology-3.0] Cohomology ring of SymmetricGroup(6) with coefficients in GF(2) [p_group_cohomology-3.0] <BLANKLINE> [p_group_cohomology-3.0] Computation complete [p_group_cohomology-3.0] Minimal list of generators: [p_group_cohomology-3.0] [c_2_1: 2-Cocycle in H^*(SymmetricGroup(6); GF(2)), [p_group_cohomology-3.0] c_1_0: 1-Cocycle in H^*(SymmetricGroup(6); GF(2)), [p_group_cohomology-3.0] b_3_3: 3-Cocycle in H^*(SymmetricGroup(6); GF(2)), [p_group_cohomology-3.0] c_3_2: 3-Cocycle in H^*(SymmetricGroup(6); GF(2))] [p_group_cohomology-3.0] Minimal list of algebraic relations: [p_group_cohomology-3.0] [b_3_3*c_3_2+c_2_1*c_1_0*b_3_3] [p_group_cohomology-3.0] <BLANKLINE> [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 589, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] HS6a.subgroup() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] Group( [ (1,3)(2,5), (1,2), (4,6), (1,2)(3,5) ] ) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] Group( [ (2,3)(4,6), (1,2)(3,5)(4,6), (1,5)(2,3)(4,6), (1,5)(2,3) ] ) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 591, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] HS6a.sylow_subgroup() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] Group( [ (1,3)(2,5), (1,2), (4,6) ] ) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] Group( [ (2,3)(4,6), (1,2)(3,5)(4,6), (1,5)(2,3)(4,6) ] ) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 601, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] [H0.element_as_polynomial(phi_star(x)) for x in HS6a.gens()] [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] [1: 0-Cocycle in H^*(D8; GF(2)), [p_group_cohomology-3.0] b_1_1^2+c_2_2: 2-Cocycle in H^*(D8; GF(2)), [p_group_cohomology-3.0] b_1_0: 1-Cocycle in H^*(D8; GF(2)), [p_group_cohomology-3.0] c_2_2*b_1_1: 3-Cocycle in H^*(D8; GF(2)), [p_group_cohomology-3.0] 0: 3-Cocycle in H^*(D8; GF(2))] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] [1: 0-Cocycle in H^*(D8; GF(2)), [p_group_cohomology-3.0] b_1_1^2+b_1_0^2+c_2_2: 2-Cocycle in H^*(D8; GF(2)), [p_group_cohomology-3.0] b_1_0: 1-Cocycle in H^*(D8; GF(2)), [p_group_cohomology-3.0] c_2_2*b_1_0: 3-Cocycle in H^*(D8; GF(2)), [p_group_cohomology-3.0] b_1_0^3+c_2_2*b_1_1+c_2_2*b_1_0: 3-Cocycle in H^*(D8; GF(2))] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 608, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] singular(phi_star) [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] s...[1]=b_1_1^2+c_2_2 [p_group_cohomology-3.0] s...[2]=b_1_0 [p_group_cohomology-3.0] s...[3]=c_2_2*b_1_1 [p_group_cohomology-3.0] s...[4]=0 [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] sage5014[1]=b_1_1^2+b_1_0^2+c_2_2 [p_group_cohomology-3.0] sage5014[2]=b_1_0 [p_group_cohomology-3.0] sage5014[3]=c_2_2*b_1_0 [p_group_cohomology-3.0] sage5014[4]=b_1_0^3+c_2_2*b_1_1+c_2_2*b_1_0 [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 616, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] phi_star.preimage() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] c_3_2, [p_group_cohomology-3.0] c_1_0*b_3_3 [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] b_3_3+c_2_1*c_1_0+c_1_0^3, [p_group_cohomology-3.0] c_1_0*c_3_2+c_2_1*c_1_0^2 [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 619, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] phi_star(HS6a('c_3_2')).as_polynomial() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] '0' [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] 'b_1_0^3+c_2_2*b_1_1+c_2_2*b_1_0' [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 621, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] phi_star(HS6a('c_1_0*b_3_3')).as_polynomial() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] '0' [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] 'c_2_2*b_1_0^2' [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 2410, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H.parameters() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['b_2_1^2+c_4_0', [p_group_cohomology-3.0] 'b_3_1^2+b_3_0^2+b_2_1*c_4_0', [p_group_cohomology-3.0] 'b_7_18+b_2_1*b_5_0+c_4_0*b_3_1+c_4_0*b_3_0', [p_group_cohomology-3.0] 'b_1_0^6+b_6_0'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['b_2_0^2+c_4_0', [p_group_cohomology-3.0] 'b_3_1^2+b_3_0^2+b_2_0*c_4_0', [p_group_cohomology-3.0] 'b_7_18+b_2_0*b_5_0+c_4_0*b_3_1', [p_group_cohomology-3.0] 'b_1_0^6+b_6_0'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 2419, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H.dependent_parameters() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['b_1_0', 'b_7_18', 'b_6_0', 'c_4_0', 'b_3_0', 'b_3_1', 'b_2_1'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['b_1_0', 'b_7_18', 'b_6_0', 'c_4_0', 'b_3_0', 'b_3_1', 'b_2_0'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/__init__.py", line 2449, in pGroupCohomology [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H._parameters_for_criterion [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['b_1_0', 'b_7_18', 'b_6_0', 'c_4_0', 'b_3_0', 'b_3_1', 'b_2_1'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['b_1_0', 'b_7_18', 'b_6_0', 'c_4_0', 'b_3_0', 'b_3_1', 'b_2_0'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] 1 item had failures: [p_group_cohomology-3.0] 11 of 350 in pGroupCohomology [p_group_cohomology-3.0] [349 tests, 11 failures, 1085.17 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/resolution.pyx [p_group_cohomology-3.0] [882 tests, 49.19 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/resolution.pxd [p_group_cohomology-3.0] [0 tests, 0.00 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/resolution_bindings.pxd [p_group_cohomology-3.0] [0 tests, 0.00 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/modular_cohomology.pyx [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/modular_cohomology.pyx", line 123, in pGroupCohomology.modular_cohomology._IdGroup [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] _IdGroup(G1,D,H, ring=False) [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] Failed to construct a minimal generating set of the group -- keep your fingers crossed... [p_group_cohomology-3.0] (2520, 0) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] (2520, 0) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/modular_cohomology.pyx", line 142, in pGroupCohomology.modular_cohomology._IdGroup [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] _IdGroup(G1,D,H, ring=False) [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] Failed to construct a minimal generating set of the group -- keep your fingers crossed... [p_group_cohomology-3.0] (2520, -1) [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] (2520, -1) [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] 1 item had failures: [p_group_cohomology-3.0] 2 of 19 in pGroupCohomology.modular_cohomology._IdGroup [p_group_cohomology-3.0] [450 tests, 2 failures, 1735.11 s] [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/cohomology.pyx [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cohomology.pyx", line 8021, in pGroupCohomology.cohomology.COHO.filter_regular_parameters [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H.duflot_regular_sequence() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['c_4_1'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['c_4_0'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cohomology.pyx", line 8031, in pGroupCohomology.cohomology.COHO.filter_regular_parameters [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H.filter_regular_parameters() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['b_3_1*b_5_2+b_2_0^4+c_4_1^2', [p_group_cohomology-3.0] 'b_3_1^4+b_3_0^4+b_6_2*b_3_1^2+b_6_2^2+b_2_0^3*b_6_2+c_4_1*b_3_1*b_5_2+b_2_0*c_4_1*b_3_1^2+b_2_0^2*c_4_1^2', [p_group_cohomology-3.0] 'b_7_6^2+b_3_1^3*b_5_2+b_6_2*b_3_1*b_5_2+b_2_0*b_6_2*b_3_1^2+b_2_0^3*b_3_1*b_5_2+b_2_0^4*b_6_2+b_2_0^2*c_4_1*b_3_1^2+b_2_0^2*c_4_1*b_6_2+c_4_1^2*b_3_0^2', [p_group_cohomology-3.0] 'b_6_2'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['b_3_1*b_5_0+b_2_0^4+c_4_0^2', [p_group_cohomology-3.0] 'b_6_2^2+b_6_0*b_6_2+b_6_0^2+b_2_0^2*b_3_1*b_5_0', [p_group_cohomology-3.0] 'b_7_4^2+b_3_1^3*b_5_0+b_6_0*b_3_1*b_5_0+b_2_0*b_6_0*b_3_1^2+b_2_0^3*b_3_1*b_5_0+b_2_0^4*b_6_0+b_2_0^2*c_4_0*b_3_1^2+b_2_0^2*c_4_0*b_6_0+c_4_0^2*b_3_0^2', [p_group_cohomology-3.0] 'b_3_1^3+b_2_0^2*b_5_0'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] File "pyxsources/pGroupCohomology/cohomology.pyx", line 8846, in pGroupCohomology.cohomology.COHO.parameters [p_group_cohomology-3.0] Failed example: [p_group_cohomology-3.0] H.parameters() [p_group_cohomology-3.0] Expected: [p_group_cohomology-3.0] ['b_2_0^2+c_4_1', [p_group_cohomology-3.0] 'b_3_1^4+b_3_0^4+b_6_2*b_3_1^2+b_6_2^2+b_2_0^3*b_6_2+c_4_1*b_3_1*b_5_2+b_2_0*c_4_1*b_3_1^2+b_2_0^2*c_4_1^2', [p_group_cohomology-3.0] 'b_7_6+c_4_1*b_3_1+c_4_1*b_3_0', [p_group_cohomology-3.0] 'b_6_2'] [p_group_cohomology-3.0] Got: [p_group_cohomology-3.0] ['b_2_0^2+c_4_0', [p_group_cohomology-3.0] 'b_3_1^2+b_3_0^2+b_2_0*c_4_0', [p_group_cohomology-3.0] 'b_7_4+b_2_0*b_5_0+c_4_0*b_3_0', [p_group_cohomology-3.0] 'b_6_0'] [p_group_cohomology-3.0] ********************************************************************** [p_group_cohomology-3.0] 2 items had failures: [p_group_cohomology-3.0] 2 of 16 in pGroupCohomology.cohomology.COHO.filter_regular_parameters [p_group_cohomology-3.0] 1 of 15 in pGroupCohomology.cohomology.COHO.parameters [p_group_cohomology-3.0] [1371 tests, 3 failures, 2275.69 s] [p_group_cohomology-3.0] ---------------------------------------------------------------------- [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/cochain.pyx # 9 doctests failed [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/__init__.py # 11 doctests failed [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/modular_cohomology.pyx # 2 doctests failed [p_group_cohomology-3.0] sage -t --long pyxsources/pGroupCohomology/cohomology.pyx # 3 doctests failed [p_group_cohomology-3.0] ---------------------------------------------------------------------- [p_group_cohomology-3.0] Total time for all tests: 3380.8 seconds [p_group_cohomology-3.0] cpu time: 8057.3 seconds [p_group_cohomology-3.0] cumulative wall time: 9049.9 seconds [p_group_cohomology-3.0] ******************************************************************************** [p_group_cohomology-3.0] Error testing pGroupCohomology [p_group_cohomology-3.0] ******************************************************************************** [p_group_cohomology-3.0] [p_group_cohomology-3.0] real 56m26.483s [p_group_cohomology-3.0] user 71m56.006s [p_group_cohomology-3.0] sys 66m52.764s
comment:6 Changed 4 years ago by
By the way, I am pretty sure that the errors mentioned here are caused not by a new GAP version but by a new Singular version.
My suggestion: I finish the upgrade on #26001 with the old GAP version. Then, if #22626 is done, we can still see if errors remain. If errors remain, then I will do another upgrade, using the ticket here.
comment:7 Changed 4 years ago by
OK, that's fine.
comment:8 follow-up: ↓ 9 Changed 4 years ago by
- Milestone changed from sage-8.5 to sage-8.6
Let's see about doing this for 8.6 if possible; otherwise wait for 8.7.
comment:9 in reply to: ↑ 8 Changed 4 years ago by
- Milestone changed from sage-8.6 to sage-duplicate/invalid/wontfix
- Reviewers set to Simon King
comment:10 Changed 4 years ago by
- Resolution set to duplicate
- Status changed from new to closed
As #22626 is still being worked on, there is a small chance of output and other changes in GAP behaviour, but I guess it's minimal. With the #26856 branch (at commit 90f2fea), the package builds and passes some, but not all, tests.