Package evaluation to test CommutativeRings on Julia 1.14.0-DEV.2309 (6e1a27e459*) started at 2026-06-06T07:08:45.259 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 17.15s ################################################################################ # Installation # Installing CommutativeRings... Resolving package versions... Installed IntegerMathUtils ─ v0.1.3 Installed OpenBLAS32_jll ─── v0.3.33+1 Installed Primes ─────────── v0.5.7 Installed JLLWrappers ────── v1.8.0 Installed Preferences ────── v1.5.2 Installed FLINT_jll ──────── v301.500.0+0 Installed CommutativeRings ─ v0.7.0 Installing 2 artifacts Installed artifact OpenBLAS32 10.2 MiB Installed artifact FLINT 24.1 MiB Updating `~/.julia/environments/v1.14/Project.toml` [a6d4fa9c] + CommutativeRings v0.7.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [a6d4fa9c] + CommutativeRings v0.7.0 [18e54dd8] + IntegerMathUtils v0.1.3 [692b3bcd] + JLLWrappers v1.8.0 [21216c6a] + Preferences v1.5.2 [27ebfcd6] + Primes v0.5.7 [e134572f] + FLINT_jll v301.500.0+0 [656ef2d0] + OpenBLAS32_jll v0.3.33+1 [56f22d72] + Artifacts v1.11.0 [ade2ca70] + Dates v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.2+0 [781609d7] + GMP_jll v6.3.0+2 [3a97d323] + MPFR_jll v4.2.2+0 [4536629a] + OpenBLAS_jll v0.3.33+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 10.45s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 6.8 s ✓ TestEnv 1 dependency successfully precompiled in 7 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 4.6 s ✓ MacroTools 1.2 s ✓ ConstructionBase 0.9 s ✓ StaticArraysCore 153.7 s ✓ OrderedCollections 1.2 s ✓ IntegerMathUtils 1.5 s ✓ Compat 3.0 s ✓ Preferences 0.6 s ✓ ConstructionBase → ConstructionBaseLinearAlgebraExt 57.4 s ✓ Primes 0.7 s ✓ Compat → CompatLinearAlgebraExt 3.6 s ✓ JLLWrappers 3.4 s ✓ Setfield 46.9 s ✓ Aqua 3.9 s ✓ OpenBLAS32_jll 251.2 s ✓ Polynomials 3.5 s ✓ FLINT_jll ┌ Info: JuliaLowering threw given input: │ code = │ :(function homomorphism(::Type{R}, ::Type{S}, nr::Integer = 0) where {T <: Union{Quotient{<:UnivariatePolynomial{<:ZZmod}}, GaloisField}, R <: T, S <: T} │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:703 =# │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:709 =# │ r = dimension(R) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:710 =# │ s = dimension(S) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:711 =# │ p = characteristic(R) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:712 =# │ q = characteristic(S) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:713 =# │ p == q || terror("fields with differing characteristics") │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:714 =# │ mod(s, r) == 0 || terror("dimension of R ($(r)) must divide that of S ($(s))") │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:715 =# │ pr = p ^ r │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:716 =# │ m = s ÷ r │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:717 =# │ w = (pr ^ m - 1) ÷ (pr - 1) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:718 =# │ x = generator(S) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:719 =# │ y = x ^ (w * p ^ nr) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:720 =# │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:720 =# @assert order(y) == pr - 1 │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721 =# │ f(a::R) = begin │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721 =# │ evaluate(Polynomial(a), y) │ end │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:722 =# │ homomorphismf(f, R, S) │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [function] │ │ [where] │ │ [call] │ │ homomorphism :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ R :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ S :: Identifier │ │ [kw] │ │ [::] │ │ nr :: Identifier │ │ Integer :: Identifier │ │ 0 :: Value │ │ [<:] │ │ T :: Identifier │ │ [curly] │ │ Union :: Identifier │ │ [curly] │ │ Quotient :: Identifier │ │ [<:] │ │ [curly] │ │ UnivariatePolynomial :: Identifier │ │ [<:] │ │ ZZmod :: Identifier │ │ GaloisField :: Identifier │ │ [<:] │ │ R :: Identifier │ │ T :: Identifier │ │ [<:] │ │ S :: Identifier │ │ T :: Identifier │ │ [block] │ │ [=] │ │ r :: Identifier │ │ [call] │ │ dimension :: Identifier │ │ R :: Identifier │ │ [=] │ │ s :: Identifier │ │ [call] │ │ dimension :: Identifier │ │ S :: Identifier │ │ [=] │ │ p :: Identifier │ │ [call] │ │ characteristic :: Identifier │ │ R :: Identifier │ │ [=] │ │ q :: Identifier │ │ [call] │ │ characteristic :: Identifier │ │ S :: Identifier │ │ [||] │ │ [call] │ │ == :: Identifier │ │ p :: Identifier │ │ q :: Identifier │ │ [call] │ │ terror :: Identifier │ │ "fields with differing characteristics" :: Value │ │ [||] │ │ [call] │ │ == :: Identifier │ │ [call] │ │ mod :: Identifier │ │ s :: Identifier │ │ r :: Identifier │ │ 0 :: Value │ │ [call] │ │ terror :: Identifier │ │ [string] │ │ "dimension of R (" :: Value │ │ r :: Identifier │ │ ") must divide that of S (" :: Value │ │ s :: Identifier │ │ ")" :: Value │ │ [=] │ │ pr :: Identifier │ │ [call] │ │ ^ :: Identifier │ │ p :: Identifier │ │ r :: Identifier │ │ [=] │ │ m :: Identifier │ │ [call] │ │ ÷ :: Identifier │ │ s :: Identifier │ │ r :: Identifier │ │ [=] │ │ w :: Identifier │ │ [call] │ │ ÷ :: Identifier │ │ [call] │ │ - :: Identifier │ │ [call] │ │ ^ :: Identifier │ │ pr :: Identifier │ │ m :: Identifier │ │ 1 :: Value │ │ [call] │ │ - :: Identifier │ │ pr :: Identifier │ │ 1 :: Value │ │ [=] │ │ x :: Identifier │ │ [call] │ │ generator :: Identifier │ │ S :: Identifier │ │ [=] │ │ y :: Identifier │ │ [call] │ │ ^ :: Identifier │ │ x :: Identifier │ │ [call] │ │ * :: Identifier │ │ w :: Identifier │ │ [call] │ │ ^ :: Identifier │ │ p :: Identifier │ │ nr :: Identifier │ │ [macrocall] │ │ @assert :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:720 =#) :: Value │ │ [call] │ │ == :: Identifier │ │ [call] │ │ order :: Identifier │ │ y :: Identifier │ │ [call] │ │ - :: Identifier │ │ pr :: Identifier │ │ 1 :: Value │ │ [=] │ │ [call] │ │ f :: Identifier │ │ [::] │ │ a :: Identifier │ │ R :: Identifier │ │ [block] │ │ [call] │ │ evaluate :: Identifier │ │ [call] │ │ Polynomial :: Identifier │ │ a :: Identifier │ │ y :: Identifier │ │ [call] │ │ homomorphismf :: Identifier │ │ f :: Identifier │ │ R :: Identifier │ │ S :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [function] │ │ [where] │ │ [call] │ │ homomorphism :: Identifier │ scope_layer=1 │ [::] │ │ [curly] │ │ Type :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ [::] │ │ [curly] │ │ Type :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ [kw] │ │ [::] │ │ nr :: Identifier │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ 0 :: Value │ │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ [curly] │ │ Quotient :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ UnivariatePolynomial :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ ZZmod :: Identifier │ scope_layer=1 │ GaloisField :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ r :: Identifier │ scope_layer=1 │ [call] │ │ dimension :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ [=] │ │ s :: Identifier │ scope_layer=1 │ [call] │ │ dimension :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ [=] │ │ p :: Identifier │ scope_layer=1 │ [call] │ │ characteristic :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ [=] │ │ q :: Identifier │ scope_layer=1 │ [call] │ │ characteristic :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ [||] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ p :: Identifier │ scope_layer=1 │ q :: Identifier │ scope_layer=1 │ [call] │ │ terror :: Identifier │ scope_layer=1 │ "fields with differing characteristics" :: Value │ │ [||] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ [call] │ │ mod :: Identifier │ scope_layer=1 │ s :: Identifier │ scope_layer=1 │ r :: Identifier │ scope_layer=1 │ 0 :: Value │ │ [call] │ │ terror :: Identifier │ scope_layer=1 │ [string] │ │ "dimension of R (" :: Value │ │ r :: Identifier │ scope_layer=1 │ ") must divide that of S (" :: Value │ │ s :: Identifier │ scope_layer=1 │ ")" :: Value │ │ [=] │ │ pr :: Identifier │ scope_layer=1 │ [call] │ │ ^ :: Identifier │ scope_layer=1 │ p :: Identifier │ scope_layer=1 │ r :: Identifier │ scope_layer=1 │ [=] │ │ m :: Identifier │ scope_layer=1 │ [call] │ │ ÷ :: Identifier │ scope_layer=1 │ s :: Identifier │ scope_layer=1 │ r :: Identifier │ scope_layer=1 │ [=] │ │ w :: Identifier │ scope_layer=1 │ [call] │ │ ÷ :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ [call] │ │ ^ :: Identifier │ scope_layer=1 │ pr :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ 1 :: Value │ │ [call] │ │ - :: Identifier │ scope_layer=1 │ pr :: Identifier │ scope_layer=1 │ 1 :: Value │ │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ generator :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ ^ :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ w :: Identifier │ scope_layer=1 │ [call] │ │ ^ :: Identifier │ scope_layer=1 │ p :: Identifier │ scope_layer=1 │ nr :: Identifier │ scope_layer=1 │ [if] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ [call] │ │ order :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ pr :: Identifier │ scope_layer=1 │ 1 :: Value │ macro_source=134 │ nothing :: Value │ macro_source=134 │ [call] │ │ throw :: Identifier │ scope_layer=2 │ [call] │ │ AssertionError :: Identifier │ scope_layer=2 │ "order(y) == pr - 1" :: Value │ macro_source=134 │ [=] │ │ [call] │ │ f :: Identifier │ scope_layer=1 │ [::] │ │ a :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ evaluate :: Identifier │ scope_layer=1 │ [call] │ │ Polynomial :: Identifier │ scope_layer=1 │ a :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ [call] │ │ homomorphismf :: Identifier │ scope_layer=1 │ f :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl" │ line = 703 └ mod = CommutativeRings ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721 =# - Found unexpected binding of kind static_parameter Expression:  #₃₀/R Containing expressions:  (= #₆₆/R #₃₀/R)  (= #₇ (call core.svec (call core.svec #₆₀/#homomorphism#f##0 #₃₀/R) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721:0))  (= #₇ (call core.svec (call core.svec (function_type #₃₂/f) #₃₀/R) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721:0))  Detailed provenance:  #₃₀/R  └─ R  └─ R  └─ @ /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/CommutativeRings/0sG32/src/CommutativeRings.jl:86  [8] include(mod::Module, _path::String)  @ Base Base.jl:326  [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core boot.jl:521  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [13] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [15] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:703 in expression starting at /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/CommutativeRings.jl:1 in expression starting at stdin:5 ✗ CommutativeRings 16 dependencies successfully precompiled in 1049 seconds. 35 already precompiled. Precompilation completed after 1089.75s ################################################################################ # Testing # Testing CommutativeRings Status `/tmp/jl_b906J6/Project.toml` [4c88cf16] Aqua v0.8.16 [a6d4fa9c] CommutativeRings v0.7.0 [f27b6e38] Polynomials v4.1.1 [27ebfcd6] Primes v0.5.7 [37e2e46d] LinearAlgebra v1.14.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_b906J6/Manifest.toml` [4c88cf16] Aqua v0.8.16 [a6d4fa9c] CommutativeRings v0.7.0 [34da2185] Compat v4.18.1 [187b0558] ConstructionBase v1.6.0 [18e54dd8] IntegerMathUtils v0.1.3 [692b3bcd] JLLWrappers v1.8.0 [1914dd2f] MacroTools v0.5.16 ⌅ [bac558e1] OrderedCollections v1.8.2 [f27b6e38] Polynomials v4.1.1 [21216c6a] Preferences v1.5.2 [27ebfcd6] Primes v0.5.7 [efcf1570] Setfield v1.1.2 [1e83bf80] StaticArraysCore v1.4.4 [e134572f] FLINT_jll v301.500.0+0 [656ef2d0] OpenBLAS32_jll v0.3.33+1 [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 [9fa8497b] Future 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.2+0 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [458c3c95] OpenSSL_jll v3.5.6+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.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ┌ Info: JuliaLowering threw given input: │ code = │ :(function homomorphism(::Type{R}, ::Type{S}, nr::Integer = 0) where {T <: Union{Quotient{<:UnivariatePolynomial{<:ZZmod}}, GaloisField}, R <: T, S <: T} │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:703 =# │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:709 =# │ r = dimension(R) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:710 =# │ s = dimension(S) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:711 =# │ p = characteristic(R) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:712 =# │ q = characteristic(S) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:713 =# │ p == q || terror("fields with differing characteristics") │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:714 =# │ mod(s, r) == 0 || terror("dimension of R ($(r)) must divide that of S ($(s))") │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:715 =# │ pr = p ^ r │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:716 =# │ m = s ÷ r │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:717 =# │ w = (pr ^ m - 1) ÷ (pr - 1) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:718 =# │ x = generator(S) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:719 =# │ y = x ^ (w * p ^ nr) │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:720 =# │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:720 =# @assert order(y) == pr - 1 │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721 =# │ f(a::R) = begin │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721 =# │ evaluate(Polynomial(a), y) │ end │ #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:722 =# │ homomorphismf(f, R, S) │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [function] │ │ [where] │ │ [call] │ │ homomorphism :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ R :: Identifier │ │ [::] │ │ [curly] │ │ Type :: Identifier │ │ S :: Identifier │ │ [kw] │ │ [::] │ │ nr :: Identifier │ │ Integer :: Identifier │ │ 0 :: Value │ │ [<:] │ │ T :: Identifier │ │ [curly] │ │ Union :: Identifier │ │ [curly] │ │ Quotient :: Identifier │ │ [<:] │ │ [curly] │ │ UnivariatePolynomial :: Identifier │ │ [<:] │ │ ZZmod :: Identifier │ │ GaloisField :: Identifier │ │ [<:] │ │ R :: Identifier │ │ T :: Identifier │ │ [<:] │ │ S :: Identifier │ │ T :: Identifier │ │ [block] │ │ [=] │ │ r :: Identifier │ │ [call] │ │ dimension :: Identifier │ │ R :: Identifier │ │ [=] │ │ s :: Identifier │ │ [call] │ │ dimension :: Identifier │ │ S :: Identifier │ │ [=] │ │ p :: Identifier │ │ [call] │ │ characteristic :: Identifier │ │ R :: Identifier │ │ [=] │ │ q :: Identifier │ │ [call] │ │ characteristic :: Identifier │ │ S :: Identifier │ │ [||] │ │ [call] │ │ == :: Identifier │ │ p :: Identifier │ │ q :: Identifier │ │ [call] │ │ terror :: Identifier │ │ "fields with differing characteristics" :: Value │ │ [||] │ │ [call] │ │ == :: Identifier │ │ [call] │ │ mod :: Identifier │ │ s :: Identifier │ │ r :: Identifier │ │ 0 :: Value │ │ [call] │ │ terror :: Identifier │ │ [string] │ │ "dimension of R (" :: Value │ │ r :: Identifier │ │ ") must divide that of S (" :: Value │ │ s :: Identifier │ │ ")" :: Value │ │ [=] │ │ pr :: Identifier │ │ [call] │ │ ^ :: Identifier │ │ p :: Identifier │ │ r :: Identifier │ │ [=] │ │ m :: Identifier │ │ [call] │ │ ÷ :: Identifier │ │ s :: Identifier │ │ r :: Identifier │ │ [=] │ │ w :: Identifier │ │ [call] │ │ ÷ :: Identifier │ │ [call] │ │ - :: Identifier │ │ [call] │ │ ^ :: Identifier │ │ pr :: Identifier │ │ m :: Identifier │ │ 1 :: Value │ │ [call] │ │ - :: Identifier │ │ pr :: Identifier │ │ 1 :: Value │ │ [=] │ │ x :: Identifier │ │ [call] │ │ generator :: Identifier │ │ S :: Identifier │ │ [=] │ │ y :: Identifier │ │ [call] │ │ ^ :: Identifier │ │ x :: Identifier │ │ [call] │ │ * :: Identifier │ │ w :: Identifier │ │ [call] │ │ ^ :: Identifier │ │ p :: Identifier │ │ nr :: Identifier │ │ [macrocall] │ │ @assert :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:720 =#) :: Value │ │ [call] │ │ == :: Identifier │ │ [call] │ │ order :: Identifier │ │ y :: Identifier │ │ [call] │ │ - :: Identifier │ │ pr :: Identifier │ │ 1 :: Value │ │ [=] │ │ [call] │ │ f :: Identifier │ │ [::] │ │ a :: Identifier │ │ R :: Identifier │ │ [block] │ │ [call] │ │ evaluate :: Identifier │ │ [call] │ │ Polynomial :: Identifier │ │ a :: Identifier │ │ y :: Identifier │ │ [call] │ │ homomorphismf :: Identifier │ │ f :: Identifier │ │ R :: Identifier │ │ S :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [function] │ │ [where] │ │ [call] │ │ homomorphism :: Identifier │ scope_layer=1 │ [::] │ │ [curly] │ │ Type :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ [::] │ │ [curly] │ │ Type :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ [kw] │ │ [::] │ │ nr :: Identifier │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ 0 :: Value │ │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ [curly] │ │ Quotient :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ UnivariatePolynomial :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ ZZmod :: Identifier │ scope_layer=1 │ GaloisField :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ r :: Identifier │ scope_layer=1 │ [call] │ │ dimension :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ [=] │ │ s :: Identifier │ scope_layer=1 │ [call] │ │ dimension :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ [=] │ │ p :: Identifier │ scope_layer=1 │ [call] │ │ characteristic :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ [=] │ │ q :: Identifier │ scope_layer=1 │ [call] │ │ characteristic :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ [||] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ p :: Identifier │ scope_layer=1 │ q :: Identifier │ scope_layer=1 │ [call] │ │ terror :: Identifier │ scope_layer=1 │ "fields with differing characteristics" :: Value │ │ [||] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ [call] │ │ mod :: Identifier │ scope_layer=1 │ s :: Identifier │ scope_layer=1 │ r :: Identifier │ scope_layer=1 │ 0 :: Value │ │ [call] │ │ terror :: Identifier │ scope_layer=1 │ [string] │ │ "dimension of R (" :: Value │ │ r :: Identifier │ scope_layer=1 │ ") must divide that of S (" :: Value │ │ s :: Identifier │ scope_layer=1 │ ")" :: Value │ │ [=] │ │ pr :: Identifier │ scope_layer=1 │ [call] │ │ ^ :: Identifier │ scope_layer=1 │ p :: Identifier │ scope_layer=1 │ r :: Identifier │ scope_layer=1 │ [=] │ │ m :: Identifier │ scope_layer=1 │ [call] │ │ ÷ :: Identifier │ scope_layer=1 │ s :: Identifier │ scope_layer=1 │ r :: Identifier │ scope_layer=1 │ [=] │ │ w :: Identifier │ scope_layer=1 │ [call] │ │ ÷ :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ [call] │ │ ^ :: Identifier │ scope_layer=1 │ pr :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ 1 :: Value │ │ [call] │ │ - :: Identifier │ scope_layer=1 │ pr :: Identifier │ scope_layer=1 │ 1 :: Value │ │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ generator :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ ^ :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ w :: Identifier │ scope_layer=1 │ [call] │ │ ^ :: Identifier │ scope_layer=1 │ p :: Identifier │ scope_layer=1 │ nr :: Identifier │ scope_layer=1 │ [if] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ [call] │ │ order :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ pr :: Identifier │ scope_layer=1 │ 1 :: Value │ macro_source=134 │ nothing :: Value │ macro_source=134 │ [call] │ │ throw :: Identifier │ scope_layer=2 │ [call] │ │ AssertionError :: Identifier │ scope_layer=2 │ "order(y) == pr - 1" :: Value │ macro_source=134 │ [=] │ │ [call] │ │ f :: Identifier │ scope_layer=1 │ [::] │ │ a :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ evaluate :: Identifier │ scope_layer=1 │ [call] │ │ Polynomial :: Identifier │ scope_layer=1 │ a :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ [call] │ │ homomorphismf :: Identifier │ scope_layer=1 │ f :: Identifier │ scope_layer=1 │ R :: Identifier │ scope_layer=1 │ S :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl" │ line = 703 └ mod = CommutativeRings ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721 =# - Found unexpected binding of kind static_parameter Expression:  #₃₀/R Containing expressions:  (= #₆₆/R #₃₀/R)  (= #₇ (call core.svec (call core.svec #₆₀/#homomorphism#f##0 #₃₀/R) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721:0))  (= #₇ (call core.svec (call core.svec (function_type #₃₂/f) #₃₀/R) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721:0))  Detailed provenance:  #₃₀/R  └─ R  └─ R  └─ @ /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:721  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/CommutativeRings/0sG32/src/CommutativeRings.jl:86  [8] include(mod::Module, _path::String)  @ Base Base.jl:326  [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core boot.jl:521  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [13] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [15] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/galoisfields.jl:703 in expression starting at /home/pkgeval/.julia/packages/CommutativeRings/0sG32/src/CommutativeRings.jl:1 in expression starting at stdin:5 1 dependency had output during precompilation: ┌ CommutativeRings │ [Output was shown above] └ ERROR: LoadError: The following 1 package failed to precompile: CommutativeRings Failed to precompile CommutativeRings [a6d4fa9c-9e0b-4795-89f3-f481b7b5e384] to "/home/pkgeval/.julia/compiled/v1.14/CommutativeRings/jl_3tmzGx" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/CommutativeRings/0sG32/test/runtests.jl:2 Testing failed after 638.77s ERROR: LoadError: Package CommutativeRings 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:3247 [3] 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:587 [4] 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 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [8] include(mod::Module, _path::String) @ Base Base.jl:326 [9] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [10] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1777.41s: package fails to precompile