Package evaluation to test Chevie on Julia 1.14.0-DEV.3055 (7e75a8061a*) started at 2026-08-27T17:33:49.658 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.38s ################################################################################ # Installation # Installing Chevie... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [367f69f0] + Chevie v0.1.14 Updating `~/.julia/environments/v1.14/Manifest.toml` ⌅ [36d08e8a] + AbstractPermutations v0.3.3 [367f69f0] + Chevie v0.1.14 [a6b051d1] + Combinat v0.1.5 [05fb067e] + CycPols v0.1.4 [c380f8b6] + CyclotomicNumbers v0.1.10 [bbb6641c] + FiniteFields v0.1.3 [580d1d9c] + FinitePosets v0.1.5 [2304d612] + GenLinearAlgebra v0.1.4 [a98d1166] + GenericDecMats v0.1.3 [e70aea02] + GroupPresentations v0.1.1 [d5909c97] + GroupsCore v0.5.2 [18e54dd8] + IntegerMathUtils v0.1.4 [682c06a0] + JSON v1.7.1 [b964fa9f] + LaTeXStrings v1.4.1 [10b2801c] + LaurentPolynomials v0.1.9 [f23b31af] + MatInt v0.1.3 [4249f315] + ModuleElts v0.1.5 ⌅ [bac558e1] + OrderedCollections v1.8.2 ⌅ [69de0a69] + Parsers v2.8.7 [0b63354f] + PermGroups v0.2.19 [aea7be01] + PrecompileTools v1.3.4 [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.3 [ec057cc2] + StructUtils v2.8.5 [b01ca8d2] + UsingMerge v0.0.7 [0dad84c5] + ArgTools v1.2.0 [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.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown 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.13.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.5.7+0 [deac9b47] + LibCURL_jll v8.21.0+0 [e37daf67] + LibGit2_jll v1.9.7+0 [29816b5a] + LibSSH2_jll v1.11.104+0 [14a3606d] + MozillaCACerts_jll v2026.8.13 [4536629a] + OpenBLAS_jll v0.3.34+0 [458c3c95] + OpenSSL_jll v3.5.8+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.70.0+0 [3f19e933] + p7zip_jll v17.8.2+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 3.93s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 2.4 s ✓ GenericDecMats # 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) 16.859 seconds for ᵗG(e,e,n) 0.102 seconds for Aₙ 0.116 seconds for ²Aₙ 0.065 seconds for Bₙ and Cₙ 0.206 seconds for Dₙ 0.598 seconds for ³D₄ 2.147 seconds for ²Dₙ 0.112 seconds for E₆ 3.509 seconds for ²E₆ 0.423 seconds for E₇ 2.951 seconds for E₈ 6.400 seconds for F₄ 4.118 seconds for ²F₄ 2.078 seconds for G₂ 0.349 seconds for H₃ 3.179 seconds for H₄ 12.736 seconds for I₂(e) 0.136 seconds for ²I₂(e) 0.119 seconds for G₄-G₂₂ 49.908 seconds for G₂₄ 7.355 seconds for G₂₅ 53.589 seconds for G₂₆ 4.551 seconds for G₂₇ 7.288 seconds for G₂₉ 7.131 seconds for G₃₁ 3.353 seconds for G₃₂ 36.291 seconds for G₃₃ 3.701 seconds for G₃₄ 15.539 seconds for several groups 6.280 seconds 292.2 s ✓ Chevie 2 dependencies successfully precompiled in 295 seconds. 59 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) 16.859 seconds │ for ᵗG(e,e,n) 0.102 seconds │ for Aₙ 0.116 seconds │ for ²Aₙ 0.065 seconds │ for Bₙ and Cₙ 0.206 seconds │ for Dₙ 0.598 seconds │ for ³D₄ 2.147 seconds │ for ²Dₙ 0.112 seconds │ for E₆ 3.509 seconds │ for ²E₆ 0.423 seconds │ for E₇ 2.951 seconds │ for E₈ 6.400 seconds │ for F₄ 4.118 seconds │ for ²F₄ 2.078 seconds │ for G₂ 0.349 seconds │ for H₃ 3.179 seconds │ for H₄ 12.736 seconds │ for I₂(e) 0.136 seconds │ for ²I₂(e) 0.119 seconds │ for G₄-G₂₂ 49.908 seconds │ for G₂₄ 7.355 seconds │ for G₂₅ 53.589 seconds │ for G₂₆ 4.551 seconds │ for G₂₇ 7.288 seconds │ for G₂₉ 7.131 seconds │ for G₃₁ 3.353 seconds │ for G₃₂ 36.291 seconds │ for G₃₃ 3.701 seconds │ for G₃₄ 15.539 seconds │ for several groups 6.280 seconds └ Precompilation completed after 312.03s ################################################################################ # Testing # Testing Chevie Status `/tmp/jl_BPz4lA/Project.toml` [367f69f0] Chevie v0.1.14 [a6b051d1] Combinat v0.1.5 [05fb067e] CycPols v0.1.4 [c380f8b6] CyclotomicNumbers v0.1.10 [bbb6641c] FiniteFields v0.1.3 [580d1d9c] FinitePosets v0.1.5 [2304d612] GenLinearAlgebra v0.1.4 [a98d1166] GenericDecMats v0.1.3 [e70aea02] GroupPresentations v0.1.1 [b964fa9f] LaTeXStrings v1.4.1 [10b2801c] LaurentPolynomials v0.1.9 [f23b31af] MatInt v0.1.3 [4249f315] ModuleElts v0.1.5 ⌅ [bac558e1] OrderedCollections v1.8.2 [0b63354f] PermGroups v0.2.19 [27ebfcd6] Primes v0.5.7 [f53aee1f] PuiseuxPolynomials v0.1.10 [189a3867] Reexport v1.2.2 [87930f55] SignedPerms v0.1.3 [b01ca8d2] UsingMerge v0.0.7 [37e2e46d] LinearAlgebra v1.14.0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_BPz4lA/Manifest.toml` ⌅ [36d08e8a] AbstractPermutations v0.3.3 [367f69f0] Chevie v0.1.14 [a6b051d1] Combinat v0.1.5 [05fb067e] CycPols v0.1.4 [c380f8b6] CyclotomicNumbers v0.1.10 [bbb6641c] FiniteFields v0.1.3 [580d1d9c] FinitePosets v0.1.5 [2304d612] GenLinearAlgebra v0.1.4 [a98d1166] GenericDecMats v0.1.3 [e70aea02] GroupPresentations v0.1.1 [d5909c97] GroupsCore v0.5.2 [18e54dd8] IntegerMathUtils v0.1.4 [682c06a0] JSON v1.7.1 [b964fa9f] LaTeXStrings v1.4.1 [10b2801c] LaurentPolynomials v0.1.9 [f23b31af] MatInt v0.1.3 [4249f315] ModuleElts v0.1.5 ⌅ [bac558e1] OrderedCollections v1.8.2 ⌅ [69de0a69] Parsers v2.8.7 [0b63354f] PermGroups v0.2.19 [aea7be01] PrecompileTools v1.3.4 [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.3 [ec057cc2] StructUtils v2.8.5 [b01ca8d2] UsingMerge v0.0.7 [0dad84c5] ArgTools v1.2.0 [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.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown 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.13.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.5.7+0 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.7+0 [29816b5a] LibSSH2_jll v1.11.104+0 [14a3606d] MozillaCACerts_jll v2026.8.13 [4536629a] OpenBLAS_jll v0.3.34+0 [458c3c95] OpenSSL_jll v3.5.8+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.70.0+0 [3f19e933] p7zip_jll v17.8.2+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(:x)^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 scalar_product(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/ArZ3K/test/runtests.jl:149 Expression: mytest("Cosets.jl", "spets(\"3G422\")", "³G₄‚₂‚₂") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:94 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:149 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [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)) Eigenspaces.jl W=coxgroup(:E,8) Eigenspaces.jl relative_group(W,2: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/ArZ3K/test/runtests.jl:275 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/ArZ3K/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:262 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:275 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [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/ArZ3K/test/runtests.jl:322 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/ArZ3K/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:299 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:322 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [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 W=coxgroup(:A,3) Garside.jl B=BraidMonoid(W) Garside.jl map(x->B.(x),right_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 B=DualBraidMonoid(coxsym(4)) Garside.jl right_divisors(B(1,5,4,3)) 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/ArZ3K/test/runtests.jl:395 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/ArZ3K/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:299 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:395 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [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/ArZ3K/test/runtests.jl:398 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/ArZ3K/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:299 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:398 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [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/ArZ3K/test/runtests.jl:419 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/ArZ3K/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:299 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:419 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [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/ArZ3K/test/runtests.jl:423 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/ArZ3K/test/runtests.jl:17 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:299 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/ArZ3K/test/runtests.jl:423 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [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_subsystemsPoset(W) Gt.jl W=coxgroup(:G,2) Gt.jl closed_subsystems(W) Gt.jl W=coxgroup(:G,2) Gt.jl map(I->reflection_subgroup(W,I),closed_subsystems_reps(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)(h) KL.jl Cp(k) KL.jl W=coxgroup(:B,3) KL.jl @Pol v;H=hecke(W,v^2,rootpara=v) KL.jl C=Cpbasis(H); Tbasis(H)(C(1,2)) 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 @Pol v;H=hecke(coxgroup(:B,2),v^2) KL.jl T=Tbasis(H);D=Dbasis(H); KL.jl D(T(1)) KL.jl β(D(1)) KL.jl @Pol v;H=hecke(coxgroup(:B,2),v^2) KL.jl T=Tbasis(H);Dp=Dpbasis(H);alt(Dp(1)) KL.jl Dp(1)^3 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) Murphy.jl W=coxgroup(:A,2) Murphy.jl H=hecke(W,Pol(:q)) Murphy.jl l=Tbasis(H).(elements(W)) Murphy.jl Murphy.SpechtModules(H,false);Murphybasis(H).(l) #I Initialized Murphy basis 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=rootdatum(:gl,4) PermRoot.jl baseX(W) PermRoot.jl E7=rootdatum("E7sc") PermRoot.jl W=reflection_subgroup(E7,1:6) PermRoot.jl PermX(W,reflrep(W,E7(7)))==E7(7) 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 PermRoot.jl W=coxgroup(:B,2) PermRoot.jl hyperplane_orbits(W) Rootdata.jl W=rootdatum([-1 1 0;0 -1 1],[-1 1 0;0 -1 1]) Rootdata.jl reflrep(W,W(1)) Rootdata.jl rootdatum(:gl,3) Rootdata.jl torus(3) Rootdata.jl W=coxgroup(:A,4) Rootdata.jl SubTorus(W,[1 2 3 4;2 3 4 1;3 4 1 1]) Rootdata.jl weightinfo(coxgroup(:A,2)*coxgroup(:B,2)) Rootdata.jl W=coxgroup(:A,3) Rootdata.jl fundamental_group(W) Rootdata.jl fundamental_group(W;full=true) Rootdata.jl W=rootdatum(:sl,4) Rootdata.jl fundamental_group(W) Rootdata.jl W=coxgroup(:A,3) Rootdata.jl fundamental_group(intermediate_group(W)) Rootdata.jl fundamental_group(intermediate_group(W,2)) Rootdata.jl fundamental_group(intermediate_group(W,1)) 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 ss(rootdatum(:sl,4),[1//3,1//4,3//4,2//3]) 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 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(: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) SymFuncs.jl SymFuncs.p(Partition(3,2,1)) SymFuncs.jl SymFuncs.p([3,2,1]) SymFuncs.jl SymFuncs.p(3,2,1) SymFuncs.jl SymFuncs.s(SymFuncs.p(3,2,1)) SymFuncs.jl SymFuncs.h(SymFuncs.p(3,2,1)) SymFuncs.jl SymFuncs.h(SymFuncs.p(3,2,1))[3,2,1] SymFuncs.jl SymFuncs.s(2,1)*SymFuncs.s(2,1) SymFuncs.jl SymFuncs.s(2,1)⊗SymFuncs.s(2,1) SymFuncs.jl scalar_product(SymFuncs.p(1,1,1),SymFuncs.s(2,1)) SymFuncs.jl SymFuncs.s(2,1)+SymFuncs.p(3) SymFuncs.jl plethysm(SymFuncs.p(2,1),SymFuncs.s(2,1)) SymFuncs.jl SymFuncs.p(2,1)[SymFuncs.s(2,1)] SymFuncs.jl @Mvp u,v SymFuncs.jl SymFuncs.p(2,1)[u*SymFuncs.p(2)+v*SymFuncs.p(3)] SymFuncs.jl Mvp(SymFuncs.p(2)+SymFuncs.p(3)) SymFuncs.jl Mvp(SymFuncs.p(2),[:u,:v,:w]) SymFuncs.jl Pi=SymFuncs.π; SymFuncs.jl SymFuncs.p(2,1)⊠SymFuncs.p(1) SymFuncs.jl SymFuncs.p([[2,1],[1]]) SymFuncs.jl SymFuncs.p(PartitionTuple([2,1],[1])) SymFuncs.jl SymFuncs.p([2,1],[1]) SymFuncs.jl SymFuncs.s(Pi([1],[1])) SymFuncs.jl Pi(SymFuncs.p([2],[1])) SymFuncs.jl Pi(SymFuncs.p([2],[1]))[[2],[1]] SymFuncs.jl Mvp(SymFuncs.p(3)⊠SymFuncs.p(2)) SymFuncs.jl scalar_product(Pi([1],[1]),Pi([1],[1])) SymFuncs.jl scalar_product(SymFuncs.p([1],[1]),SymFuncs.p([1],[1])) SymFuncs.jl @Mvp u,v SymFuncs.jl SymFuncs.p(3)[(u+v^2)SymFuncs.p()] SymFuncs.jl SymFuncs.p(3,2)[(u+v^2)SymFuncs.p()] Symbols.jl symbols(3,3,0) Symbols.jl Partition([2,1,1]) Symbols.jl p=Partition(2,1,1) Symbols.jl length(p) Symbols.jl rank(p) Symbols.jl union(p,p) Symbols.jl p' Symbols.jl p[1] Symbols.jl p[4] Symbols.jl core(Partition(3,3,1),3) Symbols.jl quotient(Partition(3,3,1),3) Symbols.jl partition_core_quotient(Partition(2,1,1),[Int[],Int[],[1]]) Symbols.jl βset([3,3,1]) Symbols.jl shiftβ([2,3],2) Symbols.jl shiftβ([0,1,4,5],-2) Symbols.jl shiftβ([0,1,4,5]) Symbols.jl partβ([0,4,5]) Symbols.jl PartitionTuple([[3,1],Int[]]) Symbols.jl PartitionTuple([3,1],Int[]) Symbols.jl PartitionTuple(Partition(3,1),Partition()) Symbols.jl d=partition_tuples(3,2) Symbols.jl string_partition_tuple.(d) Symbols.jl CharSymbol([[1],Int[],[2]]) Symbols.jl CharSymbol([[1],[1],[1]],3,2) 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) Tools2.jl @Mvp x,y Tools2.jl factor(x^2-y^2+x+3y-2) Tools2.jl factor(x^2+x+1) Tools2.jl factor(x*y-1) Truncs.jl @Pol x Truncs.jl p=(x+x^2)^5 Truncs.jl tp=Trunc(p,4) Truncs.jl inv(tp) ====================================================================================== 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 23 running 1 of 1 signal (10): User defined signal 1 _ZNSt8_Rb_treeIN4llvm11SmallStringILj32EEES2_St9_IdentityIS2_ESt4lessIvESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E.isra.0 at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN12_GLOBAL__N_18Verifier20verifyParameterAttrsEN4llvm12AttributeSetEPNS1_4TypeEPKNS1_5ValueE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN12_GLOBAL__N_18Verifier19verifyFunctionAttrsEPN4llvm12FunctionTypeENS1_13AttributeListEPKNS1_5ValueEbb at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN12_GLOBAL__N_18Verifier13visitCallBaseERN4llvm8CallBaseE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN12_GLOBAL__N_18Verifier13visitCallInstERN4llvm8CallInstE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN12_GLOBAL__N_18Verifier6verifyERKN4llvm8FunctionE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm12verifyModuleERKNS_6ModuleEPNS_11raw_ostreamEPb at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm16VerifierAnalysis3runERNS_6ModuleERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm6detail17AnalysisPassModelINS_6ModuleENS_16VerifierAnalysisENS_15AnalysisManagerIS2_JEE11InvalidatorEJEE3runERS2_RS5_ at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm15AnalysisManagerINS_6ModuleEJEE13getResultImplEPNS_11AnalysisKeyERS1_ at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm12VerifierPass3runERNS_6ModuleERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91:41 _ZN4llvm11PassManagerINS_6ModuleENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_ at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) run at /source/src/pipeline.cpp:990:12 operator() at /source/src/jitlayers.cpp:1465:17 operator() at /source/src/jitlayers.cpp:1603:12 [inlined] optimizeModule at /source/src/jitlayers.cpp:2693:18 operator() at /source/src/jitlayers.cpp:1051:35 [inlined] CallImpl):: > at /source/usr/include/llvm/ADT/FunctionExtras.h:212:49 operator() at /source/usr/include/llvm/ADT/FunctionExtras.h:366:62 [inlined] operator() at /source/src/objcache.cpp:337:24 [inlined] get at /source/src/objcache.cpp:378:30 materialize at /source/src/jitlayers.cpp:1061:37 _ZN4llvm3orc19MaterializationTask3runEv at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) dispatch at /source/src/julia-task-dispatcher.h:377:13 [inlined] dispatch at /source/src/julia-task-dispatcher.h:366:6 _ZN4llvm3orc16ExecutionSession12dispatchTaskESt10unique_ptrINS0_4TaskESt14default_deleteIS3_EE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm3orc16ExecutionSession22dispatchOutstandingMUsEv at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm3orc16ExecutionSession17OL_completeLookupESt10unique_ptrINS0_21InProgressLookupStateESt14default_deleteIS3_EESt10shared_ptrINS0_23AsynchronousSymbolQueryEESt8functionIFvRKNS_8DenseMapIPNS0_8JITDylibENS_8DenseSetINS0_15SymbolStringPtrENS_12DenseMapInfoISF_vEEEENSG_ISD_vEENS_6detail12DenseMapPairISD_SI_EEEEEE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm3orc25InProgressFullLookupState8completeESt10unique_ptrINS0_21InProgressLookupStateESt14default_deleteIS3_EE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm3orc16ExecutionSession19OL_applyQueryPhase1ESt10unique_ptrINS0_21InProgressLookupStateESt14default_deleteIS3_EENS_5ErrorE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) _ZN4llvm3orc16ExecutionSession6lookupENS0_10LookupKindERKSt6vectorISt4pairIPNS0_8JITDylibENS0_19JITDylibLookupFlagsEESaIS8_EENS0_15SymbolLookupSetENS0_11SymbolStateENS_15unique_functionIFvNS_8ExpectedINS_8DenseMapINS0_15SymbolStringPtrENS0_17ExecutorSymbolDefENS_12DenseMapInfoISI_vEENS_6detail12DenseMapPairISI_SJ_EEEEEEEEESt8functionIFvRKNSH_IS6_NS_8DenseSetISI_SL_EENSK_IS6_vEENSN_IS6_SV_EEEEEE at /opt/julia/bin/../lib/julia/libLLVM.so.22.1jl (unknown line) publishCIs at /source/src/jitlayers.cpp:2251:14 jl_compile_codeinst_impl at /source/src/jitlayers.cpp:521:39 jl_compile_method_very_internal at /source/src/gf.c:4099:27 _jl_invoke at /source/src/gf.c:4576:16 [inlined] ijl_apply_generic at /source/src/gf.c:4832:12 jl_apply at /source/src/julia.h:2533:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:259:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:829:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 ijl_eval_thunk at /source/src/toplevel.c:772:18 jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 ijl_toplevel_eval at /source/src/toplevel.c:786:12 ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 eval at ./boot.jl:618:0 (pc: 1) EvalInto at ./boot.jl:624:0 [inlined] mytest at /home/pkgeval/.julia/packages/Chevie/ArZ3K/test/runtests.jl:5:0 (pc: 4) _jl_invoke at /source/src/gf.c:4584:23 [inlined] ijl_apply_generic at /source/src/gf.c:4832:12 jl_apply at /source/src/julia.h:2533:12 [inlined] jl_f__apply_iterate at /source/src/builtins.c:1041:26 eval_test_function at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:407:0 unknown function (ip: 0x793cc4d12426) at (unknown file) _jl_invoke at /source/src/gf.c:4584:23 [inlined] ijl_apply_generic at /source/src/gf.c:4832:12 jl_apply at /source/src/julia.h:2533:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:259:16 eval_body at /source/src/interpreter.c:735:35 eval_body at /source/src/interpreter.c:712:21 eval_body at /source/src/interpreter.c:704:21 eval_body at /source/src/interpreter.c:712:21 eval_body at /source/src/interpreter.c:712:21 eval_body at /source/src/interpreter.c:712:21 eval_body at /source/src/interpreter.c:704:21 eval_body at /source/src/interpreter.c:712:21 eval_body at /source/src/interpreter.c:712:21 eval_body at /source/src/interpreter.c:712:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 ijl_eval_thunk at /source/src/toplevel.c:772:18 jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 ijl_toplevel_eval at /source/src/toplevel.c:786:12 ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 eval at ./boot.jl:618:0 (pc: 1) include_string at ./loading.jl:3258:0 (pc: 140) _jl_invoke at /source/src/gf.c:4584:23 [inlined] ijl_apply_generic at /source/src/gf.c:4832:12 _include at ./loading.jl:3320:0 (pc: 123) include at ./Base.jl:335:0 (pc: 1) IncludeInto at ./Base.jl:336:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4584:23 [inlined] ijl_apply_generic at /source/src/gf.c:4832:12 jl_apply at /source/src/julia.h:2533:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:259:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:829:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:1052:21 ijl_eval_thunk at /source/src/toplevel.c:772:18 jl_toplevel_eval_flex at /source/src/toplevel.c:716:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:601:15 jl_toplevel_eval_flex at /source/src/toplevel.c:688:27 ijl_toplevel_eval at /source/src/toplevel.c:786:12 ijl_toplevel_eval_in at /source/src/toplevel.c:831:13 eval at ./boot.jl:618:0 (pc: 1) __script_entry_eval at ./client.jl:106:0 [inlined] exec_options at ./client.jl:350:0 (pc: 426) _start at ./client.jl:695:0 (pc: 217) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4584:23 [inlined] ijl_apply_generic at /source/src/gf.c:4832:12 jl_apply at /source/src/julia.h:2533:12 [inlined] true_main at /source/src/jlapi.c:989:29 jl_repl_entrypoint at /source/src/jlapi.c:1156:15 main at /source/cli/loader_exe.c:117:15 unknown function (ip: 0x793cdd173249) 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 ============================================================== Truncs.jl inv(tp)*tp Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x0000793cc09fc010 Total snapshots: 1. Utilization: 100% ╎1 @Base/client.jl:695 _start() ╎ 1 @Base/client.jl:350 exec_options(opts::Base.JLOptions) ╎ 1 @Base/client.jl:106 __script_entry_eval(mod::Module, ex::Any) ╎ 1 @Base/boot.jl:618 eval(m::Module, e::Any) ╎ 1 @Base/Base.jl:336 (::Base.IncludeInto)(fname::String) ╎ 1 @Base/Base.jl:335 include(mapexpr::Function, mod::Module, _path::Stri… ╎ ╎ 1 @Base/loading.jl:3320 _include(mapexpr::Function, mod::Module, _path… ╎ ╎ 1 @Base/loading.jl:3258 include_string(mapexpr::typeof(identity), mod… ╎ ╎ 1 @Base/boot.jl:618 eval(m::Module, e::Any) ╎ ╎ 1 @Test/src/Test.jl:407 eval_test_function(func::Any, args::Any, kw… ╎ ╎ 1 @Chevie/…t/runtests.jl:5 mytest(file::String, cmd::String, man::… ╎ ╎ ╎ 1 @Base/boot.jl:624 (::Core.EvalInto)(e::Any) ╎ ╎ ╎ 1 @Base/boot.jl:618 eval(m::Module, e::Any) ====================================================================================== 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:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:573:34 Truncs.jl tp*2 Truncs.jl Truncs.varname=:q wait at ./task.jl:1652:0 (pc: 108) wait_forever at ./task.jl:1528:0 (pc: 4) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4584:23 [inlined] ijl_apply_generic at /source/src/gf.c:4832:12 jl_apply at /source/src/julia.h:2533:12 [inlined] start_task at /source/src/task.c:1278:23 unknown function (ip: (nil)) at (unknown file) Truncs.jl tp Truncs.jl length(tp) Truncs.jl tp+1 ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== Truncs.jl tp+Pol()^5 Truncs.jl tp-Trunc(Pol()^5,4) Truncs.jl tp[1] Truncs.jl tp[6] Truncs.jl a=(3Pol()^-2+1)/p Truncs.jl Trunc(a,4) Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x000072e946b57a90 Total snapshots: 317. Utilization: 0% ╎317 @Base/task.jl:1528 wait_forever() 316╎ 317 @Base/task.jl:? wait() Truncs.jl Trunc(a,4)*tp Truncs.jl @Mvp x,y Truncs.jl den=x-y Truncs.jl frac=(x+y)/den Truncs.jl Truncs.varname=:x Truncs.jl tden=Trunc(den,4,:x) Truncs.jl tfrac=Trunc(frac,4,:x) Truncs.jl tden*tfrac Truncs.jl pade(inv(Trunc(p,10))) [23] signal 15: Terminated in expression starting at none:1 ijl_field_index at /source/src/datatype.c:1840:1 _fieldindex_nothrow at ./runtime_internals.jl:1321:0 (pc: 1) fieldindex at ./runtime_internals.jl:1309:0 [inlined] try_compute_fieldidx at ./../usr/share/julia/Compiler/src/tfuncs.jl:991:0 (pc: 27) PkgEval terminated after 2727.6s: test duration exceeded the time limit