Booktest failures on julia nightly #4402

lgoettgens · 2024-12-13T10:21:29Z

e.g. in the scheduled job from this morning here
I have seen the same failures in some PRs as well, e.g. in https://github.com/oscar-system/Oscar.jl/actions/runs/12311840722/job/34362745516#step:10:2229.

The failures happen in cornerstones/polyhedral-geometry and cornerstones/algebraic-geometry.

More details:

      From worker 2:	cornerstones/polyhedral-geometry
      From worker 2:	
      From worker 2:	GC: pause 201.80ms. collected 880.630455MB. incr 
      From worker 2:	Heap stats: bytes_mapped 3392.83 MB, bytes_resident 3299.89 MB,
      From worker 2:	heap_size 3749.06 MB, heap_target 3936.51 MB, Fragmentation 0.441
      From worker 2:	  created mockrepl: Main.__311
      From worker 2:	      done with aux
      From worker 2:	    pentagon.jlcon
      From worker 2:	    lp.jlcon
      From worker 2:	    tetrahedron.jlcon
      From worker 2:	    platonic.jlcon
      From worker 2:	
      From worker 2:	GC: pause 354.65ms. collected 1470.427025MB. incr 
      From worker 2:	Heap stats: bytes_mapped 3392.83 MB, bytes_resident 3313.39 MB,
      From worker 2:	heap_size 3730.30 MB, heap_target 3916.82 MB, Fragmentation 0.435
      From worker 2:	    dodecahedron.jlcon
      From worker 2:	    johnson-orbits.jl
      From worker 2:	
      From worker 2:	GC: pause 349.69ms. collected 1226.295517MB. incr 
      From worker 2:	Heap stats: bytes_mapped 3392.83 MB, bytes_resident 3313.06 MB,
      From worker 2:	heap_size 3732.78 MB, heap_target 3919.42 MB, Fragmentation 0.425
      From worker 2:	    johnson-orbits.jlcon
      From worker 2:	    perm3.jlcon
      From worker 2:	    not-pointed.jlcon
      From worker 2:	    simple_polyhedral_fan.jlcon
      From worker 2:	    g-vector-example.jlcon
      From worker 2:	    g-vectors.jl
      From worker 2:	
      From worker 2:	GC: pause 210.78ms. collected 598.150566MB. incr 
      From worker 2:	Heap stats: bytes_mapped 3392.83 MB, bytes_resident 3313.06 MB,
      From worker 2:	heap_size 3747.74 MB, heap_target 3935.13 MB, Fragmentation 0.424
      From worker 2:	
      From worker 2:	GC: pause 115.91ms. collected 594.767265MB. incr 
      From worker 2:	Heap stats: bytes_mapped 3392.83 MB, bytes_resident 3313.06 MB,
      From worker 2:	heap_size 3733.24 MB, heap_target 3919.90 MB, Fragmentation 0.446
      From worker 2:	cornerstones/polyhedral-geometry: Error During Test at /home/oscarci-tester/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:280
      From worker 2:	  Test threw exception
      From worker 2:	  Expression: run_repl_string(mockrepl, code; jlcon_mode = false) isa AbstractString
      From worker 2:	  ERROR in jl-mode:
      From worker 2:	  julia> n_vertices = 30;
      From worker 2:	  
      From worker 2:	  julia> n_samples = 100;
      From worker 2:	  
      From worker 2:	  julia> g_vectors = Array{Int32}(undef,n_samples,2);
      From worker 2:	  
      From worker 2:	  julia> 
      From worker 2:	  
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	  julia> for i=1:n_samples
      From worker 2:	      RS = rand_spherical_polytope(6,n_vertices)
      From worker 2:	   g = g_vector(RS)
      From worker 2:	       g_vectors[i,1] = g[3] # notice index shift as Julia counts from 1
      From worker 2:	  ERROR: ParseError:
      From worker 2:	  # Error @ REPL[55]:4:34
      From worker 2:	   g = g_vector(RS)
      From worker 2:	       g_vectors[i,1] = g[3] # notice index shift as Julia counts from 1
      From worker 2:	  #                                └ ── Expected `end`
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL:1
      From worker 2:	  
      From worker 2:	  julia>     g_vectors[i,2] = g[4]
      From worker 2:	  ERROR: UndefVarError: `g` not defined in `Main.__311`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[56]:1
      From worker 2:	  
      From worker 2:	  julia> end
      From worker 2:	  ERROR: ParseError:
      From worker 2:	  # Error @ REPL[57]:1:1
      From worker 2:	  end
      From worker 2:	  └─┘ ── invalid identifier
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL:1
      From worker 2:	  
      From worker 2:	  julia> 
      From worker 2:	  
      From worker 2:	  julia> using Plots
      From worker 2:	  
      From worker 2:	  julia> scatter(g_vectors[:,1], g_vectors[:,2],
      From worker 2:	  julia> scatter(g_vectors[:,1], g_vectors[:,2],
      From worker 2:	  julia> scatter(g_vectors[:,1], g_vectors[:,2],
      From worker 2:	  julia> scatter(g_vectors[:,1], g_vectors[:,2],
      From worker 2:	  julia> scatter(g_vectors[:,1], g_vectors[:,2],
      From worker 2:	  julia> scatter(g_vectors[:,1], g_vectors[:,2],
      From worker 2:	  julia> scatter(g_vectors[:,1], g_vectors[:,2],
      From worker 2:	  julia> scatter(g_vectors[:,1], g_vectors[:,2],
      From worker 2:	   xlabel="g_2", ylabel="g_3", legend=false);
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] error(::String, ::SubString{String})
      From worker 2:	     @ Base ./error.jl:54
      From worker 2:	   [2] (::var"#run_repl_string#run_repl_string##0"{var"#run_repl_string#42#53"{var"#sanitize_output#sanitize_output##0"{var"#normalize_repl_output#normalize_repl_output##0"}}})(mockrepl::MockREPLHelper, s::SubString{String}; jlcon_mode::Bool)
      From worker 2:	     @ Main ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:199
      From worker 2:	   [3] macro expansion
      From worker 2:	     @ ~/oscar-runners/runner-05/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined]
      From worker 2:	   [4] macro expansion
      From worker 2:	     @ ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:280 [inlined]
      From worker 2:	   [5] macro expansion
      From worker 2:	     @ ~/oscar-runners/runner-05/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:1724 [inlined]
      From worker 2:	   [6] (::var"#test_chapter##1#test_chapter##2"{String, String, Vector{Any}, var"#close_repl#close_repl##0", var"#sanitize_input#sanitize_input##0"{var"#normalize_repl_output#normalize_repl_output##0"}, var"#normalize_repl_output#normalize_repl_output##0", Vector{String}, Vector{String}})()
      From worker 2:	     @ Main ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:233
      From worker 2:	    g-vectors-upper-bound.jlcon
      From worker 2:	cornerstones/polyhedral-geometry: Test Failed at /home/oscarci-tester/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:272
      From worker 2:	  Expression: normalize_repl_output(content) == computed
      From worker 2:	   Evaluated: "julia> min_g2 = minimum(g_vectors[:,1])\n159\n\njulia> max_g2 = maximum(g_vectors[:,1])\n192\n\njulia> show(upper_bound_g_vector(6,30))\n[1, 23, 276, 2300]\njulia> ub = [ Int(Polymake.polytope.pseudopower(g2,2)) for g2 in min_g2:max_g2 ]\n34-element Vector{Int64}:\n  990\n  997\n 1005\n 1014\n 1024\n 1035\n 1047\n 1060\n 1074\n 1089\n 1105\n [1122](https://github.com/oscar-system/Oscar.jl/actions/runs/12308994624/job/34355330441#step:10:1125)\n 1140\n 1141\n 1143\n 1146\n 1150\n 1155\n 1161\n 1168\n 1176\n 1185\n 1195\n 1206\n 1218\n 1231\n 1245\n 1260\n 1276\n 1293\n 1311\n 1330\n 1331\n 1333" == "julia> min_g2 = minimum(g_vectors[:,1])\n-1626938912\n\njulia> max_g2 = maximum(g_vectors[:,1])\n2129164304\n\njulia> show(upper_bound_g_vector(6,30))\n[1, 23, 276, 2300]\njulia> ub = [ Int(Polymake.polytope.pseudopower(g2,2)) for g2 in min_g2:max_g2 ]\nERROR: input must be positive at -e line 0.\n\nStacktrace:\n  [1] internal_call_function\n    @ ~/oscar-runners/runner-05/julia/packages/CxxWrap/eWADG/src/CxxWrap.jl:668 [inlined]\n  [2] (::Polymake.var\"#32#33\"{Symbol, CxxWrap.StdLib.StdVectorAllocated{CxxWrap.StdLib.StdString}, Vector{Any}, String})()\n    @ Polymake  Polymake\n  [3] disable_sigint\n    @ ./c.jl:167 [inlined]\n  [4] call_function(::Type{…}, ::Symbol, ::Symbol, ::Int32, ::Vararg{…}; template_parameters::Vector{…}, calltype::Symbol, kwargs::@Kwargs{})\n    @ Polymake  Polymake\n  [5] call_function\n    @  Polymake [inlined]\n  [6] #call_function#34\n    @  Polymake [inlined]\n  [7] call_function\n    @  Polymake [inlined]\n  [8] _\n    @  Polymake [inlined]\n  [9] pseudopower\n    @  Polymake [inlined]\n [10] (::var\"#5#6\")(g2::Int32)\n    @ Main.__311 ./none:-1\n [11] iterate\n    @ ./generator.jl:48 [inlined]\n [12] collect(itr::Base.Generator{UnitRange{Int32}, var\"#5#6\"})\n    @ Base ./array.jl:789\n [13] top-level scope\n    @ REPL[64]:1\nSome type information was truncated. Use `show(err)` to see complete types."
      From worker 2:	
      From worker 2:	Stacktrace:
      From worker 2:	 [1] macro expansion
      From worker 2:	   @ ~/oscar-runners/runner-05/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:679 [inlined]
      From worker 2:	 [2] macro expansion
      From worker 2:	   @ ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:272 [inlined]
      From worker 2:	 [3] macro expansion
      From worker 2:	   @ ~/oscar-runners/runner-05/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:1724 [inlined]
      From worker 2:	 [4] (::var"#test_chapter##1#test_chapter##2"{String, String, Vector{Any}, var"#close_repl#close_repl##0", var"#sanitize_input#sanitize_input##0"{var"#normalize_repl_output#normalize_repl_output##0"}, var"#normalize_repl_output#normalize_repl_output##0", Vector{String}, Vector{String}})()
      From worker 2:	   @ Main ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:233
      From worker 2:	"""
      From worker 2:	  julia> min_g2 = minimum(g_vectors[:,1])
      From worker 2:	- 159
      From worker 2:	+ -1626938912
      From worker 2:	  
      From worker 2:	  julia> max_g2 = maximum(g_vectors[:,1])
      From worker 2:	- 192
      From worker 2:	+ 2129164304
      From worker 2:	  
      From worker 2:	  julia> show(upper_bound_g_vector(6,30))
      From worker 2:	  [1, 23, 276, 2300]
      From worker 2:	  julia> ub = [ Int(Polymake.polytope.pseudopower(g2,2)) for g2 in min_g2:max_g2 ]
      From worker 2:	- 34-element Vector{Int64}:
      From worker 2:	-   990
      From worker 2:	-   997
      From worker 2:	-  1005
      From worker 2:	-  1014
      From worker 2:	-  1024
      From worker 2:	-  1035
      From worker 2:	-  1047
      From worker 2:	-  1060
      From worker 2:	-  1074
      From worker 2:	-  1089
      From worker 2:	-  1105
      From worker 2:	-  1122
      From worker 2:	-  [1140](https://github.com/oscar-system/Oscar.jl/actions/runs/12308994624/job/34355330441#step:10:1143)
      From worker 2:	-  [1141](https://github.com/oscar-system/Oscar.jl/actions/runs/12308994624/job/34355330441#step:10:1144)
      From worker 2:	-  1143
      From worker 2:	-  1146
      From worker 2:	-  1150
      From worker 2:	-  1155
      From worker 2:	-  1161
      From worker 2:	-  1168
      From worker 2:	-  1176
      From worker 2:	-  1185
      From worker 2:	-  1195
      From worker 2:	-  1206
      From worker 2:	-  1218
      From worker 2:	-  1231
      From worker 2:	-  1245
      From worker 2:	-  1260
      From worker 2:	-  1276
      From worker 2:	-  1293
      From worker 2:	-  1311
      From worker 2:	-  1330
      From worker 2:	-  1331
      From worker 2:	-  1333
      From worker 2:	+ ERROR: input must be positive at -e line 0.
      From worker 2:	+ 
      From worker 2:	+ Stacktrace:
      From worker 2:	+   [1] internal_call_function
      From worker 2:	+     @ ~/oscar-runners/runner-05/julia/packages/CxxWrap/eWADG/src/CxxWrap.jl:668 [inlined]
      From worker 2:	+   [2] (::Polymake.var\"#32#33\"{Symbol, CxxWrap.StdLib.StdVectorAllocated{CxxWrap.StdLib.StdString}, Vector{Any}, String})()
      From worker 2:	+     @ Polymake  Polymake
      From worker 2:	+   [3] disable_sigint
      From worker 2:	+     @ ./c.jl:167 [inlined]
      From worker 2:	+   [4] call_function(::Type{…}, ::Symbol, ::Symbol, ::Int32, ::Vararg{…}; template_parameters::Vector{…}, calltype::Symbol, kwargs::@Kwargs{})
      From worker 2:	+     @ Polymake  Polymake
      From worker 2:	+   [5] call_function
      From worker 2:	+     @  Polymake [inlined]
      From worker 2:	+   [6] #call_function#34
      From worker 2:	+     @  Polymake [inlined]
      From worker 2:	+   [7] call_function
      From worker 2:	+     @  Polymake [inlined]
      From worker 2:	+   [8] _
      From worker 2:	+     @  Polymake [inlined]
      From worker 2:	+   [9] pseudopower
      From worker 2:	+     @  Polymake [inlined]
      From worker 2:	+  [10] (::var\"#5#6\")(g2::Int32)
      From worker 2:	+     @ Main.__311 ./none:-1
      From worker 2:	+  [11] iterate
      From worker 2:	+     @ ./generator.jl:48 [inlined]
      From worker 2:	+  [12] collect(itr::Base.Generator{UnitRange{Int32}, var\"#5#6\"})
      From worker 2:	+     @ Base ./array.jl:789
      From worker 2:	+  [13] top-level scope
      From worker 2:	+     @ REPL[64]:1
      From worker 2:	+ Some type information was truncated. Use `show(err)` to see complete types."""
      From worker 2:	    GelfandTsetlinEx.jlcon
      From worker 2:	    generalized_gelfand_tsetlin.jlcon
      From worker 2:	    GT_character.jlcon
      From worker 2:	    D222Computation.jlcon
      From worker 2:	    hyperdeterminant.jlcon
      From worker 2:	    SecondaryPolytope.jlcon
      From worker 2:	    Explosion.jlcon
      From worker 2:	    GKZ_orbits.jlcon
      From worker 2:	    ch-benchmark.jlcon: skip
      From worker 2:	  closing mockrepl: Main.__311

      From worker 2:	cornerstones/algebraic-geometry
      From worker 2:	  created mockrepl: Main.__462
      From worker 2:	    ex11.jlcon
      From worker 2:	    ex11dist.jlcon
      From worker 2:	    default.jlcon
      From worker 2:	    ex-primdec.jlcon
      From worker 2:	    ex-dim.jlcon
      From worker 2:	    circlepar.jlcon
      From worker 2:	    twocusps.jlcon
      From worker 2:	
      From worker 2:	GC: pause 1000.16ms. collected 3086.301125MB. incr 
      From worker 2:	Heap stats: bytes_mapped 6593.61 MB, bytes_resident 6566.42 MB,
      From worker 2:	heap_size 7789.72 MB, heap_target 8314.54 MB, Fragmentation 0.610
      From worker 2:	    delta.jlcon
      From worker 2:	    ex21.jlcon
      From worker 2:	    ex21a.jlcon
      From worker 2:	    ex21b.jlcon
      From worker 2:	    ex23.jlcon
      From worker 2:	    ex23a.jlcon
      From worker 2:	    param.jlcon
      From worker 2:	    ex32.jlcon
      From worker 2:	    exres.jlcon
      From worker 2:	    hilbert-polynomial.jlcon
      From worker 2:	    exres2.jlcon
      From worker 2:	    ex314.jlcon
      From worker 2:	    char3-surface-1.jlcon
      From worker 2:	
      From worker 2:	GC: pause 619.88ms. collected 2486.912666MB. incr 
      From worker 2:	Heap stats: bytes_mapped 6849.67 MB, bytes_resident 6629.55 MB,
      From worker 2:	heap_size 7719.70 MB, heap_target 8127.47 MB, Fragmentation 0.579
      From worker 2:	    char3-surface-2.jlcon
      From worker 2:	    alexander-surface.jlcon
      From worker 2:	
      From worker 2:	GC: pause 693.90ms. collected 2051.739487MB. incr 
      From worker 2:	Heap stats: bytes_mapped 6849.67 MB, bytes_resident 6619.11 MB,
      From worker 2:	heap_size 7913.18 MB, heap_target 8333.23 MB, Fragmentation 0.534
      From worker 2:	    dual_curve_function.jlcon
      From worker 2:	
      From worker 2:	GC: pause 219.67ms. collected 1252.137817MB. incr 
      From worker 2:	Heap stats: bytes_mapped 6849.67 MB, bytes_resident 6618.77 MB,
      From worker 2:	heap_size 7762.64 MB, heap_target 8150.77 MB, Fragmentation 0.573
      From worker 2:	cornerstones/algebraic-geometry: Error During Test at /home/oscarci-tester/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:280
      From worker 2:	  Test threw exception
      From worker 2:	  Expression: run_repl_string(mockrepl, code; jlcon_mode = false) isa AbstractString
      From worker 2:	  ERROR in jl-mode:
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	  julia> function dual_curve(f::MPolyRingElem, P_dual::MPolyRing)
      From worker 2:	    P = parent(f)
      From worker 2:	      vars_P = gens(P)
      From worker 2:	        nvars_P = ngens(P)
      From worker 2:	   vars_P_dual = gens(P_dual)
      From worker 2:	     # Extend the original polynomial ring to include the variables of P_dual
      From worker 2:	  ERROR: ParseError:
      From worker 2:	  # Error @ REPL[219]:6:11
      From worker 2:	   vars_P_dual = gens(P_dual)
      From worker 2:	     # Extend the original polynomial ring to include the variables of P_dual
      From worker 2:	  #         └ ── Expected `end`
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL:1
      From worker 2:	  julia>   P_ext, vars_ext = polynomial_ring(base_ring(P), [[string(v) for v in vars_P]; [string(v) for v in vars_P_dual]])
      From worker 2:	  ERROR: UndefVarError: `vars_P` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[220]:1
      From worker 2:	  
      From worker 2:	  julia>   inc = hom(P, P_ext, vars_ext[1:nvars_P])
      From worker 2:	  ERROR: UndefVarError: `P_ext` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[221]:1
      From worker 2:	  
      From worker 2:	  julia>   f_ext = inc(f)
      From worker 2:	  ERROR: UndefVarError: `inc` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[222]:1
      From worker 2:	  
      From worker 2:	  julia>   # Compute the Jacobian matrix with respect to the original variables
      From worker 2:	  
      From worker 2:	  julia>   jf = transpose(jacobian_matrix(f_ext)[1:nvars_P, 1:1])
      From worker 2:	  ERROR: UndefVarError: `f_ext` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[224]:1
      From worker 2:	  
      From worker 2:	  julia>   # Form the matrix with the last 'ngens(P_dual)' variables of P_ext
      From worker 2:	  
      From worker 2:	  julia>   A = matrix([vars_ext[(end-ngens(P_dual)+1):end]])
      From worker 2:	  ERROR: UndefVarError: `vars_ext` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[226]:1
      From worker 2:	  
      From worker 2:	  julia>   # Stack the Jacobian matrix and the matrix A
      From worker 2:	  
      From worker 2:	  julia>   m2x3 = vcat(jf, A)
      From worker 2:	  ERROR: UndefVarError: `jf` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[228]:1
      From worker 2:	  
      From worker 2:	  julia>   # Compute minors and saturate
      From worker 2:	  
      From worker 2:	  julia>   I = ideal(minors(m2x3, 2))
      From worker 2:	  ERROR: UndefVarError: `m2x3` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[230]:1
      From worker 2:	  
      From worker 2:	  julia>   J = ideal([jf[1, i] for i in 1:ncols(jf)])
      From worker 2:	  ERROR: UndefVarError: `jf` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[231]:1
      From worker 2:	  
      From worker 2:	  julia>   Isat = saturation(I + ideal([f_ext]), J)
      From worker 2:	  ERROR: UndefVarError: `f_ext` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[232]:1
      From worker 2:	  
      From worker 2:	  julia>   # Project to the dual space
      From worker 2:	  
      From worker 2:	  julia>   proj_dual_images = vcat([zero(P_dual) for _ in 1:nvars_P], gens(P_dual))
      From worker 2:	  ERROR: UndefVarError: `nvars_P` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[234]:1
      From worker 2:	  
      From worker 2:	  julia>   proj = hom(P_ext, P_dual, proj_dual_images)
      From worker 2:	  ERROR: UndefVarError: `P_ext` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[235]:1
      From worker 2:	  
      From worker 2:	  julia>   dual_curve = groebner_basis(proj(Isat))
      From worker 2:	  ERROR: UndefVarError: `Isat` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[236]:1
      From worker 2:	  
      From worker 2:	  julia>   return dual_curve[1]
      From worker 2:	  ERROR: UndefVarError: `dual_curve` not defined in `Main.__462`
      From worker 2:	  Suggestion: check for spelling errors or missing imports.
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL[237]:1
      From worker 2:	  
      From worker 2:	  julia> end
      From worker 2:	  ERROR: ParseError:
      From worker 2:	  # Error @ REPL[238]:1:1
      From worker 2:	  end
      From worker 2:	  └─┘ ── invalid identifier
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] top-level scope
      From worker 2:	     @ REPL:1
      From worker 2:	  Stacktrace:
      From worker 2:	   [1] error(::String, ::SubString{String})
      From worker 2:	     @ Base ./error.jl:54
      From worker 2:	   [2] (::var"#run_repl_string#run_repl_string##0"{var"#run_repl_string#42#53"{var"#sanitize_output#sanitize_output##0"{var"#normalize_repl_output#normalize_repl_output##0"}}})(mockrepl::MockREPLHelper, s::SubString{String}; jlcon_mode::Bool)
      From worker 2:	     @ Main ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:199
      From worker 2:	   [3] macro expansion
      From worker 2:	     @ ~/oscar-runners/runner-05/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined]
      From worker 2:	   [4] macro expansion
      From worker 2:	     @ ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:280 [inlined]
      From worker 2:	   [5] macro expansion
      From worker 2:	     @ ~/oscar-runners/runner-05/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:1724 [inlined]
      From worker 2:	   [6] (::var"#test_chapter##1#test_chapter##2"{String, String, Vector{Any}, var"#close_repl#close_repl##0", var"#sanitize_input#sanitize_input##0"{var"#normalize_repl_output#normalize_repl_output##0"}, var"#normalize_repl_output#normalize_repl_output##0", Vector{String}, Vector{String}})()
      From worker 2:	     @ Main ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:233
      From worker 2:	    dualcurve.jlcon
      From worker 2:	cornerstones/algebraic-geometry: Test Failed at /home/oscarci-tester/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:272
      From worker 2:	  Expression: normalize_repl_output(content) == computed
      From worker 2:	   Evaluated: "julia> P, (x, y, z) = graded_polynomial_ring(QQ, [\"x\", \"y\", \"z\"]);\n\njulia> f = 8*x^4+20*x^2*y^2+8*y^4-48*x^2*z^2-48*y^2*z^2+65*z^4;\n\njulia> P_dual, (u, v, w) = graded_polynomial_ring(QQ, [\"u\", \"v\", \"w\"]);\n\njulia> f_dual = dual_curve(f, P_dual)\n101920*u^12 - 283920*u^10*v^2 - 424704*u^10*w^2 - 329160*u^8*v^4 - 420192*u^8*v^2*w^2 + 701152*u^8*w^4 + 1211860*u^6*v^6 - 200976*u^6*v^4*w^2 + 1603016*u^6*v^2*w^4 - 585600*u^6*w^6 - 329160*u^4*v^8 - 200976*u^4*v^6*w^2 + 1873041*u^4*v^4*w^4 - 1405488*u^4*v^2*w^6 + 261000*u^4*w^8 - 283920*u^2*v^10 - 420192*u^2*v^8*w^2 + 1603016*u^2*v^6*w^4 - 1405488*u^2*v^4*w^6 + 489600*u^2*v^2*w^8 - 58752*u^2*w^10 + 101920*v^12 - 424704*v^10*w^2 + 701152*v^8*w^4 - 585600*v^6*w^6 + 261000*v^4*w^8 - 58752*v^2*w^10 + 5184*w^12\n\njulia> f1 = x^4+y^3*z-y*z^3;\n\njulia> f1_dual = dual_curve(f1, P_dual);\n\njulia> f1_dual(u,1,w)\n4*u^12 - 48*u^8*w^3 + 48*u^8*w - 27*u^4*w^8 + 84*u^4*w^6 - 546*u^4*w^4 + 84*u^4*w^2 - 27*u^4 - 256*w^9 + 768*w^7 - 768*w^5 + 256*w^3\n\njulia> f2 = x^4+y^3*z-y*z^3-2//9*x^2*z^2+1//81*z^4;\n\njulia> f2_dual = dual_curve(f2, P_dual);\n\njulia> f2_dual(u,1,w)\n235953*u^12 + 8748*u^10*w^2 + 314928*u^10*w + 2916*u^10 - 118098*u^8*w^4 - 2834352*u^8*w^3 + 8748*u^8*w^2 + 2831760*u^8*w - 1458*u^8 + 708588*u^6*w^6 - 866052*u^6*w^4 + 90720*u^6*w^3 + 3700404*u^6*w^2 + 33696*u^6*w + 235940*u^6 - 1594323*u^4*w^8 + 4960116*u^4*w^6 - 1189728*u^4*w^5 - 32240754*u^4*w^4 + 46656*u^4*w^3 + 4967028*u^4*w^2 + 303264*u^4*w - 1589715*u^4 + 6928416*u^2*w^7 - 8188128*u^2*w^5 - 6[2208](https://github.com/oscar-system/Oscar.jl/actions/runs/12308994624/job/34355330441#step:10:2211)*u^2*w^4 + 3149280*u^2*w^3 - 1889568*u^2*w - 20736*u^2 - 15116544*w^9 + 45349632*w^7 + 186624*w^6 - 45349632*w^5 - 373248*w^4 + 15116544*w^3 + 186624*w^2" == "julia> P, (x, y, z) = graded_polynomial_ring(QQ, [\"x\", \"y\", \"z\"]);\n\njulia> f = 8*x^4+20*x^2*y^2+8*y^4-48*x^2*z^2-48*y^2*z^2+65*z^4;\n\njulia> P_dual, (u, v, w) = graded_polynomial_ring(QQ, [\"u\", \"v\", \"w\"]);\n\njulia> f_dual = dual_curve(f, P_dual)\nERROR: UndefVarError: `dual_curve` not defined in `Main.__462`\nSuggestion: check for spelling errors or missing imports.\nStacktrace:\n [1] top-level scope\n   @ REPL[243]:1\n\njulia> f1 = x^4+y^3*z-y*z^3;\n\njulia> f1_dual = dual_curve(f1, P_dual);\nERROR: UndefVarError: `dual_curve` not defined in `Main.__462`\nSuggestion: check for spelling errors or missing imports.\nStacktrace:\n [1] top-level scope\n   @ REPL[245]:1\n\njulia> f1_dual(u,1,w)\nERROR: UndefVarError: `f1_dual` not defined in `Main.__462`\nSuggestion: check for spelling errors or missing imports.\nStacktrace:\n [1] top-level scope\n   @ REPL[246]:1\n\njulia> f2 = x^4+y^3*z-y*z^3-2//9*x^2*z^2+1//81*z^4;\n\njulia> f2_dual = dual_curve(f2, P_dual);\nERROR: UndefVarError: `dual_curve` not defined in `Main.__462`\nSuggestion: check for spelling errors or missing imports.\nStacktrace:\n [1] top-level scope\n   @ REPL[248]:1\n\njulia> f2_dual(u,1,w)\nERROR: UndefVarError: `f2_dual` not defined in `Main.__462`\nSuggestion: check for spelling errors or missing imports.\nStacktrace:\n [1] top-level scope\n   @ REPL[249]:1"
      From worker 2:	
      From worker 2:	Stacktrace:
      From worker 2:	 [1] macro expansion
      From worker 2:	   @ ~/oscar-runners/runner-05/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:679 [inlined]
      From worker 2:	 [2] macro expansion
      From worker 2:	   @ ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:272 [inlined]
      From worker 2:	 [3] macro expansion
      From worker 2:	   @ ~/oscar-runners/runner-05/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:1724 [inlined]
      From worker 2:	 [4] (::var"#test_chapter##1#test_chapter##2"{String, String, Vector{Any}, var"#close_repl#close_repl##0", var"#sanitize_input#sanitize_input##0"{var"#normalize_repl_output#normalize_repl_output##0"}, var"#normalize_repl_output#normalize_repl_output##0", Vector{String}, Vector{String}})()
      From worker 2:	   @ Main ~/oscar-runners/runner-05/_work/Oscar.jl/Oscar.jl/test/book/test.jl:233
      From worker 2:	"""
      From worker 2:	  julia> P, (x, y, z) = graded_polynomial_ring(QQ, [\"x\", \"y\", \"z\"]);
      From worker 2:	  
      From worker 2:	  julia> f = 8*x^4+20*x^2*y^2+8*y^4-48*x^2*z^2-48*y^2*z^2+65*z^4;
      From worker 2:	  
      From worker 2:	  julia> P_dual, (u, v, w) = graded_polynomial_ring(QQ, [\"u\", \"v\", \"w\"]);
      From worker 2:	  
      From worker 2:	  julia> f_dual = dual_curve(f, P_dual)
      From worker 2:	- 101920*u^12 - 283920*u^10*v^2 - 424704*u^10*w^2 - 329160*u^8*v^4 - 420192*u^8*v^2*w^2 + 701152*u^8*w^4 + 1211860*u^6*v^6 - 200976*u^6*v^4*w^2 + 1603016*u^6*v^2*w^4 - 585600*u^6*w^6 - 329160*u^4*v^8 - 200976*u^4*v^6*w^2 + 1873041*u^4*v^4*w^4 - 1405488*u^4*v^2*w^6 + 261000*u^4*w^8 - 283920*u^2*v^10 - 420192*u^2*v^8*w^2 + 1603016*u^2*v^6*w^4 - 1405488*u^2*v^4*w^6 + 489600*u^2*v^2*w^8 - 58752*u^2*w^10 + 101920*v^12 - 424704*v^10*w^2 + 701152*v^8*w^4 - 585600*v^6*w^6 + 261000*v^4*w^8 - 58752*v^2*w^10 + 5184*w^12
      From worker 2:	+ ERROR: UndefVarError: `dual_curve` not defined in `Main.__462`
      From worker 2:	+ Suggestion: check for spelling errors or missing imports.
      From worker 2:	+ Stacktrace:
      From worker 2:	+  [1] top-level scope
      From worker 2:	+    @ REPL[243]:1
      From worker 2:	  
      From worker 2:	  julia> f1 = x^4+y^3*z-y*z^3;
      From worker 2:	  
      From worker 2:	  julia> f1_dual = dual_curve(f1, P_dual);
      From worker 2:	+ ERROR: UndefVarError: `dual_curve` not defined in `Main.__462`
      From worker 2:	+ Suggestion: check for spelling errors or missing imports.
      From worker 2:	+ Stacktrace:
      From worker 2:	+  [1] top-level scope
      From worker 2:	+    @ REPL[245]:1
      From worker 2:	  
      From worker 2:	  julia> f1_dual(u,1,w)
      From worker 2:	- 4*u^12 - 48*u^8*w^3 + 48*u^8*w - 27*u^4*w^8 + 84*u^4*w^6 - 546*u^4*w^4 + 84*u^4*w^2 - 27*u^4 - 256*w^9 + 768*w^7 - 768*w^5 + 256*w^3
      From worker 2:	+ ERROR: UndefVarError: `f1_dual` not defined in `Main.__462`
      From worker 2:	+ Suggestion: check for spelling errors or missing imports.
      From worker 2:	+ Stacktrace:
      From worker 2:	+  [1] top-level scope
      From worker 2:	+    @ REPL[246]:1
      From worker 2:	  
      From worker 2:	  julia> f2 = x^4+y^3*z-y*z^3-2//9*x^2*z^2+1//81*z^4;
      From worker 2:	  
      From worker 2:	  julia> f2_dual = dual_curve(f2, P_dual);
      From worker 2:	+ ERROR: UndefVarError: `dual_curve` not defined in `Main.__462`
      From worker 2:	+ Suggestion: check for spelling errors or missing imports.
      From worker 2:	+ Stacktrace:
      From worker 2:	+  [1] top-level scope
      From worker 2:	+    @ REPL[248]:1
      From worker 2:	  
      From worker 2:	  julia> f2_dual(u,1,w)
      From worker 2:	- 235953*u^12 + 8748*u^10*w^2 + 314928*u^10*w + 2916*u^10 - 118098*u^8*w^4 - 2834352*u^8*w^3 + 8748*u^8*w^2 + 2831760*u^8*w - 1458*u^8 + 708588*u^6*w^6 - 866052*u^6*w^4 + 90720*u^6*w^3 + 3700404*u^6*w^2 + 33696*u^6*w + 235940*u^6 - 1594323*u^4*w^8 + 4960116*u^4*w^6 - 1189728*u^4*w^5 - 3[2240](https://github.com/oscar-system/Oscar.jl/actions/runs/12308994624/job/34355330441#step:10:2243)754*u^4*w^4 + 46656*u^4*w^3 + 4967028*u^4*w^2 + 303264*u^4*w - 1589715*u^4 + 6928416*u^2*w^7 - 8188128*u^2*w^5 - 62208*u^2*w^4 + 3149280*u^2*w^3 - 1889568*u^2*w - 20736*u^2 - 15116544*w^9 + 45349632*w^7 + 186624*w^6 - 45349632*w^5 - 373248*w^4 + 15116544*w^3 + 186624*w^2
      From worker 2:	+ ERROR: UndefVarError: `f2_dual` not defined in `Main.__462`
      From worker 2:	+ Suggestion: check for spelling errors or missing imports.
      From worker 2:	+ Stacktrace:
      From worker 2:	+  [1] top-level scope
      From worker 2:	+    @ REPL[249]:1"""
      From worker 2:	    monodromy.jlcon
      From worker 2:	
      From worker 2:	GC: pause 219.69ms. collected 1150.816605MB. incr 
      From worker 2:	Heap stats: bytes_mapped 6849.67 MB, bytes_resident 6618.77 MB,
      From worker 2:	heap_size 7755.04 MB, heap_target 8142.80 MB, Fragmentation 0.555
      From worker 2:	    canonicalimage.jlcon
      From worker 2:	    deformation.jlcon
      From worker 2:	    zariski.jlcon
      From worker 2:	
      From worker 2:	GC: pause 345.95ms. collected 858.717155MB. incr 
      From worker 2:	Heap stats: bytes_mapped 6849.67 MB, bytes_resident 6618.77 MB,
      From worker 2:	heap_size 7928.69 MB, heap_target 8325.13 MB, Fragmentation 0.539
      From worker 2:	  closing mockrepl: Main.__462

The text was updated successfully, but these errors were encountered:

benlorenz · 2024-12-13T10:57:21Z

The issue is that multi-line input with comments is partially broken in the latest nightly versions (only when entering line-by-line, not when pasting). For example try entering something like this:

julia> function bla()
       a=1
       b=2 #a comment
ERROR: ParseError:
# Error @ REPL[2]:3:4
a=1
b=2 #a comment
#  └ ── Expected `end`
Stacktrace:
 [1] top-level scope
   @ REPL:1

In previous julia versions the error only appears after entering the second empty line.

See JuliaLang/JuliaSyntax.jl#519

lgoettgens · 2025-02-17T13:22:10Z

Most of the issues have been resolved by JuliaSyntax.jl v1.0.2, which has been backported to 1.12-dev.

However, one different error that looks similar is still there:

      From worker 2:	cornerstones/number-theory: Test Failed at /home/oscarci-tester/oscar-runners/runner-01/_work/Oscar.jl/Oscar.jl/test/book/test.jl:272
      From worker 2:	  Expression: normalize_repl_output(content) == computed
      From worker 2:	   Evaluated: "julia> Oscar.randseed!(3371100);\n\njulia> Qx, x = QQ[\"x\"];\n\njulia> K, a = number_field(x^4 + 4*x^2 + 2, \"a\");\n\njulia> b = rand(K, -10:10) # random element with coefficients\n      # between -10 and 10\n5*a^3 - 7*a^2 + 8*a - 8\n\njulia> A, mA = automorphism_group(K);\n\njulia> list = [mA(s)(b) for s in A]\n4-element Vector{AbsSimpleNumFieldElem}:\n 5*a^3 - 7*a^2 + 8*a - 8\n -7*a^3 + 7*a^2 - 26*a + 20\n -5*a^3 - 7*a^2 - 8*a - 8\n 7*a^3 + 7*a^2 + 26*a + 20\n\njulia> X = matrix(QQ, coordinates.(list))\n[-8     8   -7    5]\n[20   -26    7   -7]\n[-8    -8   -7   -5]\n[20    26    7    7]\n\njulia> det(X) != 0\ntrue\n\njulia> det(matrix(QQ, [coordinates(mA(s)(a)) for s in A]))\n0\n\njulia> V, f = galois_module(K);\n\njulia> OK = ring_of_integers(K);\n\njulia> M = f(OK);\n\njulia> is_free(M)\nfalse\n\njulia> fl = is_locally_free(M, 2)\nfalse\n\njulia> prime_decomposition_type(OK, 2)\n1-element Vector{Tuple{Int64, Int64}}:\n (1, 4)\n\njulia> K, a = number_field(x^4 - x^3 + x^2 - x + 1, \"a\");\n\njulia> is_tamely_ramified(K)\ntrue\n\njulia> V, f = galois_module(K); OK = ring_of_integers(K); M = f(OK);\n\njulia> fl, c = is_free_with_basis(M); # the elements of c form a basis\n\njulia> b = preimage(f, c[1]) # the element may be different per session\na^3\n\njulia> A, mA = automorphism_group(K);\n\njulia> X = matrix(ZZ, [coordinates(OK(mA(s)(b))) for s in A])\n[0    0    0    1]\n[1   -1    1   -1]\n[0    0   -1    0]\n[0    1    0    0]\n\njulia> det(X)\n-1\n\njulia> k, = number_field(x^4 - 13*x^2 + 16); candidates = []; for F in abelian_normal_extensions(k, [2], ZZ(10)^13)\n  K, = absolute_simple_field(number_field(F))\n  if !is_tamely_ramified(K)\n    continue\n  end\n  if !is_isomorphic(galois_group(K)[1], quaternion_group(8))\n    continue\n  end\n  push!(candidates, K)\nend\n\njulia> length(candidates)\n2\n\njulia> K = candidates[2]; V, f = galois_module(K); OK = ring_of_integers(K); M = f(OK);\n\njulia> fl = is_free(M)\nfalse\n\njulia> defining_polynomial(K)\nx^8 + 105*x^6 + 3465*x^4 + 44100*x^2 + 176400" == "julia> Oscar.randseed!(3371100);\n\njulia> Qx, x = QQ[\"x\"];\n\njulia> K, a = number_field(x^4 + 4*x^2 + 2, \"a\");\n\njulia> b = rand(K, -10:10) # random element with coefficients\n5*a^3 - 7*a^2 + 8*a - 8\n\njulia> A, mA = automorphism_group(K);\n\njulia> list = [mA(s)(b) for s in A]\n4-element Vector{AbsSimpleNumFieldElem}:\n 5*a^3 - 7*a^2 + 8*a - 8\n -7*a^3 + 7*a^2 - 26*a + 20\n -5*a^3 - 7*a^2 - 8*a - 8\n 7*a^3 + 7*a^2 + 26*a + 20\n\njulia> X = matrix(QQ, coordinates.(list))\n[-8     8   -7    5]\n[20   -26    7   -7]\n[-8    -8   -7   -5]\n[20    26    7    7]\n\njulia> det(X) != 0\ntrue\n\njulia> det(matrix(QQ, [coordinates(mA(s)(a)) for s in A]))\n0\n\njulia> V, f = galois_module(K);\n\njulia> OK = ring_of_integers(K);\n\njulia> M = f(OK);\n\njulia> is_free(M)\nfalse\n\njulia> fl = is_locally_free(M, 2)\nfalse\n\njulia> prime_decomposition_type(OK, 2)\n1-element Vector{Tuple{Int64, Int64}}:\n (1, 4)\n\njulia> K, a = number_field(x^4 - x^3 + x^2 - x + 1, \"a\");\n\njulia> is_tamely_ramified(K)\ntrue\n\njulia> V, f = galois_module(K); OK = ring_of_integers(K); M = f(OK);\n\njulia> fl, c = is_free_with_basis(M); # the elements of c form a basis\n\njulia> b = preimage(f, c[1]) # the element may be different per session\na^3\n\njulia> A, mA = automorphism_group(K);\n\njulia> X = matrix(ZZ, [coordinates(OK(mA(s)(b))) for s in A])\n[0    0    0    1]\n[1   -1    1   -1]\n[0    0   -1    0]\n[0    1    0    0]\n\njulia> det(X)\n-1\n\njulia> k, = number_field(x^4 - 13*x^2 + 16); candidates = []; for F in abelian_normal_extensions(k, [2], ZZ(10)^13)\n  K, = absolute_simple_field(number_field(F))\n  if !is_tamely_ramified(K)\n    continue\n  end\n  if !is_isomorphic(galois_group(K)[1], quaternion_group(8))\n    continue\n  end\n  push!(candidates, K)\nend\n\njulia> length(candidates)\n2\n\njulia> K = candidates[2]; V, f = galois_module(K); OK = ring_of_integers(K); M = f(OK);\n\njulia> fl = is_free(M)\nfalse\n\njulia> defining_polynomial(K)\nx^8 + 105*x^6 + 3465*x^4 + 44100*x^2 + 176400"
      From worker 2:	
      From worker 2:	Stacktrace:
      From worker 2:	 [1] macro expansion
      From worker 2:	   @ ~/oscar-runners/runner-01/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.13/Test/src/Test.jl:679 [inlined]
      From worker 2:	 [2] macro expansion
      From worker 2:	   @ ~/oscar-runners/runner-01/_work/Oscar.jl/Oscar.jl/test/book/test.jl:272 [inlined]
      From worker 2:	 [3] macro expansion
      From worker 2:	   @ ~/oscar-runners/runner-01/_work/_tool/julia/nightly/x64/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined]
      From worker 2:	 [4] (::var"#test_chapter##1#test_chapter##2"{String, String, Vector{Any}, var"#close_repl#close_repl##0", var"#sanitize_input#sanitize_input##0"{var"#normalize_repl_output#normalize_repl_output##0"}, var"#normalize_repl_output#normalize_repl_output##0", Vector{String}, Vector{String}})()
      From worker 2:	   @ Main ~/oscar-runners/runner-01/_work/Oscar.jl/Oscar.jl/test/book/test.jl:233
      From worker 2:	"""
      From worker 2:	  julia> Oscar.randseed!(3371100);
      From worker 2:	  
      From worker 2:	  julia> Qx, x = QQ[\"x\"];
      From worker 2:	  
      From worker 2:	  julia> K, a = number_field(x^4 + 4*x^2 + 2, \"a\");
      From worker 2:	  
      From worker 2:	  julia> b = rand(K, -10:10) # random element with coefficients
      From worker 2:	-       # between -10 and 10
      From worker 2:	  5*a^3 - 7*a^2 + 8*a - 8
      From worker 2:	  
      From worker 2:	  julia> A, mA = automorphism_group(K);
[...]

https://github.com/oscar-system/Oscar.jl/actions/runs/13362124166/job/37313475421#step:11:943

@benlorenz Could this maybe be due to some of the book testing code or is this still a julia issue?

thofma · 2025-02-17T13:27:56Z

Hm, the # between -10 and 10 is missing from the "computed" output.

benlorenz · 2025-02-17T13:29:00Z

This is probably another julia issue, I haven't really looked into it but a quick look indicates that nightly and 1.12 swallow the comment while 1.11 prints it back.
You can try this in the shell by pasting the full repl code:

julia> x = 1
       # hello
1

If you paste this in 1.11 it looks exactly like here, in 1.12 and nightly it changes to:

julia> x = 1
1

benlorenz · 2025-02-17T17:34:44Z

Workaround in #4599, could be reverted once the julia issue is solved.

lgoettgens added bug Something isn't working nightly error with julia nightly or pre-releases oscar book PRs necessary for the Oscar book labels Dec 13, 2024

joschmitt mentioned this issue Dec 13, 2024

add isomorphic_subgroups #4401

Merged

lgoettgens mentioned this issue Dec 13, 2024

Further tuning on flattenings of rings #4400

Merged

joschmitt mentioned this issue Dec 16, 2024

Mjrodgers ow g modules #4108

Merged

lgoettgens mentioned this issue Dec 16, 2024

Bump AA, Nemo, Hecke #4405

Merged

lgoettgens mentioned this issue Feb 17, 2025

Pasting multi-line input eats comment JuliaLang/julia#57439

Open

benlorenz added a commit that referenced this issue Feb 17, 2025

booktest: merge comment into one line to avoid #4402

88712f8

benlorenz mentioned this issue Feb 17, 2025

booktest: merge comment into one line to avoid #4402 #4599

Merged

benlorenz added a commit that referenced this issue Feb 17, 2025

booktest: merge comment into one line to avoid #4402 (#4599)

0adf2e8

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Booktest failures on julia nightly #4402

Booktest failures on julia nightly #4402

lgoettgens commented Dec 13, 2024

benlorenz commented Dec 13, 2024

lgoettgens commented Feb 17, 2025

thofma commented Feb 17, 2025

benlorenz commented Feb 17, 2025 •

edited

Loading

benlorenz commented Feb 17, 2025

Booktest failures on julia nightly #4402

Booktest failures on julia nightly #4402

Comments

lgoettgens commented Dec 13, 2024

benlorenz commented Dec 13, 2024

lgoettgens commented Feb 17, 2025

thofma commented Feb 17, 2025

benlorenz commented Feb 17, 2025 • edited Loading

benlorenz commented Feb 17, 2025

benlorenz commented Feb 17, 2025 •

edited

Loading