Package evaluation to load AbstractAlgebra on Julia 1.14.0-DEV.2593 (15c2b67521*) started at 2026-07-03T16:37:36.330 ################################################################################ # Set-up # Set-up completed after 0.16s ################################################################################ # Installation # Installing AbstractAlgebra... Resolving package versions... Installed RandomExtensions ─ v0.4.4 Installed MacroTools ─────── v0.5.16 Installed PrecompileTools ── v1.3.4 Installed Preferences ────── v1.5.2 Installed AbstractAlgebra ── v0.50.1 Updating `~/.julia/environments/v1.14/Project.toml` [c3fe647b] + AbstractAlgebra v0.50.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.50.1 [1914dd2f] + MacroTools v0.5.16 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [fb686558] + RandomExtensions v0.4.4 [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 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.5+2 [4536629a] + OpenBLAS_jll v0.3.33+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 8.87s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling project... 4.3 s ✓ MacroTools 88.8 s ✓ RandomExtensions 31.5 s ✓ Preferences 31.5 s ✓ PrecompileTools ┌ Info: JuliaLowering threw given input: │ code = │ :(mutable struct ModuleHomomorphism{T <: NCRingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1380 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1381 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1382 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1383 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1384 =# │ is_left::Bool │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1385 =# │ solve_ctx::Any │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1386 =# │ map::Map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ C(x.v * m) │ end), true) │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1394 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}; is_left::Bool = true, map::Union{Nothing, Map} = nothing) where T <: NCRingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1394 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1396 =# │ if is_left │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ C(x.v * m) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1398 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1399 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ C(map_entries(map, x.v) * m) │ end) │ end │ else │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ C(m * x.v) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1404 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1405 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ C(m * map_entries(map, x.v)) │ end) │ end │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1409 =# │ return z │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ [struct] | │ true :: Value | │ [<:] | │ [curly] | │ ModuleHomomorphism :: Identifier | │ [<:] | │ T :: Identifier | │ NCRingElement :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ Map :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleHomomorphism :: Identifier | │ ModuleHomomorphism :: Identifier | │ [block] | │ [::] | │ domain :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ codomain :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ matrix :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ MatElem :: Identifier | │ T :: Identifier | │ [::] | │ image_fn :: Identifier | │ Function :: Identifier | │ [::] | │ is_left :: Identifier | │ Bool :: Identifier | │ [::] | │ solve_ctx :: Identifier | │ Any :: Identifier | │ [::] | │ map :: Identifier | │ Map :: Identifier | │ [function] | │ [where] | │ [call] | │ [curly] | │ ModuleHomomorphism :: Identifier | │ T :: Identifier | │ [::] | │ D :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ C :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ m :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ MatElem :: Identifier | │ T :: Identifier | │ [<:] | │ T :: Identifier | │ RingElement :: Identifier | │ [block] | │ [=] | │ z :: Identifier | │ [call] | │ new :: Identifier | │ D :: Identifier | │ C :: Identifier | │ m :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ m :: Identifier | │ true :: Value | │ [function] | │ [where] | │ [call] | │ [curly] | │ ModuleHomomorphism :: Identifier | │ T :: Identifier | │ [parameters] | │ [kw] | │ [::] | │ is_left :: Identifier | │ Bool :: Identifier | │ true :: Value | │ [kw] | │ [::] | │ map :: Identifier | │ [curly] | │ Union :: Identifier | │ Nothing :: Identifier | │ Map :: Identifier | │ nothing :: Identifier | │ [::] | │ D :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ C :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ m :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ MatElem :: Identifier | │ T :: Identifier | │ [<:] | │ T :: Identifier | │ NCRingElement :: Identifier | │ [block] | │ [if] | │ is_left :: Identifier | │ [block] | │ [=] | │ z :: Identifier | │ [call] | │ new :: Identifier | │ D :: Identifier | │ C :: Identifier | │ m :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ m :: Identifier | │ is_left :: Identifier | │ [if] | │ [call] | │ ! :: Identifier | │ [call] | │ isa :: Identifier | │ map :: Identifier | │ Nothing :: Identifier | │ [block] | │ [=] | │ [.] | │ z :: Identifier | │ [inert] | │ map :: Identifier | │ map :: Identifier | │ [=] | │ [.] | │ z :: Identifier | │ [inert] | │ image_fn :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ [call] | │ map_entries :: Identifier | │ map :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ m :: Identifier | │ [block] | │ [=] | │ z :: Identifier | │ [call] | │ new :: Identifier | │ D :: Identifier | │ C :: Identifier | │ m :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ m :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ is_left :: Identifier | │ [if] | │ [call] | │ ! :: Identifier | │ [call] | │ isa :: Identifier | │ map :: Identifier | │ Nothing :: Identifier | │ [block] | │ [=] | │ [.] | │ z :: Identifier | │ [inert] | │ map :: Identifier | │ map :: Identifier | │ [=] | │ [.] | │ z :: Identifier | │ [inert] | │ image_fn :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ m :: Identifier | │ [call] | │ map_entries :: Identifier | │ map :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ [return] | │ z :: Identifier | │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ [struct] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ true :: Value | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [<:] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ ModuleHomomorphism :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [<:] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ NCRingElement :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModuleHomomorphism :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ ModuleHomomorphism :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ domain :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ codomain :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ matrix :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ MatElem :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ image_fn :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Function :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Bool :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ solve_ctx :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Any :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [function] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [where] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ ModuleHomomorphism :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ MatElem :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [<:] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ RingElement :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [=] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ new :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [->] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ true :: Value | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [function] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [where] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ ModuleHomomorphism :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [parameters] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [kw] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Bool :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ true :: Value | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [kw] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Union :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Nothing :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ nothing :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ MatElem :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [<:] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ NCRingElement :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [if] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [=] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ new :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [->] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [if] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ ! :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ isa :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Nothing :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [=] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [=] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ image_fn :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [->] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map_entries :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [=] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ new :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [->] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [if] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ ! :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ isa :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ Nothing :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [=] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [=] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ image_fn :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [->] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [::] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [block] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [call] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map_entries :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [.] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ [return] | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(1yjH1hTFvNU,AbstractAlgebra.Generic,),], │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl" │ line = 1378 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# - Found unexpected binding of kind static_parameter Expression:  #₉₃/T Containing expressions:  (= #₂₁₁/T #₉₃/T)  (call core.svec (call core.svec #₁₄₆/##->###22 (call core.apply_type (call top.getproperty #₇₆/AbstractAlgebra :FPModuleElem) #₉₃/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391:0)  (call core.svec (call core.svec (function_type #₉₄/#->#) (call core.apply_type (call top.getproperty #₇₆/AbstractAlgebra :FPModuleElem) #₉₃/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391:0)  Detailed provenance:  #₉₃/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391  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:1097  [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:1162  [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:1257  [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:1287  [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:326  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:19  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/AbstractAlgebra.jl:316  [10] include(mod::Module, _path::String)  @ Base Base.jl:325  [11] 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:3303  [12] top-level scope  @ stdin:5  [13] eval(m::Module, e::Any)  @ Core boot.jl:522  [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [15] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [16] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [17] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1378 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/AbstractAlgebra.jl:1 in expression starting at stdin:5 ✗ AbstractAlgebra 4 dependencies successfully precompiled in 600 seconds. 7 already precompiled. Precompilation completed after 629.42s ################################################################################ # Loading # Loading AbstractAlgebra... ┌ Info: JuliaLowering threw given input: │ code = │ :(mutable struct ModuleHomomorphism{T <: NCRingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1380 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1381 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1382 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1383 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1384 =# │ is_left::Bool │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1385 =# │ solve_ctx::Any │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1386 =# │ map::Map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ C(x.v * m) │ end), true) │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1394 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}; is_left::Bool = true, map::Union{Nothing, Map} = nothing) where T <: NCRingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1394 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1396 =# │ if is_left │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ C(x.v * m) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1398 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1399 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ C(map_entries(map, x.v) * m) │ end) │ end │ else │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ C(m * x.v) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1404 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1405 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ C(m * map_entries(map, x.v)) │ end) │ end │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1409 =# │ return z │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ [struct] | │ true :: Value | │ [<:] | │ [curly] | │ ModuleHomomorphism :: Identifier | │ [<:] | │ T :: Identifier | │ NCRingElement :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ Map :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleHomomorphism :: Identifier | │ ModuleHomomorphism :: Identifier | │ [block] | │ [::] | │ domain :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ codomain :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ matrix :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ MatElem :: Identifier | │ T :: Identifier | │ [::] | │ image_fn :: Identifier | │ Function :: Identifier | │ [::] | │ is_left :: Identifier | │ Bool :: Identifier | │ [::] | │ solve_ctx :: Identifier | │ Any :: Identifier | │ [::] | │ map :: Identifier | │ Map :: Identifier | │ [function] | │ [where] | │ [call] | │ [curly] | │ ModuleHomomorphism :: Identifier | │ T :: Identifier | │ [::] | │ D :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ C :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ m :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ MatElem :: Identifier | │ T :: Identifier | │ [<:] | │ T :: Identifier | │ RingElement :: Identifier | │ [block] | │ [=] | │ z :: Identifier | │ [call] | │ new :: Identifier | │ D :: Identifier | │ C :: Identifier | │ m :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ m :: Identifier | │ true :: Value | │ [function] | │ [where] | │ [call] | │ [curly] | │ ModuleHomomorphism :: Identifier | │ T :: Identifier | │ [parameters] | │ [kw] | │ [::] | │ is_left :: Identifier | │ Bool :: Identifier | │ true :: Value | │ [kw] | │ [::] | │ map :: Identifier | │ [curly] | │ Union :: Identifier | │ Nothing :: Identifier | │ Map :: Identifier | │ nothing :: Identifier | │ [::] | │ D :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ C :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModule :: Identifier | │ T :: Identifier | │ [::] | │ m :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ MatElem :: Identifier | │ T :: Identifier | │ [<:] | │ T :: Identifier | │ NCRingElement :: Identifier | │ [block] | │ [if] | │ is_left :: Identifier | │ [block] | │ [=] | │ z :: Identifier | │ [call] | │ new :: Identifier | │ D :: Identifier | │ C :: Identifier | │ m :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ m :: Identifier | │ is_left :: Identifier | │ [if] | │ [call] | │ ! :: Identifier | │ [call] | │ isa :: Identifier | │ map :: Identifier | │ Nothing :: Identifier | │ [block] | │ [=] | │ [.] | │ z :: Identifier | │ [inert] | │ map :: Identifier | │ map :: Identifier | │ [=] | │ [.] | │ z :: Identifier | │ [inert] | │ image_fn :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ [call] | │ map_entries :: Identifier | │ map :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ m :: Identifier | │ [block] | │ [=] | │ z :: Identifier | │ [call] | │ new :: Identifier | │ D :: Identifier | │ C :: Identifier | │ m :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ m :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ is_left :: Identifier | │ [if] | │ [call] | │ ! :: Identifier | │ [call] | │ isa :: Identifier | │ map :: Identifier | │ Nothing :: Identifier | │ [block] | │ [=] | │ [.] | │ z :: Identifier | │ [inert] | │ map :: Identifier | │ map :: Identifier | │ [=] | │ [.] | │ z :: Identifier | │ [inert] | │ image_fn :: Identifier | │ [->] | │ [::] | │ x :: Identifier | │ [curly] | │ [.] | │ AbstractAlgebra :: Identifier | │ [inert] | │ FPModuleElem :: Identifier | │ T :: Identifier | │ [block] | │ [call] | │ C :: Identifier | │ [call] | │ * :: Identifier | │ m :: Identifier | │ [call] | │ map_entries :: Identifier | │ map :: Identifier | │ [.] | │ x :: Identifier | │ [inert] | │ v :: Identifier | │ [return] | │ z :: Identifier | │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ [struct] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ true :: Value | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [<:] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ ModuleHomomorphism :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [<:] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ NCRingElement :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModuleHomomorphism :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ ModuleHomomorphism :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ domain :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ codomain :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ matrix :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ MatElem :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ image_fn :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Function :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Bool :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ solve_ctx :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Any :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [function] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [where] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ ModuleHomomorphism :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ MatElem :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [<:] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ RingElement :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [=] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ new :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [->] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ true :: Value | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [function] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [where] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ ModuleHomomorphism :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [parameters] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [kw] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Bool :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ true :: Value | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [kw] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Union :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Nothing :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ nothing :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModule :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ MatElem :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [<:] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ NCRingElement :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [if] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [=] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ new :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [->] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [if] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ ! :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ isa :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Nothing :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [=] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [=] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ image_fn :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [->] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map_entries :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [=] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ new :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ D :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [->] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ is_left :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [if] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ ! :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ isa :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ Nothing :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [=] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [=] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ image_fn :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [->] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [::] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [curly] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ AbstractAlgebra :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ FPModuleElem :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ T :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [block] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ C :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ * :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ m :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [call] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map_entries :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ map :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [.] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ x :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [inert] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ v :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ [return] | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ z :: Identifier | [old,SL(Hld7jExS5vK,AbstractAlgebra.Generic,),], │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl" │ line = 1378 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# - Found unexpected binding of kind static_parameter Expression:  #₉₃/T Containing expressions:  (= #₂₁₁/T #₉₃/T)  (call core.svec (call core.svec #₁₄₆/##->###22 (call core.apply_type (call top.getproperty #₇₆/AbstractAlgebra :FPModuleElem) #₉₃/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391:0)  (call core.svec (call core.svec (function_type #₉₄/#->#) (call core.apply_type (call top.getproperty #₇₆/AbstractAlgebra :FPModuleElem) #₉₃/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391:0)  Detailed provenance:  #₉₃/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391  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:1097  [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:1162  [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:1257  [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:1287  [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:326  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:19  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/AbstractAlgebra.jl:316  [10] include(mod::Module, _path::String)  @ Base Base.jl:325  [11] 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:3303  [12] top-level scope  @ stdin:5  [13] eval(m::Module, e::Any)  @ Core boot.jl:522  [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [15] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [16] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [17] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1378 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/AbstractAlgebra.jl:1 in expression starting at stdin:5 1 dependency had output during precompilation: ┌ AbstractAlgebra │ [Output was shown above] └ ERROR: The following 1 package failed to precompile: AbstractAlgebra Failed to precompile AbstractAlgebra [c3fe647b-3220-5bb0-a1ea-a7954cac585d] to "/home/pkgeval/.julia/compiled/v1.14/AbstractAlgebra/jl_yqbdS1" (ProcessExited(1)). Loading failed after 459.68s ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --check-bounds=yes --pkgimages=existing -e 'using AbstractAlgebra'`, ProcessExited(1)) [1] Stacktrace: [1] pipeline_error(proc::Base.Process) @ Base process.jl:612 [inlined] [2] run(::Cmd; wait::Bool) @ Base process.jl:525 [3] run(::Cmd) @ Base process.jl:522 [4] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:197 [5] include(mod::Module, _path::String) @ Base Base.jl:325 [6] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [7] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:188 PkgEval failed after 1124.34s: package fails to precompile