Package evaluation to test Chevie on Julia 1.14.0-DEV.1826 (44c835795b*) started at 2026-03-02T13:24:33.373 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.12s ################################################################################ # Installation # Installing Chevie... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [367f69f0] + Chevie v0.1.12 Updating `~/.julia/environments/v1.14/Manifest.toml` [36d08e8a] + AbstractPermutations v0.3.3 [367f69f0] + Chevie v0.1.12 [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.8 [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.2 [27ebfcd6] + Primes v0.5.7 [f53aee1f] + PuiseuxPolynomials v0.1.10 [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.2+0 [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.86s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 2003.9 ms ✓ PuiseuxPolynomials 2165.7 ms ✓ PermGroups 1567.0 ms ✓ GenericDecMats 5926.2 ms ✓ GroupPresentations 1176.3 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) 20.175 seconds for Aₙ 0.130 seconds for Bₙ and Cₙ 0.218 seconds for Dₙ 0.580 seconds for ³D₄ 2.360 seconds for ²Aₙ 0.068 seconds for ²Dₙ 0.123 seconds for ᵗG(e,e,n) 0.054 seconds for G₂ 0.711 seconds for I₂(e) 0.136 seconds for ²I₂(e) 0.147 seconds for G₄-G₂₂ 46.187 seconds for H₃ 2.081 seconds for G₂₄ 6.866 seconds for G₂₅ 54.437 seconds for G₂₆ 3.053 seconds for G₂₇ 6.315 seconds for F₄ 5.559 seconds for ²F₄ 2.084 seconds for G₂₉ 5.389 seconds for H₄ 21.543 seconds for G₃₁ 4.370 seconds for G₃₂ 29.018 seconds for G₃₃ 3.674 seconds for G₃₄ 17.96 seconds for E₆ 1.812 seconds for ²E₆ 0.411 seconds for E₇ 3.212 seconds for E₈ 3.969 seconds for several groups 14.708 seconds 307307.0 ms ✓ Chevie 6 dependencies successfully precompiled in 320 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) 20.175 seconds │ for Aₙ 0.130 seconds │ for Bₙ and Cₙ 0.218 seconds │ for Dₙ 0.580 seconds │ for ³D₄ 2.360 seconds │ for ²Aₙ 0.068 seconds │ for ²Dₙ 0.123 seconds │ for ᵗG(e,e,n) 0.054 seconds │ for G₂ 0.711 seconds │ for I₂(e) 0.136 seconds │ for ²I₂(e) 0.147 seconds │ for G₄-G₂₂ 46.187 seconds │ for H₃ 2.081 seconds │ for G₂₄ 6.866 seconds │ for G₂₅ 54.437 seconds │ for G₂₆ 3.053 seconds │ for G₂₇ 6.315 seconds │ for F₄ 5.559 seconds │ for ²F₄ 2.084 seconds │ for G₂₉ 5.389 seconds │ for H₄ 21.543 seconds │ for G₃₁ 4.370 seconds │ for G₃₂ 29.018 seconds │ for G₃₃ 3.674 seconds │ for G₃₄ 17.96 seconds │ for E₆ 1.812 seconds │ for ²E₆ 0.411 seconds │ for E₇ 3.212 seconds │ for E₈ 3.969 seconds │ for several groups 14.708 seconds └ Precompilation completed after 344.17s ################################################################################ # Testing # Testing Chevie Status `/tmp/jl_rJPH7p/Project.toml` [367f69f0] Chevie v0.1.12 [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 [b964fa9f] LaTeXStrings v1.4.0 [10b2801c] LaurentPolynomials v0.1.8 [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.10 [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_rJPH7p/Manifest.toml` [36d08e8a] AbstractPermutations v0.3.3 [367f69f0] Chevie v0.1.12 [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.8 [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.2 [27ebfcd6] Primes v0.5.7 [f53aee1f] PuiseuxPolynomials v0.1.10 [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.2+0 [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 Algebras.ppart(Perm(1,2,3,4,5,6),2) Algebras.jl Algebras.ppart(Perm(1,2,3,4,5,6),3) Algebras.jl G=symmetric_group(5) Algebras.jl map(x->classreps(G)[x],Algebras.pprimesections(G,2)) Algebras.jl map(x->classreps(G)[x],Algebras.pprimesections(G,3)) Algebras.jl b=basis(Quaternions()) Algebras.jl b*permutedims(b) Algebras.jl A=ZeroHecke(coxsym(3)) Algebras.jl radical(A) Algebras.jl A=PolynomialQuotientAlgebra(Pol()^2+1) Algebras.jl basis(A) Algebras.jl A=GrothendieckRing(coxsym(3)) Algebras.jl basis(A).*permutedims(basis(A)) Algebras.jl A=GrothendieckRing(coxsym(3),FFE{2}) Algebras.jl radical(A) Algebras.jl W=Group(Perm(1,2)) Algebras.jl A=GroupAlgebra(W) Algebras.jl basis(A) 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 CharTable(coxgroup(:A,3)) Chars.jl ct=CharTable(coxgroup(:G,2)) Chars.jl charnames(ct,TeX=true) Chars.jl classnames(ct,TeX=true) 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 ct=CharTable(coxsym(4)); Chars.jl scalarproduct(ct,3*ct.irr[2,:],ct.irr[2,:]) Chars.jl ct=CharTable(coxsym(4)); Chars.jl decompose(ct,ct.irr[2,:].*ct.irr[2,:]) 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 classnames(coxgroup(:G,2),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) 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 W=coxgroup(:E,6) Cosets.jl WF=spets(W) Cosets.jl phi=W(6,5,4,2,3,1,4,3,5,4,2,6,5,4,3,1); Cosets.jl HF=subspets(WF,2:5,phi) Cosets.jl diagram(HF) Cosets.jl degrees(HF) 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/cPrBA/test/runtests.jl:149 Expression: mytest("Cosets.jl", "spets(\"3G422\")", "³G₄‚₂‚₂") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:94 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:149 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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/cPrBA/test/runtests.jl:273 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/cPrBA/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:260 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:273 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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 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/cPrBA/test/runtests.jl:320 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/cPrBA/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:297 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:320 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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`. exec=" (generic function with 1 method)" manl="" Garside.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/cPrBA/test/runtests.jl:388 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") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:297 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:388 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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/cPrBA/test/runtests.jl:391 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/cPrBA/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:297 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:391 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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/cPrBA/test/runtests.jl:412 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/cPrBA/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:297 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:412 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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/cPrBA/test/runtests.jl:416 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/cPrBA/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:297 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/cPrBA/test/runtests.jl:416 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [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))) ====================================================================================== 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 egal_types at /source/src/builtins.c:174 egal_types at /source/src/builtins.c:185 egal_types at /source/src/builtins.c:185 ijl_types_equal at /source/src/subtype.c:2371 jl_specializations_get_linfo_ at /source/src/gf.c:236 cache_method at /source/src/gf.c:1674 ml_matches at /source/src/gf.c:5184 ml_matches at /source/src/gf.c:4876 [inlined] ijl_matching_methods at /source/src/gf.c:3241 [inlined] ijl_matching_methods at /source/src/gf.c:3228 _methods_by_ftype at ./runtime_internals.jl:1603 [inlined] _findall at ./../usr/share/julia/Compiler/src/methodtable.jl:97 [inlined] #findall#5 at ./../usr/share/julia/Compiler/src/methodtable.jl:70 [inlined] findall at ./../usr/share/julia/Compiler/src/methodtable.jl:70 [inlined] #findall#7 at ./../usr/share/julia/Compiler/src/methodtable.jl:105 findall at ./../usr/share/julia/Compiler/src/methodtable.jl:102 [inlined] find_simple_method_matches at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:379 #find_method_matches#133 at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:339 [inlined] find_method_matches at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:332 jfptr_find_method_matches_3.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 abstract_call_gf_by_type at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:119 abstract_call_known at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 abstract_eval_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] abstract_eval_statement_expr at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] typeinf_local at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 jfptr_typeinf_local_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 typeinf at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 typeinf_ext at ./../usr/share/julia/Compiler/src/typeinfer.jl:1532 typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1715 [inlined] typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1724 jfptr_typeinf_ext_toplevel_3.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [inlined] jl_type_infer at /source/src/gf.c:467 jl_compile_method_internal at /source/src/gf.c:3643 _jl_invoke at /source/src/gf.c:4108 [inlined] ijl_apply_generic at /source/src/gf.c:4342 #42 at /home/pkgeval/.julia/packages/Chevie/cPrBA/src/Uch.jl:1153 unknown function (ip: 0x7083d15d1dde) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 #52 at ./none:1 iterate at ./generator.jl:48 [inlined] _collect at ./array.jl:848 collect_similar at ./array.jl:763 unknown function (ip: 0x7083d15d0ec6) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 map at ./abstractarray.jl:3386 unknown function (ip: 0x70841cdc2de6) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [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:766 jl_toplevel_eval_flex at /source/src/toplevel.c:712 ijl_toplevel_eval at /source/src/toplevel.c:780 ijl_toplevel_eval_in at /source/src/toplevel.c:825 eval at ./boot.jl:517 EvalInto at ./boot.jl:523 [inlined] mytest at /home/pkgeval/.julia/packages/Chevie/cPrBA/test/runtests.jl:5 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [inlined] jl_f__apply_iterate at /source/src/builtins.c:897 eval_test_function at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:404 unknown function (ip: 0x708422521ae9) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [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:766 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:780 ijl_toplevel_eval_in at /source/src/toplevel.c:825 eval at ./boot.jl:517 include_string at ./loading.jl:3130 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 _include at ./loading.jl:3190 include at ./Base.jl:324 IncludeInto at ./Base.jl:325 jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [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:766 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:780 ijl_toplevel_eval_in at /source/src/toplevel.c:825 eval at ./boot.jl:517 exec_options at ./client.jl:310 _start at ./client.jl:585 jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [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: 0x708438712249) 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 ============================================================== KL.jl W=coxgroup(:G,2) ┌ 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 KL.jlOverhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x000070841e1fc010 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:517 eval(m::Module, e::Any) ╎ 1 @Base/Base.jl:325 (::Base.IncludeInto)(fname::String) ╎ 1 @Base/Base.jl:324 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:517 eval(m::Module, e::Any) ╎ ╎ 1 @Test/src/Test.jl:404 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:523 EvalInto ╎ ╎ ╎ 1 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ ╎ ╎ 1 @Compiler/…einfer.jl:1724 typeinf_ext_toplevel(mi::Core.Method… ╎ ╎ ╎ 1 @Compiler/…infer.jl:1715 typeinf_ext_toplevel ╎ ╎ ╎ 1 @Compiler/…infer.jl:1532 typeinf_ext(interp::Compiler.Native… ╎ ╎ ╎ 1 @Compiler/…tion.jl:4726 typeinf(interp::Compiler.NativeInte… ╎ ╎ ╎ ╎ 1 @Compiler/…tion.jl:4448 typeinf_local(interp::Compiler.Nat… ╎ ╎ ╎ ╎ 1 @Compiler/…tion.jl:3863 abstract_eval_basic_statement ╎ ╎ ╎ ╎ 1 @Compiler/…ion.jl:3906 abstract_eval_basic_statement ╎ ╎ ╎ ╎ 1 @Compiler/…ion.jl:3499 abstract_eval_statement_expr(int… ╎ ╎ ╎ ╎ 1 @Compiler/…on.jl:3135 abstract_eval_call ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…on.jl:3117 abstract_call(interp::Compiler.… ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…on.jl:2957 abstract_call ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…n.jl:2964 abstract_call(interp::Compiler… ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…n.jl:2856 abstract_call_known(interp::C… ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…n.jl:119 abstract_call_gf_by_type(inte… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/….jl:332 kwcall(::@NamedTuple{max_meth… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/….jl:339 #find_method_matches#133 ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/….jl:379 find_simple_method_matches(… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…jl:102 findall ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…jl:105 findall(sig::Type, table::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…jl:70 findall ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:70 #findall#5 ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:97 _findall ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ls.jl:1603 _methods_by_ftype 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) ====================================================================================== 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_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [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 0x00007d145a681870 Total snapshots: 427. Utilization: 0% ╎427 @Base/task.jl:1168 wait_forever() 426╎ 427 @Base/task.jl:1246 wait() 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) [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 wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [inlined] start_task at /source/src/task.c:1275 unknown function (ip: (nil)) at (unknown file) Allocations: 18911091 (Pool: 18910397; Big: 694); GC: 16 [31] signal 15: Terminated in expression starting at none:1 _ZNK4llvm10DataLayout16getTypeAllocSizeEPNS_4TypeE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) unknown function (ip: (nil)) at (unknown file) unknown function (ip: (nil)) at (unknown file) Allocations: 801833253 (Pool: 801825198; Big: 8055); GC: 251 PkgEval terminated after 2724.25s: test duration exceeded the time limit