Lazy substitute evaluation #618
SoongNoonienCI.yml
on: pull_request
Documentation
7m 4s
Matrix: test
Annotations
21 errors and 3 notices
|
test (1.10, stable, ubuntu-latest)
Process completed with exit code 1.
|
|
Documentation:
docs/src/tables.md#L45
doctest failure in src/tables.md:45-53
```jldoctest
julia> g=generic_character_table("GL2");
julia> sum(number_of_characters(c)*degree(c)^2 for c in g)
q^4 - q^3 - q^2 + q
julia> order(g)
q^4 - q^3 - q^2 + q
```
Subexpression:
g=generic_character_table("GL2");
Evaluated output:
ERROR: LoadError: MethodError: no method matching GenericCharacterTables.GenericCycloRing(::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}, ::Nothing)
Closest candidates are:
GenericCharacterTables.GenericCycloRing(::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}, ::Union{Nothing, Tuple{ZZRingElem, ZZRingElem}}, !Matched::AbstractAlgebra.Generic.UnivPoly{QQFieldElem}, !Matched::AbstractAlgebra.Generic.UnivPoly{QQFieldElem})
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Types.jl:31
GenericCharacterTables.GenericCycloRing(::Any, ::Any, !Matched::Any, !Matched::Any)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Types.jl:31
Stacktrace:
[1] generic_cyclotomic_ring(R::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}; congruence::Nothing, cached::Bool)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:461
[2] generic_cyclotomic_ring(R::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem})
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:455
[3] top-level scope
@ ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/data/Tables/A1/GL2.jl:7
[4] include(mod::Module, _path::String)
@ Base ./Base.jl:457
[5] include(x::String)
@ GenericCharacterTables.var"##CHAR_TABLE#293" ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:51
[6] top-level scope
@ ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:52
[7] eval
@ ./boot.jl:370 [inlined]
[8] loadtab(path::String)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:51
[9] gentab(table::String, tabletype::String)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:62
[10] generic_character_table(x::String)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:95
[11] top-level scope
@ none:1
in expression starting at /home/runner/work/GenericCharacterTables.jl/GenericCharacterTables.jl/data/Tables/A1/GL2.jl:7
Expected output:
diff =
Warning: Diff output requires color.
ERROR: LoadError: MethodError: no method matching GenericCharacterTables.GenericCycloRing(::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}, ::Nothing)
Closest candidates are:
GenericCharacterTables.GenericCycloRing(::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}, ::Union{Nothing, Tuple{ZZRingElem, ZZRingElem}}, !Matched::AbstractAlgebra.Generic.UnivPoly{QQFieldElem}, !Matched::AbstractAlgebra.Generic.UnivPoly{QQFieldElem})
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Types.jl:31
GenericCharacterTables.GenericCycloRing(::Any, ::Any, !Matched::Any, !Matched::Any)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Types.jl:31
Stacktrace:
[1] generic_cyclotomic_ring(R::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}; congruence::Nothing, cached::Bool)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:461
[2] generic_cyclotomic_ring(R::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem})
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:455
[3] top-level scope
@ ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/data/Tables/A1/GL2.jl:7
[4] include(mod::Module, _path::String)
@ Base ./Base.jl:457
[5] inc
|
|
Documentation:
docs/src/tables.md#L45
doctest failure in src/tables.md:45-53
```jldoctest
julia> g=generic_character_table("GL2");
julia> sum(number_of_characters(c)*degree(c)^2 for c in g)
q^4 - q^3 - q^2 + q
julia> order(g)
q^4 - q^3 - q^2 + q
```
Subexpression:
sum(number_of_characters(c)*degree(c)^2 for c in g)
Evaluated output:
ERROR: UndefVarError: `g` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
q^4 - q^3 - q^2 + q
diff =
Warning: Diff output requires color.
q^4 - q^3 - q^2 + qERROR: UndefVarError: `g` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/tables.md#L45
doctest failure in src/tables.md:45-53
```jldoctest
julia> g=generic_character_table("GL2");
julia> sum(number_of_characters(c)*degree(c)^2 for c in g)
q^4 - q^3 - q^2 + q
julia> order(g)
q^4 - q^3 - q^2 + q
```
Subexpression:
order(g)
Evaluated output:
ERROR: UndefVarError: `g` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
q^4 - q^3 - q^2 + q
diff =
Warning: Diff output requires color.
q^4 - q^3 - q^2 + qERROR: UndefVarError: `g` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/book.md#L16
doctest failure in src/book.md:16-23
```jldoctest book
julia> T = generic_character_table("SL3.n1")
Generic character table SL3.n1
of order q^8 - q^6 - q^5 + q^3
with 8 irreducible character types
with 8 class types
with parameters (a, b, m, n)
```
Subexpression:
T = generic_character_table("SL3.n1")
Evaluated output:
ERROR: LoadError: MethodError: no method matching GenericCharacterTables.GenericCycloRing(::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}, ::Nothing)
Closest candidates are:
GenericCharacterTables.GenericCycloRing(::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}, ::Union{Nothing, Tuple{ZZRingElem, ZZRingElem}}, !Matched::AbstractAlgebra.Generic.UnivPoly{QQFieldElem}, !Matched::AbstractAlgebra.Generic.UnivPoly{QQFieldElem})
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Types.jl:31
GenericCharacterTables.GenericCycloRing(::Any, ::Any, !Matched::Any, !Matched::Any)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Types.jl:31
Stacktrace:
[1] generic_cyclotomic_ring(R::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}; congruence::Nothing, cached::Bool)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:461
[2] generic_cyclotomic_ring(R::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem})
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:455
[3] top-level scope
@ ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/data/Tables/A2/SL3.n1.jl:7
[4] include(mod::Module, _path::String)
@ Base ./Base.jl:457
[5] include(x::String)
@ GenericCharacterTables.var"##CHAR_TABLE#294" ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:51
[6] top-level scope
@ ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:52
[7] eval
@ ./boot.jl:370 [inlined]
[8] loadtab(path::String)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:51
[9] gentab(table::String, tabletype::String)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:62
[10] generic_character_table(x::String)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/CharTable.jl:95
[11] top-level scope
@ none:1
in expression starting at /home/runner/work/GenericCharacterTables.jl/GenericCharacterTables.jl/data/Tables/A2/SL3.n1.jl:7
Expected output:
Generic character table SL3.n1
of order q^8 - q^6 - q^5 + q^3
with 8 irreducible character types
with 8 class types
with parameters (a, b, m, n)
diff =
Warning: Diff output requires color.
Generic character table SL3.n1
of order q^8 - q^6 - q^5 + q^3
with 8 irreducible character types
with 8 class types
with parameters (a, b, m, n)ERROR: LoadError: MethodError: no method matching GenericCharacterTables.GenericCycloRing(::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}, ::Nothing)
Closest candidates are:
GenericCharacterTables.GenericCycloRing(::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}, ::Union{Nothing, Tuple{ZZRingElem, ZZRingElem}}, !Matched::AbstractAlgebra.Generic.UnivPoly{QQFieldElem}, !Matched::AbstractAlgebra.Generic.UnivPoly{QQFieldElem})
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Types.jl:31
GenericCharacterTables.GenericCycloRing(::Any, ::Any, !Matched::Any, !Matched::Any)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/Types.jl:31
Stacktrace:
[1] generic_cyclotomic_ring(R::AbstractAlgebra.Generic.UniversalPolyRing{QQFieldElem}; congruence::Nothing, cached::Bool)
@ GenericCharacterTables ~/work/GenericCharacterTables.jl/GenericCharacterTables.jl/src/GenericCyclotomics.jl:461
[2] generic_cyclotomic_ring(R::AbstractAlge
|
|
Documentation:
docs/src/book.md#L29
doctest failure in src/book.md:29-32
```jldoctest book
julia> T[4,4]
(q + 1)*exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((-2*a*n)//(q - 1)))
```
Subexpression:
T[4,4]
Evaluated output:
ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
(q + 1)*exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((-2*a*n)//(q - 1)))
diff =
Warning: Diff output requires color.
(q + 1)*exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((-2*a*n)//(q - 1)))ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/book.md#L37
doctest failure in src/book.md:37-52
```jldoctest book
julia> χ₄ = T[4]
Generic character of SL3.n1
with parameters
n ∈ {1,…, q - 1} except n ∈ (q - 1)ℤ
of degree q^2 + q + 1
with values
q^2 + q + 1
q + 1
1
(q + 1)*exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((-2*a*n)//(q - 1)))
exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((-2*a*n)//(q - 1)))
exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((b*n)//(q - 1))) + exp(2π𝑖((-a*n - b*n)//(q - 1)))
exp(2π𝑖((a*n)//(q - 1)))
0
```
Subexpression:
χ₄ = T[4]
Evaluated output:
ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
Generic character of SL3.n1
with parameters
n ∈ {1,…, q - 1} except n ∈ (q - 1)ℤ
of degree q^2 + q + 1
with values
q^2 + q + 1
q + 1
1
(q + 1)*exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((-2*a*n)//(q - 1)))
exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((-2*a*n)//(q - 1)))
exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((b*n)//(q - 1))) + exp(2π𝑖((-a*n - b*n)//(q - 1)))
exp(2π𝑖((a*n)//(q - 1)))
0
diff =
Warning: Diff output requires color.
Generic character of SL3.n1
with parameters
n ∈ {1,…, q - 1} except n ∈ (q - 1)ℤ
of degree q^2 + q + 1
with values
q^2 + q + 1
q + 1
1
(q + 1)*exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((-2*a*n)//(q - 1)))
exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((-2*a*n)//(q - 1)))
exp(2π𝑖((a*n)//(q - 1))) + exp(2π𝑖((b*n)//(q - 1))) + exp(2π𝑖((-a*n - b*n)//(q - 1)))
exp(2π𝑖((a*n)//(q - 1)))
0ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/book.md#L56
doctest failure in src/book.md:56-69
```jldoctest book
julia> h = T[2] * T[2]
Generic character of SL3.n1
of degree q^4 + 2*q^3 + q^2
with values
q^4 + 2*q^3 + q^2
q^2
0
q^2 + 2*q + 1
1
4
0
1
```
Subexpression:
h = T[2] * T[2]
Evaluated output:
ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
Generic character of SL3.n1
of degree q^4 + 2*q^3 + q^2
with values
q^4 + 2*q^3 + q^2
q^2
0
q^2 + 2*q + 1
1
4
0
1
diff =
Warning: Diff output requires color.
Generic character of SL3.n1
of degree q^4 + 2*q^3 + q^2
with values
q^4 + 2*q^3 + q^2
q^2
0
q^2 + 2*q + 1
1
4
0
1ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/book.md#L75
doctest failure in src/book.md:75-80
```jldoctest book
julia> scalar_product(T[4], h)
0
With exceptions:
2*n1 ∈ (q - 1)ℤ
```
Subexpression:
scalar_product(T[4], h)
Evaluated output:
ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
0
With exceptions:
2*n1 ∈ (q - 1)ℤ
diff =
Warning: Diff output requires color.
0
With exceptions:
2*n1 ∈ (q - 1)ℤERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
docs/src/book.md#L85
doctest failure in src/book.md:85-112
```jldoctest book
julia> for i in 1:8 println("<$i, h> = ", scalar_product(T[i], h)) end
<1, h> = 1
<2, h> = 2
<3, h> = 2
<4, h> = 0
With exceptions:
2*n1 ∈ (q - 1)ℤ
<5, h> = 0
With exceptions:
2*n1 ∈ (q - 1)ℤ
<6, h> = 0
With exceptions:
2*m1 - n1 ∈ (q - 1)ℤ
m1 - 2*n1 ∈ (q - 1)ℤ
m1 + n1 ∈ (q - 1)ℤ
m1 ∈ (q - 1)ℤ
m1 - n1 ∈ (q - 1)ℤ
n1 ∈ (q - 1)ℤ
<7, h> = 0
With exceptions:
n1 ∈ (q - 1)ℤ
<8, h> = 0
With exceptions:
q*n1 ∈ (q^2 + q + 1)ℤ
n1 ∈ (q^2 + q + 1)ℤ
q*n1 + n1 ∈ (q^2 + q + 1)ℤ
```
Subexpression:
for i in 1:8 println("<$i, h> = ", scalar_product(T[i], h)) end
Evaluated output:
ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ ./none:1
Expected output:
<1, h> = 1
<2, h> = 2
<3, h> = 2
<4, h> = 0
With exceptions:
2*n1 ∈ (q - 1)ℤ
<5, h> = 0
With exceptions:
2*n1 ∈ (q - 1)ℤ
<6, h> = 0
With exceptions:
2*m1 - n1 ∈ (q - 1)ℤ
m1 - 2*n1 ∈ (q - 1)ℤ
m1 + n1 ∈ (q - 1)ℤ
m1 ∈ (q - 1)ℤ
m1 - n1 ∈ (q - 1)ℤ
n1 ∈ (q - 1)ℤ
<7, h> = 0
With exceptions:
n1 ∈ (q - 1)ℤ
<8, h> = 0
With exceptions:
q*n1 ∈ (q^2 + q + 1)ℤ
n1 ∈ (q^2 + q + 1)ℤ
q*n1 + n1 ∈ (q^2 + q + 1)ℤ
diff =
Warning: Diff output requires color.
<1, h> = 1
<2, h> = 2
<3, h> = 2
<4, h> = 0
With exceptions:
2*n1 ∈ (q - 1)ℤ
<5, h> = 0
With exceptions:
2*n1 ∈ (q - 1)ℤ
<6, h> = 0
With exceptions:
2*m1 - n1 ∈ (q - 1)ℤ
m1 - 2*n1 ∈ (q - 1)ℤ
m1 + n1 ∈ (q - 1)ℤ
m1 ∈ (q - 1)ℤ
m1 - n1 ∈ (q - 1)ℤ
n1 ∈ (q - 1)ℤ
<7, h> = 0
With exceptions:
n1 ∈ (q - 1)ℤ
<8, h> = 0
With exceptions:
q*n1 ∈ (q^2 + q + 1)ℤ
n1 ∈ (q^2 + q + 1)ℤ
q*n1 + n1 ∈ (q^2 + q + 1)ℤERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ ./none:1
|
|
Documentation:
docs/src/book.md#L116
doctest failure in src/book.md:116-122
```jldoctest book
julia> degree(linear_combination([1,2,2],[T[1],T[2],T[3]]))
2*q^3 + 2*q^2 + 2*q + 1
julia> degree(h)
q^4 + 2*q^3 + q^2
```
Subexpression:
degree(linear_combination([1,2,2],[T[1],T[2],T[3]]))
Evaluated output:
ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
2*q^3 + 2*q^2 + 2*q + 1
diff =
Warning: Diff output requires color.
2*q^3 + 2*q^2 + 2*q + 1ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none: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.10, devel, 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, 1.1, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.6, devel, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.11, devel, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.11, 1.1, ubuntu-latest)
Process completed with exit code 1.
|
|
test (nightly, devel, ubuntu-latest)
Process completed with exit code 1.
|
|
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, 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.
|
|
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.
|