type inference hang on nightly since #56880

[benlorenz]

One of our test-sets gets stuck since about two weeks ago.

I reduced it to the following example:

using Oscar
R, (x,y,z) = QQ[:x, :y, :z];
I = ideal(R, [x-1, y]) * ideal(R, [x]);
X = CoveredScheme(spec(R, I));
T = tangent_sheaf(X);
trivializing_covering(T) isa Covering

This happens with Oscar master and also on the latest release Oscar@1.2.2.

Running this with a julia nightly build for 0741f9b:

$ ../julia/julia-0741f9b995/bin/julia           _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.12.0-DEV.1819 (2025-01-02)
 _/ |\__'_|_|_|\__'_|  |  Commit 0741f9b9958 (16 days old master)
|__/                   |

(@v1.12) pkg> activate --temp
  Activating new project at `/tmp/jl_aBgiBC`

(jl_aBgiBC) pkg> add Oscar
<....>

julia> using Oscar
  ___   ____   ____    _    ____
 / _ \ / ___| / ___|  / \  |  _ \   |  Combining ANTIC, GAP, Polymake, Singular
| | | |\___ \| |     / _ \ | |_) |  |  Type "?Oscar" for more information
| |_| | ___) | |___ / ___ \|  _ <   |  Manual: https://docs.oscar-system.org
 \___/ |____/ \____/_/   \_\_| \_\  |  Version 1.2.2

julia> R, (x,y,z) = QQ[:x, :y, :z];

julia> I = ideal(R, [x-1, y]) * ideal(R, [x]);

julia> @time X = CoveredScheme(spec(R, I));
 58.573701 seconds (249.76 M allocations: 11.484 GiB, 5.32% gc time, 99.98% compilation time)

julia> @time T = tangent_sheaf(X);
  3.698315 seconds (10.16 M allocations: 502.932 MiB, 99.90% compilation time)

julia> @time trivializing_covering(T) isa Covering
 30.360630 seconds (78.13 M allocations: 3.810 GiB, 4.68% gc time, 99.58% compilation time)
true

