Package evaluation to test Groebner on Julia 1.14.0-DEV.1404 (db0ee4186e*) started at 2025-12-23T14:38:08.709 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 9.62s ################################################################################ # Installation # Installing Groebner... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [0b43b601] + Groebner v0.10.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.47.6 [a9b6321e] + Atomix v1.1.2 [861a8166] + Combinatorics v1.1.0 [e2ba6199] + ExprTools v0.1.10 [0b43b601] + Groebner v0.10.1 [18e54dd8] + IntegerMathUtils v0.1.3 [692b3bcd] + JLLWrappers v1.7.1 [1914dd2f] + MacroTools v0.5.16 [2edaba10] + Nemo v0.53.2 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.1 [27ebfcd6] + Primes v0.5.7 [fb686558] + RandomExtensions v0.4.4 [a759f4b9] + TimerOutputs v0.5.29 [013be700] + UnsafeAtomics v0.3.0 [e134572f] + FLINT_jll v301.400.1+0 [656ef2d0] + OpenBLAS32_jll v0.3.29+0 [56f22d72] + Artifacts v1.11.0 [ade2ca70] + Dates v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [781609d7] + GMP_jll v6.3.0+2 [3a97d323] + MPFR_jll v4.2.2+0 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 4.92s ################################################################################ # Precompilation # ERROR: LoadError: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Nothing) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:10 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 in expression starting at /PkgEval.jl/scripts/precompile.jl:6 caused by: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Base.DevNull) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:7 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 Precompilation failed after 14.15s ################################################################################ # Testing # Testing Groebner Status `/tmp/jl_EHD6D5/Project.toml` [c3fe647b] AbstractAlgebra v0.47.6 [a9b6321e] Atomix v1.1.2 [6e4b80f9] BenchmarkTools v1.6.3 [861a8166] Combinatorics v1.1.0 [7c1d4256] DynamicPolynomials v0.6.4 [0b43b601] Groebner v0.10.1 [2edaba10] Nemo v0.53.2 [aea7be01] PrecompileTools v1.3.3 [27ebfcd6] Primes v0.5.7 [a759f4b9] TimerOutputs v0.5.29 [b77e0a4c] InteractiveUtils v1.11.0 [56ddb016] Logging v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_EHD6D5/Manifest.toml` [c3fe647b] AbstractAlgebra v0.47.6 [a9b6321e] Atomix v1.1.2 [6e4b80f9] BenchmarkTools v1.6.3 [861a8166] Combinatorics v1.1.0 [34da2185] Compat v4.18.1 [864edb3b] DataStructures v0.19.3 [7c1d4256] DynamicPolynomials v0.6.4 [e2ba6199] ExprTools v0.1.10 [0b43b601] Groebner v0.10.1 [18e54dd8] IntegerMathUtils v0.1.3 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.3.0 [1914dd2f] MacroTools v0.5.16 [102ac46a] MultivariatePolynomials v0.5.13 [d8a4904e] MutableArithmetics v1.6.7 [2edaba10] Nemo v0.53.2 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.1 [27ebfcd6] Primes v0.5.7 [fb686558] RandomExtensions v0.4.4 [189a3867] Reexport v1.2.2 [10745b16] Statistics v1.11.1 [ec057cc2] StructUtils v2.6.0 [a759f4b9] TimerOutputs v0.5.29 [013be700] UnsafeAtomics v0.3.0 [e134572f] FLINT_jll v301.400.1+0 [656ef2d0] OpenBLAS32_jll v0.3.29+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [781609d7] GMP_jll v6.3.0+2 [3a97d323] MPFR_jll v4.2.2+0 [4536629a] OpenBLAS_jll v0.3.29+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [8e850b90] libblastrampoline_jll v5.15.0+0 Testing Running tests... ┌ Warning: The call to compilecache failed to create a usable precompiled cache file for Groebner [0b43b601-686d-58a3-8a1c-6623616c7cd4] │ exception = Required dependency Base.PkgId(Base.UUID("1914dd2f-81c6-5fcd-8719-6d5c9610ff09"), "MacroTools") failed to load from a cache file. └ @ Base loading.jl:2923 WARNING: Method definition invariants_enabled() in module Groebner at /home/pkgeval/.julia/packages/Groebner/4lAu7/src/Groebner.jl:28 overwritten at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/runtests.jl:5. Julia Version 1.14.0-DEV.1404 Commit db0ee4186e* (2025-12-23 05:50 UTC) Platform Info: OS: Linux (x86_64-linux-gnu) CPU: 128 × AMD EPYC 7502 32-Core Processor WORD_SIZE: 64 LLVM: libLLVM-20.1.8 (ORCJIT, znver2) GC: Built with stock GC Threads: 1 default, 0 interactive, 1 GC (on 1 virtual cores) Environment: JULIA_CPU_THREADS = 1 JULIA_NUM_PRECOMPILE_TASKS = 1 JULIA_PKG_PRECOMPILE_AUTO = 0 JULIA_PKGEVAL = true JULIA_DEPOT_PATH = /home/pkgeval/.julia:/usr/local/share/julia: JULIA_NUM_THREADS = 1 JULIA_LOAD_PATH = @:/tmp/jl_EHD6D5 [ Info: Running arithmetic.jl 6.639208 seconds (4.08 M allocations: 203.631 MiB, 2.30% gc time, 96.45% compilation time) [ Info: Running crt.jl 3.367461 seconds (1.89 M allocations: 96.567 MiB, 97.75% compilation time) [ Info: Running ratrec.jl 1.390493 seconds (693.46 k allocations: 35.074 MiB, 96.53% compilation time) [ Info: Running monoms/exponentvector.jl 2.049088 seconds (1.63 M allocations: 86.495 MiB, 97.48% compilation time) [ Info: Running monoms/packedtuples.jl 5.772203 seconds (3.38 M allocations: 176.083 MiB, 2.65% gc time, 95.76% compilation time) [ Info: Running monoms/monom_arithmetic.jl 9.756902 seconds (3.21 M allocations: 167.262 MiB, 4.53% gc time, 97.99% compilation time) [ Info: Running monoms/monom_orders.jl 24.286800 seconds (14.98 M allocations: 774.205 MiB, 1.00% gc time, 98.75% compilation time) [ Info: Running groebner.jl ┌ Warning: Groebner.jl does not have a native implementation for the given field: Finite field F_10715086071862673209484250490600018105614048117055336074437503883703510511249361224931983788156958581275946729175531468251871452856923140435984577574698574803934567774824230985421074605062371141877954182153046474983581941267398767559165543946077062914571196477686542167660429831652624386837205668069673. │ Falling back to a generic implementation (may be slow). │ If this is unexpected, please consider submitting a GitHub issue. └ @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:78 ┌ Info: Possible overflow of exponent vector detected. └ Restarting with at least 32 bits per exponent. ┌ Info: Possible overflow of exponent vector detected. └ Restarting with at least 32 bits per exponent. ┌ Info: Possible overflow of exponent vector detected. └ Restarting with at least 32 bits per exponent. ┌ Info: Two blocks of the product ordering intersect by their variables. │ Block 1: Lex(x6,x2,x1,x5) └ Block 2: Lex(x4,x1,x3) ┌ Info: Two blocks of the product ordering intersect by their variables. │ Block 1: Lex(6,2,1,5) └ Block 2: Lex(4,1,3) [ Info: GB contains polynomials of lengths: [534, 3736, 4667, 5835, 7239, 10421, 14415, 17876, 20346, 23217, 27014, 31093, 35155, 40681, 42486, 47325, 50782, 59734, 70549, 73227, 83523, 84508, 92723, 101776, 109991] [ Info: Variables: 64 [ Info: Variables: 100 [ Info: Variables: 101 [ Info: Variables: 127 [ Info: Variables: 128 [ Info: Variables: 256 [ Info: Variables: 257 ┌ Info: Possible overflow of exponent vector detected. └ Restarting with at least 32 bits per exponent. ┌ Info: The option `tasks = 128` was provided to Groebner.jl, │ however, multi-threading is disabled globally in Groebner.jl. │ The option `tasks` was ignored. └ See `Groebner.threading_enabled()` for details. [ Info: Testing multi-threading over Zp using 1 threads [ Info: Testing multi-threading over QQ using 1 threads [ Info: Producing 46656 small random tests for groebner. This may take a minute 1791.872673 seconds (1.69 G allocations: 106.613 GiB, 2.95% gc time, 86.94% compilation time: <1% of which was recompilation) [ Info: Running learn_and_apply.jl Recorded 1 traces. Showing only one. # Trace of F4 recorded in 0.0 s (0.02 MiB). ring : Z[x1,...,x2] mod 2147483647 input : 2 polynomials output: 2 polynomials apply : 1 / 0 (success/fail) # Parameters input order : DegRevLex() output order : DegRevLex() homogenize : false permute : false monom. type : Groebner.PackedTuple1{UInt64, UInt8} coeff. type : UInt32 arithmetic : Groebner.SpecializedArithmeticZp{UInt64, UInt32, true} # F4 statistics iterations : 1 hashtable : 4 / 1024 filled matrix up-rows : 2 (100.0 % useful) matrix low-rows: 0 (NaN % useful) pair degrees : pair count : ┌ Info: Possible overflow of exponent vector detected. └ Restarting with at least 32 bits per exponent. Recorded 1 traces. Showing only one. # Trace of F4 recorded in 0.0 s (0.02 MiB). ring : Z[x1,...,x2] mod 2147483647 input : 2 polynomials output: 3 polynomials apply : 0 / 0 (success/fail) # Parameters input order : DegRevLex() output order : DegRevLex() homogenize : false permute : false monom. type : Vector{UInt64} coeff. type : UInt32 arithmetic : Groebner.SpecializedArithmeticZp{UInt64, UInt32, true} # F4 statistics iterations : 3 hashtable : 13 / 1024 filled matrix up-rows : 6 (66.67 % useful) matrix low-rows: 2 (50.0 % useful) pair degrees : 2000,2000 pair count : 1,1 Recorded 1 traces. Showing only one. # Trace of F4 recorded in 0.0 s (0.02 MiB). ring : Z[x1,...,x2] mod 4611686018427388039 input : 2 polynomials output: 3 polynomials apply : 0 / 0 (success/fail) # Parameters input order : DegRevLex() output order : DegRevLex() homogenize : false permute : false monom. type : Vector{UInt64} coeff. type : UInt64 arithmetic : Groebner.SpecializedArithmeticZp{UInt128, UInt64, false} # F4 statistics iterations : 3 hashtable : 13 / 1024 filled matrix up-rows : 6 (66.67 % useful) matrix low-rows: 2 (50.0 % useful) pair degrees : 2000,2000 pair count : 1,1 [ Info: Trace might be corrupted. Recovering... ┌ Info: Stress testing groebner_apply! on: │ primes = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 1031, 1048583, 134217689, 134217757] │ boot = 10 │ system = └ AbstractAlgebra.Generic.MPoly{Rational{BigInt}}[x*y + y, x*y + x + y] [ Info: Apply (expectedly) failed in 1052 / 1820 cases. ┌ Info: Stress testing groebner_apply! on: │ primes = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 1031, 1048583, 134217689, 134217757] │ boot = 10 │ system = └ AbstractAlgebra.Generic.MPoly{Rational{BigInt}}[z1 + z2 + z3 + z4 + z5, z1*z2 + z2*z3 + z3*z4 + z1*z5 + z4*z5, z1*z2*z3 + z2*z3*z4 + z1*z2*z5 + z1*z4*z5 + z3*z4*z5, z1*z2*z3*z4 + z1*z2*z3*z5 + z1*z2*z4*z5 + z1*z3*z4*z5 + z2*z3*z4*z5, z1*z2*z3*z4*z5 - 1] [ Info: Apply (expectedly) failed in 1724 / 1820 cases. 241.980060 seconds (151.55 M allocations: 8.965 GiB, 1.76% gc time, 94.55% compilation time) [ Info: Running isgroebner.jl 6.977192 seconds (3.71 M allocations: 222.113 MiB, 2.27% gc time, 91.08% compilation time) [ Info: Running normalform.jl [ Info: Producing 1728 tests for normal form. This may take a minute 29.293462 seconds (16.61 M allocations: 1.075 GiB, 6.07% gc time, 40.56% compilation time) [ Info: Running auxiliary.jl 88.107506 seconds (45.61 M allocations: 2.502 GiB, 1.15% gc time, 99.12% compilation time) [ Info: Running output_inferred.jl 3.013141 seconds (3.34 M allocations: 174.415 MiB, 97.65% compilation time: <1% of which was recompilation) [ Info: Running regressions.jl 28.081130 seconds (3.50 M allocations: 590.105 MiB, 2.54% gc time, 4.74% compilation time) ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("0b43b601-686d-58a3-8a1c-6623616c7cd4"), "Groebner") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=0, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base ./error.jl:44  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2845  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2697  [4] macro expansion  @ ./loading.jl:2625 [inlined]  [5] macro expansion  @ ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2589  [7] require  @ ./loading.jl:2565 [inlined]  [8] eval_import_path  @ ./module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base ./module.jl:60  [10] _eval_using  @ ./module.jl:137 [inlined]  [11] _eval_using(to::Module, path::Expr)  @ Base ./module.jl:137  [12] top-level scope  @ ~/.julia/packages/Groebner/4lAu7/ext/GroebnerDynamicPolynomialsExt.jl:8  [13] include(mod::Module, _path::String)  @ Base ./Base.jl:309  [14] 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:3282  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core ./boot.jl:489  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3124  [18] include_string  @ ./loading.jl:3134 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:342  [20] _start()  @ Base ./client.jl:577 in expression starting at /home/pkgeval/.julia/packages/Groebner/4lAu7/ext/GroebnerDynamicPolynomialsExt.jl:3 in expression starting at stdin:5 1 dependency had output during precompilation: ┌ Groebner → GroebnerDynamicPolynomialsExt │ [Output was shown above] └ ┌ Error: Error during loading of extension GroebnerDynamicPolynomialsExt of Groebner, use `Base.retry_load_extensions()` to retry. │ exception = │ 1-element ExceptionStack: │ The following 1 package failed to precompile: │ │ GroebnerDynamicPolynomialsExt │ Failed to precompile GroebnerDynamicPolynomialsExt [b57151ac-bb7b-5e43-8887-48f7215c8df4] to "/home/pkgeval/.julia/compiled/v1.14/GroebnerDynamicPolynomialsExt/jl_YAxSgm" (ProcessExited(1)). │ └ @ Base loading.jl:1753 [ Info: Running input_output/GroebnerDynamicPolynomialsExt.jl DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:7 Test threw exception Expression: Groebner.groebner(fs) == [zero(x)] DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:7 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:10 Test threw exception Expression: Groebner.groebner(fs) == [zero(x)] DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:10 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:13 Test threw exception Expression: Groebner.groebner(fs) == [one(x)] DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:13 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:16 Test threw exception Expression: Groebner.groebner(fs) == [y + 5 // 4, x + 3 // 2] DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:16 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:19 Test threw exception Expression: Groebner.groebner(fs) == [y, x + 3 // 2] DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, UInt16}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, UInt16}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, UInt16}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, UInt16}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, UInt16}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, UInt16}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:19 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:22 Test threw exception Expression: Groebner.groebner(fs) == [y, x + 20] DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:22 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:25 Test threw exception Expression: Groebner.groebner(fs) == [y + 5 // 4, x + BigInt(20) // BigInt(3)] DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Rational{BigInt}}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Rational{BigInt}}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Rational{BigInt}}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Rational{BigInt}}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Rational{BigInt}}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Rational{BigInt}}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:25 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:28 Test threw exception Expression: Groebner.isgroebner(Groebner.groebner(fs)) DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:28 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:29 Test threw exception Expression: all(iszero, Groebner.normalform(Groebner.groebner(fs), fs)) DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, BigInt}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:29 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:37 Test threw exception Expression: Groebner.groebner(noon3) == [((x1 * x2 ^ 2 + x1 * x3 ^ 2) - 11 // 10 * x1) + 1, ((x1 ^ 2 * x3 + x2 ^ 2 * x3) - 11 // 10 * x3) + 1, ((x1 ^ 2 * x2 + x2 * x3 ^ 2) - 11 // 10 * x2) + 1, ((((x2 ^ 2 * x3 ^ 2 + 11 // 20 * x1 ^ 2) - 11 // 20 * x2 ^ 2) - 11 // 20 * x3 ^ 2) - 1 // 2 * x1) + 1 // 2 * x2 + 1 // 2 * x3, ((x2 ^ 3 * x3 - x2 * x3 ^ 3) + x2) - x3, (((((((((x2 ^ 4 - x3 ^ 4) - 20 // 11 * x1 * x3 ^ 2) - 10 // 11 * x2 ^ 3) + 10 // 11 * x2 ^ 2 * x3) - 10 // 11 * x2 * x3 ^ 2) + 10 // 11 * x3 ^ 3) - 11 // 10 * x2 ^ 2) + 11 // 10 * x3 ^ 2 + x1 + x2) - x3) - 10 // 11, ((((((((x1 ^ 4 - x3 ^ 4) - 10 // 11 * x1 ^ 3) - 10 // 11 * x1 * x3 ^ 2) - 10 // 11 * x2 ^ 2 * x3) - 20 // 11 * x2 * x3 ^ 2) + 10 // 11 * x3 ^ 3) - 11 // 10 * x1 ^ 2) + 11 // 10 * x3 ^ 2 + x1 + x2) - 20 // 11, (((((((((((x3 ^ 5 + 20 // 11 * x1 * x3 ^ 3 + 20 // 11 * x2 * x3 ^ 3) - 10 // 11 * x3 ^ 4) - 33 // 20 * x3 ^ 3) + 1 // 2 * x1 ^ 2) - 3 // 2 * x1 * x3) + 1 // 2 * x2 ^ 2) - 3 // 2 * x2 * x3) + x3 ^ 2) - 5 // 11 * x1) - 5 // 11 * x2) + 6331 // 2200 * x3) - 11 // 20, ((((((x2 * x3 ^ 4 - 11 // 20 * x2 ^ 3) - 11 // 10 * x2 * x3 ^ 2) - 1 // 2 * x1 * x2) + 1 // 2 * x2 ^ 2) - 1 // 2 * x2 * x3) + x3 ^ 2 + 121 // 200 * x2) - 11 // 20, ((((((x1 * x3 ^ 4 - 11 // 20 * x1 ^ 3) - 11 // 10 * x1 * x3 ^ 2) + 1 // 2 * x1 ^ 2) - 1 // 2 * x1 * x2) - 1 // 2 * x1 * x3) + x3 ^ 2 + 121 // 200 * x1) - 11 // 20, ((x1 * x2 * x3 ^ 3 - 11 // 20 * x1 * x2 * x3) - 1 // 2 * x1 * x2) + 1 // 2 * x1 * x3 + 1 // 2 * x2 * x3] DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}; options::@Kwargs{}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [7] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:37 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [9] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 DynamicPolynomials.jl input-output: Error During Test at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:3 Got exception outside of a @test DomainError with Unknown type of polynomials: Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}.: Stacktrace: [1] io_extract_ring(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:52 [2] io_convert_polynomials_to_ir(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/input_output/AbstractAlgebra.jl:16 [3] groebner0(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}, options::Groebner.KeywordArguments) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/groebner/groebner.jl:9 [4] groebner(polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}; options::@Kwargs{ordering::Lex{true, Union{}}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:109 [5] kwcall(::@NamedTuple{ordering::Lex{true, Union{}}}, ::typeof(groebner), polynomials::Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}) @ Groebner ~/.julia/packages/Groebner/4lAu7/src/interface.jl:107 [6] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:80 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [8] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/input_output/GroebnerDynamicPolynomialsExt.jl:4 [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/runtests.jl:34 [11] eval(m::Module, e::Any) @ Core ./boot.jl:489 [12] macro expansion @ ./timing.jl:730 [inlined] [13] isolated_testset(name::String) @ Main ~/.julia/packages/Groebner/4lAu7/test/runtests.jl:33 [14] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/runtests.jl:66 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [16] macro expansion @ ~/.julia/packages/Groebner/4lAu7/test/runtests.jl:41 [inlined] [17] macro expansion @ ./timing.jl:730 [inlined] [18] top-level scope @ ~/.julia/packages/Groebner/4lAu7/test/runtests.jl:394 [19] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [20] top-level scope @ none:6 [21] eval(m::Module, e::Any) @ Core ./boot.jl:489 [22] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [23] _start() @ Base ./client.jl:577 19.699202 seconds (7.81 M allocations: 418.544 MiB, 96.25% compilation time: 5% of which was recompilation) [ Info: Running input_output/Nemo.jl ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 9 running 1 of 1 signal (10): User defined signal 1 jl_to_typeof at /source/src/julia.h:1023 [inlined] ijl_types_equal at /source/src/subtype.c:2326 jl_specializations_get_linfo_ at /source/src/gf.c:236 cache_method at /source/src/gf.c:1667 ml_matches at /source/src/gf.c:5155 ml_matches at /source/src/gf.c:4847 [inlined] ijl_matching_methods at /source/src/gf.c:3234 [inlined] ijl_matching_methods at /source/src/gf.c:3221 _methods_by_ftype at ./runtime_internals.jl:1603 [inlined] _findall at ./../usr/share/julia/Compiler/src/methodtable.jl:97 [inlined] #findall#5 at ./../usr/share/julia/Compiler/src/methodtable.jl:70 [inlined] findall at ./../usr/share/julia/Compiler/src/methodtable.jl:70 [inlined] #findall#7 at ./../usr/share/julia/Compiler/src/methodtable.jl:105 findall at ./../usr/share/julia/Compiler/src/methodtable.jl:102 [inlined] find_simple_method_matches at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:376 #find_method_matches#131 at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:338 [inlined] find_method_matches at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:332 [inlined] abstract_call_gf_by_type at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:119 abstract_call_known at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2796 abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2904 abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2897 [inlined] abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3057 abstract_eval_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3075 [inlined] abstract_eval_statement_expr at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3439 abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3838 [inlined] abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3795 [inlined] typeinf_local at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4344 jfptr_typeinf_local_89684.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 typeinf at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4501 typeinf_ext at ./../usr/share/julia/Compiler/src/typeinfer.jl:1527 typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1710 [inlined] typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1719 jfptr_typeinf_ext_toplevel_89761.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] jl_type_infer at /source/src/gf.c:463 jl_compile_method_internal at /source/src/gf.c:3636 _jl_invoke at /source/src/gf.c:4108 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:679 eval_body at /source/src/interpreter.c:550 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 jl_toplevel_eval_flex at /source/src/toplevel.c:757 jl_eval_toplevel_stmts at /source/src/toplevel.c:600 jl_toplevel_eval_flex at /source/src/toplevel.c:698 ijl_toplevel_eval at /source/src/toplevel.c:769 ijl_toplevel_eval_in at /source/src/toplevel.c:814 eval at ./boot.jl:489 include_string at ./loading.jl:3124 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 _include at ./loading.jl:3184 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 unknown function (ip: 0x7dd2caeeca62) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:679 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 jl_toplevel_eval_flex at /source/src/toplevel.c:757 jl_eval_toplevel_stmts at /source/src/toplevel.c:600 jl_eval_module_expr at /source/src/toplevel.c:263 [inlined] jl_toplevel_eval_flex at /source/src/toplevel.c:665 ijl_toplevel_eval at /source/src/toplevel.c:769 ijl_toplevel_eval_in at /source/src/toplevel.c:814 eval at ./boot.jl:489 macro expansion at ./timing.jl:730 [inlined] isolated_testset at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/runtests.jl:33 unknown function (ip: 0x7dd32836ae52) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 macro expansion at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/runtests.jl:69 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] macro expansion at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/runtests.jl:41 [inlined] macro expansion at ./timing.jl:730 [inlined] top-level scope at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/runtests.jl:394 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_invoke at /source/src/gf.c:4123 jl_toplevel_eval_flex at /source/src/toplevel.c:746 jl_eval_toplevel_stmts at /source/src/toplevel.c:600 jl_toplevel_eval_flex at /source/src/toplevel.c:698 ijl_toplevel_eval at /source/src/toplevel.c:769 ijl_toplevel_eval_in at /source/src/toplevel.c:814 eval at ./boot.jl:489 include_string at ./loading.jl:3124 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 _include at ./loading.jl:3184 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_62578.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:679 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 jl_toplevel_eval_flex at /source/src/toplevel.c:757 jl_eval_toplevel_stmts at /source/src/toplevel.c:600 jl_toplevel_eval_flex at /source/src/toplevel.c:698 ijl_toplevel_eval at /source/src/toplevel.c:769 ijl_toplevel_eval_in at /source/src/toplevel.c:814 eval at ./boot.jl:489 exec_options at ./client.jl:310 _start at ./client.jl:577 jfptr__start_68693.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] true_main at /source/src/jlapi.c:971 jl_repl_entrypoint at /source/src/jlapi.c:1138 main at /source/cli/loader_exe.c:58 unknown function (ip: 0x7dd329bfc249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_51804.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] start_task at /source/src/task.c:1272 unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x00007ac12e893a30 Total snapshots: 400. Utilization: 0% ╎400 @Base/task.jl:1168 wait_forever() 399╎ 400 @Base/task.jl:1246 wait() [9] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/Groebner/4lAu7/test/input_output/Nemo.jl:27 _ZN4llvm10DwarfDebug16recordSourceLineEjjPKNS_6MDNodeEj at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm10DwarfDebug16beginInstructionEPKNS_12MachineInstrE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm10AsmPrinter16emitFunctionBodyEv at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) PkgEval terminated after 2721.9s: test duration exceeded the time limit