Skip to content

Lazy substitute evaluation #621

Lazy substitute evaluation

Lazy substitute evaluation #621

Triggered via pull request January 22, 2025 19:56
Status Cancelled
Total duration 12m 50s
Artifacts

CI.yml

on: pull_request
Documentation
7m 2s
Documentation
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

17 errors and 3 notices
test (1.10, stable, ubuntu-latest)
Process completed with exit code 1.
Documentation: docs/src/book.md#L141
doctest failure in src/book.md:141-143 ```jldoctest book julia> T2 = set_congruence(T; remainder=0, modulus=2); ``` Subexpression: T2 = set_congruence(T; remainder=0, modulus=2); Evaluated output: ERROR: MethodError: no method matching gen(::GenericCharacterTables.GenericCycloRing, ::Int64) Closest candidates are: gen(!Matched::Union{Singular.LPRing{T}, Singular.PluralRing{T}, Singular.PolyRing{T}} where T<:RingElem, ::Int64) @ Singular ~/.julia/packages/Singular/JyB5B/src/poly/poly.jl:85 gen(!Matched::AbstractAlgebra.Generic.LaurentMPolyWrapRing, ::Int64) @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/eNeG2/src/generic/LaurentMPoly.jl:62 gen(!Matched::LinearSystem, ::Int64) @ Oscar ~/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Divisors/WeilDivisor.jl:505 ... Stacktrace: [1] get_substitutes! @ ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:473 [inlined] [2] (::GenericCharacterTables.GenericCycloRing)(f::Dict{AbstractAlgebra.Generic.FracFieldElem{AbstractAlgebra.Generic.UnivPoly{QQFieldElem}}, AbstractAlgebra.Generic.UnivPoly{QQFieldElem}}; simplify::Bool) @ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:381 [3] GenericCycloRing @ ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:375 [inlined] [4] (::GenericCharacterTables.GenericCycloRing)(x::GenericCharacterTables.GenericCyclo) @ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:446 [5] _broadcast_getindex_evalf @ ./broadcast.jl:683 [inlined] [6] _broadcast_getindex @ ./broadcast.jl:656 [inlined] [7] getindex @ ./broadcast.jl:610 [inlined] [8] macro expansion @ ./broadcast.jl:974 [inlined] [9] macro expansion @ ./simdloop.jl:77 [inlined] [10] copyto! @ ./broadcast.jl:973 [inlined] [11] copyto! @ ./broadcast.jl:926 [inlined] [12] copy @ ./broadcast.jl:898 [inlined] [13] materialize @ ./broadcast.jl:873 [inlined] [14] (::GenericCharacterTables.CharTable)(c::GenericCharacterTables.GenericCharacter) @ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:20 [15] set_congruence(x::GenericCharacterTables.CharTable, congruence::Tuple{ZZRingElem, ZZRingElem}) @ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Congruence.jl:32 [16] set_congruence(x::GenericCharacterTables.CharTable; remainder::Int64, modulus::Int64) @ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Congruence.jl:65 [17] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: MethodError: no method matching gen(::GenericCharacterTables.GenericCycloRing, ::Int64) Closest candidates are: gen(!Matched::Union{Singular.LPRing{T}, Singular.PluralRing{T}, Singular.PolyRing{T}} where T<:RingElem, ::Int64) @ Singular ~/.julia/packages/Singular/JyB5B/src/poly/poly.jl:85 gen(!Matched::AbstractAlgebra.Generic.LaurentMPolyWrapRing, ::Int64) @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/eNeG2/src/generic/LaurentMPoly.jl:62 gen(!Matched::LinearSystem, ::Int64) @ Oscar ~/.julia/packages/Oscar/5kSAT/src/AlgebraicGeometry/Schemes/Divisors/WeilDivisor.jl:505 ... Stacktrace: [1] get_substitutes! @ ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:473 [inlined] [2] (::GenericCharacterTables.GenericCycloRing)(f::Dict{AbstractAlgebra.Generic.FracFieldElem{AbstractAlgebra.Generic.UnivPoly{QQFieldElem}}, AbstractAlgebra.Generic.UnivPoly{QQFieldElem}}; simplify::Bool) @ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:381 [3] GenericCycloRing @ ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:375 [inlined]
Documentation: docs/src/book.md#L147
doctest failure in src/book.md:147-153 ```jldoctest book julia> (q, (a, b, m, n)) = parameters(T2); julia> x = parameter(T2, "x"); # create an additional "free" variable julia> s = specialize(T2[6], m, -n + (q-1)*x); # force m = -n (mod q-1) ``` Subexpression: (q, (a, b, m, n)) = parameters(T2); Evaluated output: ERROR: UndefVarError: `T2` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: `T2` not defined Stacktrace: [1] top-level scope @ none:1
Documentation: docs/src/book.md#L147
doctest failure in src/book.md:147-153 ```jldoctest book julia> (q, (a, b, m, n)) = parameters(T2); julia> x = parameter(T2, "x"); # create an additional "free" variable julia> s = specialize(T2[6], m, -n + (q-1)*x); # force m = -n (mod q-1) ``` Subexpression: x = parameter(T2, "x"); # create an additional "free" variable Evaluated output: ERROR: UndefVarError: `T2` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: `T2` not defined Stacktrace: [1] top-level scope @ none:1
Documentation: docs/src/book.md#L147
doctest failure in src/book.md:147-153 ```jldoctest book julia> (q, (a, b, m, n)) = parameters(T2); julia> x = parameter(T2, "x"); # create an additional "free" variable julia> s = specialize(T2[6], m, -n + (q-1)*x); # force m = -n (mod q-1) ``` Subexpression: s = specialize(T2[6], m, -n + (q-1)*x); # force m = -n (mod q-1) Evaluated output: ERROR: UndefVarError: `T2` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: diff = Warning: Diff output requires color. ERROR: UndefVarError: `T2` not defined Stacktrace: [1] top-level scope @ none:1
Documentation: docs/src/book.md#L157
doctest failure in src/book.md:157-163 ```jldoctest book julia> scalar_product(s, T2(h)) 1 With exceptions: 3*n1 ∈ (q - 1)ℤ 2*n1 ∈ (q - 1)ℤ ``` Subexpression: scalar_product(s, T2(h)) Evaluated output: ERROR: UndefVarError: `s` not defined Stacktrace: [1] top-level scope @ none:1 Expected output: 1 With exceptions: 3*n1 ∈ (q - 1)ℤ 2*n1 ∈ (q - 1)ℤ diff = Warning: Diff output requires color. 1 With exceptions: 3*n1 ∈ (q - 1)ℤ 2*n1 ∈ (q - 1)ℤERROR: UndefVarError: `s` not defined Stacktrace: [1] top-level scope @ none:1
Documentation
Process completed with exit code 1.
test (1.10, devel, ubuntu-latest)
Process completed with exit code 1.
test (1.6, stable, ubuntu-latest)
Process completed with exit code 1.
test (1.10, 1.1, ubuntu-latest)
Process completed with exit code 1.
test (1.11, stable, ubuntu-latest)
Process completed with exit code 1.
test (nightly, stable, ubuntu-latest)
Process completed with exit code 1.
test (1.6, devel, ubuntu-latest)
Process completed with exit code 1.
test (1.6, 1.1, ubuntu-latest)
Process completed with exit code 1.
test (1.11, devel, ubuntu-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/246/merge-true' exists
test (nightly, devel, ubuntu-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/246/merge-true' exists
test (1.11, 1.1, ubuntu-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/246/merge-true' exists
test (1.6, stable, ubuntu-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.
test (1.6, devel, ubuntu-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.
test (1.6, 1.1, ubuntu-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.