But on ed2cb49 (merge of #56880, cc @vtjnash) this gets stuck in the last command. I let it run for about 12 hours with no result.

The backtrace points to this recursive call in Oscar:
https://github.com/oscar-system/Oscar.jl/blob/11820e4d5df371cf543b238cafb7428015bfc17b/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl#L987

Hitting Ctrl+C while it is running prints a backtrace like this:

julia> @test trivializing_covering(T) isa Covering
^CInternal error: during type inference of
_trivializing_covering(Oscar.SheafOfModules{Oscar.CoveredScheme{Nemo.QQField}, Oscar.AbsAffineScheme{BaseRingType, RingType} where RingType<:AbstractAlgebra.Ring where BaseRingType, Oscar.ModuleFP{T} where T<:Union{AbstractAlgebra.RingElem, Oscar.PBWAlgElem{T, S} where S where T, Oscar.PBWAlgQuoElem{T, S} where S where T}, AbstractAlgebra.Map{D, C, S, T} where T where S where C where D}, Oscar.PrincipalOpenSubset{Nemo.QQField, Oscar.MPolyQuoLocRing{Nemo.QQField, Nemo.QQFieldElem, Nemo.QQMPolyRing, Nemo.QQMPolyRingElem, Oscar.MPolyPowersOfElement{Nemo.QQField, Nemo.QQFieldElem, Nemo.QQMPolyRing, Nemo.QQMPolyRingElem}}, Oscar.AffineScheme{Nemo.QQField, Oscar.MPolyQuoRing{Nemo.QQMPolyRingElem}}})
Encountered unexpected error in runtime:
InterruptException()
_jl_mutex_unlock at /cache/build/builder-demeter6-6/julialang/julia-master/src/threading.c:1014
store_backedges at ./../usr/share/julia/Compiler/src/typeinfer.jl:535
finish! at ./../usr/share/julia/Compiler/src/typeinfer.jl:119
jfptr_finishNOT._117321.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
finish_nocycle at ./../usr/share/julia/Compiler/src/typeinfer.jl:182
jfptr_finish_nocycle_117316.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
typeinf at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4232
typeinf_ext at ./../usr/share/julia/Compiler/src/typeinfer.jl:1127
typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1218
jfptr_typeinf_ext_toplevel_117259.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-demeter6-6/julialang/julia-master/src/julia.h:2246 [inlined]
jl_type_infer at /cache/build/builder-demeter6-6/julialang/julia-master/src/gf.c:452
jl_compile_method_internal at /cache/build/builder-demeter6-6/julialang/julia-master/src/gf.c:2942
_jl_invoke at /cache/build/builder-demeter6-6/julialang/julia-master/src/gf.c:3436 [inlined]
ijl_apply_generic at /cache/build/builder-demeter6-6/julialang/julia-master/src/gf.c:3644
_trivializing_covering at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:987
unknown function (ip: 0x7f9d98176fc6) at (unknown file)
__compute_trivializing_covering__ at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:770
#trivializing_covering##0 at /home/lorenz/.julia/packages/AbstractAlgebra/eNeG2/src/Attributes.jl:346
unknown function (ip: 0x7f9d9817093f) at (unknown file)
get! at ./dict.jl:458
get_attribute! at /home/lorenz/.julia/packages/AbstractAlgebra/eNeG2/src/Attributes.jl:230 [inlined]
trivializing_covering at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:765
unknown function (ip: 0x7f9d9816fc22) at (unknown file)
__compute_trivializing_covering__ at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:803
#trivializing_covering##2 at /home/lorenz/.julia/packages/AbstractAlgebra/eNeG2/src/Attributes.jl:346 [inlined]
get! at ./dict.jl:458
unknown function (ip: 0x7f9d9816d39d) at (unknown file)
get_attribute! at /home/lorenz/.julia/packages/AbstractAlgebra/eNeG2/src/Attributes.jl:230
trivializing_covering at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:787
unknown function (ip: 0x7f9d9816ca62) at (unknown file)
jl_apply at /cache/build/builder-demeter6-6/julialang/julia-master/src/julia.h:2246 [inlined]
do_call at /cache/build/builder-demeter6-6/julialang/julia-master/src/interpreter.c:125
eval_value at /cache/build/builder-demeter6-6/julialang/julia-master/src/interpreter.c:243
eval_stmt_value at /cache/build/builder-demeter6-6/julialang/julia-master/src/interpreter.c:194 [inlined]
eval_body at /cache/build/builder-demeter6-6/julialang/julia-master/src/interpreter.c:691
eval_body at /cache/build/builder-demeter6-6/julialang/julia-master/src/interpreter.c:562
jl_interpret_toplevel_thunk at /cache/build/builder-demeter6-6/julialang/julia-master/src/interpreter.c:896
macro expansion at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined]
top-level scope at REPL[9]:1
jl_toplevel_eval_flex at /cache/build/builder-demeter6-6/julialang/julia-master/src/toplevel.c:1070
__repl_entry_eval_expanded_with_loc at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:341
jl_apply at /cache/build/builder-demeter6-6/julialang/julia-master/src/julia.h:2246 [inlined]
jl_f__call_latest at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:883
#invokelatest#1 at ./essentials.jl:1056 [inlined]
invokelatest at ./essentials.jl:1052 [inlined]
toplevel_eval_with_hooks at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:348
toplevel_eval_with_hooks at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:352
toplevel_eval_with_hooks at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:345 [inlined]
eval_user_input at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:370
repl_backend_loop at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:482
#start_repl_backend#41 at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:467
start_repl_backend at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:464 [inlined]
#run_repl#48 at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:690
run_repl at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:676
jfptr_run_repl_26070.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/share/julia/compiled/v1.12/REPL/u0gqU_hJU50.so (unknown line)
run_std_repl at ./client.jl:490
jfptr_run_std_repl_58352.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-demeter6-6/julialang/julia-master/src/julia.h:2246 [inlined]
jl_f__call_latest at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:883
#invokelatest#1 at ./essentials.jl:1056 [inlined]
invokelatest at ./essentials.jl:1052 [inlined]
run_main_repl at ./client.jl:511
repl_main at ./client.jl:593 [inlined]
_start at ./client.jl:568
jfptr__start_57577.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-demeter6-6/julialang/julia-master/src/julia.h:2246 [inlined]
true_main at /cache/build/builder-demeter6-6/julialang/julia-master/src/jlapi.c:922
jl_repl_entrypoint at /cache/build/builder-demeter6-6/julialang/julia-master/src/jlapi.c:1081
main at /cache/build/builder-demeter6-6/julialang/julia-master/cli/loader_exe.c:58
unknown function (ip: 0x7f9dcbe4e47f) at /lib64/libc.so.6
__libc_start_main at /lib64/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S

