Package evaluation to test Chevie on Julia 1.14.0-DEV.1674 (5735163b34*) started at 2026-02-03T16:11:46.769 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 11.28s ################################################################################ # Installation # Installing Chevie... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [367f69f0] + Chevie v0.1.11 Updating `~/.julia/environments/v1.14/Manifest.toml` [36d08e8a] + AbstractPermutations v0.3.3 [367f69f0] + Chevie v0.1.11 [a6b051d1] + Combinat v0.1.5 [05fb067e] + CycPols v0.1.4 [c380f8b6] + CyclotomicNumbers v0.1.10 [bbb6641c] + FiniteFields v0.1.2 [580d1d9c] + FinitePosets v0.1.5 [2304d612] + GenLinearAlgebra v0.1.3 [a98d1166] + GenericDecMats v0.1.2 [e70aea02] + GroupPresentations v0.1.1 [d5909c97] + GroupsCore v0.5.2 [18e54dd8] + IntegerMathUtils v0.1.3 ⌅ [682c06a0] + JSON v0.21.4 [b964fa9f] + LaTeXStrings v1.4.0 [10b2801c] + LaurentPolynomials v0.1.7 [f23b31af] + MatInt v0.1.3 [4249f315] + ModuleElts v0.1.5 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [0b63354f] + PermGroups v0.2.19 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.1 [27ebfcd6] + Primes v0.5.7 [f53aee1f] + PuiseuxPolynomials v0.1.9 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [87930f55] + SignedPerms v0.1.2 [b01ca8d2] + UsingMerge v0.0.7 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] + LibCURL_jll v8.18.0+0 [e37daf67] + LibGit2_jll v1.9.2+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.12.2 [4536629a] + OpenBLAS_jll v0.3.30+0 [458c3c95] + OpenSSL_jll v3.5.5+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.68.0+1 [3f19e933] + p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.44s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 1990.5 ms ✓ PuiseuxPolynomials 2048.7 ms ✓ PermGroups 2545.0 ms ✓ GenericDecMats 7398.3 ms ✓ GroupPresentations 1257.2 ms ✓ SignedPerms # CyclotomicNumbers adds 1 method to LaurentPolynomials.coefficients # CyclotomicNumbers adds 1 method to Perms.order # CyclotomicNumbers adds 8 methods to LaurentPolynomials.root # FiniteFields adds 2 methods to LaurentPolynomials.degree # FiniteFields adds 1 method to Groups.elements # FiniteFields adds 2 methods to Perms.order reading Chevie data: for G(de,e,n) 19.485 seconds for Aₙ 0.144 seconds for Bₙ and Cₙ 0.211 seconds for Dₙ 0.545 seconds for ³D₄ 1.761 seconds for ²Aₙ 0.066 seconds for ²Dₙ 0.122 seconds for ᵗG(e,e,n) 0.053 seconds for G₂ 0.719 seconds for I₂(e) 0.139 seconds for ²I₂(e) 0.146 seconds for G₄-G₂₂ 55.936 seconds for H₃ 2.063 seconds for G₂₄ 7.040 seconds for G₂₅ 63.501 seconds for G₂₆ 2.978 seconds for G₂₇ 6.241 seconds for F₄ 5.440 seconds for ²F₄ 1.904 seconds for G₂₉ 6.347 seconds for H₄ 23.297 seconds for G₃₁ 3.526 seconds for G₃₂ 31.98 seconds for G₃₃ 4.075 seconds for G₃₄ 17.497 seconds for E₆ 1.754 seconds for ²E₆ 0.449 seconds for E₇ 2.995 seconds for E₈ 4.527 seconds for several groups 13.599 seconds 334492.7 ms ✓ Chevie 6 dependencies successfully precompiled in 350 seconds. 55 already precompiled. 1 dependency had output during precompilation: ┌ Chevie │ # CyclotomicNumbers adds 1 method to LaurentPolynomials.coefficients │ # CyclotomicNumbers adds 1 method to Perms.order │ # CyclotomicNumbers adds 8 methods to LaurentPolynomials.root │ # FiniteFields adds 2 methods to LaurentPolynomials.degree │ # FiniteFields adds 1 method to Groups.elements │ # FiniteFields adds 2 methods to Perms.order │ reading Chevie data: │ for G(de,e,n) 19.485 seconds │ for Aₙ 0.144 seconds │ for Bₙ and Cₙ 0.211 seconds │ for Dₙ 0.545 seconds │ for ³D₄ 1.761 seconds │ for ²Aₙ 0.066 seconds │ for ²Dₙ 0.122 seconds │ for ᵗG(e,e,n) 0.053 seconds │ for G₂ 0.719 seconds │ for I₂(e) 0.139 seconds │ for ²I₂(e) 0.146 seconds │ for G₄-G₂₂ 55.936 seconds │ for H₃ 2.063 seconds │ for G₂₄ 7.040 seconds │ for G₂₅ 63.501 seconds │ for G₂₆ 2.978 seconds │ for G₂₇ 6.241 seconds │ for F₄ 5.440 seconds │ for ²F₄ 1.904 seconds │ for G₂₉ 6.347 seconds │ for H₄ 23.297 seconds │ for G₃₁ 3.526 seconds │ for G₃₂ 31.98 seconds │ for G₃₃ 4.075 seconds │ for G₃₄ 17.497 seconds │ for E₆ 1.754 seconds │ for ²E₆ 0.449 seconds │ for E₇ 2.995 seconds │ for E₈ 4.527 seconds │ for several groups 13.599 seconds └ Precompilation completed after 365.76s ################################################################################ # Testing # Testing Chevie Status `/tmp/jl_tTopsN/Project.toml` [367f69f0] Chevie v0.1.11 [a6b051d1] Combinat v0.1.5 [05fb067e] CycPols v0.1.4 [c380f8b6] CyclotomicNumbers v0.1.10 [bbb6641c] FiniteFields v0.1.2 [580d1d9c] FinitePosets v0.1.5 [2304d612] GenLinearAlgebra v0.1.3 [a98d1166] GenericDecMats v0.1.2 [e70aea02] GroupPresentations v0.1.1 [10b2801c] LaurentPolynomials v0.1.7 [f23b31af] MatInt v0.1.3 [4249f315] ModuleElts v0.1.5 [bac558e1] OrderedCollections v1.8.1 [0b63354f] PermGroups v0.2.19 [27ebfcd6] Primes v0.5.7 [f53aee1f] PuiseuxPolynomials v0.1.9 [189a3867] Reexport v1.2.2 [87930f55] SignedPerms v0.1.2 [b01ca8d2] UsingMerge v0.0.7 [37e2e46d] LinearAlgebra v1.13.0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_tTopsN/Manifest.toml` [36d08e8a] AbstractPermutations v0.3.3 [367f69f0] Chevie v0.1.11 [a6b051d1] Combinat v0.1.5 [05fb067e] CycPols v0.1.4 [c380f8b6] CyclotomicNumbers v0.1.10 [bbb6641c] FiniteFields v0.1.2 [580d1d9c] FinitePosets v0.1.5 [2304d612] GenLinearAlgebra v0.1.3 [a98d1166] GenericDecMats v0.1.2 [e70aea02] GroupPresentations v0.1.1 [d5909c97] GroupsCore v0.5.2 [18e54dd8] IntegerMathUtils v0.1.3 ⌅ [682c06a0] JSON v0.21.4 [b964fa9f] LaTeXStrings v1.4.0 [10b2801c] LaurentPolynomials v0.1.7 [f23b31af] MatInt v0.1.3 [4249f315] ModuleElts v0.1.5 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [0b63354f] PermGroups v0.2.19 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.1 [27ebfcd6] Primes v0.5.7 [f53aee1f] PuiseuxPolynomials v0.1.9 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [87930f55] SignedPerms v0.1.2 [b01ca8d2] UsingMerge v0.0.7 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] LibCURL_jll v8.18.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.12.2 [4536629a] OpenBLAS_jll v0.3.30+0 [458c3c95] OpenSSL_jll v3.5.5+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.68.0+1 [3f19e933] p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Algebras.jl G=symmetric_group(5) Algebras.jl Algebras.pprimesections(G,2) Algebras.jl Algebras.pprimesections(G,3) Algebras.jl W=coxgroup(:B,4) Algebras.jl A=SolomonAlgebra(W) Algebras.jl X=A.xbasis; X(1,2,3)*X(2,4) Algebras.jl W.solomon_subsets Algebras.jl W.solomon_conjugacy Algebras.jl Algebras.injection(A)(X(1,2,3)) Chars.jl W=coxgroup(:A,3) Chars.jl CharTable(W) Chars.jl W=coxgroup(:G,2) Chars.jl ct=CharTable(W) Chars.jl ct.charnames Chars.jl ct.classnames Chars.jl m=cartan(:A,3) Chars.jl schur_functor(m,[2,2]) Chars.jl fakedegree(coxgroup(:A,2),[[2,1]],Pol(:q)) Chars.jl fakedegrees(coxgroup(:A,2),Pol(:q)) Chars.jl charinfo(coxgroup(:G,2)).charparams Chars.jl charinfo(coxgroup(:G,2)) Chars.jl charinfo(complex_reflection_group(24)) Chars.jl W=coxgroup(:D,4) Chars.jl detPerm(W) Chars.jl W=complex_reflection_group(4) Chars.jl conjPerm(W) Chars.jl classinfo(coxgroup(:A,2)) Chars.jl W=spets(coxgroup(:D,4),Perm(1,2,4)) Chars.jl CharTable(W) Chars.jl WF=rootdatum("3D4") Chars.jl on_chars(Group(WF),WF.phi) Chars.jl representation(complex_reflection_group(24),3) Chars.jl representations(coxgroup(:B,2)) Chars.jl W=coxgroup(:H,3) Chars.jl g=Wgraph(W,3) Chars.jl WGraphToRepresentation(3,g,Pol(:x)) Chars.jl W=coxgroup(:G,2) Chars.jl charnames(W;limit=true) Chars.jl charnames(W;TeX=true) Chars.jl charnames(W;spaltenstein=true,limit=true) Chars.jl charnames(W;spaltenstein=true,TeX=true) Chars.jl g=coxgroup(:G,2) Chars.jl u=reflection_subgroup(g,[1,6]) Chars.jl t=induction_table(u,g) Chars.jl W=coxgroup(:D,4) Chars.jl H=reflection_subgroup(W,[1,3]) Chars.jl j_induction_table(H,W) Chars.jl W=coxgroup(:D,4) Chars.jl H=reflection_subgroup(W,[1,3]) Chars.jl J_induction_table(H,W) Chars.jl W=complex_reflection_group(4);@Mvp x,y Chars.jl discriminant(W)(x,y) ComplexR.jl G=complex_reflection_group(4) ComplexR.jl degrees(G) ComplexR.jl length(G) ComplexR.jl W*coxgroup(:A,2) ComplexR.jl complex_reflection_group(1,1,3) ComplexR.jl crg(4) ComplexR.jl W=complex_reflection_group(30) ComplexR.jl degrees(W) ComplexR.jl length(W) ComplexR.jl W=coxgroup(:E,6) ComplexR.jl WF=spets(W) ComplexR.jl phi=W(6,5,4,2,3,1,4,3,5,4,2,6,5,4,3,1); ComplexR.jl HF=subspets(WF,2:5,phi) ComplexR.jl diagram(HF) ComplexR.jl degrees(HF) ComplexR.jl W=complex_reflection_group(4) ComplexR.jl codegrees(W) ComplexR.jl W=coxgroup(:B,2) ComplexR.jl hyperplane_orbits(W) ComplexR.jl W=crg(8); ComplexR.jl r=reflections(W)[7] ComplexR.jl r.rootno ComplexR.jl r.eigen ComplexR.jl r.W ComplexR.jl r==Reflection(W,1,-1) ComplexR.jl Reflection(W,1) ComplexR.jl root(r) ComplexR.jl coroot(r) ComplexR.jl Matrix(r) ComplexR.jl hyperplane(r) ComplexR.jl hyperplane(r)*Matrix(r)==hyperplane(r) ComplexR.jl isdistinguished(r) ComplexR.jl exponent(r) ComplexR.jl Perm(r) ComplexR.jl hyperplane_orbit(r) ComplexR.jl position_class(r) ComplexR.jl simple_rep(r) ComplexR.jl word(r) ComplexR.jl W=crg(4) ComplexR.jl reflections(W) Cosets.jl W=complex_reflection_group(14) Cosets.jl R=reflection_subgroup(W,[2,4]) Cosets.jl RF=spets(R,W(1)) Cosets.jl degrees(RF) Cosets.jl W=coxgroup(:B,2) Cosets.jl W=coxgroup(:Bsym,2) Cosets.jl WF=spets(W,Perm(1,2)) Cosets.jl CharTable(WF) Cosets.jl W=coxgroup(:Bsym,2) Cosets.jl WF=spets(W,Perm(1,2)) Cosets.jl subspets(WF,Int[],W(1)) Cosets.jl W=coxgroup(:B,2) Cosets.jl twistings(W,[1]) Cosets.jl twistings(W,[2]) Cosets.jl W=coxgroup(:B,2) Cosets.jl twistings(W,[2,4]) Cosets.jl W=coxgroup(:E,6) Cosets.jl WF=spets(W,Perm(1,6)*Perm(3,5)) Cosets.jl twistings(W,2:5) Cosets.jl twistings(WF,2:5) Cosets.jl W=coxgroup(:D,4) Cosets.jl graph_automorphisms(refltype(W*W)) Cosets.jl twistings(coxgroup(:A,3)*coxgroup(:A,3)) Cosets.jl twistings(coxgroup(:D,4)) Cosets.jl W=rootdatum(:so,8) Cosets.jl twistings(W) Cosets.jl W=rootdatum(:gl,3) Cosets.jl gu3=spets(W,-reflrep(W,W())) Cosets.jl F4=coxgroup(:F,4);D4=reflection_subgroup(F4,[1,2,16,48]) Cosets.jl spets(D4,[1 0 0 0;0 1 2 0;0 0 0 1;0 0 -1 -1]) Cosets.jl W=coxgroup(:A,3) Cosets.jl spets(W,Perm(1,3)) Cosets.jl torus([0 -1;1 -1]) Cosets.jl W=coxgroup(:A,3) Cosets.jl twistings(W,Int[]) Cosets.jl torus(W,2) Cosets.jl WF=spets(W,Perm(1,3)) Cosets.jl twistings(WF,Int[]) Cosets.jl torus(WF,2) Cosets.jl W=coxgroup(:D,4) Cosets.jl WF=spets(W,Perm(1,2,4)) Cosets.jl u=unichar(W,2) Cosets.jl F=Frobenius(WF);F(u) Cosets.jl F(u,-1) Cosets.jl F(1) Cosets.jl WF=spets(coxgroup(:F,4)) Cosets.jl w=transporting_elt(Group(WF),[1,2,9,16],[1,9,16,2],ontuples); Cosets.jl LF=subspets(WF,[1,2,9,16],w) Cosets.jl diagram(LF) Cosets.jl spets("3G422") ##### Warning: cartantypes for crg(4,2,2)=Cyc{Rational{Int64}}[-E(3,2)] exec="(ζ₃²(-1-√-1)/2)₄‚₂‚₂" manl="₄‚₂‚₂" Cosets.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:166 Expression: mytest("Cosets.jl", "spets(\"3G422\")", "³G₄‚₂‚₂") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:117 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:166 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined] Cosets.jl spets("2G5") Cosets.jl spets("3G333") Cosets.jl spets("3pG333") Cosets.jl spets("4G333") CoxGroups.jl W=coxsym(4) CoxGroups.jl p=W(1,3,2,1,3) CoxGroups.jl word(W,p) CoxGroups.jl word(W,longest(W)) CoxGroups.jl w0=longest(W) CoxGroups.jl length(W,w0) CoxGroups.jl map(w->word(W,w),refls(W,1:nref(W))) CoxGroups.jl [length(elements(W,i)) for i in 0:nref(W)] CoxGroups.jl W=coxsym(3) CoxGroups.jl firstleftdescent(W,Perm(2,3)) CoxGroups.jl W=coxsym(3) CoxGroups.jl leftdescents(W,Perm(1,3)) CoxGroups.jl W=coxgroup(:A,3) CoxGroups.jl w=perm"(1,11)(3,10)(4,9)(5,7)(6,12)" CoxGroups.jl w in W CoxGroups.jl word(W,w) CoxGroups.jl W=coxsym(4) CoxGroups.jl p=W(1,2,3,1,2,3) CoxGroups.jl length(W,p) CoxGroups.jl word(W,p) CoxGroups.jl W=coxgroup(:G,2) CoxGroups.jl H=reflection_subgroup(W,[2,6]) CoxGroups.jl word.(Ref(W),unique(reduced.(Ref(H),elements(W)))) CoxGroups.jl W=coxgroup(:G,2) CoxGroups.jl H=reflection_subgroup(W,[2,6]) CoxGroups.jl [word(W,w) for S in reduced(H,W) for w in S] CoxGroups.jl W=coxgroup(:H,3) CoxGroups.jl w=W(1,2,1,3); CoxGroups.jl b=filter(x->bruhatless(W,x,w),elements(W)); CoxGroups.jl word.(Ref(W),b) CoxGroups.jl W=coxsym(3) CoxGroups.jl bruhatless(W,Perm(1,3)) CoxGroups.jl W=coxsym(3) CoxGroups.jl bruhatPoset(W) CoxGroups.jl p=Poset((x,y)->bruhatless(W,x,y),elements(W)) CoxGroups.jl p.show_element=(io,x,n)->join(io,word(W,x.elements[n])); CoxGroups.jl p CoxGroups.jl W=coxsym(4) CoxGroups.jl bruhatPoset(W,W(1,3)) CoxGroups.jl W=coxgroup(:A,3) CoxGroups.jl words(W,longest(W)) CoxGroups.jl W=coxgroup(:A,3) CoxGroups.jl inversions(W,W(1,2,1)) CoxGroups.jl CoxGroups.standard_parabolic_class(coxgroup(:E,8),[7,8]) CoxGroups.jl C=cartan(:H,3) CoxGroups.jl coxmat(C) CoxGroups.jl W=coxsym(4) CoxGroups.jl coxmat(W) CoxGroups.jl W=complex_reflection_group(29) CoxGroups.jl braid_relations(W) CoxGroups.jl longest(coxsym(4)) CoxGroups.jl longest(coxsym(4)) CoxGroups.jl W=coxsym(3) CoxGroups.jl gens(W) CoxGroups.jl e=elements(W) CoxGroups.jl length.(Ref(W),e) CoxGroups.jl W=coxsym(3) CoxGroups.jl isleftdescent(W,Perm(1,2),1) CoxGroups.jl W=coxsym(3) CoxGroups.jl isrightdescent(W,Perm(1,2),1) CoxGroups.jl elements(coxhyp(2)) CoxGroups.jl W=coxgroup([2 -2;-2 2]) CoxGroups.jl gens(W) Diagrams.jl diagram(coxgroup(:E,8)) Diagrams.jl diagram(crg(33)) Eigenspaces.jl W=coxgroup(:E,8) Eigenspaces.jl relative_degrees(W,4) Eigenspaces.jl regular_eigenvalues(coxgroup(:G,2)) Eigenspaces.jl W=complex_reflection_group(6) Eigenspaces.jl L=twistings(W,[2])[4] Eigenspaces.jl regular_eigenvalues(L) Eigenspaces.jl W=coxgroup(:E,8) Eigenspaces.jl position_regular_class(W,30) Eigenspaces.jl W=complex_reflection_group(6) Eigenspaces.jl L=twistings(W,[2])[4] Eigenspaces.jl position_regular_class(L,7//12) Eigenspaces.jl W=coxgroup(:A,3) Eigenspaces.jl w=W(1:3...) Eigenspaces.jl p=eigenspace_projector(W,w,1//4) Eigenspaces.jl GenLinearAlgebra.rank(p) Eigenspaces.jl W=coxgroup(:A,3) Eigenspaces.jl split_levis(W,4) Eigenspaces.jl W=spets(coxgroup(:D,4),Perm(1,2,4)) Eigenspaces.jl split_levis(W,3) Eigenspaces.jl W=coxgroup(:E,8) Eigenspaces.jl split_levis(W,4,2) Eigenspaces.jl split_levis(complex_reflection_group(5)) FFfac.jl @Pol q FFfac.jl f=q^3*(q^4-1)^2*Z(3)^0 FFfac.jl factor(f) FFfac.jl factor(f,GF(9)) Fact.jl factor(Pol(:q)^24-1) Fact.jl Fact.LogInt(1024,2) Fact.jl Fact.LogInt(1,10) Families.jl W=coxgroup(:G,2) Families.jl uc=UnipotentCharacters(W); Families.jl uc.families Families.jl uc.families[1] Families.jl charnames(uc)[uc.families[1].charNumbers] Families.jl Family("C2") Families.jl Family("C2",4:7;signs=[1,-1,1,-1]) Families.jl f=UnipotentCharacters(complex_reflection_group(3,1,1)).families[2] Families.jl galois(f,-1) Families.jl f=UnipotentCharacters(complex_reflection_group(3,1,1)).families[2] Families.jl invpermute(f,Perm(1,2,3)) Families.jl Families.ndrinfeld_double(complex_reflection_group(5)) Families.jl family_imprimitive([[0,1],[1],[0]]) Families.jl FamiliesClassical(symbols(2,3)) exec="0112233,[4])\n Family(3,[9])\n Family(112,[2])\n Family(01123,[1, 3, 8, 11])\n Family(013,[5, 7, 10, 12])\n Family(022,[6])" manl="112,[2])\n Family(022,[6])\n Family(3,[9])\n Family(01123,[1, 3, 8, 11])\n Family(0112233,[4])\n Family(013,[5, 7, 10, 12])" Families.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:290 Expression: mytest("Families.jl", "FamiliesClassical(symbols(2,3))", "6-element Vector{Family}:\n Family(112,[2])\n Family(022,[6])\n Family(3,[9])\n Family(01123,[1, 3, 8, 11])\n Family(0112233,[4])\n Family(013,[5, 7, 10, 12])") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:277 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:290 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined] Families.jl W=complex_reflection_group(4) Families.jl uc=UnipotentCharacters(W);f=uc.families[4]; Families.jl A=Zbasedring(fourier(f),1) Families.jl b=basis(A) Families.jl b*permutedims(b) Families.jl CharTable(A) Format.jl s="E_6[\\zeta_3]:\\phi_{1,6}" Format.jl fromTeX(rio(),s) Format.jl fromTeX(stdout,s) Format.jl ordinal(201) Format.jl ordinal(202) Format.jl ordinal(203) Format.jl ordinal(204) Format.jl joindigits([1,9,3,5]) Format.jl joindigits([1,10,3,5]) Format.jl joindigits([1,10,3,5],"[]";sep="-") Garside.jl W=coxgroup(:A,4) Garside.jl B=BraidMonoid(W) Garside.jl w=B(1,2,3,4) Garside.jl w*w Garside.jl w*W(1) Garside.jl W(1)*w Garside.jl w^3 Garside.jl B(1,2)\w Garside.jl w/B(3,4) Garside.jl w^B(1) Garside.jl w^W(1) Garside.jl word(α(w^3)) Garside.jl w^4 Garside.jl inv(w) Garside.jl B(-4,-3,-2,-1) Garside.jl xrepr(w^-1,greedy=true,limit=true) Garside.jl repr(w) Garside.jl repr(w^3) Garside.jl repr(w^-1) Garside.jl b=B(2,1,4,1,4) Garside.jl c=B(1,4,1,4,3) Garside.jl d=conjugating_elt(b,c) Garside.jl b^d Garside.jl centralizer_gens(b) exec="21.1\n 321432.213243\n 4" manl="321432.213243\n 21.1\n 4" Garside.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:334 Expression: mytest("Garside.jl", "centralizer_gens(b)", "3-element Vector{GarsideElt{Perm{Int16}, BraidMonoid{Perm{Int16}, FiniteCoxeterGroup{Perm{Int16},Int64}}}}:\n 321432.213243\n 21.1\n 4") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:334 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined] Garside.jl C=conjcat(b;ss=Val(:ss)) Garside.jl C.obj Garside.jl word(W,preferred_prefix(b)) Garside.jl b^B(preferred_prefix(b)) Garside.jl C=conjcat(b) Garside.jl C.obj Garside.jl W=coxgroup(:A,3) Garside.jl B=BraidMonoid(W) Garside.jl Pi=B(B.δ)^2 Garside.jl root(Pi,2) Garside.jl root(Pi,3) Garside.jl root(Pi,4) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl word(B,B.δ) Garside.jl W=coxgroup(:A,3) Garside.jl B=BraidMonoid(W) Garside.jl map(x->B.(x),left_divisors(B,W(1,3,2))) Garside.jl B=DualBraidMonoid(W) Garside.jl map(x->B.(x),left_divisors(B,W(1,3,2))) Garside.jl M=BraidMonoid(coxgroup(:A,2)) Garside.jl elements(M,4) Garside.jl B=DualBraidMonoid(coxsym(4)) Garside.jl left_divisors(B(1,5,4,3)) Garside.jl left_divisors(B(1,5,4,3),1) Garside.jl W=coxgroup(:E,8);B=BraidMonoid(W) Garside.jl w=B(2,3,4,2,3,4,5,4,2,3,4,5,6,5,4,2,3,4,5,6,7,6,5,4,2,3,4,5,6,7,8) Garside.jl Brieskorn_normal_form(w) Garside.jl Brieskorn_normal_form(w^2) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl b=B( 2, 1, -3, 1, 1) Garside.jl fraction(b) Garside.jl W=coxgroup(:A,3) Garside.jl b=BraidMonoid(W)(2,1,2,1,1) Garside.jl α(b) Garside.jl W=coxgroup(:A,4);B=BraidMonoid(W) Garside.jl w0=B(longest(W)) Garside.jl α(w0,[1,2,3]) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl b=B(2,1,2,1,1)*inv(B(2,2)) Garside.jl word(b) Garside.jl W=coxgroup(:A,3) Garside.jl B=BraidMonoid(W) Garside.jl leftgcdc(B(2,1,2)^2,B(3,2)^2) Garside.jl W=coxgroup(:A,3) Garside.jl B=BraidMonoid(W) Garside.jl rightgcdc(B(2,1,2)^2,B(3,2)^2) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl leftlcmc(B(2,1,2)^2,B(3,2)^2) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl rightlcmc(B(2,1,2)^2,B(3,2)^2) Garside.jl W=coxsym(4) Garside.jl b=BraidMonoid(W)(2,1,2,1,1) Garside.jl p=image(b) Garside.jl word(W,p) Garside.jl W=coxgroup(:A,2) Garside.jl pi=BraidMonoid(W)(longest(W))^2 Garside.jl words(pi) Garside.jl W=coxgroup(:A,3) Garside.jl D=DualBraidMonoid(W) Garside.jl D(2,1,2,1,1) Garside.jl D(-1,-2,-3,1,1) Garside.jl W=crg(4) Garside.jl D=DualBraidMonoid(W) Garside.jl left_divisors(D(D.δ)) Garside.jl W=coxgroup(:E,8);M=DualBraidMonoid(W) Garside.jl s4=left_divisors(M,M.δ,4); Garside.jl s=M(s4[findfirst(x->x*δad(M,x,8)==M.δ,s4)]) Garside.jl "the right-lcms of the `δⁱ`-orbits on `leftdescents(b)`" function satoms(b,i) M=b.M ld=M.atoms[leftdescents(b)] di=Perm(ld,δad.(Ref(M),ld,i)) if isnothing(di) error(b," is not δ^\$i-stable") end map(o->M(rightlcm(M,ld[o]...)),orbits(di,eachindex(ld))) end WARNING: Detected access to binding `Main.satoms` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. To make this warning an error, and hence obtain a stack trace, use `julia --depwarn=error`. Garside.jl: Error During Test at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:402 Test threw exception Expression: mytest("Garside.jl", "\"the right-lcms of the `δⁱ`-orbits on `leftdescents(b)`\"\n function satoms(b,i)\n M=b.M\n ld=M.atoms[leftdescents(b)]\n di=Perm(ld,δad.(Ref(M),ld,i))\n if isnothing(di) error(b,\" is not δ^\\\$i-stable\") end\n map(o->M(rightlcm(M,ld[o]...)),orbits(di,eachindex(ld)))\n end", "satoms") ArgumentError: invalid index: nothing of type Nothing Stacktrace: [1] to_index(i::Nothing) @ Base ./indices.jl:315 [2] to_index(A::Vector{Int64}, i::Nothing) @ Base ./indices.jl:292 [3] to_indices @ ./indices.jl:368 [inlined] [4] to_indices @ ./indices.jl:360 [inlined] [5] getindex(A::Vector{Int64}, I::Nothing) @ Base ./abstractarray.jl:1360 [6] mytest(file::String, cmd::String, man::String) @ Main ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:11 [7] eval_test_function(func::Any, args::Any, kwargs::Any, quoted_func::Union{Expr, Symbol}, source::LineNumberNode, negate::Bool) @ Test /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:402 [8] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [10] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [12] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:402 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:779 [inlined] Garside.jl Category(x->satoms(x,15),s;action=(o,m)->inv(m)*o*δad(m,8)) Garside.jl W=coxsym(4);M=BraidMonoid(W) Garside.jl endomorphisms(conjcat(M(1,1,2,2,3)),1) exec="12.213\n 213.1232" manl="213.1232\n 12.213" Garside.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:405 Expression: mytest("Garside.jl", "endomorphisms(conjcat(M(1,1,2,2,3)),1)", "2-element Vector{GarsideElt{Perm{Int16}, BraidMonoid{Perm{Int16}, CoxSym{Int16}}}}:\n 213.1232\n 12.213") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:405 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined] Garside.jl W=coxgroup(:A,4) Garside.jl w=BraidMonoid(W)(4,3,3,2,1) Garside.jl C=conjcat(w) Garside.jl C.obj Garside.jl conjcat(w;ss=Val(:ss)).obj Garside.jl W=coxgroup(:D,4) Garside.jl B=BraidMonoid(W) Garside.jl b=B(2,3,1,2,4,3) Garside.jl b1=B(1,4,3,2,2,2) Garside.jl conjugating_elt(b,b1) Garside.jl c=conjugating_elt(b,b1;ss=Val(:cyc)) Garside.jl b^c Garside.jl WF=spets(W,Perm(1,2,4)) Garside.jl F=Frobenius(WF); Garside.jl c=B(3,4,3,1,2,3) Garside.jl conjugating_elt(b,c,F) Garside.jl ^(b,B(1,2,4,3,1,2),F) Garside.jl W=coxgroup(:D,4) Garside.jl B=BraidMonoid(W) Garside.jl w=B(4,4,4) Garside.jl cc=centralizer_gens(w) exec="34.43\n 4\n (31432)⁻¹231432\n 1\n 2\n (2)⁻¹34.432\n (32431)⁻¹132431\n (1)⁻¹34.431" manl="1\n (31432)⁻¹231432\n (1)⁻¹34.431\n (2)⁻¹34.432\n (32431)⁻¹132431\n 4\n 34.43\n 2" Garside.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:426 Expression: mytest("Garside.jl", "cc=centralizer_gens(w)", "8-element Vector{GarsideElt{Perm{Int16}, BraidMonoid{Perm{Int16}, FiniteCoxeterGroup{Perm{Int16},Int64}}}}:\n 1\n (31432)⁻¹231432\n (1)⁻¹34.431\n (2)⁻¹34.432\n (32431)⁻¹132431\n 4\n 34.43\n 2") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:426 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined] Garside.jl shrink(cc) #I total length 41 maximal length 11 #I 8:<11÷5>..<10÷5><9÷4>.. eliminated #I 7:<11÷5>...<10÷5><9÷4>... #I 6:<6÷1>..<5÷1> eliminated #I 5:<6÷1>...<5÷1> eliminated #I 4:<4÷0>... #I 3:<1÷0>.. #I 2:<1÷0>. #I total length 16 maximal length 9 #I 5:<9÷4>.... #I 4:<4÷0>. #I 3:<1÷0>. #I 2:<1÷0>. Garside.jl centralizer_gens(w;ss=Val(:cyc)) Garside.jl F=Frobenius(spets(W,Perm(1,2,4))); Garside.jl centralizer_gens(w,F) exec="312343123\n 124" manl="124\n 312343123" Garside.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:430 Expression: mytest("Garside.jl", "centralizer_gens(w,F)", "2-element Vector{GarsideElt{Perm{Int16}, BraidMonoid{Perm{Int16}, FiniteCoxeterGroup{Perm{Int16},Int64}}}}:\n 124\n 312343123") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:430 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined] Garside.jl M=DualBraidMonoid(coxgroup(:A,3)) Garside.jl p=Presentation(M,vars=Symbol.(collect("abcdef"))) Garside.jl B=BraidMonoid(coxsym(3)) Garside.jl b=[B(1)^3,B(2)^3,B(-2,-1,-1,2,2,2,2,1,1,2),B(1,1,1,2)] Garside.jl shrink(b) #I total length 20 maximal length 10 #I 4:<10÷3>..<6÷1>. #I 3:<4÷0>..<1÷0> #I 2:<3÷0>. #I total length 13 maximal length 6 #I 4:<6÷1>.<4÷0>..<1÷0> #I 3:<3÷0>...<2÷0> #I 2:<3÷0>.<2÷0> #I total length 6 maximal length 2 #I 4:<2÷0>.. eliminated #I 3:<2÷0>. eliminated #I 2:<1÷0>. #I total length 2 maximal length 1 #I 2:<1÷0>. Gt.jl W=coxgroup(:G,2) Gt.jl closed_subsystems(W) Gt.jl t=ClassTypes(rootdatum(:sl,3)) HeckeAlgebras.jl W=coxgroup(:A,2) HeckeAlgebras.jl H=hecke(W,0) HeckeAlgebras.jl T=Tbasis(H); HeckeAlgebras.jl b=T.(elements(W)) HeckeAlgebras.jl b*permutedims(b) HeckeAlgebras.jl H=hecke(W,Pol(:q)) HeckeAlgebras.jl T=Tbasis(H); HeckeAlgebras.jl h=T(1,2)^2 HeckeAlgebras.jl length(h) HeckeAlgebras.jl h[W(2,1)] HeckeAlgebras.jl collect(h) HeckeAlgebras.jl collect(values(h)) HeckeAlgebras.jl collect(keys(h)) HeckeAlgebras.jl h[W(2,1)]=Pol(3) HeckeAlgebras.jl h HeckeAlgebras.jl W=coxgroup(:B,2) HeckeAlgebras.jl @Pol q HeckeAlgebras.jl H=hecke(W,q) HeckeAlgebras.jl H.para HeckeAlgebras.jl H=hecke(W,q^2,rootpara=-q) HeckeAlgebras.jl H=hecke(W,q^2) HeckeAlgebras.jl rootpara(H) HeckeAlgebras.jl H HeckeAlgebras.jl H=hecke(W,[q^2,q^4],rootpara=[q,q^2]) HeckeAlgebras.jl H.para,H.rootpara HeckeAlgebras.jl H=hecke(W,9,rootpara=3) HeckeAlgebras.jl H.para,H.rootpara HeckeAlgebras.jl @Mvp x,y,z,t HeckeAlgebras.jl H=hecke(W,[[x,y]]) HeckeAlgebras.jl rootpara(H);H HeckeAlgebras.jl H=hecke(W,[[x,y],[z,t]]) HeckeAlgebras.jl rootpara(H);H HeckeAlgebras.jl hecke(coxgroup(:F,4),(q,q^2)).para HeckeAlgebras.jl hecke(complex_reflection_group(3,1,2),q).para HeckeAlgebras.jl H=hecke(crg(4),Pol()) HeckeAlgebras.jl CharTable(H) HeckeAlgebras.jl W=crg(24) HeckeAlgebras.jl H=hecke(W,Pol(:q)) HeckeAlgebras.jl representation(H,3) HeckeAlgebras.jl H=hecke(coxgroup(:D,5),Pol(:q)) HeckeAlgebras.jl representation(H,7) HeckeAlgebras.jl H=hecke(coxgroup(:F,4)) HeckeAlgebras.jl isrepresentation(H,reflrep(H)) HeckeAlgebras.jl isrepresentation(H,Tbasis(H).(1:4)) HeckeAlgebras.jl W=coxgroup(:B,2);H=hecke(W,Pol(:q)) HeckeAlgebras.jl reflrep(H) HeckeAlgebras.jl H=hecke(coxgroup(:H,3)) HeckeAlgebras.jl reflrep(H) HeckeAlgebras.jl W=coxgroup(:H,3) HeckeAlgebras.jl H=hecke(W,Pol(:q)^2) HeckeAlgebras.jl g=Wgraph(W,3) HeckeAlgebras.jl WGraphToRepresentation(H,g) HeckeAlgebras.jl H=hecke(coxgroup(:H,3),Pol(:q)) HeckeAlgebras.jl central_monomials(H) HeckeAlgebras.jl H=hecke(coxsym(4),Pol(:q));T=Tbasis(H); HeckeAlgebras.jl representation(T(1,2)^2,2) #I Initialized Murphy basis HeckeAlgebras.jl H=hecke(coxgroup(:A,2),Pol(:q)) HeckeAlgebras.jl T=Tbasis(H);T(longest(H.W))^2 HeckeAlgebras.jl W=crg(3,1,1) HeckeAlgebras.jl H=hecke(crg(3,1,1),Pol(:q)) HeckeAlgebras.jl T=Tbasis(H);T(1)^3 HeckeAlgebras.jl W=coxgroup(:G,2);H=hecke(W,Pol(:q)) HeckeAlgebras.jl T=Tbasis(H);h=T(1,2)*T(2,1) HeckeAlgebras.jl alt(h) HeckeAlgebras.jl W=coxsym(4) HeckeAlgebras.jl H=hecke(W,Pol(:q)) HeckeAlgebras.jl h=Tbasis(H,longest(W)) HeckeAlgebras.jl p=class_polynomials(h) HeckeAlgebras.jl W=coxgroup(:B,2) HeckeAlgebras.jl H=hecke(W,q^2;rootpara=q) HeckeAlgebras.jl char_values(Cpbasis(H)(1,2,1)) HeckeAlgebras.jl W=crg(4) HeckeAlgebras.jl H=hecke(W,Pol(:q)) HeckeAlgebras.jl char_values(H,[2,1,2]) HeckeAlgebras.jl H=hecke(complex_reflection_group(4),Pol(:q)) HeckeAlgebras.jl s=schur_elements(H) HeckeAlgebras.jl CycPol.(s) HeckeAlgebras.jl @Mvp x,y; W=crg(4); H=hecke(W,[[1,x,y]]) HeckeAlgebras.jl p=factorized_schur_element(H,[[2,5]]) HeckeAlgebras.jl q=p(;x=E(3)) HeckeAlgebras.jl q(;y=2//1) HeckeAlgebras.jl HeckeAlgebras.expand(p) HeckeAlgebras.jl W=complex_reflection_group(4) HeckeAlgebras.jl @Mvp x,y; H=hecke(W,[[1,x,y]]) HeckeAlgebras.jl factorized_schur_element(H,[[2,5]]) HeckeAlgebras.jl W=complex_reflection_group(4) HeckeAlgebras.jl @Mvp x,y; H=hecke(W,[[1,x,y]]) HeckeAlgebras.jl factorized_schur_elements(H) HeckeAlgebras.jl WF=rootdatum(:u,3) HeckeAlgebras.jl HF=hecke(WF,Pol(:v)^2;rootpara=Pol()) HeckeAlgebras.jl CharTable(HF) HeckeAlgebras.jl WF=rootdatum("2B2") HeckeAlgebras.jl H=hecke(WF,Pol(:x)^2;rootpara=Pol()) HeckeAlgebras.jl representations(H) KL.jl W=coxgroup(:H,3) KL.jl c=left_cells(W) KL.jl W=coxgroup(:F,4) KL.jl w=longest(W)*gens(W)[1];length(W,w) KL.jl y=W(1:4...);length(W,y) KL.jl cr=KL.critical_pair(W,y,w);length(W,cr) KL.jl Pol(:x);KLPol(W,y,w) KL.jl KLPol(W,cr,w) KL.jl W=coxgroup(:B,3) KL.jl map(i->map(x->KLPol(W,one(W),x),elements(W,i)),1:nref(W)) KL.jl W=coxgroup(:B,2);@Pol v;H=hecke(W,[v^4,v^2]) KL.jl Cp=Cpbasis(H);h=Cp(1)^2 KL.jl k=Tbasis(h) KL.jl Cp(k) KL.jl W=coxgroup(:B,3);H=hecke(W,Pol(:v)^2) KL.jl T=Tbasis(H);C=Cbasis(H);T(C(1)) KL.jl C(T(1)) KL.jl ref=reflrep(H) KL.jl W=coxgroup(:B,3) KL.jl @Pol v;H=hecke(W,v^2,rootpara=v) KL.jl C=Cpbasis(H); Tbasis(C(1,2)) KL.jl c=left_cells(coxgroup(:G,2))[3] KL.jl character(c) KL.jl W=coxgroup(:H,3) KL.jl c=left_cells(W)[3] KL.jl @Mvp q;H=hecke(W,q) KL.jl representation(c,H) KL.jl W=coxgroup(:G,2) KL.jl left_cells(W) KL.jl W=coxgroup(:G,2); KL.jl left_cells(W,1) KL.jl W=coxgroup(:E,8) KL.jl LeftCell(W,W((1:8)...)) KL.jl W=coxgroup(:G,2) KL.jl l=Lusztigaw(W,W(1)) KL.jl sum(l.*map(i->almostchar(W,i),eachindex(l))) KL.jl W=coxgroup(:G,2) KL.jl l=LusztigAw(W,W(1)) KL.jl sum(l.*map(i->almostchar(W,i),eachindex(l))) KL.jl W=coxgroup(:G,2) KL.jl A=AsymptoticAlgebra(W,1) KL.jl b=basis(A) KL.jl b*permutedims(b) KL.jl CharTable(A) Lusztig.jl W=coxgroup(:B,3) Lusztig.jl t=twistings(W,[1,3]) Lusztig.jl lusztig_induction_table(t[2],W) Nf.jl F=NF(E(5)) Nf.jl K=NF(root(5)) Nf.jl conductor(K) Nf.jl E(5)+E(5,-1) in NF(root(5)) Nf.jl elements(galois(F)) Nf.jl NF(root(3),root(5)) Nf.jl Nf.LenstraBase(24,Group([Mod(19,24)]),Group([Mod(19,24)])) Nf.jl Nf.LenstraBase(24,Group([Mod(19,24)]),Group([Mod(19,24),Mod(5,24)])) Nf.jl Nf.LenstraBase(15,Group([Mod(4,15)]),Group(Mod.(prime_residues(15),15))) Nf.jl NF(E(3),root(5)) Nf.jl NF([E(3),root(5)]) Nf.jl NF(15,[Mod(4,15)]) Nf.jl NF(15,[4]) Nf.jl F=NF(root(5)) Nf.jl s=Aut(F,3) Nf.jl root(5)^s Nf.jl K=CF(5) Nf.jl F=NF(root(5)) Nf.jl galois(K) Nf.jl elements(galois(K)) Nf.jl elements(galois(F)) PermRoot.jl W=complex_reflection_group(4) PermRoot.jl gens(W) PermRoot.jl length(unique(refls(W))) PermRoot.jl length(refls(W)) PermRoot.jl reflrep(W) PermRoot.jl braid_relations(W) PermRoot.jl diagram(W) PermRoot.jl cartan(W) PermRoot.jl simpleroots(W) PermRoot.jl simplecoroots(W) PermRoot.jl degrees(W) PermRoot.jl fakedegrees(W,Pol(:x)) PermRoot.jl reflectionMatrix([1,0,-E(3,2)]) PermRoot.jl asreflection([-1 0 0;1 1 0;0 0 1]) PermRoot.jl asreflection([-1 0 0;1 1 0;0 0 1],[1,0,0]) PermRoot.jl W=coxgroup(:A,3) PermRoot.jl cartan(W) PermRoot.jl rank(complex_reflection_group(31)) PermRoot.jl W=coxgroup(:D,3) PermRoot.jl t=refltype(W) PermRoot.jl indices(t) PermRoot.jl bipartite_decomposition(coxgroup(:E,8)) PermRoot.jl W=coxgroup(:B,3) PermRoot.jl reflchar(W,longest(W)) PermRoot.jl reflchar(coxgroup(:A,3)) PermRoot.jl refleigen(coxgroup(:B,2)) PermRoot.jl W=coxgroup(:A,4) PermRoot.jl reflength(W,longest(W)) PermRoot.jl reflength(W,W(1,2,3,4)) PermRoot.jl W=reflection_subgroup(coxgroup(:A,3),[1,3]) PermRoot.jl semisimplerank(W) PermRoot.jl rank(W) PermRoot.jl W=reflection_subgroup(rootdatum("E7sc"),1:6) PermRoot.jl PermX(W,reflrep(W,longest(W)))==longest(W) PermRoot.jl parabolic_reps(coxgroup(:A,4)) PermRoot.jl parabolic_reps(complex_reflection_group(3,3,3)) # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups*# changing inclusiongens to <2,22> for A₂₍₁₇₎<12 refs> **# changing inclusiongens to <5,8> for A₂₍₁₇₎<12 refs> *# changing inclusiongens to <6,13> for A₂₍₁₄₎<6 refs> *# changing inclusiongens to <9,29> for A₂₍₁₇₎<12 refs> *# changing inclusiongens to <12,38> for A₂₍₁₇₎<12 refs> **# changing inclusiongens to <20,39> for A₂₍₁₄₎<6 refs> # changing inclusiongens to <1,3> for A₂<6 refs> # changing inclusiongens to <1,10> for A₂₍₁₈₎<12 refs> # changing inclusiongens to <1,32> for A₂₍₁₆₎<12 refs> # changing inclusiongens to <1,15> for A₂<12 refs> # 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # changing inclusiongens to <1,10> for A₂₍₁₇₎<12 refs> # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups********# 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups********# 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups********# 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic PermRoot.jl parabolic_reps(coxgroup(:A,4),2) PermRoot.jl parabolic_reps(complex_reflection_group(3,3,3),2) # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups*# changing inclusiongens to <2,22> for A₂₍₁₇₎<12 refs> **# changing inclusiongens to <5,8> for A₂₍₁₇₎<12 refs> *# changing inclusiongens to <6,13> for A₂₍₁₄₎<6 refs> *# changing inclusiongens to <9,29> for A₂₍₁₇₎<12 refs> *# changing inclusiongens to <12,38> for A₂₍₁₇₎<12 refs> **# changing inclusiongens to <20,39> for A₂₍₁₄₎<6 refs> # changing inclusiongens to <1,3> for A₂<6 refs> # changing inclusiongens to <1,10> for A₂₍₁₈₎<12 refs> # changing inclusiongens to <1,32> for A₂₍₁₆₎<12 refs> # changing inclusiongens to <1,15> for A₂<12 refs> # 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # changing inclusiongens to <1,10> for A₂₍₁₇₎<12 refs> # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic PermRoot.jl W=reflection_subgroup(rootdatum("E7sc"),1:6) PermRoot.jl reflrep(W,longest(W)) PermRoot.jl W=reflection_subgroup(rootdatum("E7sc"),1:6) PermRoot.jl YMatrix(W,longest(W)) PermRoot.jl W=reflection_subgroup(rootdatum("E7sc"),1:6) PermRoot.jl PermY(W,YMatrix(W,longest(W)))==longest(W) PermRoot.jl W=complex_reflection_group(7) PermRoot.jl isparabolic(reflection_subgroup(W,[1,2])) PermRoot.jl isparabolic(reflection_subgroup(W,[1])) PermRoot.jl W=complex_reflection_group(7) PermRoot.jl parabolic_closure(W,[1]) PermRoot.jl parabolic_closure(W,[1,2]) # changing inclusiongens to <1,2,3> for G₇<168 refs> PermRoot.jl catalan(coxgroup(:A,7)) PermRoot.jl catalan(complex_reflection_group(7),2) PermRoot.jl catalan(complex_reflection_group(7),2;q=Pol()) PermRoot.jl W=complex_reflection_group(4) PermRoot.jl invariant_form(W) PermRoot.jl PermRoot.generic_order(complex_reflection_group(4),Pol(:q)) PermRoot.jl W=coxgroup(:A,2) PermRoot.jl @Mvp x,y,z PermRoot.jl i=invariants(W); PermRoot.jl map(f->f(x,y),i) PermRoot.jl W=complex_reflection_group(24) PermRoot.jl p=invariants(W)[1](x,y,z) PermRoot.jl map(v->^(v,reflrep(W,1);vars=[:x,:y,:z]),(x,y,z)) PermRoot.jl p^reflrep(W,1)-p Semisimple.jl W=rootdatum([-1 1 0;0 -1 1],[-1 1 0;0 -1 1]) Semisimple.jl reflrep(W,W(1)) Semisimple.jl rootdatum(:gl,3) Semisimple.jl G=rootdatum(:sl,4) Semisimple.jl ss(G,[1//3,1//4,3//4,2//3]) Semisimple.jl SemisimpleElement(G,[E(3),E(4),E(4,3),E(3,2)]) Semisimple.jl L=reflection_subgroup(G,[1,3]) Semisimple.jl C=algebraic_center(L) Semisimple.jl T=torsion_subgroup(C.Z0,3) Semisimple.jl e=sort(elements(T)) Semisimple.jl e[3]^G(2) Semisimple.jl orbit(G,e[3]) Semisimple.jl G=rootdatum(:sl,4) Semisimple.jl s=SemisimpleElement(G,Z(4).^[1,2,1]) Semisimple.jl s^G(2) Semisimple.jl orbit(G,s) Semisimple.jl G=coxgroup(:A,3) Semisimple.jl s=ss(G,[0,1//2,0]) Semisimple.jl centralizer(G,s) Semisimple.jl W=coxgroup(:A,4) Semisimple.jl SubTorus(W,[1 2 3 4;2 3 4 1;3 4 1 1]) Semisimple.jl G=rootdatum(:sl,4) Semisimple.jl L=reflection_subgroup(G,[1,3]) Semisimple.jl C=algebraic_center(L) Semisimple.jl T=torsion_subgroup(C.Z0,3) Semisimple.jl sort(elements(T)) Semisimple.jl weightinfo(coxgroup(:A,2)*coxgroup(:B,2)) Semisimple.jl W=coxgroup(:A,3) Semisimple.jl fundamental_group(W) Semisimple.jl W=rootdatum(:sl,4) Semisimple.jl fundamental_group(W) Semisimple.jl W=affine(coxgroup(:A,4)) Semisimple.jl diagram(W) Semisimple.jl G=coxgroup(:A,3) Semisimple.jl s=ss(G,[0,1//2,0]) Semisimple.jl centralizer(G,s) Semisimple.jl W=coxgroup(:E,6);l=quasi_isolated_reps(W) Semisimple.jl map(s->isisolated(W,s),l) Semisimple.jl W=rootdatum(:E6sc);l=quasi_isolated_reps(W) Semisimple.jl map(s->isisolated(W,s),l) Semisimple.jl Semisimple.quasi_isolated_reps(W,3) Semisimple.jl l=twistings(rootdatum(:sl,4),Int[]) Semisimple.jl structure_rational_points_connected_centre.(l,3) Semisimple.jl W=coxgroup(:A,3) Semisimple.jl fundamental_group(intermediate_group(W,Int[])) Semisimple.jl fundamental_group(intermediate_group(W,Int[2])) Semisimple.jl W=coxgroup(:G,2) Semisimple.jl sscentralizer_reps(W) Semisimple.jl reflection_subgroup.(Ref(W),sscentralizer_reps(W)) Semisimple.jl sscentralizer_reps(W,2) Sscoset.jl WF=rootdatum(:u,6) Sscoset.jl l=quasi_isolated_reps(WF) Sscoset.jl centralizer.(Ref(WF),l) Sscoset.jl isisolated.(Ref(WF),l) Sscoset.jl WF=rootdatum(:u,6) Sscoset.jl s=ss(Group(WF),[1//4,0,0,0,0,3//4]) Sscoset.jl centralizer(WF,s) Sscoset.jl centralizer(WF,one(s)) Sscoset.jl WF=rootdatum("2E6sc") Sscoset.jl quasi_isolated_reps(WF) Sscoset.jl quasi_isolated_reps(WF,2) Sscoset.jl quasi_isolated_reps(WF,3) Sscoset.jl WF=rootdatum(:u,6) Sscoset.jl l=quasi_isolated_reps(WF) Sscoset.jl isisolated.(Ref(WF),l) Symbols.jl symbols(3,3,0) Symbols.jl CharSymbol([[1],Int[],[2]]) Symbols.jl CharSymbol([[1],[1],[1]],3,2) Symbols.jl d=partition_tuples(3,2) Symbols.jl string_partition_tuple.(d) Symbols.jl shiftβ([2,3],2) Symbols.jl shiftβ([0,1,4,5],-2) Symbols.jl βset([3,3,1]) Symbols.jl partβ([0,4,5]) Symbols.jl Symbol_partition_tuple([[2,1],[1]],1) Symbols.jl Symbol_partition_tuple([[2,1],[1]],0) Symbols.jl Symbol_partition_tuple([[2,1],[1]],-1) Symbols.jl rank(CharSymbol([[1,5,6],[1,2]])) Symbols.jl valuation_gendeg(CharSymbol([[1,5,6],[1,2]])) Symbols.jl degree_gendeg(CharSymbol([[1,5,6],[1,2]])) Symbols.jl defectsymbol([[1,5,6],[1,2]]) Symbols.jl defect(CharSymbol([[1,5,6],[1,2]])) Symbols.jl degree_feg(CharSymbol([[1,5,6],[1,2]])) Symbols.jl valuation_feg(CharSymbol([[1,5,6],[1,2]])) Symbols.jl symbols(2,4,0) Symbols.jl symbols(2,4,0,1) Symbols.jl fakedegree(CharSymbol([[1,5,6],[1,2]])) Symbols.jl gendeg(CharSymbol([[1,2],[1,5,6]])) Tools.jl valuation.(24,(2,3,5)) Tools.jl abelian_gens([Perm(1,2),Perm(3,4,5),Perm(6,7)]) Tools.jl abelian_invariants(Group(Perm(1,2),Perm(3,4,5),Perm(6,7))) Tools2.jl W=coxsym(5) Tools2.jl blocks(W,2) Tools2.jl blocks(W,3) Tools2.jl blocks(W,7) ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 31 running 1 of 1 signal (10): User defined signal 1 _ZNK4llvm13ConstantRange9unionWithERKS0_NS0_18PreferredRangeTypeE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZNK4llvm13ConstantRange4uminERKS0_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm13ConstantRange9intrinsicEjNS_8ArrayRefIS0_EE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution11getRangeRefEPKNS_4SCEVENS0_13RangeSignHintEj at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution12getMinusSCEVEPKNS_4SCEVES3_NS1_11NoWrapFlagsEj at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution15getUDivCeilSCEVEPKNS_4SCEVES3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution16howManyLessThansEPKNS_4SCEVES3_PKNS_4LoopEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution24computeExitLimitFromICmpEPKNS_4LoopENS_12CmpPredicateEPKNS_4SCEVES7_bb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution24computeExitLimitFromICmpEPKNS_4LoopEPNS_8ICmpInstEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution28computeExitLimitFromCondImplERNS0_14ExitLimitCacheEPKNS_4LoopEPNS_5ValueEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution30computeExitLimitFromCondCachedERNS0_14ExitLimitCacheEPKNS_4LoopEPNS_5ValueEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution33computeExitLimitFromCondFromBinOpERNS0_14ExitLimitCacheEPKNS_4LoopEPNS_5ValueEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution28computeExitLimitFromCondImplERNS0_14ExitLimitCacheEPKNS_4LoopEPNS_5ValueEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution30computeExitLimitFromCondCachedERNS0_14ExitLimitCacheEPKNS_4LoopEPNS_5ValueEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution24computeExitLimitFromCondEPKNS_4LoopEPNS_5ValueEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution16computeExitLimitEPKNS_4LoopEPNS_10BasicBlockEbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution25computeBackedgeTakenCountEPKNS_4LoopEb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution20getBackedgeTakenInfoEPKNS_4LoopE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution28proveNoWrapViaConstantRangesEPKNS_14SCEVAddRecExprE.part.0 at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution24createSimpleAffineAddRecEPNS_7PHINodeEPNS_5ValueES4_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution19createAddRecFromPHIEPNS_7PHINodeE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution16createNodeForPHIEPNS_7PHINodeE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution14createSCEVIterEPNS_5ValueE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN12_GLOBAL__N_15State10addInfoForERN4llvm10BasicBlockE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZL20eliminateConstraintsRN4llvm8FunctionERNS_13DominatorTreeERNS_8LoopInfoERNS_15ScalarEvolutionERNS_25OptimizationRemarkEmitterE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm25ConstraintEliminationPass3runERNS_8FunctionERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91 _ZN4llvm11PassManagerINS_8FunctionENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91 _ZN4llvm27ModuleToFunctionPassAdaptor3runERNS_6ModuleERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91 _ZN4llvm11PassManagerINS_6ModuleENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/src/pipeline.cpp:787 operator() at /source/src/jitlayers.cpp:1520 withModuleDo<(anonymous namespace)::sizedOptimizerT::operator()(llvm::orc::ThreadSafeModule) [with long unsigned int N = 4]:: > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:136 [inlined] operator() at /source/src/jitlayers.cpp:1480 [inlined] operator() at /source/src/jitlayers.cpp:1656 [inlined] addModule at /source/src/jitlayers.cpp:2129 jl_compile_codeinst_now at /source/src/jitlayers.cpp:688 jl_compile_codeinst_impl at /source/src/jitlayers.cpp:882 jl_compile_method_internal at /source/src/gf.c:3652 _jl_invoke at /source/src/gf.c:4112 [inlined] ijl_apply_generic at /source/src/gf.c:4317 blocks at /home/pkgeval/.julia/packages/Chevie/CvV6u/src/Tools2.jl:64 unknown function (ip: 0x737dd6b051c6) at (unknown file) _jl_invoke at /source/src/gf.c:4120 [inlined] ijl_apply_generic at /source/src/gf.c:4317 jl_apply at /source/src/julia.h:2285 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:693 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:765 jl_toplevel_eval_flex at /source/src/toplevel.c:712 ijl_toplevel_eval at /source/src/toplevel.c:779 ijl_toplevel_eval_in at /source/src/toplevel.c:824 eval at ./boot.jl:489 EvalInto at ./boot.jl:494 [inlined] mytest at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:5 _jl_invoke at /source/src/gf.c:4120 [inlined] ijl_apply_generic at /source/src/gf.c:4317 jl_apply at /source/src/julia.h:2285 [inlined] jl_f__apply_iterate at /source/src/builtins.c:876 eval_test_function at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:402 unknown function (ip: 0x737e45921e99) at (unknown file) _jl_invoke at /source/src/gf.c:4120 [inlined] ijl_apply_generic at /source/src/gf.c:4317 jl_apply at /source/src/julia.h:2285 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_body at /source/src/interpreter.c:581 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:550 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:550 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:765 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:779 ijl_toplevel_eval_in at /source/src/toplevel.c:824 eval at ./boot.jl:489 include_string at ./loading.jl:3130 _jl_invoke at /source/src/gf.c:4120 [inlined] ijl_apply_generic at /source/src/gf.c:4317 _include at ./loading.jl:3190 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_78407.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4120 [inlined] ijl_apply_generic at /source/src/gf.c:4317 jl_apply at /source/src/julia.h:2285 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:693 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:765 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:779 ijl_toplevel_eval_in at /source/src/toplevel.c:824 eval at ./boot.jl:489 exec_options at ./client.jl:310 _start at ./client.jl:585 jfptr__start_47170.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4120 [inlined] ijl_apply_generic at /source/src/gf.c:4317 jl_apply at /source/src/julia.h:2285 [inlined] true_main at /source/src/jlapi.c:971 jl_repl_entrypoint at /source/src/jlapi.c:1138 main at /source/cli/loader_exe.c:58 unknown function (ip: 0x737e4ee36249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== Tools2.jl @Mvp x,y ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Tools2.jlOverhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x0000737e347fc010 Total snapshots: 1. Utilization: 100% ╎1 @Base/client.jl:585 _start() ╎ 1 @Base/client.jl:310 exec_options(opts::Base.JLOptions) ╎ 1 @Base/boot.jl:489 eval(m::Module, e::Any) ╎ 1 @Base/Base.jl:311 (::Base.IncludeInto)(fname::String) ╎ 1 @Base/Base.jl:310 include(mapexpr::Function, mod::Module, _path::Strin… ╎ 1 @Base/loading.jl:3190 _include(mapexpr::Function, mod::Module, _path:… ╎ ╎ 1 @Base/loading.jl:3130 include_string(mapexpr::typeof(identity), mod:… ╎ ╎ 1 @Base/boot.jl:489 eval(m::Module, e::Any) ╎ ╎ 1 @Test/src/Test.jl:402 eval_test_function(func::Any, args::Any, kwa… ╎ ╎ 1 @Chevie/…t/runtests.jl:5 mytest(file::String, cmd::String, man::S… ╎ ╎ 1 @Base/boot.jl:494 EvalInto ╎ ╎ ╎ 1 @Base/boot.jl:489 eval(m::Module, e::Any) ╎ ╎ ╎ 1 @Chevie/…c/Tools2.jl:64 blocks(G::CoxSym{Int16}, p::Int64) factor(x^2-y^2+x+3y-2) ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_47622.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4120 [inlined] ijl_apply_generic at /source/src/gf.c:4317 jl_apply at /source/src/julia.h:2285 [inlined] start_task at /source/src/task.c:1275 unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x000075c5a7c870d0 Total snapshots: 354. Utilization: 0% ╎354 @Base/task.jl:1168 wait_forever() 353╎ 354 @Base/task.jl:1246 wait() Tools2.jl factor(x^2+x+1) [1] signal 15: Terminated in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 [31] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:15 subtype at /source/src/subtype.c:1452 local_forall_exists_subtype at /source/src/subtype.c:1650 forall_exists_equal at /source/src/subtype.c:1779 subtype at /source/src/subtype.c:1557 subtype_unionall at /source/src/subtype.c:972 subtype at /source/src/subtype.c:1511 subtype_unionall at /source/src/subtype.c:965 subtype at /source/src/subtype.c:1514 exists_subtype at /source/src/subtype.c:1794 [inlined] forall_exists_subtype at /source/src/subtype.c:1823 ijl_subtype_env at /source/src/subtype.c:2282 jl_type_intersection_env_s at /source/src/subtype.c:4583 typeintersect at ./runtime_internals.jl:1143 [inlined] hasintersect at ./runtime_internals.jl:1797 [inlined] walk_to_defs at ./../usr/share/julia/Compiler/src/ssair/passes.jl:308 PkgEval terminated after 2721.14s: test duration exceeded the time limit