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.

Sign up for GitHub

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

gap: support gap 4.13.1 in sagelib (does NOT touch sage-the-distro) #37884

Closed
wants to merge 2 commits into from
Closed

gap: support gap 4.13.1 in sagelib (does NOT touch sage-the-distro) #37884

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a79d190
gap: fix doctests for gap 4.13
tornaria Apr 26, 2024
3faaa24
gap: fix doctests for gap 4.13.1
tornaria Jul 18, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/sage/algebras/fusion_rings/fusion_double.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -133,7 +133,7 @@ class FusionDouble(CombinatorialFreeModule):
sage: G = SmallPermutationGroup(16,9)
sage: F = FusionDouble(G, prefix='b', inject_variables=True)
sage: b13^2 # long time (4s)
b0 + b2 + b4 + b15 + b16 + b17 + b18 + b24 + b26 + b27
b0 + b3 + b4
"""
@staticmethod
def __classcall_private__(cls, G, prefix='s', inject_variables=False):
Expand Down
26 changes: 13 additions & 13 deletions src/sage/categories/simplicial_sets.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -590,10 +590,10 @@
sage: # needs sage.graphs
sage: X = simplicial_sets.Torus()
sage: d = X._canonical_twisting_operator()
sage: d

Check failure on line 593 in src/sage/categories/simplicial_sets.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: {(s_0 v_0, sigma_1): f3, (sigma_1, s_0 v_0): f2*f3^-1, (sigma_1, sigma_1): f2}
{(s_0 v_0, sigma_1): f3, (sigma_1, s_0 v_0): f2*f3^-1, (sigma_1, sigma_1): f2}
{(s_0 v_0, sigma_1): f2, (sigma_1, s_0 v_0): f1*f2^-1, (sigma_1, sigma_1): f1}
sage: list(d.values())[0].parent()

Check failure on line 595 in src/sage/categories/simplicial_sets.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: Multivariate Laurent Polynomial Ring in f2, f3 over Integer Ring
Multivariate Laurent Polynomial Ring in f2, f3 over Integer Ring
Multivariate Laurent Polynomial Ring in f1, f2 over Integer Ring
sage: Y = simplicial_sets.RealProjectiveSpace(2)
sage: d2 = Y._canonical_twisting_operator()
sage: d2
Expand Down Expand Up @@ -673,11 +673,11 @@
sage: # needs sage.graphs
sage: X = simplicial_sets.Torus()
sage: C = X.twisted_chain_complex()
sage: C.differential(1)

Check failure on line 676 in src/sage/categories/simplicial_sets.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: [      f3 - 1 f2*f3^-1 - 1       f2 - 1]
[ f3 - 1 f2*f3^-1 - 1 f2 - 1]
[ f2 - 1 f1*f2^-1 - 1 f1 - 1]
sage: C.differential(2)

Check failure on line 678 in src/sage/categories/simplicial_sets.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: [       1 f2*f3^-1]
[      f3        1]
[      -1       -1]
[ 1 f2*f3^-1]
[ f3 1]
[ 1 f1*f2^-1]
[ f2 1]
[ -1 -1]
sage: C.differential(3)
[]
Expand Down Expand Up @@ -843,30 +843,30 @@

sage: # needs sage.graphs
sage: Y = simplicial_sets.Torus()
sage: Y.twisted_homology(1)

Check failure on line 846 in src/sage/categories/simplicial_sets.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: Quotient module by Submodule of Ambient free module of rank 5 over the integral domain Multivariate Polynomial Ring in f2, f2inv, f3, f3inv over Integer Ring
Generated by the rows of the matrix:
[           1            0            0            0            0]
[           0            1            0            0            0]
[           0            0            1            0            0]
[           0            0            0            1            0]
[           0            0            0            0            1]
[f2*f2inv - 1            0            0            0            0]
[           0 f2*f2inv - 1            0            0            0]
[           0            0 f2*f2inv - 1            0            0]
[           0            0            0 f2*f2inv - 1            0]
[           0            0            0            0 f2*f2inv - 1]
[f3*f3inv - 1            0            0            0            0]
[           0 f3*f3inv - 1            0            0            0]
[           0            0 f3*f3inv - 1            0            0]
[           0            0            0 f3*f3inv - 1            0]
[           0            0            0            0 f3*f3inv - 1]
Quotient module by Submodule of Ambient free module of rank 5 over the integral domain Multivariate Polynomial Ring in f2, f2inv, f3, f3inv over Integer Ring
Quotient module by Submodule of Ambient free module of rank 5 over the integral domain Multivariate Polynomial Ring in f1, f1inv, f2, f2inv over Integer Ring
Generated by the rows of the matrix:
[ 1 0 0 0 0]
[ 0 1 0 0 0]
[ 0 0 1 0 0]
[ 0 0 0 1 0]
[ 0 0 0 0 1]
[f1*f1inv - 1 0 0 0 0]
[ 0 f1*f1inv - 1 0 0 0]
[ 0 0 f1*f1inv - 1 0 0]
[ 0 0 0 f1*f1inv - 1 0]
[ 0 0 0 0 f1*f1inv - 1]
[f2*f2inv - 1 0 0 0 0]
[ 0 f2*f2inv - 1 0 0 0]
[ 0 0 f2*f2inv - 1 0 0]
[ 0 0 0 f2*f2inv - 1 0]
[ 0 0 0 0 f2*f2inv - 1]
[f3*f3inv - 1 0 0 0 0]
[ 0 f3*f3inv - 1 0 0 0]
[ 0 0 f3*f3inv - 1 0 0]
[ 0 0 0 f3*f3inv - 1 0]
[ 0 0 0 0 f3*f3inv - 1]
sage: Y.twisted_homology(2)

Check failure on line 864 in src/sage/categories/simplicial_sets.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: Quotient module by Submodule of Ambient free module of rank 0 over the integral domain Multivariate Polynomial Ring in f2, f2inv, f3, f3inv over Integer Ring
Generated by the rows of the matrix:
[]
Quotient module by Submodule of Ambient free module of rank 0 over the integral domain Multivariate Polynomial Ring in f2, f2inv, f3, f3inv over Integer Ring
Quotient module by Submodule of Ambient free module of rank 0 over the integral domain Multivariate Polynomial Ring in f1, f1inv, f2, f2inv over Integer Ring
Generated by the rows of the matrix:
[]
sage: Y.twisted_homology(1, reduced=True)

Check failure on line 868 in src/sage/categories/simplicial_sets.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: Quotient module by Submodule of Ambient free module of rank 5 over the integral domain Multivariate Polynomial Ring in f2, f2inv, f3, f3inv over Integer Ring
Generated by the rows of the matrix:
[1 0 0 0 0]
[0 1 0 0 0]
[0 0 1 0 0]
[0 0 0 1 0]
[0 0 0 0 1]
Quotient module by Submodule of Ambient free module of rank 5 over the integral domain Multivariate Polynomial Ring in f2, f2inv, f3, f3inv over Integer Ring
Quotient module by Submodule of Ambient free module of rank 5 over the integral domain Multivariate Polynomial Ring in f1, f1inv, f2, f2inv over Integer Ring
Generated by the rows of the matrix:
[1 0 0 0 0]
[0 1 0 0 0]
Expand Down
2 changes: 1 addition & 1 deletion src/sage/combinat/matrices/latin.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2444,7 +2444,7 @@ def p3_group_bitrade_generators(p):
EXAMPLES::

sage: from sage.combinat.matrices.latin import *
sage: p3_group_bitrade_generators(3)
sage: p3_group_bitrade_generators(3) # random output
((2,6,7)(3,8,9),
(1,2,3)(4,7,8)(5,6,9),
(1,9,2)(3,7,4)(5,8,6),
Expand Down
2 changes: 1 addition & 1 deletion src/sage/groups/cubic_braid.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -282,7 +282,7 @@ def _richcmp_(self, other, op):
EXAMPLES::

sage: CBG3 = CubicBraidGroup(3)
sage: sorted(CBG3) # indirect doctest
sage: sorted(CBG3) # indirect doctest, random output
[(c0*c1^-1)^2, c0*c1^-1*c0, c0^-1*c1*c0^-1, c0^-1*c1^-1*c0,
c1*c0^-1*c1, c0^-1*c1^-1*c0^-1, c0^-1*c1^-1, c1^-1*c0*c1^-1,
c0*c1^-1*c0^-1, c0^-1*c1, c0^-1*c1*c0, c0*c1^-1, c1*c0^-1,
Expand Down
22 changes: 11 additions & 11 deletions src/sage/groups/finitely_presented.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1342,10 +1342,10 @@
sage: G = FreeGroup(4, 'g')
sage: G.inject_variables(verbose=False)
sage: H = G.quotient([g1^2, g2*g1*g2^(-1)*g1^(-1), g1*g3^(-2), g0^4])
sage: H.abelianization_map()

Check failure on line 1345 in src/sage/groups/finitely_presented.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: Group morphism:
  From: Finitely presented group < g0, g1, g2, g3 | g1^2, g2*g1*g2^-1*g1^-1, g1*g3^-2, g0^4 >
  To:   Finitely presented group < f2, f3, f4 | f2^-1*f3^-1*f2*f3, f2^-1*f4^-1*f2*f4, f3^-1*f4^-1*f3*f4, f2^4, f3^4 >
Group morphism:
From: Finitely presented group < g0, g1, g2, g3 | g1^2, g2*g1*g2^-1*g1^-1, g1*g3^-2, g0^4 >
To: Finitely presented group < f2, f3, f4 | f2^-1*f3^-1*f2*f3, f2^-1*f4^-1*f2*f4, f3^-1*f4^-1*f3*f4, f2^4, f3^4 >
From: Finitely presented group < g0, g1, g2, g3 | g1^2, g2*g1*g2^-1*g1^-1, g1*g3^-2, g0^4 >
To: Finitely presented group < f1, f2, f3 | f1^4, f2^-1*f1^-1*f2*f1, f2^4, f3^-1*f1^-1*f3*f1, f3^-1*f2^-1*f3*f2 >
sage: g = FreeGroup(0) / []
sage: g.abelianization_map()
Group endomorphism of Finitely presented group < | >
Expand Down Expand Up @@ -1393,11 +1393,11 @@
sage: G.inject_variables()
Defining g0, g1, g2, g3
sage: H = G.quotient([g1^2, g2*g1*g2^(-1)*g1^(-1), g1*g3^(-2), g0^4])
sage: H.abelianization_to_algebra()

Check failure on line 1396 in src/sage/groups/finitely_presented.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: (Finitely presented group < f2, f3, f4 | f2^-1*f3^-1*f2*f3, f2^-1*f4^-1*f2*f4, f3^-1*f4^-1*f3*f4, f2^4, f3^4 >,
 Multivariate Laurent Polynomial Ring in f2, f3, f4 over Rational Field,
 [f2^4 - 1, f3^4 - 1],
 [f2^-1*f3^-2, f3^-2, f4, f3])
(Finitely presented group < f2, f3, f4 | f2^-1*f3^-1*f2*f3, f2^-1*f4^-1*f2*f4,
f3^-1*f4^-1*f3*f4, f2^4, f3^4 >,
Multivariate Laurent Polynomial Ring in f2, f3, f4 over Rational Field,
[f2^4 - 1, f3^4 - 1], [f2^-1*f3^-2, f3^-2, f4, f3])
(Finitely presented group < f1, f2, f3 | f1^4, f2^-1*f1^-1*f2*f1, f2^4, f3^-1*f1^-1*f3*f1, f3^-1*f2^-1*f3*f2 >,
Multivariate Laurent Polynomial Ring in f1, f2, f3 over Rational Field,
[f1^4 - 1, f2^4 - 1],
[f1^3*f2^2, f2^2, f3, f2])
sage: g=FreeGroup(0) / []
sage: g.abelianization_to_algebra()
(Finitely presented group < | >, Rational Field, [], [])
Expand Down Expand Up @@ -1672,8 +1672,8 @@
sage: ideal
[]
sage: G = FreeGroup(3)/[(2, 1, 1), (1, 2, 2, 3, 3)]
sage: A, ideal = G.abelian_alexander_matrix(simplified=True); A

Check failure on line 1675 in src/sage/groups/finitely_presented.py

View workflow job for this annotation

GitHub Actions / test-new

Failed example: 

Failed example:: Got: [-f3^2 - f3^4 - f3^6         f3^3 + f3^6]
[-f3^2 - f3^4 - f3^6 f3^3 + f3^6]
[-f1^2 - f1^4 - f1^6 f1^3 + f1^6]
sage: g = FreeGroup(1) / []
sage: g.abelian_alexander_matrix()
([], [])
Expand Down Expand Up @@ -1773,11 +1773,11 @@
3: Ideal (1) of Multivariate Laurent Polynomial Ring in f1, f2 over Integer Ring}
sage: G = FreeGroup(2)/[(1,2,1,-2,-1,-2)]
sage: G.characteristic_varieties()
{0: Ideal (0) of Univariate Laurent Polynomial Ring in f2 over Rational Field,
1: Ideal (-1 + 2*f2 - 2*f2^2 + f2^3) of Univariate Laurent Polynomial Ring in f2 over Rational Field,
2: Ideal (1) of Univariate Laurent Polynomial Ring in f2 over Rational Field}
{0: Ideal (0) of Univariate Laurent Polynomial Ring in f1 over Rational Field,
1: Ideal (-1 + 2*f1 - 2*f1^2 + f1^3) of Univariate Laurent Polynomial Ring in f1 over Rational Field,
2: Ideal (1) of Univariate Laurent Polynomial Ring in f1 over Rational Field}
sage: G.characteristic_varieties(groebner=True)
{0: [0], 1: [-1 + f2, 1 - f2 + f2^2], 2: []}
{0: [0], 1: [-1 + f1, 1 - f1 + f1^2], 2: []}
sage: G = FreeGroup(2)/[3 * (1, ), 2 * (2, )]
sage: G.characteristic_varieties(groebner=True)
{0: [-1 + F1, 1 + F1, 1 - F1 + F1^2, 1 + F1 + F1^2], 1: [1 - F1 + F1^2], 2: []}
Expand Down
18 changes: 8 additions & 10 deletions src/sage/groups/perm_gps/permgroup_named.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3465,16 +3465,14 @@ class SmallPermutationGroup(PermutationGroup_generic):
sage: G = SmallPermutationGroup(12,4); G
Group of order 12 and GAP Id 4 as a permutation group
sage: G.gens()
((1,2)(3,5)(4,10)(6,8)(7,12)(9,11),
(1,3)(2,5)(4,7)(6,9)(8,11)(10,12),
(1,4,8)(2,6,10)(3,7,11)(5,9,12))
((4,5), (1,2), (3,4,5))
sage: G.character_table() # needs sage.rings.number_field
[ 1 1 1 1 1 1]
[ 1 -1 -1 1 1 -1]
[ 1 -1 1 -1 1 -1]
[ 1 -1 1 1 -1 1]
[ 1 1 -1 1 -1 -1]
[ 2 0 -2 -1 0 1]
[ 2 0 2 -1 0 -1]
[ 1 1 1 -1 -1 -1]
[ 2 0 -1 -2 0 1]
[ 2 0 -1 2 0 -1]
sage: def numgps(n): return ZZ(libgap.NumberSmallGroups(n))
sage: all(SmallPermutationGroup(n,k).id() == [n,k]
....: for n in [1..64] for k in [1..numgps(n)])
Expand All @@ -3483,11 +3481,11 @@ class SmallPermutationGroup(PermutationGroup_generic):
sage: H.is_abelian()
False
sage: [H.centralizer(g) for g in H.conjugacy_classes_representatives()]
[Subgroup generated by [(1,2)(3,6)(4,5), (1,3,5)(2,4,6)] of
[Subgroup generated by [(1,3), (2,3)] of
(Group of order 6 and GAP Id 1 as a permutation group),
Subgroup generated by [(1,2)(3,6)(4,5)] of
Subgroup generated by [(2,3)] of
(Group of order 6 and GAP Id 1 as a permutation group),
Subgroup generated by [(1,3,5)(2,4,6), (1,5,3)(2,6,4)] of
Subgroup generated by [(1,2,3)] of
(Group of order 6 and GAP Id 1 as a permutation group)]
"""

Expand Down
Loading