I also tried sending USR1 to the process and this usually prints a long backtrace with many egal_types at the beginning:

julia> @time trivializing_covering(T) isa Covering

======================================================================================
Information request received. A stacktrace will print followed by a 1.0 second profile
======================================================================================

cmd: /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/bin/julia 25622 running 1 of 1

signal (10): User defined signal 1
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:159
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162
egal_types at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:162 [inlined]
jl_types_egal at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:207
ijl_types_equal at /cache/build/builder-demeter6-6/julialang/julia-master/src/subtype.c:2287
ijl_method_table_add_backedge at /cache/build/builder-demeter6-6/julialang/julia-master/src/gf.c:1950
store_backedges at ./../usr/share/julia/Compiler/src/typeinfer.jl:535
finish! at ./../usr/share/julia/Compiler/src/typeinfer.jl:119
jfptr_finishNOT._117321.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
finish_nocycle at ./../usr/share/julia/Compiler/src/typeinfer.jl:182
jfptr_finish_nocycle_117316.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
typeinf at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4232
typeinf_ext at ./../usr/share/julia/Compiler/src/typeinfer.jl:1127
typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1218
jfptr_typeinf_ext_toplevel_117259.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-demeter6-6/julialang/julia-master/src/julia.h:2246 [inlined]
jl_type_infer at /cache/build/builder-demeter6-6/julialang/julia-master/src/gf.c:452
jl_compile_method_internal at /cache/build/builder-demeter6-6/julialang/julia-master/src/gf.c:2942
_jl_invoke at /cache/build/builder-demeter6-6/julialang/julia-master/src/gf.c:3436 [inlined]
ijl_apply_generic at /cache/build/builder-demeter6-6/julialang/julia-master/src/gf.c:3644
_trivializing_covering at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:987
unknown function (ip: 0x7fe67f545e26) at (unknown file)
__compute_trivializing_covering__ at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:770
#trivializing_covering##0 at /home/lorenz/.julia/packages/AbstractAlgebra/eNeG2/src/Attributes.jl:346
unknown function (ip: 0x7fe67f53c54f) at (unknown file)
get! at ./dict.jl:458
get_attribute! at /home/lorenz/.julia/packages/AbstractAlgebra/eNeG2/src/Attributes.jl:230 [inlined]
trivializing_covering at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:765
unknown function (ip: 0x7fe67f53c502) at (unknown file)
__compute_trivializing_covering__ at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:803
#trivializing_covering##2 at /home/lorenz/.julia/packages/AbstractAlgebra/eNeG2/src/Attributes.jl:346 [inlined]
get! at ./dict.jl:458
unknown function (ip: 0x7fe67f5382ed) at (unknown file)
get_attribute! at /home/lorenz/.julia/packages/AbstractAlgebra/eNeG2/src/Attributes.jl:230
trivializing_covering at /home/lorenz/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl:787
unknown function (ip: 0x7fe67f537ff2) at (unknown file)
macro expansion at ./timing.jl:611 [inlined]
top-level scope at ./REPL[8]:1
jl_toplevel_eval_flex at /cache/build/builder-demeter6-6/julialang/julia-master/src/toplevel.c:1059
__repl_entry_eval_expanded_with_loc at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:341
jl_apply at /cache/build/builder-demeter6-6/julialang/julia-master/src/julia.h:2246 [inlined]
jl_f__call_latest at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:883
#invokelatest#1 at ./essentials.jl:1056 [inlined]
invokelatest at ./essentials.jl:1052 [inlined]
toplevel_eval_with_hooks at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:348
toplevel_eval_with_hooks at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:352
toplevel_eval_with_hooks at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:345 [inlined]
eval_user_input at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:370
repl_backend_loop at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:482
#start_repl_backend#41 at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:467
start_repl_backend at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:464 [inlined]
#run_repl#48 at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:690
run_repl at /cache/build/builder-demeter6-6/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:676
jfptr_run_repl_26070.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/share/julia/compiled/v1.12/REPL/u0gqU_hJU50.so (unknown line)
run_std_repl at ./client.jl:490
jfptr_run_std_repl_58352.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-demeter6-6/julialang/julia-master/src/julia.h:2246 [inlined]
jl_f__call_latest at /cache/build/builder-demeter6-6/julialang/julia-master/src/builtins.c:883
#invokelatest#1 at ./essentials.jl:1056 [inlined]
invokelatest at ./essentials.jl:1052 [inlined]
run_main_repl at ./client.jl:511
repl_main at ./client.jl:593 [inlined]
_start at ./client.jl:568
jfptr__start_57577.1 at /home/lorenz/software/polymake/julia/julia/julia-ed2cb49050/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-demeter6-6/julialang/julia-master/src/julia.h:2246 [inlined]
true_main at /cache/build/builder-demeter6-6/julialang/julia-master/src/jlapi.c:922
jl_repl_entrypoint at /cache/build/builder-demeter6-6/julialang/julia-master/src/jlapi.c:1081
main at /cache/build/builder-demeter6-6/julialang/julia-master/cli/loader_exe.c:58
unknown function (ip: 0x7fe6b2b1247f) at /lib64/libc.so.6
__libc_start_main at /lib64/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
unknown function (ip: (nil)) at (unknown file)

