Initial expressify test #248
Draft
Annotations
10 errors
|
Run julia-actions/julia-docdeploy@v1:
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:
((q^4 - q^3 - q^2 + q)*exp(0))//exp(0)
Expected output:
q^4 - q^3 - q^2 + q
diff =
Warning: Diff output requires color.
q^4 ((q^4 - q^3 - q^2 + qq)*exp(0))//exp(0)
|
|
Run julia-actions/julia-docdeploy@v1:
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:
(q + 1)*exp(2π𝑖*(a*n)//(q - 1)) + exp(-2π𝑖*(2*a*n)//(q - 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π𝑖*(a*n)//(q - 1))) 1)) + exp(2π𝑖((-2*a*n)//(q exp(-2π𝑖*(2*a*n)//(q - 1)))1))
|
|
Run julia-actions/julia-docdeploy@v1:
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:
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)*exp(0)
(q + 1)*exp(0)
exp(0)
(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
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^2 + q + 1
q 1)*exp(0)
(q + 1
1
1)*exp(0)
exp(0)
(q + 1)*exp(2π𝑖((a*n)//(q 1)*exp(2π𝑖*(a*n)//(q - 1))) 1)) + exp(2π𝑖((-2*a*n)//(q exp(-2π𝑖*(2*a*n)//(q - 1)))
exp(2π𝑖((a*n)//(q 1))
exp(2π𝑖*(a*n)//(q - 1))) 1)) + exp(2π𝑖((-2*a*n)//(q exp(-2π𝑖*(2*a*n)//(q - 1)))
exp(2π𝑖((a*n)//(q 1))
exp(2π𝑖*(a*n)//(q - 1))) 1)) + exp(2π𝑖((b*n)//(q exp(2π𝑖*(b*n)//(q - 1))) 1)) + exp(2π𝑖((-a*n exp(2π𝑖*(-a*n - b*n)//(q - 1)))
exp(2π𝑖((a*n)//(q 1))
exp(2π𝑖*(a*n)//(q - 1)))
1))
0
|
|
Run julia-actions/julia-docdeploy@v1:
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:
Generic character of SL3.n1
of degree q^4 + 2*q^3 + q^2
with values
(q^4 + 2*q^3 + q^2)*exp(0)
q^2*exp(0)
0
(q^2 + 2*q + 1)*exp(0)
exp(0)
4*exp(0)
0
exp(0)
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 (q^4 + 2*q^3 + q^2
q^2
q^2)*exp(0)
q^2*exp(0)
0
q^2 (q^2 + 2*q + 1
1
4
1)*exp(0)
exp(0)
4*exp(0)
0
1exp(0)
|
|
Run julia-actions/julia-docdeploy@v1:
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:
0//exp(0)
Expected output:
0
With exceptions:
2*n1 ∈ (q - 1)ℤ
diff =
Warning: Diff output requires color.
0
With exceptions:
2*n1 ∈ (q - 1)ℤ0//exp(0)
|
|
Run julia-actions/julia-docdeploy@v1:
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:
<1, h> = exp(0)//exp(0)
<2, h> = (2*exp(0))//exp(0)
<3, h> = (2*exp(0))//exp(0)
<4, h> = 0//exp(0)
<5, h> = 0//exp(0)
<6, h> = 0//exp(0)
<7, h> = 0//exp(0)
<8, h> = 0//exp(0)
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
exp(0)//exp(0)
<2, h> = 2
(2*exp(0))//exp(0)
<3, h> = 2
(2*exp(0))//exp(0)
<4, h> = 0
With exceptions:
2*n1 ∈ (q - 1)ℤ
0//exp(0)
<5, h> = 0
With exceptions:
2*n1 ∈ (q - 1)ℤ
0//exp(0)
<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)ℤ
0//exp(0)
<7, h> = 0
With exceptions:
n1 ∈ (q - 1)ℤ
0//exp(0)
<8, h> = 0
With exceptions:
q*n1 ∈ (q^2 + q + 1)ℤ
n1 ∈ (q^2 + q + 1)ℤ
q*n1 + n1 ∈ (q^2 + q + 1)ℤ0//exp(0)
|
|
Run julia-actions/julia-docdeploy@v1:
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:
exp(0)//exp(0)
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)ℤexp(0)//exp(0)
|
|
Run julia-actions/julia-docdeploy@v1:
docs/src/characters.md#L36
doctest failure in src/characters.md:36-56
```jldoctest
julia> g=generic_character_table("GL2");
julia> ct = g[3]
Generic character of GL2
with parameters
k ∈ {1,…, q - 1}, l ∈ {1,…, q - 1} except -l + k ∈ (q - 1)ℤ
of degree q + 1
with values
(q + 1)*exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + j*k)//(q - 1))) + exp(2π𝑖((i*k + j*l)//(q - 1)))
0
julia> collect(ct)
4-element Vector{GenericCharacterTables.GenericCyclo}:
(q + 1)*exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + j*k)//(q - 1))) + exp(2π𝑖((i*k + j*l)//(q - 1)))
0
```
Subexpression:
ct = g[3]
Evaluated output:
Generic character of GL2
with parameters
k ∈ {1,…, q - 1}, l ∈ {1,…, q - 1} except -l + k ∈ (q - 1)ℤ
of degree q + 1
with values
(q + 1)*exp(2π𝑖*(i*l + i*k)//(q - 1))
exp(2π𝑖*(i*l + i*k)//(q - 1))
exp(2π𝑖*(i*l + j*k)//(q - 1)) + exp(2π𝑖*(i*k + j*l)//(q - 1))
0
Expected output:
Generic character of GL2
with parameters
k ∈ {1,…, q - 1}, l ∈ {1,…, q - 1} except -l + k ∈ (q - 1)ℤ
of degree q + 1
with values
(q + 1)*exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + j*k)//(q - 1))) + exp(2π𝑖((i*k + j*l)//(q - 1)))
0
diff =
Warning: Diff output requires color.
Generic character of GL2
with parameters
k ∈ {1,…, q - 1}, l ∈ {1,…, q - 1} except -l + k ∈ (q - 1)ℤ
of degree q + 1
with values
(q + 1)*exp(2π𝑖((i*l 1)*exp(2π𝑖*(i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l 1))
exp(2π𝑖*(i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l 1))
exp(2π𝑖*(i*l + j*k)//(q - 1))) 1)) + exp(2π𝑖((i*k exp(2π𝑖*(i*k + j*l)//(q - 1)))
1))
0
|
|
Run julia-actions/julia-docdeploy@v1:
docs/src/characters.md#L36
doctest failure in src/characters.md:36-56
```jldoctest
julia> g=generic_character_table("GL2");
julia> ct = g[3]
Generic character of GL2
with parameters
k ∈ {1,…, q - 1}, l ∈ {1,…, q - 1} except -l + k ∈ (q - 1)ℤ
of degree q + 1
with values
(q + 1)*exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + j*k)//(q - 1))) + exp(2π𝑖((i*k + j*l)//(q - 1)))
0
julia> collect(ct)
4-element Vector{GenericCharacterTables.GenericCyclo}:
(q + 1)*exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + j*k)//(q - 1))) + exp(2π𝑖((i*k + j*l)//(q - 1)))
0
```
Subexpression:
collect(ct)
Evaluated output:
4-element Vector{GenericCharacterTables.GenericCyclo}:
(q + 1)*exp(2π𝑖*(i*l + i*k)//(q - 1))
exp(2π𝑖*(i*l + i*k)//(q - 1))
exp(2π𝑖*(i*l + j*k)//(q - 1)) + exp(2π𝑖*(i*k + j*l)//(q - 1))
0
Expected output:
4-element Vector{GenericCharacterTables.GenericCyclo}:
(q + 1)*exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l + j*k)//(q - 1))) + exp(2π𝑖((i*k + j*l)//(q - 1)))
0
diff =
Warning: Diff output requires color.
4-element Vector{GenericCharacterTables.GenericCyclo}:
(q + 1)*exp(2π𝑖((i*l 1)*exp(2π𝑖*(i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l 1))
exp(2π𝑖*(i*l + i*k)//(q - 1)))
exp(2π𝑖((i*l 1))
exp(2π𝑖*(i*l + j*k)//(q - 1))) 1)) + exp(2π𝑖((i*k exp(2π𝑖*(i*k + j*l)//(q - 1)))
1))
0
|
|
Run julia-actions/julia-docdeploy@v1
Process completed with exit code 1.
|
Loading