Package evaluation to test Chevie on Julia 1.14.0-DEV.1420 (3d611fddcf*) started at 2025-12-28T15:15:53.445 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 9.6s ################################################################################ # Installation # Installing Chevie... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [367f69f0] + Chevie v0.1.11 Updating `~/.julia/environments/v1.14/Manifest.toml` [36d08e8a] + AbstractPermutations v0.3.3 [367f69f0] + Chevie v0.1.11 [a6b051d1] + Combinat v0.1.5 [05fb067e] + CycPols v0.1.4 [c380f8b6] + CyclotomicNumbers v0.1.10 [bbb6641c] + FiniteFields v0.1.2 [580d1d9c] + FinitePosets v0.1.5 [2304d612] + GenLinearAlgebra v0.1.3 [a98d1166] + GenericDecMats v0.1.2 [e70aea02] + GroupPresentations v0.1.1 [d5909c97] + GroupsCore v0.5.2 [18e54dd8] + IntegerMathUtils v0.1.3 ⌅ [682c06a0] + JSON v0.21.4 [10b2801c] + LaurentPolynomials v0.1.6 [f23b31af] + MatInt v0.1.3 [4249f315] + ModuleElts v0.1.5 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [0b63354f] + PermGroups v0.2.19 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.1 [27ebfcd6] + Primes v0.5.7 [f53aee1f] + PuiseuxPolynomials v0.1.8 [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.17.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.29+0 [458c3c95] + OpenSSL_jll v3.5.4+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.68.0+1 [3f19e933] + p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.19s ################################################################################ # Precompilation # ERROR: LoadError: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Nothing) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:10 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:585 in expression starting at /PkgEval.jl/scripts/precompile.jl:6 caused by: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Base.DevNull) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:7 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:585 Precompilation failed after 13.36s ################################################################################ # Testing # Testing Chevie Status `/tmp/jl_WPMKkT/Project.toml` [367f69f0] Chevie v0.1.11 [a6b051d1] Combinat v0.1.5 [05fb067e] CycPols v0.1.4 [c380f8b6] CyclotomicNumbers v0.1.10 [bbb6641c] FiniteFields v0.1.2 [580d1d9c] FinitePosets v0.1.5 [2304d612] GenLinearAlgebra v0.1.3 [a98d1166] GenericDecMats v0.1.2 [e70aea02] GroupPresentations v0.1.1 [10b2801c] LaurentPolynomials v0.1.6 [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.8 [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_WPMKkT/Manifest.toml` [36d08e8a] AbstractPermutations v0.3.3 [367f69f0] Chevie v0.1.11 [a6b051d1] Combinat v0.1.5 [05fb067e] CycPols v0.1.4 [c380f8b6] CyclotomicNumbers v0.1.10 [bbb6641c] FiniteFields v0.1.2 [580d1d9c] FinitePosets v0.1.5 [2304d612] GenLinearAlgebra v0.1.3 [a98d1166] GenericDecMats v0.1.2 [e70aea02] GroupPresentations v0.1.1 [d5909c97] GroupsCore v0.5.2 [18e54dd8] IntegerMathUtils v0.1.3 ⌅ [682c06a0] JSON v0.21.4 [10b2801c] LaurentPolynomials v0.1.6 [f23b31af] MatInt v0.1.3 [4249f315] ModuleElts v0.1.5 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [0b63354f] PermGroups v0.2.19 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.1 [27ebfcd6] Primes v0.5.7 [f53aee1f] PuiseuxPolynomials v0.1.8 [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.17.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.29+0 [458c3c95] OpenSSL_jll v3.5.4+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.68.0+1 [3f19e933] p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... # 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 WARNING: Wrapping `Vararg` directly in UnionAll is deprecated (wrap the tuple instead). You may need to write `f(x::Vararg{T})` rather than `f(x::Vararg{<:T})` or `f(x::Vararg{T}) where T` instead of `f(x::Vararg{T} where T)`. To make this warning an error, and hence obtain a stack trace, use `julia --depwarn=error`. reading Chevie data: for G(de,e,n) 17.415 seconds for Aₙ 0.124 seconds for Bₙ and Cₙ 0.210 seconds for Dₙ 0.520 seconds for ³D₄ 1.670 seconds for ²Aₙ 0.070 seconds for ²Dₙ 0.123 seconds for ᵗG(e,e,n) 0.054 seconds for G₂ 0.640 seconds for I₂(e) 0.136 seconds for ²I₂(e) 0.143 seconds for G₄-G₂₂ 52.481 seconds for H₃ 1.907 seconds for G₂₄ 6.005 seconds for G₂₅ 64.001 seconds for G₂₆ 2.418 seconds for G₂₇ 6.333 seconds for F₄ 4.716 seconds for ²F₄ 1.726 seconds for G₂₉ 5.734 seconds for H₄ 15.391 seconds for G₃₁ 3.212 seconds for G₃₂ 27.158 seconds for G₃₃ 3.202 seconds for G₃₄ 15.287 seconds for E₆ 1.727 seconds for ²E₆ 0.487 seconds for E₇ 2.802 seconds for E₈ 3.993 seconds for several groups 8.634 seconds 1 dependency had output during precompilation: ┌ Chevie │ [Output was shown above] └ ┌ Warning: The call to compilecache failed to create a usable precompiled cache file for Chevie [367f69f0-ca63-11e8-2372-438b29340c1b] │ exception = Required dependency Base.PkgId(Base.UUID("682c06a0-de6a-54ab-a142-c8b1cf79cde6"), "JSON") failed to load from a cache file. └ @ Base loading.jl:2949 # 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 WARNING: Wrapping `Vararg` directly in UnionAll is deprecated (wrap the tuple instead). You may need to write `f(x::Vararg{T})` rather than `f(x::Vararg{<:T})` or `f(x::Vararg{T}) where T` instead of `f(x::Vararg{T} where T)`. To make this warning an error, and hence obtain a stack trace, use `julia --depwarn=error`. ┌ Warning: Error requiring `Chevie` from `GenericDecMats` │ exception = │ ConcurrencyViolationError("deadlock detected in loading Chevie using Chevie (while loading GenericDecMats)") │ Stacktrace: │ [1] canstart_loading(modkey::Base.PkgId, build_id::UInt128, stalecheck::Bool) │ @ Base ./loading.jl:2409 │ [2] start_loading(modkey::Base.PkgId, build_id::UInt128, stalecheck::Bool) │ @ Base ./loading.jl:2417 │ [3] _require_prelocked(uuidkey::Base.PkgId, env::Nothing) │ @ Base ./loading.jl:2719 │ [4] _require_prelocked │ @ ./loading.jl:2718 [inlined] │ [5] macro expansion │ @ ./lock.jl:376 [inlined] │ [6] __require(uuidkey::Base.PkgId) │ @ Base ./loading.jl:2716 │ [7] require(uuidkey::Base.PkgId) │ @ Base ./loading.jl:2714 │ [8] top-level scope │ @ ~/.julia/packages/GenericDecMats/1iVj4/src/GenericDecMats.jl:347 │ [9] eval(m::Module, e::Any) │ @ Core ./boot.jl:489 │ [10] EvalInto │ @ ./boot.jl:494 [inlined] │ [11] (::GenericDecMats.var"#__init__##10#__init__##11")() │ @ GenericDecMats ~/.julia/packages/Requires/1eCOK/src/require.jl:101 │ [12] macro expansion │ @ ./timing.jl:502 [inlined] │ [13] err(f::Any, listener::Module, modname::String, file::String, line::Any) │ @ Requires ~/.julia/packages/Requires/1eCOK/src/require.jl:47 │ [14] (::GenericDecMats.var"#__init__##8#__init__##9")() │ @ GenericDecMats ~/.julia/packages/Requires/1eCOK/src/require.jl:100 │ [15] withpath(f::Any, path::String) │ @ Requires ~/.julia/packages/Requires/1eCOK/src/require.jl:37 │ [16] (::GenericDecMats.var"#__init__##6#__init__##7")() │ @ GenericDecMats ~/.julia/packages/Requires/1eCOK/src/require.jl:99 │ [17] listenpkg(f::Any, pkg::Base.PkgId) │ @ Requires ~/.julia/packages/Requires/1eCOK/src/require.jl:20 │ [18] macro expansion │ @ ~/.julia/packages/Requires/1eCOK/src/require.jl:98 [inlined] │ [19] __init__() │ @ GenericDecMats ~/.julia/packages/GenericDecMats/1iVj4/src/GenericDecMats.jl:346 │ [20] run_module_init(mod::Module, i::Int64) │ @ Base ./loading.jl:1606 │ [21] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String) │ @ Base ./loading.jl:1594 │ [22] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool) │ @ Base ./loading.jl:1482 │ [23] _include_from_serialized │ @ ./loading.jl:1439 [inlined] │ [24] _require_search_from_serialized(pkg::Base.PkgId, sourcespec::Base.PkgLoadSpec, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String}) │ @ Base ./loading.jl:2314 │ [25] _require_search_from_serialized │ @ ./loading.jl:2208 [inlined] │ [26] __require_prelocked(pkg::Base.PkgId, env::String) │ @ Base ./loading.jl:2865 │ [27] _require_prelocked(uuidkey::Base.PkgId, env::String) │ @ Base ./loading.jl:2724 │ [28] macro expansion │ @ ./loading.jl:2652 [inlined] │ [29] macro expansion │ @ ./lock.jl:376 [inlined] │ [30] __require(into::Module, mod::Symbol) │ @ Base ./loading.jl:2616 │ [31] require │ @ ./loading.jl:2592 [inlined] │ [32] eval_import_path │ @ ./module.jl:36 [inlined] │ [33] eval_import_path_all(at::Module, path::Expr, keyword::String) │ @ Base ./module.jl:60 │ [34] _eval_using │ @ ./module.jl:137 [inlined] │ [35] _eval_using(to::Module, path::Expr) │ @ Base ./module.jl:137 │ [36] top-level scope │ @ ~/.julia/packages/Chevie/CvV6u/src/gendec.jl:2 │ [37] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:310 │ [38] top-level scope │ @ ~/.julia/packages/Chevie/CvV6u/src/Chevie.jl:154 │ [39] include(mod::Module, _path::String) │ @ Base ./Base.jl:309 │ [40] __require_prelocked(pkg::Base.PkgId, env::String) │ @ Base ./loading.jl:2972 │ [41] _require_prelocked(uuidkey::Base.PkgId, env::String) │ @ Base ./loading.jl:2724 │ [42] macro expansion │ @ ./loading.jl:2652 [inlined] │ [43] macro expansion │ @ ./lock.jl:376 [inlined] │ [44] __require(into::Module, mod::Symbol) │ @ Base ./loading.jl:2616 │ [45] require │ @ ./loading.jl:2592 [inlined] │ [46] eval_import_path │ @ ./module.jl:36 [inlined] │ [47] eval_import_path_all(at::Module, path::Expr, keyword::String) │ @ Base ./module.jl:60 │ [48] _eval_using │ @ ./module.jl:137 [inlined] │ [49] _eval_using(to::Module, path::Expr) │ @ Base ./module.jl:137 │ [50] top-level scope │ @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:2 │ [51] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:310 │ [52] top-level scope │ @ none:6 │ [53] eval(m::Module, e::Any) │ @ Core ./boot.jl:489 │ [54] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:310 │ [55] _start() │ @ Base ./client.jl:585 └ @ Requires ~/.julia/packages/Requires/1eCOK/src/require.jl:51 reading Chevie data: for G(de,e,n) 78.321 seconds for Aₙ 0.122 seconds for Bₙ and Cₙ 0.204 seconds for Dₙ 0.679 seconds for ³D₄ 2.950 seconds for ²Aₙ 0.059 seconds for ²Dₙ 0.111 seconds for ᵗG(e,e,n) 0.052 seconds for G₂ 1.083 seconds for I₂(e) 0.124 seconds for ²I₂(e) 0.128 seconds for G₄-G₂₂ 78.544 seconds for H₃ 2.928 seconds for G₂₄ 11.673 seconds for G₂₅ 85.429 seconds for G₂₆ 12.512 seconds for G₂₇ 8.505 seconds for F₄ 7.466 seconds for ²F₄ 3.242 seconds for G₂₉ 8.933 seconds for H₄ 33.50 seconds for G₃₁ 3.958 seconds for G₃₂ 47.336 seconds for G₃₃ 4.612 seconds for G₃₄ 19.142 seconds for E₆ 2.224 seconds for ²E₆ 0.788 seconds for E₇ 3.546 seconds for E₈ 4.815 seconds for several groups 17.18 seconds Algebras.jl G=symmetric_group(5) Algebras.jl Algebras.pprimesections(G,2) Algebras.jl Algebras.pprimesections(G,3) Algebras.jl W=coxgroup(:B,4) Algebras.jl A=SolomonAlgebra(W) Algebras.jl X=A.xbasis; X(1,2,3)*X(2,4) Algebras.jl W.solomon_subsets Algebras.jl W.solomon_conjugacy Algebras.jl Algebras.injection(A)(X(1,2,3)) Chars.jl W=coxgroup(:A,3) Chars.jl CharTable(W) Chars.jl W=coxgroup(:G,2) Chars.jl ct=CharTable(W) Chars.jl ct.charnames Chars.jl ct.classnames Chars.jl m=cartan(:A,3) Chars.jl schur_functor(m,[2,2]) Chars.jl fakedegree(coxgroup(:A,2),[[2,1]],Pol(:q)) Chars.jl fakedegrees(coxgroup(:A,2),Pol(:q)) Chars.jl charinfo(coxgroup(:G,2)).charparams Chars.jl charinfo(coxgroup(:G,2)) Chars.jl charinfo(complex_reflection_group(24)) Chars.jl W=coxgroup(:D,4) Chars.jl detPerm(W) Chars.jl W=complex_reflection_group(4) Chars.jl conjPerm(W) Chars.jl classinfo(coxgroup(:A,2)) Chars.jl W=spets(coxgroup(:D,4),Perm(1,2,4)) Chars.jl CharTable(W) Chars.jl WF=rootdatum("3D4") Chars.jl on_chars(Group(WF),WF.phi) Chars.jl representation(complex_reflection_group(24),3) Chars.jl representations(coxgroup(:B,2)) Chars.jl W=coxgroup(:H,3) Chars.jl g=Wgraph(W,3) Chars.jl WGraphToRepresentation(3,g,Pol(:x)) Chars.jl W=coxgroup(:G,2) Chars.jl charnames(W;limit=true) Chars.jl charnames(W;TeX=true) Chars.jl charnames(W;spaltenstein=true,limit=true) Chars.jl charnames(W;spaltenstein=true,TeX=true) Chars.jl g=coxgroup(:G,2) Chars.jl u=reflection_subgroup(g,[1,6]) Chars.jl t=induction_table(u,g) Chars.jl W=coxgroup(:D,4) Chars.jl H=reflection_subgroup(W,[1,3]) Chars.jl j_induction_table(H,W) Chars.jl W=coxgroup(:D,4) Chars.jl H=reflection_subgroup(W,[1,3]) Chars.jl J_induction_table(H,W) Chars.jl W=complex_reflection_group(4);@Mvp x,y Chars.jl discriminant(W)(x,y) ComplexR.jl G=complex_reflection_group(4) ComplexR.jl degrees(G) ComplexR.jl length(G) ComplexR.jl W*coxgroup(:A,2) ComplexR.jl complex_reflection_group(1,1,3) ComplexR.jl crg(4) ComplexR.jl W=complex_reflection_group(30) ComplexR.jl degrees(W) ComplexR.jl length(W) ComplexR.jl W=coxgroup(:E,6) ComplexR.jl WF=spets(W) ComplexR.jl phi=W(6,5,4,2,3,1,4,3,5,4,2,6,5,4,3,1); ComplexR.jl HF=subspets(WF,2:5,phi) ComplexR.jl diagram(HF) ComplexR.jl degrees(HF) ComplexR.jl W=complex_reflection_group(4) ComplexR.jl codegrees(W) ComplexR.jl W=coxgroup(:B,2) ComplexR.jl hyperplane_orbits(W) ComplexR.jl W=crg(8); ComplexR.jl r=reflections(W)[7] ComplexR.jl r.rootno ComplexR.jl r.eigen ComplexR.jl r.W ComplexR.jl r==Reflection(W,1,-1) ComplexR.jl Reflection(W,1) ComplexR.jl root(r) ComplexR.jl coroot(r) ComplexR.jl Matrix(r) ComplexR.jl hyperplane(r) ComplexR.jl hyperplane(r)*Matrix(r)==hyperplane(r) ComplexR.jl isdistinguished(r) ComplexR.jl exponent(r) ComplexR.jl Perm(r) ComplexR.jl hyperplane_orbit(r) ComplexR.jl position_class(r) ComplexR.jl simple_rep(r) ComplexR.jl word(r) ComplexR.jl W=crg(4) ComplexR.jl reflections(W) Cosets.jl W=complex_reflection_group(14) Cosets.jl R=reflection_subgroup(W,[2,4]) Cosets.jl RF=spets(R,W(1)) Cosets.jl degrees(RF) Cosets.jl W=coxgroup(:B,2) Cosets.jl W=coxgroup(:Bsym,2) Cosets.jl WF=spets(W,Perm(1,2)) Cosets.jl CharTable(WF) Cosets.jl W=coxgroup(:Bsym,2) Cosets.jl WF=spets(W,Perm(1,2)) Cosets.jl subspets(WF,Int[],W(1)) Cosets.jl W=coxgroup(:B,2) Cosets.jl twistings(W,[1]) Cosets.jl twistings(W,[2]) Cosets.jl W=coxgroup(:B,2) Cosets.jl twistings(W,[2,4]) Cosets.jl W=coxgroup(:E,6) Cosets.jl WF=spets(W,Perm(1,6)*Perm(3,5)) Cosets.jl twistings(W,2:5) Cosets.jl twistings(WF,2:5) Cosets.jl W=coxgroup(:D,4) Cosets.jl graph_automorphisms(refltype(W*W)) Cosets.jl twistings(coxgroup(:A,3)*coxgroup(:A,3)) Cosets.jl twistings(coxgroup(:D,4)) Cosets.jl W=rootdatum(:so,8) Cosets.jl twistings(W) Cosets.jl W=rootdatum(:gl,3) Cosets.jl gu3=spets(W,-reflrep(W,W())) Cosets.jl F4=coxgroup(:F,4);D4=reflection_subgroup(F4,[1,2,16,48]) Cosets.jl spets(D4,[1 0 0 0;0 1 2 0;0 0 0 1;0 0 -1 -1]) Cosets.jl W=coxgroup(:A,3) Cosets.jl spets(W,Perm(1,3)) Cosets.jl torus([0 -1;1 -1]) Cosets.jl W=coxgroup(:A,3) Cosets.jl twistings(W,Int[]) Cosets.jl torus(W,2) Cosets.jl WF=spets(W,Perm(1,3)) Cosets.jl twistings(WF,Int[]) Cosets.jl torus(WF,2) Cosets.jl W=coxgroup(:D,4) Cosets.jl WF=spets(W,Perm(1,2,4)) Cosets.jl u=unichar(W,2) Cosets.jl F=Frobenius(WF);F(u) Cosets.jl F(u,-1) Cosets.jl F(1) Cosets.jl WF=spets(coxgroup(:F,4)) Cosets.jl w=transporting_elt(Group(WF),[1,2,9,16],[1,9,16,2],ontuples); Cosets.jl LF=subspets(WF,[1,2,9,16],w) Cosets.jl diagram(LF) Cosets.jl spets("3G422") ##### Warning: cartantypes for crg(4,2,2)=Cyc{Rational{Int64}}[-E(3,2)] exec="(ζ₃²(-1-√-1)/2)₄‚₂‚₂" manl="₄‚₂‚₂" Cosets.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:166 Expression: mytest("Cosets.jl", "spets(\"3G422\")", "³G₄‚₂‚₂") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:117 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:166 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:753 [inlined] Cosets.jl spets("2G5") Cosets.jl spets("3G333") Cosets.jl spets("3pG333") Cosets.jl spets("4G333") CoxGroups.jl W=coxsym(4) CoxGroups.jl p=W(1,3,2,1,3) CoxGroups.jl word(W,p) CoxGroups.jl word(W,longest(W)) CoxGroups.jl w0=longest(W) CoxGroups.jl length(W,w0) CoxGroups.jl map(w->word(W,w),refls(W,1:nref(W))) CoxGroups.jl [length(elements(W,i)) for i in 0:nref(W)] CoxGroups.jl W=coxsym(3) CoxGroups.jl firstleftdescent(W,Perm(2,3)) CoxGroups.jl W=coxsym(3) CoxGroups.jl leftdescents(W,Perm(1,3)) CoxGroups.jl W=coxgroup(:A,3) CoxGroups.jl w=perm"(1,11)(3,10)(4,9)(5,7)(6,12)" CoxGroups.jl w in W CoxGroups.jl word(W,w) CoxGroups.jl W=coxsym(4) CoxGroups.jl p=W(1,2,3,1,2,3) CoxGroups.jl length(W,p) CoxGroups.jl word(W,p) CoxGroups.jl W=coxgroup(:G,2) CoxGroups.jl H=reflection_subgroup(W,[2,6]) CoxGroups.jl word.(Ref(W),unique(reduced.(Ref(H),elements(W)))) CoxGroups.jl W=coxgroup(:G,2) CoxGroups.jl H=reflection_subgroup(W,[2,6]) CoxGroups.jl [word(W,w) for S in reduced(H,W) for w in S] CoxGroups.jl W=coxgroup(:H,3) CoxGroups.jl w=W(1,2,1,3); CoxGroups.jl b=filter(x->bruhatless(W,x,w),elements(W)); CoxGroups.jl word.(Ref(W),b) CoxGroups.jl W=coxsym(3) CoxGroups.jl bruhatless(W,Perm(1,3)) CoxGroups.jl W=coxsym(3) CoxGroups.jl bruhatPoset(W) CoxGroups.jl p=Poset((x,y)->bruhatless(W,x,y),elements(W)) CoxGroups.jl p.show_element=(io,x,n)->join(io,word(W,x.elements[n])); CoxGroups.jl p CoxGroups.jl W=coxsym(4) CoxGroups.jl bruhatPoset(W,W(1,3)) CoxGroups.jl W=coxgroup(:A,3) CoxGroups.jl words(W,longest(W)) CoxGroups.jl W=coxgroup(:A,3) CoxGroups.jl inversions(W,W(1,2,1)) CoxGroups.jl CoxGroups.standard_parabolic_class(coxgroup(:E,8),[7,8]) CoxGroups.jl C=cartan(:H,3) CoxGroups.jl coxmat(C) CoxGroups.jl W=coxsym(4) CoxGroups.jl coxmat(W) CoxGroups.jl W=complex_reflection_group(29) CoxGroups.jl braid_relations(W) CoxGroups.jl longest(coxsym(4)) CoxGroups.jl longest(coxsym(4)) CoxGroups.jl W=coxsym(3) CoxGroups.jl gens(W) CoxGroups.jl e=elements(W) CoxGroups.jl length.(Ref(W),e) CoxGroups.jl W=coxsym(3) CoxGroups.jl isleftdescent(W,Perm(1,2),1) CoxGroups.jl W=coxsym(3) CoxGroups.jl isrightdescent(W,Perm(1,2),1) CoxGroups.jl elements(coxhyp(2)) CoxGroups.jl W=coxgroup([2 -2;-2 2]) CoxGroups.jl gens(W) Diagrams.jl diagram(coxgroup(:E,8)) Diagrams.jl diagram(crg(33)) Eigenspaces.jl W=coxgroup(:E,8) Eigenspaces.jl relative_degrees(W,4) Eigenspaces.jl regular_eigenvalues(coxgroup(:G,2)) Eigenspaces.jl W=complex_reflection_group(6) Eigenspaces.jl L=twistings(W,[2])[4] Eigenspaces.jl regular_eigenvalues(L) Eigenspaces.jl W=coxgroup(:E,8) Eigenspaces.jl position_regular_class(W,30) Eigenspaces.jl W=complex_reflection_group(6) Eigenspaces.jl L=twistings(W,[2])[4] Eigenspaces.jl position_regular_class(L,7//12) Eigenspaces.jl W=coxgroup(:A,3) Eigenspaces.jl w=W(1:3...) Eigenspaces.jl p=eigenspace_projector(W,w,1//4) Eigenspaces.jl GenLinearAlgebra.rank(p) Eigenspaces.jl W=coxgroup(:A,3) Eigenspaces.jl split_levis(W,4) Eigenspaces.jl W=spets(coxgroup(:D,4),Perm(1,2,4)) Eigenspaces.jl split_levis(W,3) Eigenspaces.jl W=coxgroup(:E,8) Eigenspaces.jl split_levis(W,4,2) Eigenspaces.jl split_levis(complex_reflection_group(5)) FFfac.jl @Pol q FFfac.jl f=q^3*(q^4-1)^2*Z(3)^0 FFfac.jl factor(f) FFfac.jl factor(f,GF(9)) Fact.jl factor(Pol(:q)^24-1) Fact.jl Fact.LogInt(1024,2) Fact.jl Fact.LogInt(1,10) Families.jl W=coxgroup(:G,2) Families.jl uc=UnipotentCharacters(W); Families.jl uc.families Families.jl uc.families[1] Families.jl charnames(uc)[uc.families[1].charNumbers] Families.jl Family("C2") Families.jl Family("C2",4:7;signs=[1,-1,1,-1]) Families.jl f=UnipotentCharacters(complex_reflection_group(3,1,1)).families[2] Families.jl galois(f,-1) Families.jl f=UnipotentCharacters(complex_reflection_group(3,1,1)).families[2] Families.jl invpermute(f,Perm(1,2,3)) Families.jl Families.ndrinfeld_double(complex_reflection_group(5)) Families.jl family_imprimitive([[0,1],[1],[0]]) Families.jl FamiliesClassical(symbols(2,3)) exec="0112233,[4])\n Family(3,[9])\n Family(112,[2])\n Family(01123,[1, 3, 8, 11])\n Family(013,[5, 7, 10, 12])\n Family(022,[6])" manl="112,[2])\n Family(022,[6])\n Family(3,[9])\n Family(01123,[1, 3, 8, 11])\n Family(0112233,[4])\n Family(013,[5, 7, 10, 12])" Families.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:290 Expression: mytest("Families.jl", "FamiliesClassical(symbols(2,3))", "6-element Vector{Family}:\n Family(112,[2])\n Family(022,[6])\n Family(3,[9])\n Family(01123,[1, 3, 8, 11])\n Family(0112233,[4])\n Family(013,[5, 7, 10, 12])") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:277 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:290 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:753 [inlined] Families.jl W=complex_reflection_group(4) Families.jl uc=UnipotentCharacters(W);f=uc.families[4]; Families.jl A=Zbasedring(fourier(f),1) Families.jl b=basis(A) Families.jl b*permutedims(b) Families.jl CharTable(A) Format.jl s="E_6[\\zeta_3]:\\phi_{1,6}" Format.jl fromTeX(rio(),s) Format.jl fromTeX(stdout,s) Format.jl ordinal(201) Format.jl ordinal(202) Format.jl ordinal(203) Format.jl ordinal(204) Format.jl joindigits([1,9,3,5]) Format.jl joindigits([1,10,3,5]) Format.jl joindigits([1,10,3,5],"[]";sep="-") Garside.jl W=coxgroup(:A,4) Garside.jl B=BraidMonoid(W) Garside.jl w=B(1,2,3,4) Garside.jl w*w Garside.jl w*W(1) Garside.jl W(1)*w Garside.jl w^3 Garside.jl B(1,2)\w Garside.jl w/B(3,4) Garside.jl w^B(1) Garside.jl w^W(1) Garside.jl word(α(w^3)) Garside.jl w^4 Garside.jl inv(w) Garside.jl B(-4,-3,-2,-1) Garside.jl xrepr(w^-1,greedy=true,limit=true) Garside.jl repr(w) Garside.jl repr(w^3) Garside.jl repr(w^-1) Garside.jl b=B(2,1,4,1,4) Garside.jl c=B(1,4,1,4,3) Garside.jl d=conjugating_elt(b,c) Garside.jl b^d Garside.jl centralizer_gens(b) exec="21.1\n 321432.213243\n 4" manl="321432.213243\n 21.1\n 4" Garside.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:334 Expression: mytest("Garside.jl", "centralizer_gens(b)", "3-element Vector{GarsideElt{Perm{Int16}, BraidMonoid{Perm{Int16}, FiniteCoxeterGroup{Perm{Int16},Int64}}}}:\n 321432.213243\n 21.1\n 4") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:334 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:753 [inlined] Garside.jl C=conjcat(b;ss=Val(:ss)) Garside.jl C.obj Garside.jl word(W,preferred_prefix(b)) Garside.jl b^B(preferred_prefix(b)) Garside.jl C=conjcat(b) Garside.jl C.obj Garside.jl W=coxgroup(:A,3) Garside.jl B=BraidMonoid(W) Garside.jl Pi=B(B.δ)^2 Garside.jl root(Pi,2) Garside.jl root(Pi,3) Garside.jl root(Pi,4) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl word(B,B.δ) Garside.jl W=coxgroup(:A,3) Garside.jl B=BraidMonoid(W) Garside.jl map(x->B.(x),left_divisors(B,W(1,3,2))) Garside.jl B=DualBraidMonoid(W) Garside.jl map(x->B.(x),left_divisors(B,W(1,3,2))) Garside.jl M=BraidMonoid(coxgroup(:A,2)) Garside.jl elements(M,4) Garside.jl B=DualBraidMonoid(coxsym(4)) Garside.jl left_divisors(B(1,5,4,3)) Garside.jl left_divisors(B(1,5,4,3),1) Garside.jl W=coxgroup(:E,8);B=BraidMonoid(W) Garside.jl w=B(2,3,4,2,3,4,5,4,2,3,4,5,6,5,4,2,3,4,5,6,7,6,5,4,2,3,4,5,6,7,8) Garside.jl Brieskorn_normal_form(w) Garside.jl Brieskorn_normal_form(w^2) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl b=B( 2, 1, -3, 1, 1) Garside.jl fraction(b) Garside.jl W=coxgroup(:A,3) Garside.jl b=BraidMonoid(W)(2,1,2,1,1) Garside.jl α(b) Garside.jl W=coxgroup(:A,4);B=BraidMonoid(W) Garside.jl w0=B(longest(W)) Garside.jl α(w0,[1,2,3]) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl b=B(2,1,2,1,1)*inv(B(2,2)) Garside.jl word(b) Garside.jl W=coxgroup(:A,3) Garside.jl B=BraidMonoid(W) Garside.jl leftgcdc(B(2,1,2)^2,B(3,2)^2) Garside.jl W=coxgroup(:A,3) Garside.jl B=BraidMonoid(W) Garside.jl rightgcdc(B(2,1,2)^2,B(3,2)^2) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl leftlcmc(B(2,1,2)^2,B(3,2)^2) Garside.jl B=BraidMonoid(coxgroup(:A,3)) Garside.jl rightlcmc(B(2,1,2)^2,B(3,2)^2) Garside.jl W=coxsym(4) Garside.jl b=BraidMonoid(W)(2,1,2,1,1) Garside.jl p=image(b) Garside.jl word(W,p) Garside.jl W=coxgroup(:A,2) Garside.jl pi=BraidMonoid(W)(longest(W))^2 Garside.jl words(pi) Garside.jl W=coxgroup(:A,3) Garside.jl D=DualBraidMonoid(W) Garside.jl D(2,1,2,1,1) Garside.jl D(-1,-2,-3,1,1) Garside.jl W=crg(4) Garside.jl D=DualBraidMonoid(W) Garside.jl left_divisors(D(D.δ)) Garside.jl W=coxgroup(:E,8);M=DualBraidMonoid(W) Garside.jl s4=left_divisors(M,M.δ,4); Garside.jl s=M(s4[findfirst(x->x*δad(M,x,8)==M.δ,s4)]) Garside.jl "the right-lcms of the `δⁱ`-orbits on `leftdescents(b)`" function satoms(b,i) M=b.M ld=M.atoms[leftdescents(b)] di=Perm(ld,δad.(Ref(M),ld,i)) if isnothing(di) error(b," is not δ^\$i-stable") end map(o->M(rightlcm(M,ld[o]...)),orbits(di,eachindex(ld))) end WARNING: Detected access to binding `Main.satoms` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. To make this warning an error, and hence obtain a stack trace, use `julia --depwarn=error`. Garside.jl: Error During Test at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:402 Test threw exception Expression: mytest("Garside.jl", "\"the right-lcms of the `δⁱ`-orbits on `leftdescents(b)`\"\n function satoms(b,i)\n M=b.M\n ld=M.atoms[leftdescents(b)]\n di=Perm(ld,δad.(Ref(M),ld,i))\n if isnothing(di) error(b,\" is not δ^\\\$i-stable\") end\n map(o->M(rightlcm(M,ld[o]...)),orbits(di,eachindex(ld)))\n end", "satoms") ArgumentError: invalid index: nothing of type Nothing Stacktrace: [1] to_index(i::Nothing) @ Base ./indices.jl:315 [2] to_index(A::Vector{Int64}, i::Nothing) @ Base ./indices.jl:292 [3] to_indices @ ./indices.jl:368 [inlined] [4] to_indices @ ./indices.jl:360 [inlined] [5] getindex(A::Vector{Int64}, I::Nothing) @ Base ./abstractarray.jl:1360 [6] mytest(file::String, cmd::String, man::String) @ Main ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:11 [7] eval_test_function(func::Any, args::Any, kwargs::Any, quoted_func::Union{Expr, Symbol}, source::LineNumberNode, negate::Bool) @ Test /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:394 [8] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [10] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [12] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:402 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] Garside.jl Category(x->satoms(x,15),s;action=(o,m)->inv(m)*o*δad(m,8)) Garside.jl W=coxsym(4);M=BraidMonoid(W) Garside.jl endomorphisms(conjcat(M(1,1,2,2,3)),1) exec="12.213\n 213.1232" manl="213.1232\n 12.213" Garside.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:405 Expression: mytest("Garside.jl", "endomorphisms(conjcat(M(1,1,2,2,3)),1)", "2-element Vector{GarsideElt{Perm{Int16}, BraidMonoid{Perm{Int16}, CoxSym{Int16}}}}:\n 213.1232\n 12.213") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:405 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:753 [inlined] Garside.jl W=coxgroup(:A,4) Garside.jl w=BraidMonoid(W)(4,3,3,2,1) Garside.jl C=conjcat(w) Garside.jl C.obj Garside.jl conjcat(w;ss=Val(:ss)).obj Garside.jl W=coxgroup(:D,4) Garside.jl B=BraidMonoid(W) Garside.jl b=B(2,3,1,2,4,3) Garside.jl b1=B(1,4,3,2,2,2) Garside.jl conjugating_elt(b,b1) Garside.jl c=conjugating_elt(b,b1;ss=Val(:cyc)) Garside.jl b^c Garside.jl WF=spets(W,Perm(1,2,4)) Garside.jl F=Frobenius(WF); Garside.jl c=B(3,4,3,1,2,3) Garside.jl conjugating_elt(b,c,F) Garside.jl ^(b,B(1,2,4,3,1,2),F) Garside.jl W=coxgroup(:D,4) Garside.jl B=BraidMonoid(W) Garside.jl w=B(4,4,4) Garside.jl cc=centralizer_gens(w) exec="34.43\n 4\n (31432)⁻¹231432\n 1\n 2\n (2)⁻¹34.432\n (32431)⁻¹132431\n (1)⁻¹34.431" manl="1\n (31432)⁻¹231432\n (1)⁻¹34.431\n (2)⁻¹34.432\n (32431)⁻¹132431\n 4\n 34.43\n 2" Garside.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:426 Expression: mytest("Garside.jl", "cc=centralizer_gens(w)", "8-element Vector{GarsideElt{Perm{Int16}, BraidMonoid{Perm{Int16}, FiniteCoxeterGroup{Perm{Int16},Int64}}}}:\n 1\n (31432)⁻¹231432\n (1)⁻¹34.431\n (2)⁻¹34.432\n (32431)⁻¹132431\n 4\n 34.43\n 2") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:426 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:753 [inlined] Garside.jl shrink(cc) #I total length 41 maximal length 11 #I 8:<11÷5>..<10÷5><9÷4>.. eliminated #I 7:<11÷5>...<10÷5><9÷4>... #I 6:<6÷1>..<5÷1> eliminated #I 5:<6÷1>...<5÷1> eliminated #I 4:<4÷0>... #I 3:<1÷0>.. #I 2:<1÷0>. #I total length 16 maximal length 9 #I 5:<9÷4>.... #I 4:<4÷0>. #I 3:<1÷0>. #I 2:<1÷0>. Garside.jl centralizer_gens(w;ss=Val(:cyc)) Garside.jl F=Frobenius(spets(W,Perm(1,2,4))); Garside.jl centralizer_gens(w,F) exec="312343123\n 124" manl="124\n 312343123" Garside.jl: Test Failed at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:430 Expression: mytest("Garside.jl", "centralizer_gens(w,F)", "2-element Vector{GarsideElt{Perm{Int16}, BraidMonoid{Perm{Int16}, FiniteCoxeterGroup{Perm{Int16},Int64}}}}:\n 124\n 312343123") Stacktrace: [1] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [3] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:311 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [5] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:430 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:753 [inlined] Garside.jl M=DualBraidMonoid(coxgroup(:A,3)) Garside.jl p=Presentation(M,vars=Symbol.(collect("abcdef"))) Garside.jl B=BraidMonoid(coxsym(3)) Garside.jl b=[B(1)^3,B(2)^3,B(-2,-1,-1,2,2,2,2,1,1,2),B(1,1,1,2)] Garside.jl shrink(b) #I total length 20 maximal length 10 #I 4:<10÷3>..<6÷1>. #I 3:<4÷0>..<1÷0> #I 2:<3÷0>. #I total length 13 maximal length 6 #I 4:<6÷1>.<4÷0>..<1÷0> #I 3:<3÷0>...<2÷0> #I 2:<3÷0>.<2÷0> #I total length 6 maximal length 2 #I 4:<2÷0>.. eliminated #I 3:<2÷0>. eliminated #I 2:<1÷0>. #I total length 2 maximal length 1 #I 2:<1÷0>. Gt.jl W=coxgroup(:G,2) Gt.jl closed_subsystems(W) Gt.jl t=ClassTypes(rootdatum(:sl,3)) HeckeAlgebras.jl W=coxgroup(:A,2) HeckeAlgebras.jl H=hecke(W,0) HeckeAlgebras.jl T=Tbasis(H); HeckeAlgebras.jl b=T.(elements(W)) HeckeAlgebras.jl b*permutedims(b) HeckeAlgebras.jl H=hecke(W,Pol(:q)) HeckeAlgebras.jl T=Tbasis(H); HeckeAlgebras.jl h=T(1,2)^2 HeckeAlgebras.jl length(h) HeckeAlgebras.jl h[W(2,1)] HeckeAlgebras.jl collect(h) HeckeAlgebras.jl collect(values(h)) HeckeAlgebras.jl collect(keys(h)) HeckeAlgebras.jl h[W(2,1)]=Pol(3) HeckeAlgebras.jl h HeckeAlgebras.jl W=coxgroup(:B,2) HeckeAlgebras.jl @Pol q HeckeAlgebras.jl H=hecke(W,q) HeckeAlgebras.jl H.para HeckeAlgebras.jl H=hecke(W,q^2,rootpara=-q) HeckeAlgebras.jl H=hecke(W,q^2) HeckeAlgebras.jl rootpara(H) HeckeAlgebras.jl H HeckeAlgebras.jl H=hecke(W,[q^2,q^4],rootpara=[q,q^2]) HeckeAlgebras.jl H.para,H.rootpara HeckeAlgebras.jl H=hecke(W,9,rootpara=3) HeckeAlgebras.jl H.para,H.rootpara HeckeAlgebras.jl @Mvp x,y,z,t HeckeAlgebras.jl H=hecke(W,[[x,y]]) HeckeAlgebras.jl rootpara(H);H HeckeAlgebras.jl H=hecke(W,[[x,y],[z,t]]) HeckeAlgebras.jl rootpara(H);H HeckeAlgebras.jl hecke(coxgroup(:F,4),(q,q^2)).para HeckeAlgebras.jl hecke(complex_reflection_group(3,1,2),q).para HeckeAlgebras.jl H=hecke(crg(4),Pol()) HeckeAlgebras.jl CharTable(H) HeckeAlgebras.jl W=crg(24) HeckeAlgebras.jl H=hecke(W,Pol(:q)) HeckeAlgebras.jl representation(H,3) HeckeAlgebras.jl H=hecke(coxgroup(:D,5),Pol(:q)) HeckeAlgebras.jl representation(H,7) HeckeAlgebras.jl H=hecke(coxgroup(:F,4)) HeckeAlgebras.jl isrepresentation(H,reflrep(H)) HeckeAlgebras.jl isrepresentation(H,Tbasis(H).(1:4)) HeckeAlgebras.jl W=coxgroup(:B,2);H=hecke(W,Pol(:q)) HeckeAlgebras.jl reflrep(H) HeckeAlgebras.jl H=hecke(coxgroup(:H,3)) HeckeAlgebras.jl reflrep(H) HeckeAlgebras.jl W=coxgroup(:H,3) HeckeAlgebras.jl H=hecke(W,Pol(:q)^2) HeckeAlgebras.jl g=Wgraph(W,3) HeckeAlgebras.jl WGraphToRepresentation(H,g) HeckeAlgebras.jl H=hecke(coxgroup(:H,3),Pol(:q)) HeckeAlgebras.jl central_monomials(H) HeckeAlgebras.jl H=hecke(coxsym(4),Pol(:q));T=Tbasis(H); HeckeAlgebras.jl representation(T(1,2)^2,2) #I Initialized Murphy basis HeckeAlgebras.jl H=hecke(coxgroup(:A,2),Pol(:q)) HeckeAlgebras.jl T=Tbasis(H);T(longest(H.W))^2 HeckeAlgebras.jl W=crg(3,1,1) HeckeAlgebras.jl H=hecke(crg(3,1,1),Pol(:q)) HeckeAlgebras.jl T=Tbasis(H);T(1)^3 HeckeAlgebras.jl W=coxgroup(:G,2);H=hecke(W,Pol(:q)) HeckeAlgebras.jl T=Tbasis(H);h=T(1,2)*T(2,1) HeckeAlgebras.jl alt(h) HeckeAlgebras.jl W=coxsym(4) HeckeAlgebras.jl H=hecke(W,Pol(:q)) HeckeAlgebras.jl h=Tbasis(H,longest(W)) HeckeAlgebras.jl p=class_polynomials(h) HeckeAlgebras.jl W=coxgroup(:B,2) HeckeAlgebras.jl H=hecke(W,q^2;rootpara=q) HeckeAlgebras.jl char_values(Cpbasis(H)(1,2,1)) HeckeAlgebras.jl W=crg(4) HeckeAlgebras.jl H=hecke(W,Pol(:q)) HeckeAlgebras.jl char_values(H,[2,1,2]) HeckeAlgebras.jl H=hecke(complex_reflection_group(4),Pol(:q)) HeckeAlgebras.jl s=schur_elements(H) HeckeAlgebras.jl CycPol.(s) HeckeAlgebras.jl @Mvp x,y; W=crg(4); H=hecke(W,[[1,x,y]]) HeckeAlgebras.jl p=factorized_schur_element(H,[[2,5]]) HeckeAlgebras.jl q=p(;x=E(3)) HeckeAlgebras.jl q(;y=2//1) HeckeAlgebras.jl HeckeAlgebras.expand(p) HeckeAlgebras.jl W=complex_reflection_group(4) HeckeAlgebras.jl @Mvp x,y; H=hecke(W,[[1,x,y]]) HeckeAlgebras.jl factorized_schur_element(H,[[2,5]]) HeckeAlgebras.jl W=complex_reflection_group(4) HeckeAlgebras.jl @Mvp x,y; H=hecke(W,[[1,x,y]]) HeckeAlgebras.jl factorized_schur_elements(H) HeckeAlgebras.jl WF=rootdatum(:u,3) HeckeAlgebras.jl HF=hecke(WF,Pol(:v)^2;rootpara=Pol()) HeckeAlgebras.jl CharTable(HF) HeckeAlgebras.jl WF=rootdatum("2B2") HeckeAlgebras.jl H=hecke(WF,Pol(:x)^2;rootpara=Pol()) HeckeAlgebras.jl representations(H) KL.jl W=coxgroup(:H,3) KL.jl c=left_cells(W) KL.jl W=coxgroup(:F,4) KL.jl w=longest(W)*gens(W)[1];length(W,w) KL.jl y=W(1:4...);length(W,y) KL.jl cr=KL.critical_pair(W,y,w);length(W,cr) KL.jl Pol(:x);KLPol(W,y,w) KL.jl KLPol(W,cr,w) KL.jl W=coxgroup(:B,3) KL.jl map(i->map(x->KLPol(W,one(W),x),elements(W,i)),1:nref(W)) KL.jl W=coxgroup(:B,2);@Pol v;H=hecke(W,[v^4,v^2]) KL.jl Cp=Cpbasis(H);h=Cp(1)^2 KL.jl k=Tbasis(h) KL.jl Cp(k) KL.jl W=coxgroup(:B,3);H=hecke(W,Pol(:v)^2) KL.jl T=Tbasis(H);C=Cbasis(H);T(C(1)) KL.jl C(T(1)) KL.jl ref=reflrep(H) KL.jl W=coxgroup(:B,3) KL.jl @Pol v;H=hecke(W,v^2,rootpara=v) KL.jl C=Cpbasis(H); Tbasis(C(1,2)) KL.jl c=left_cells(coxgroup(:G,2))[3] KL.jl character(c) KL.jl W=coxgroup(:H,3) KL.jl c=left_cells(W)[3] KL.jl @Mvp q;H=hecke(W,q) KL.jl representation(c,H) KL.jl W=coxgroup(:G,2) KL.jl left_cells(W) KL.jl W=coxgroup(:G,2); KL.jl left_cells(W,1) KL.jl W=coxgroup(:E,8) KL.jl LeftCell(W,W((1:8)...)) KL.jl W=coxgroup(:G,2) KL.jl l=Lusztigaw(W,W(1)) KL.jl sum(l.*map(i->almostchar(W,i),eachindex(l))) KL.jl W=coxgroup(:G,2) KL.jl l=LusztigAw(W,W(1)) KL.jl sum(l.*map(i->almostchar(W,i),eachindex(l))) KL.jl W=coxgroup(:G,2) KL.jl A=AsymptoticAlgebra(W,1) KL.jl b=basis(A) KL.jl b*permutedims(b) KL.jl CharTable(A) Lusztig.jl W=coxgroup(:B,3) Lusztig.jl t=twistings(W,[1,3]) Lusztig.jl lusztig_induction_table(t[2],W) Nf.jl F=NF(E(5)) Nf.jl K=NF(root(5)) Nf.jl conductor(K) Nf.jl E(5)+E(5,-1) in NF(root(5)) Nf.jl elements(galois(F)) Nf.jl NF(root(3),root(5)) Nf.jl Nf.LenstraBase(24,Group([Mod(19,24)]),Group([Mod(19,24)])) Nf.jl Nf.LenstraBase(24,Group([Mod(19,24)]),Group([Mod(19,24),Mod(5,24)])) Nf.jl Nf.LenstraBase(15,Group([Mod(4,15)]),Group(Mod.(prime_residues(15),15))) Nf.jl NF(E(3),root(5)) Nf.jl NF([E(3),root(5)]) Nf.jl NF(15,[Mod(4,15)]) Nf.jl NF(15,[4]) Nf.jl F=NF(root(5)) Nf.jl s=Aut(F,3) Nf.jl root(5)^s Nf.jl K=CF(5) Nf.jl F=NF(root(5)) Nf.jl galois(K) Nf.jl elements(galois(K)) Nf.jl elements(galois(F)) PermRoot.jl W=complex_reflection_group(4) PermRoot.jl gens(W) PermRoot.jl length(unique(refls(W))) PermRoot.jl length(refls(W)) PermRoot.jl reflrep(W) PermRoot.jl braid_relations(W) PermRoot.jl diagram(W) PermRoot.jl cartan(W) PermRoot.jl simpleroots(W) PermRoot.jl simplecoroots(W) PermRoot.jl degrees(W) PermRoot.jl fakedegrees(W,Pol(:x)) PermRoot.jl reflectionMatrix([1,0,-E(3,2)]) PermRoot.jl asreflection([-1 0 0;1 1 0;0 0 1]) PermRoot.jl asreflection([-1 0 0;1 1 0;0 0 1],[1,0,0]) PermRoot.jl W=coxgroup(:A,3) PermRoot.jl cartan(W) PermRoot.jl rank(complex_reflection_group(31)) PermRoot.jl W=coxgroup(:D,3) PermRoot.jl t=refltype(W) PermRoot.jl indices(t) PermRoot.jl bipartite_decomposition(coxgroup(:E,8)) PermRoot.jl W=coxgroup(:B,3) PermRoot.jl reflchar(W,longest(W)) PermRoot.jl reflchar(coxgroup(:A,3)) PermRoot.jl refleigen(coxgroup(:B,2)) PermRoot.jl W=coxgroup(:A,4) PermRoot.jl reflength(W,longest(W)) PermRoot.jl reflength(W,W(1,2,3,4)) PermRoot.jl W=reflection_subgroup(coxgroup(:A,3),[1,3]) PermRoot.jl semisimplerank(W) PermRoot.jl rank(W) PermRoot.jl W=reflection_subgroup(rootdatum("E7sc"),1:6) PermRoot.jl PermX(W,reflrep(W,longest(W)))==longest(W) PermRoot.jl parabolic_reps(coxgroup(:A,4)) PermRoot.jl parabolic_reps(complex_reflection_group(3,3,3)) # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups*# changing inclusiongens to <2,22> for A₂₍₁₇₎<12 refs> **# changing inclusiongens to <5,8> for A₂₍₁₇₎<12 refs> *# changing inclusiongens to <6,13> for A₂₍₁₄₎<6 refs> *# changing inclusiongens to <9,29> for A₂₍₁₇₎<12 refs> *# changing inclusiongens to <12,38> for A₂₍₁₇₎<12 refs> **# changing inclusiongens to <20,39> for A₂₍₁₄₎<6 refs> # changing inclusiongens to <1,3> for A₂<6 refs> # changing inclusiongens to <1,10> for A₂₍₁₈₎<12 refs> # changing inclusiongens to <1,32> for A₂₍₁₆₎<12 refs> # changing inclusiongens to <1,15> for A₂<12 refs> # 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # changing inclusiongens to <1,10> for A₂₍₁₇₎<12 refs> # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups********# 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups********# 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups********# 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic PermRoot.jl parabolic_reps(coxgroup(:A,4),2) PermRoot.jl parabolic_reps(complex_reflection_group(3,3,3),2) # Extending G₃‚₃‚₃₍₁₎=A₁Φ₁² 8 new subgroups*# changing inclusiongens to <2,22> for A₂₍₁₇₎<12 refs> **# changing inclusiongens to <5,8> for A₂₍₁₇₎<12 refs> *# changing inclusiongens to <6,13> for A₂₍₁₄₎<6 refs> *# changing inclusiongens to <9,29> for A₂₍₁₇₎<12 refs> *# changing inclusiongens to <12,38> for A₂₍₁₇₎<12 refs> **# changing inclusiongens to <20,39> for A₂₍₁₄₎<6 refs> # changing inclusiongens to <1,3> for A₂<6 refs> # changing inclusiongens to <1,10> for A₂₍₁₈₎<12 refs> # changing inclusiongens to <1,32> for A₂₍₁₆₎<12 refs> # changing inclusiongens to <1,15> for A₂<12 refs> # 4 to go # candidates for G₃‚₃‚₃₍₁₃₎=A₂Φ₁ to be conjugate:Any[] # new:G₃‚₃‚₃₍₁₃₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ # candidates for G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ to be conjugate:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁] # new:G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁ # i=2 found:Any[G₃‚₃‚₃₍₁₃₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₀₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁, G₃‚₃‚₃₍₁‚₁₅₎=A₂Φ₁] # changing inclusiongens to <1,10> for A₂₍₁₇₎<12 refs> # ****** G₃‚₃‚₃₍₁‚₃₂₎=A₂Φ₁ is not conjugate to a standard parabolic PermRoot.jl W=reflection_subgroup(rootdatum("E7sc"),1:6) PermRoot.jl reflrep(W,longest(W)) PermRoot.jl W=reflection_subgroup(rootdatum("E7sc"),1:6) PermRoot.jl YMatrix(W,longest(W)) PermRoot.jl W=reflection_subgroup(rootdatum("E7sc"),1:6) PermRoot.jl PermY(W,YMatrix(W,longest(W)))==longest(W) PermRoot.jl W=complex_reflection_group(7) PermRoot.jl isparabolic(reflection_subgroup(W,[1,2])) PermRoot.jl isparabolic(reflection_subgroup(W,[1])) PermRoot.jl W=complex_reflection_group(7) PermRoot.jl parabolic_closure(W,[1]) PermRoot.jl parabolic_closure(W,[1,2]) # changing inclusiongens to <1,2,3> for G₇<168 refs> PermRoot.jl catalan(coxgroup(:A,7)) PermRoot.jl catalan(complex_reflection_group(7),2) PermRoot.jl catalan(complex_reflection_group(7),2;q=Pol()) PermRoot.jl W=complex_reflection_group(4) PermRoot.jl invariant_form(W) PermRoot.jl PermRoot.generic_order(complex_reflection_group(4),Pol(:q)) PermRoot.jl W=coxgroup(:A,2) PermRoot.jl @Mvp x,y,z PermRoot.jl i=invariants(W); PermRoot.jl map(f->f(x,y),i) PermRoot.jl W=complex_reflection_group(24) PermRoot.jl p=invariants(W)[1](x,y,z) PermRoot.jl map(v->^(v,reflrep(W,1);vars=[:x,:y,:z]),(x,y,z)) PermRoot.jl p^reflrep(W,1)-p Semisimple.jl W=rootdatum([-1 1 0;0 -1 1],[-1 1 0;0 -1 1]) Semisimple.jl reflrep(W,W(1)) Semisimple.jl rootdatum(:gl,3) Semisimple.jl G=rootdatum(:sl,4) Semisimple.jl ss(G,[1//3,1//4,3//4,2//3]) Semisimple.jl SemisimpleElement(G,[E(3),E(4),E(4,3),E(3,2)]) Semisimple.jl L=reflection_subgroup(G,[1,3]) Semisimple.jl C=algebraic_center(L) Semisimple.jl T=torsion_subgroup(C.Z0,3) Semisimple.jl e=sort(elements(T)) Semisimple.jl e[3]^G(2) Semisimple.jl orbit(G,e[3]) Semisimple.jl G=rootdatum(:sl,4) Semisimple.jl s=SemisimpleElement(G,Z(4).^[1,2,1]) Semisimple.jl s^G(2) Semisimple.jl orbit(G,s) Semisimple.jl G=coxgroup(:A,3) Semisimple.jl s=ss(G,[0,1//2,0]) Semisimple.jl centralizer(G,s) Semisimple.jl W=coxgroup(:A,4) Semisimple.jl SubTorus(W,[1 2 3 4;2 3 4 1;3 4 1 1]) Semisimple.jl G=rootdatum(:sl,4) Semisimple.jl L=reflection_subgroup(G,[1,3]) Semisimple.jl C=algebraic_center(L) Semisimple.jl T=torsion_subgroup(C.Z0,3) Semisimple.jl sort(elements(T)) Semisimple.jl weightinfo(coxgroup(:A,2)*coxgroup(:B,2)) Semisimple.jl W=coxgroup(:A,3) Semisimple.jl fundamental_group(W) Semisimple.jl W=rootdatum(:sl,4) Semisimple.jl fundamental_group(W) Semisimple.jl W=affine(coxgroup(:A,4)) Semisimple.jl diagram(W) Semisimple.jl G=coxgroup(:A,3) Semisimple.jl s=ss(G,[0,1//2,0]) Semisimple.jl centralizer(G,s) Semisimple.jl W=coxgroup(:E,6);l=quasi_isolated_reps(W) Semisimple.jl map(s->isisolated(W,s),l) Semisimple.jl W=rootdatum(:E6sc);l=quasi_isolated_reps(W) Semisimple.jl map(s->isisolated(W,s),l) Semisimple.jl Semisimple.quasi_isolated_reps(W,3) Semisimple.jl l=twistings(rootdatum(:sl,4),Int[]) Semisimple.jl structure_rational_points_connected_centre.(l,3) Semisimple.jl W=coxgroup(:A,3) Semisimple.jl fundamental_group(intermediate_group(W,Int[])) Semisimple.jl fundamental_group(intermediate_group(W,Int[2])) Semisimple.jl W=coxgroup(:G,2) Semisimple.jl sscentralizer_reps(W) Semisimple.jl reflection_subgroup.(Ref(W),sscentralizer_reps(W)) Semisimple.jl sscentralizer_reps(W,2) Sscoset.jl WF=rootdatum(:u,6) Sscoset.jl l=quasi_isolated_reps(WF) Sscoset.jl centralizer.(Ref(WF),l) Sscoset.jl isisolated.(Ref(WF),l) Sscoset.jl WF=rootdatum(:u,6) Sscoset.jl s=ss(Group(WF),[1//4,0,0,0,0,3//4]) Sscoset.jl centralizer(WF,s) Sscoset.jl centralizer(WF,one(s)) Sscoset.jl WF=rootdatum("2E6sc") Sscoset.jl quasi_isolated_reps(WF) Sscoset.jl quasi_isolated_reps(WF,2) Sscoset.jl quasi_isolated_reps(WF,3) Sscoset.jl WF=rootdatum(:u,6) Sscoset.jl l=quasi_isolated_reps(WF) Sscoset.jl isisolated.(Ref(WF),l) Symbols.jl symbols(3,3,0) Symbols.jl CharSymbol([[1],Int[],[2]]) Symbols.jl CharSymbol([[1],[1],[1]],3,2) Symbols.jl d=partition_tuples(3,2) Symbols.jl string_partition_tuple.(d) Symbols.jl shiftβ([2,3],2) Symbols.jl shiftβ([0,1,4,5],-2) Symbols.jl βset([3,3,1]) Symbols.jl partβ([0,4,5]) Symbols.jl Symbol_partition_tuple([[2,1],[1]],1) Symbols.jl Symbol_partition_tuple([[2,1],[1]],0) Symbols.jl Symbol_partition_tuple([[2,1],[1]],-1) Symbols.jl rank(CharSymbol([[1,5,6],[1,2]])) Symbols.jl valuation_gendeg(CharSymbol([[1,5,6],[1,2]])) Symbols.jl degree_gendeg(CharSymbol([[1,5,6],[1,2]])) Symbols.jl defectsymbol([[1,5,6],[1,2]]) Symbols.jl defect(CharSymbol([[1,5,6],[1,2]])) Symbols.jl degree_feg(CharSymbol([[1,5,6],[1,2]])) Symbols.jl valuation_feg(CharSymbol([[1,5,6],[1,2]])) Symbols.jl symbols(2,4,0) Symbols.jl symbols(2,4,0,1) Symbols.jl fakedegree(CharSymbol([[1,5,6],[1,2]])) Symbols.jl gendeg(CharSymbol([[1,2],[1,5,6]])) Tools.jl valuation.(24,(2,3,5)) Tools.jl abelian_gens([Perm(1,2),Perm(3,4,5),Perm(6,7)]) Tools.jl abelian_invariants(Group(Perm(1,2),Perm(3,4,5),Perm(6,7))) Tools2.jl W=coxsym(5) Tools2.jl blocks(W,2) Tools2.jl blocks(W,3) Tools2.jl blocks(W,7) 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) Uch.jl W=coxgroup(:G,2) Uch.jl uc=UnipotentCharacters(W) Uch.jl uc.families[1] Uch.jl W=coxgroup(:G,2) Uch.jl T=spets(reflection_subgroup(W,Int[]),W(1,2)) Uch.jl u=unipotent_character(T,1) Uch.jl T=torus(W,position_class(W,W(1,2))) Uch.jl lusztig_induce(W,u) Uch.jl v=deligne_lusztig_character(W,[1,2]) Uch.jl degree(v) Uch.jl v*v Uch.jl UnipotentCharacters(complex_reflection_group(4)) Uch.jl W=coxgroup(:Bsym,2) Uch.jl WF=spets(W,Perm(1,2)) Uch.jl uc=UnipotentCharacters(WF) Uch.jl uc.families Uch.jl uc.families[3] Uch.jl uc=UnipotentCharacters(coxgroup(:G,2)); Uch.jl charnames(uc;limit=true) Uch.jl charnames(uc;TeX=true) Uch.jl W=coxgroup(:B,2) Uch.jl uc=UnipotentCharacters(W) Uch.jl W=coxgroup(:G,2) Uch.jl uc=UnipotentCharacters(W); Uch.jl degrees(uc) Uch.jl W=coxgroup(:G,2) Uch.jl CycPoldegrees(UnipotentCharacters(W)) Uch.jl W=coxgroup(:G,2) Uch.jl u=unichar(W,7) Uch.jl v=unichar(W,"G2[E3]") Uch.jl w=unichar(W,[1,0,0,-1,0,0,2,0,0,1]) Uch.jl unichar(W,fourier(UnipotentCharacters(W))[3,:]) Uch.jl coefficients(u) Uch.jl w-2u Uch.jl w*w Uch.jl degree(w) Uch.jl W=coxgroup(:G,2) Uch.jl WF=spets(W) Uch.jl T=subspets(WF,Int[],W(1)) Uch.jl u=unichar(T,1) Uch.jl lusztig_induce(WF,u) Uch.jl dlchar(W,W(1)) Uch.jl W=coxgroup(:G,2) Uch.jl WF=spets(W) Uch.jl T=subspets(WF,Int[],W(1)) Uch.jl u=dlchar(W,W(1)) Uch.jl lusztig_restrict(T,u) Uch.jl T=subspets(WF,Int[],W(2)) Uch.jl lusztig_restrict(T,u) Uch.jl dlCharTable(W) Uch.jl W=coxgroup(:G,2) Uch.jl dlchar(W,3) Uch.jl dlchar(W,W(1)) Uch.jl dlchar(W,[1]) Uch.jl dlchar(W,[1,2]) Uch.jl W=coxgroup(:B,2) Uch.jl almostchar(W,3) Uch.jl almostchar(W,1) Uch.jl W=coxgroup(:A,2) Uch.jl H=hecke(W,Pol(:q)) Uch.jl T=Tbasis(H); Uch.jl dllefschetz(T(1,2)) Uch.jl dllefschetz((T(1)+T())*(T(2)+T())) Uch.jl H=hecke(spets(W,Perm(1,2)),Pol(:q)^2) Uch.jl T=Tbasis(H);dllefschetz(T(1)) Uch.jl WF=rootdatum("3D4") Uch.jl on_unipotents(Group(WF),WF.phi) Uch.jl W=coxgroup(:D,4) Uch.jl cuspidal(UnipotentCharacters(W)) Uch.jl cuspidal(UnipotentCharacters(W),6) Uch.jl cuspidal(UnipotentCharacters(complex_reflection_group(4)),3) Uch.jl cuspidal_data(coxgroup(:F,4),1) Uch.jl cuspidal_data(complex_reflection_group(4),3) Ucl.jl UnipotentClasses(rootdatum(:sl,4)) Ucl.jl UnipotentClasses(coxgroup(:A,3)) Ucl.jl UnipotentClasses(coxgroup(:G,2)) Ucl.jl UnipotentClasses(coxgroup(:G,2),3) Ucl.jl uc=UnipotentClasses(coxgroup(:G,2)); Ucl.jl t=ICCTable(uc;q=Pol(:q)) Ucl.jl W=coxgroup(:F,4) Ucl.jl H=reflection_subgroup(W,[1,3]) Ucl.jl induced_linear_form(W,H,[2,2]) Ucl.jl uc=UnipotentClasses(W); Ucl.jl uc.classes[4].dynkin Ucl.jl uc.classes[4] Ucl.jl W=coxgroup(:F,4) Ucl.jl distinguished_parabolics(W) Ucl.jl W=rootdatum(:sl,4) Ucl.jl uc=UnipotentClasses(W); Ucl.jl uc.classes Ucl.jl uc=UnipotentClasses(coxgroup(:A,3));t=ICCTable(uc) Ucl.jl W=coxgroup(:G,2) Ucl.jl XTable(UnipotentClasses(W)) Ucl.jl t=XTable(UnipotentClasses(W);classes=true) Ucl.jl XTable(UnipotentClasses(W,2)) Ucl.jl XTable(UnipotentClasses(rootdatum(:sl,4))) Ucl.jl W=coxgroup(:G,2) Ucl.jl GreenTable(UnipotentClasses(W)) Ucl.jl GreenTable(UnipotentClasses(W);classes=true) Ucl.jl GreenTable(UnipotentClasses(rootdatum(:sl,4))) Ucl.jl W=coxgroup(:G,2) Ucl.jl UnipotentValues(UnipotentClasses(W);classes=true) Ucl.jl UnipotentValues(UnipotentClasses(W,3);classes=true) Ucl.jl W=coxgroup(:G,2) Ucl.jl special_pieces(UnipotentClasses(W)) Ucl.jl special_pieces(UnipotentClasses(W,3)) Urad.jl W=coxgroup(:E,6) Urad.jl U=UnipotentGroup(W) Urad.jl U(2=>4) Urad.jl U(2)^4 Urad.jl U(2=>4)*U(4=>5) Urad.jl U(2=>4,4=>5) Urad.jl U(4=>5,2=>4) Urad.jl W=coxgroup(:E,8);U=UnipotentGroup(W) Urad.jl u=U(map(i->i=>Z(2)*Mvp(Symbol("x",Char(i+0x2080))),1:8)...) Urad.jl u^32 Urad.jl W=coxgroup(:G,2) Urad.jl U=UnipotentGroup(W);@Mvp x,y Urad.jl u=U(1=>x,3=>y) Urad.jl u^W(2,1) Urad.jl s=SemisimpleElement(W,[E(3),2]) Urad.jl u^s Urad.jl u^U(2) Urad.jl U=UnipotentGroup(coxgroup(:G,2)) Urad.jl U.special Urad.jl U=UnipotentGroup(coxgroup(:G,2)) Urad.jl l=reorder(U,[2=>4,1=>2]) Urad.jl reorder(U,l,6:-1:1) Urad.jl U=UnipotentGroup(coxgroup(:G,2)) Urad.jl U(2) Urad.jl U(1=>2,2=>4) Urad.jl U(2=>4,1=>2) Urad.jl U=UnipotentGroup(coxgroup(:G,2));@Mvp x,y Urad.jl u=U(2=>y,1=>x) Urad.jl abelianpart(u) Urad.jl W=coxgroup(:G,2) Urad.jl U=UnipotentGroup(W);@Mvp x,y Urad.jl u=U(2=>y,1=>x) Urad.jl decompose(W(1),u) Urad.jl decompose(W(2),u) Weyl.jl cartan(:D,4) Weyl.jl cartan(:I,2,5) Weyl.jl W=coxgroup(:D,4) Weyl.jl cartan(W) Weyl.jl W=coxgroup(:A,2)*coxgroup(:B,2) Weyl.jl cartan(W) Weyl.jl W=coxgroup(:D,4) Weyl.jl p=W(1,3,2,1,3) Weyl.jl word(W,p) Weyl.jl cartan([1 3;3 1]) Weyl.jl cartan(:F,4) Weyl.jl cartan(:I,2,5) Weyl.jl cartan(:Bsym,2) Weyl.jl two_tree(cartan(:A,4)) Weyl.jl two_tree(cartan(:E,8)) Weyl.jl W=coxgroup(:A,3) Weyl.jl inversions(W,[2,1,2]) Weyl.jl W=coxgroup(:A,2) Weyl.jl with_inversions.(Ref(W),combinations(1:nref(W))) Weyl.jl W=coxgroup(:E,6) Weyl.jl R=reflection_subgroup(W,[20,30,19,22]) Weyl.jl p=standard_parabolic(W,R) Weyl.jl p==standard_parabolic(W,[19,1,9,20]) Weyl.jl reflection_subgroup(W,[20,30,19,22].^p) Weyl.jl R=reflection_subgroup(W,[1,2,3,5,6,35]) Weyl.jl standard_parabolic(W,R) Weyl.jl W=coxgroup(:E,8) Weyl.jl badprimes(W) Weyl.jl W=coxgroup(:A,2) Weyl.jl w=longest(W) Weyl.jl describe_involution(W,w) Weyl.jl w==longest(reflection_subgroup(W,[3])) Weyl.jl rootdatum(cartan(:A,3))==coxgroup(:A,3) Weyl.jl rootdatum(:pgl,3) Weyl.jl rootdatum(:gl,3)==rootdatum("gl",3) Weyl.jl rootdatum([1 -1 0;0 1 -1],[1 -1 0;0 1 -1]) Weyl.jl torus(3) Weyl.jl W=coxgroup(:G,2) Weyl.jl highest_short_root(W) Weyl.jl W=coxgroup(:G,2) Weyl.jl diagram(W) Weyl.jl H=reflection_subgroup(W,[2,6]) Weyl.jl diagram(H) Weyl.jl elH=word.(Ref(H),elements(H)) Weyl.jl elW=word.(Ref(W),elements(H)) Weyl.jl splat(H).(elH)==splat(W).(elW) cp.jl C=CorranPicantinMonoid(3,3) cp.jl word(C(C.δ)) cp.jl Matrix(C,C.δ) cp.jl b=C(1,2,3,4)^3 cp.jl Matrix(C,b[3]) dSeries.jl W=rootdatum("3D4") dSeries.jl l=cuspidal_data(W,3) dSeries.jl Series(W,l[2]...) # changing gens to <1,13> for G₄₍₁‚₁₃₎<2 refs> # Relative: ζ₃-series R^³D₄_{³D₄₍₎=Φ₃²}(λ==Id) W_G(L,λ)==G₄ dSeries.jl W=complex_reflection_group(4) dSeries.jl l=cuspidal_data(W,3) dSeries.jl Series(W,l[5]...) dSeries.jl cuspidal_data(W,E(3,2)) dSeries.jl ennola(rootdatum("3D4")) dSeries.jl ennola(complex_reflection_group(14)) dSeries.jl W=complex_reflection_group(4) dSeries.jl Series(W,3;proper=true) dSeries.jl s=Series(W,3,1)[1] dSeries.jl s.spets dSeries.jl s.levi dSeries.jl s.cuspidal dSeries.jl s.d dSeries.jl hecke(s) dSeries.jl degree(s) dSeries.jl dSeries.RLG(s) dSeries.jl charnumbers(s) dSeries.jl dSeries.eps(s) dSeries.jl relative_group(s) gendec.jl W=rootdatum(:psu,5) gendec.jl generic_decomposition_matrix(W,10) gendec.jl: Error During Test at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:1023 Test threw exception Expression: mytest("gendec.jl", "generic_decomposition_matrix(W,10)", "Φ₁₀-decomposition matrix for psu₅\n┌──────┬─────────────────────────┐\n│ │ps 21 ps ps ps 2111 11111│\n├──────┼─────────────────────────┤\n│2. │ 1 . . . . . .│\n│²A₂:2 │ . 1 . . . . .│\n│11. │ . . 1 . . . .│\n│1.1 │ 1 . . 1 . . .│\n│.2 │ . . . . 1 . .│\n│²A₂:11│ . 1 . . . 1 .│\n│.11 │ . . . 1 . . 1│\n└──────┴─────────────────────────┘") KeyError: key :Chevie not found Stacktrace: [1] getindex(h::Dict{Symbol, Function}, key::Symbol) @ Base ./dict.jl:479 [2] generic_decomposition_matrix(name::String, context::Symbol) @ GenericDecMats ~/.julia/packages/GenericDecMats/1iVj4/src/GenericDecMats.jl:133 [3] generic_decomposition_matrix(t::TypeIrred, d::Int64) @ Chevie ~/.julia/packages/Chevie/CvV6u/src/gendec.jl:90 [4] _broadcast_getindex_evalf @ ./broadcast.jl:698 [inlined] [5] _broadcast_getindex @ ./broadcast.jl:671 [inlined] [6] _getindex @ ./broadcast.jl:619 [inlined] [7] getindex @ ./broadcast.jl:615 [inlined] [8] copy @ ./broadcast.jl:932 [inlined] [9] materialize @ ./broadcast.jl:893 [inlined] [10] generic_decomposition_matrix(W::Spets{FiniteCoxeterGroup{Perm{Int16},Int64}}, d::Int64) @ Chevie ~/.julia/packages/Chevie/CvV6u/src/gendec.jl:48 [11] top-level scope @ none:1 [12] eval(m::Module, e::Any) @ Core ./boot.jl:489 [13] EvalInto @ ./boot.jl:494 [inlined] [14] mytest(file::String, cmd::String, man::String) @ Main ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:5 [15] eval_test_function(func::Any, args::Any, kwargs::Any, quoted_func::Union{Expr, Symbol}, source::LineNumberNode, negate::Bool) @ Test /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:394 [16] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [18] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:1022 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [20] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:1023 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] gendec.jl W=rootdatum(:psu,6) gendec.jl L=reflection_subgroup(W,[1,2,4,5]) gendec.jl InducedDecompositionMatrix(L,W,6) gendec.jl: Error During Test at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:1026 Test threw exception Expression: mytest("gendec.jl", "InducedDecompositionMatrix(L,W,6)", "Induced Φ₆-decomposition matrix from psu₆₍₁₂₄₅₎=(A₂A₂)₍₁₂₄₃₎Φ₁ to psu₆\n┌────┬────────┐\n│ │ps ps A₂│\n├────┼────────┤\n│²A₅ │ . . .│\n│.3 │ 1 . .│\n│3. │ 1 . .│\n│.21 │ 1 1 .│\n│1.2 │ 2 1 .│\n│21. │ 1 1 .│\n│2.1 │ 2 1 .│\n│.111│ . 1 1│\n│111.│ . 1 1│\n│1.11│ 1 2 1│\n│11.1│ 1 2 1│\n└────┴────────┘") KeyError: key :Chevie not found Stacktrace: [1] getindex(h::Dict{Symbol, Function}, key::Symbol) @ Base ./dict.jl:479 [2] generic_decomposition_matrix(name::String, context::Symbol) @ GenericDecMats ~/.julia/packages/GenericDecMats/1iVj4/src/GenericDecMats.jl:133 [3] generic_decomposition_matrix(t::TypeIrred, d::Int64) @ Chevie ~/.julia/packages/Chevie/CvV6u/src/gendec.jl:90 [4] _broadcast_getindex_evalf @ ./broadcast.jl:698 [inlined] [5] _broadcast_getindex @ ./broadcast.jl:671 [inlined] [6] _getindex @ ./broadcast.jl:619 [inlined] [7] getindex @ ./broadcast.jl:615 [inlined] [8] copy @ ./broadcast.jl:932 [inlined] [9] materialize @ ./broadcast.jl:893 [inlined] [10] generic_decomposition_matrix(W::Spets{FiniteCoxeterSubGroup{Perm{Int16},Int64}}, d::Int64) @ Chevie ~/.julia/packages/Chevie/CvV6u/src/gendec.jl:48 [11] InducedDecompositionMatrix(R::Spets{FiniteCoxeterSubGroup{Perm{Int16},Int64}}, W::Spets{FiniteCoxeterGroup{Perm{Int16},Int64}}, d::Int64) @ Chevie ~/.julia/packages/Chevie/CvV6u/src/gendec.jl:166 [12] top-level scope @ none:1 [13] eval(m::Module, e::Any) @ Core ./boot.jl:489 [14] EvalInto @ ./boot.jl:494 [inlined] [15] mytest(file::String, cmd::String, man::String) @ Main ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:5 [16] eval_test_function(func::Any, args::Any, kwargs::Any, quoted_func::Union{Expr, Symbol}, source::LineNumberNode, negate::Bool) @ Test /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:394 [17] top-level scope @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:16 [18] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [19] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:1022 [inlined] [20] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [21] macro expansion @ ~/.julia/packages/Chevie/CvV6u/test/runtests.jl:1026 [inlined] [22] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] Test Summary: | Pass Fail Error Total Time Chevie | 935 6 3 944 30m31.6s Algebras.jl | 9 9 20.2s Chars.jl | 43 43 1m49.6s Chevie.jl | 0 0.0s ComplexR.jl | 40 40 28.8s Cosets.jl | 53 1 54 1m52.7s CoxGroups.jl | 63 63 17.5s Diagrams.jl | 2 2 0.7s Eigenspaces.jl | 22 22 1m02.0s FFfac.jl | 4 4 13.5s Fact.jl | 3 3 1m06.3s Families.jl | 19 1 20 49.9s Format.jl | 10 10 0.1s Garside.jl | 120 4 1 125 2m15.9s Gt.jl | 3 3 2m19.6s HeckeAlgebras.jl | 95 95 4m32.6s InitChevie.jl | 0 0.0s KL.jl | 44 44 1m53.1s Lusztig.jl | 3 3 24.2s Murphy.jl | 0 0.0s Nf.jl | 21 21 21.4s PermRoot.jl | 64 64 47.4s Semisimple.jl | 50 50 38.3s Sscoset.jl | 15 15 32.0s Symbols.jl | 23 23 12.6s Tools.jl | 3 3 1.3s Tools2.jl | 8 8 14.8s Uch.jl | 73 73 4m00.1s Ucl.jl | 35 35 59.6s Urad.jl | 34 34 29.2s Util.jl | 0 0.0s Weyl.jl | 46 46 3.8s cp.jl | 5 5 8.7s dSeries.jl | 22 22 2m30.2s gendec.jl | 3 2 5 5.7s RNG of the outermost testset: Random.Xoshiro(0x8486b2794fe00fc4, 0xa712da7d189f7e43, 0xc491baf8450ddfb5, 0x15a1c8eae7ebf06f, 0xe80467364a777c1f) ERROR: ====================================================================================== 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 9 running 1 of 1 signal (10): User defined signal 1 LoadError: _ZN12_GLOBAL__N_14SROA11splitAllocaERN4llvm10AllocaInstERNS_12AllocaSlicesE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN12_GLOBAL__N_14SROA11runOnAllocaERN4llvm10AllocaInstE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN12_GLOBAL__N_14SROA7runSROAERN4llvm8FunctionE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm8SROAPass3runERNS_8FunctionERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91 _ZN4llvm11PassManagerINS_8FunctionENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91 _ZN4llvm27ModuleToFunctionPassAdaptor3runERNS_6ModuleERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91 _ZN4llvm11PassManagerINS_6ModuleENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/src/pipeline.cpp:787 operator() at /source/src/jitlayers.cpp:1516 withModuleDo<(anonymous namespace)::sizedOptimizerT::operator()(llvm::orc::ThreadSafeModule) [with long unsigned int N = 4]:: > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:136 [inlined] operator() at /source/src/jitlayers.cpp:1477 [inlined] operator() at /source/src/jitlayers.cpp:1652 [inlined] addModule at /source/src/jitlayers.cpp:2110 jl_compile_codeinst_now at /source/src/jitlayers.cpp:685 jl_compile_codeinst_impl at /source/src/jitlayers.cpp:879 jl_compile_method_internal at /source/src/gf.c:3648 _jl_invoke at /source/src/gf.c:4108 [inlined] ijl_apply_generic at /source/src/gf.c:4313 show_exception_stack at ./errorshow.jl:1114 display_error at ./client.jl:110 unknown function (ip: 0x7ed468842696) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 Some tests did not pass: 935 passed, 6 failed, 3 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/Chevie/CvV6u/test/runtests.jl:15 display_error at ./client.jl:113 jfptr_display_error_43439.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:4313 jl_apply at /source/src/julia.h:2285 [inlined] jl_f_invokelatest at /source/src/builtins.c:889 _start at ./client.jl:607 jfptr__start_36232.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:4313 jl_apply at /source/src/julia.h:2285 [inlined] true_main at /source/src/jlapi.c:971 jl_repl_entrypoint at /source/src/jlapi.c:1138 main at /source/cli/loader_exe.c:58 unknown function (ip: 0x7ed48e597249) 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 ============================================================== Testing failed after 2660.76s ERROR: LoadError: Package Chevie errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3067 [3] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:2916 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:572 [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:548 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:161 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [9] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:237 [12] include(mod::Module, _path::String) @ Base ./Base.jl:309 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [14] _start() @ Base ./client.jl:585 in expression starting at /PkgEval.jl/scripts/evaluate.jl:228 PkgEval terminated after 2709.17s: test duration exceeded the time limit