==============================================================
Profile collected. A report will print at the next yield point
==============================================================

Attaching gdb to the process und printing the arguments to ijl_types_equal:
https://pastebin.com/uYjGr8zf (adding them inline here exceeds the body size for the issue ....)

cc: @HechtiDerLachs (who might know more about this Oscar code)

[fingolfin]

@vtjnash any idea what might be causing this?

[vtjnash]

I've seen LimitedAccuracy gets mis-computed for particularly gnarly recursion which doesn't have limits in the type domain. I could imagine that happens there, since doesn't look like that part of the code is type-stable

[benlorenz]

I guess this fits to the type I posted in the pastebin:

Oscar.PrincipalOpenSubset{
   Nemo.QQField, 
   Oscar.MPolyQuoLocRing{
      Nemo.QQField, 
      Nemo.QQFieldElem, 
      Nemo.QQMPolyRing, 
      Nemo.QQMPolyRingElem, 
      Oscar.MPolyPowersOfElement{
         Nemo.QQField, 
         Nemo.QQFieldElem, 
         Nemo.QQMPolyRing, 
         Nemo.QQMPolyRingElem}}, 
   Oscar.PrincipalOpenSubset{
      Nemo.QQField, 
      Oscar.MPolyQuoLocRing{
         Nemo.QQField, 
         Nemo.QQFieldElem, 
         Nemo.QQMPolyRing, 
         Nemo.QQMPolyRingElem, 
         Oscar.MPolyPowersOfElement{
            Nemo.QQField, 
            Nemo.QQFieldElem, 
            Nemo.QQMPolyRing, 
            Nemo.QQMPolyRingElem}}, 
      Oscar.PrincipalOpenSubset{
         Nemo.QQField, 
         Oscar.MPolyQuoLocRing{
            Nemo.QQField, 
            Nemo.QQFieldElem, 
            Nemo.QQMPolyRing, 
            Nemo.QQMPolyRingElem, 
            Oscar.MPolyPowersOfElement{
               Nemo.QQField, 
               Nemo.QQFieldElem, 
               Nemo.QQMPolyRing, 
               Nemo.QQMPolyRingElem}}, 
         Oscar.PrincipalOpenSubset{
            ...

I.e. PrincipalOpenSubset{A,B,PrincipalOpenSubset{A,B,PrincipalOpenSubset{...}}}, many levels deep.

I haven't understood where this is triggered but maybe we can avoid this type recursion.

[vtjnash]

This issue is marked to be fixed before v1.12 release, just not quite yet

[vtjnash]

Seems to be working fine to me, testing on master today

(jl_e5d9l8) pkg> add Oscar                   
   Resolving package versions...              
    Updating `/tmp/jl_e5d9l8/Project.toml`       
  [f1435218] + Oscar v1.3.1                       

julia> @time X = CoveredScheme(spec(R, I));
 22.747344 seconds (30.72 M allocations: 1.614 GiB, 5.65% gc time, 100.00% compilation time)

julia> @time T = tangent_sheaf(X);
  7.813283 seconds (12.19 M allocations: 648.489 MiB, 99.82% compilation time)

julia> @time trivializing_covering(T) isa Covering
 41.862389 seconds (73.09 M allocations: 3.793 GiB, 2.30% gc time, 99.27% compilation time)

[fingolfin]

@vtjnash was there a change that addressed it? Which?

Also note that Oscar implemented a workaround so to verify this is fixed you need to either revert that workaround or test an older master

[fingolfin]

Eg as described in the issue you can test against Oscar@1.2.2