Print base rings terse and starting with lowercase #2995
fingolfinCI.yml
on: pull_request
Documentation
15m 20s
Matrix: test
Annotations
14 errors and 7 warnings
|
Documentation:
docs/src/ncpolynomial.md#L66
doctest failure in src/ncpolynomial.md:66-94
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> U, z = R["z"]
(Univariate polynomial ring in z over matrix ring of degree 2 over integers, z)
julia> f = S()
0
julia> g = S(123)
[123 0; 0 123]
julia> h = T(BigInt(1234))
[1234 0; 0 1234]
julia> k = T(x + 1)
x + 1
julia> m = U(z + 1)
z + 1
```
Subexpression:
S, x = polynomial_ring(R, "x")
Evaluated output:
(Univariate polynomial ring in x over matrix ring, x)
Expected output:
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
diff =
Warning: Diff output requires color.
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, ring, x)
|
|
Documentation:
docs/src/ncpolynomial.md#L66
doctest failure in src/ncpolynomial.md:66-94
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> U, z = R["z"]
(Univariate polynomial ring in z over matrix ring of degree 2 over integers, z)
julia> f = S()
0
julia> g = S(123)
[123 0; 0 123]
julia> h = T(BigInt(1234))
[1234 0; 0 1234]
julia> k = T(x + 1)
x + 1
julia> m = U(z + 1)
z + 1
```
Subexpression:
T, y = polynomial_ring(S, "y")
Evaluated output:
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring, y)
Expected output:
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
diff =
Warning: Diff output requires color.
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, ring, y)
|
|
Documentation:
docs/src/ncpolynomial.md#L66
doctest failure in src/ncpolynomial.md:66-94
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> U, z = R["z"]
(Univariate polynomial ring in z over matrix ring of degree 2 over integers, z)
julia> f = S()
0
julia> g = S(123)
[123 0; 0 123]
julia> h = T(BigInt(1234))
[1234 0; 0 1234]
julia> k = T(x + 1)
x + 1
julia> m = U(z + 1)
z + 1
```
Subexpression:
U, z = R["z"]
Evaluated output:
(Univariate polynomial ring in z over matrix ring, z)
Expected output:
(Univariate polynomial ring in z over matrix ring of degree 2 over integers, z)
diff =
Warning: Diff output requires color.
(Univariate polynomial ring in z over matrix ring of degree 2 over integers, ring, z)
|
|
Documentation:
docs/src/ncpolynomial.md#L120
doctest failure in src/ncpolynomial.md:120-166
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> f = x^3 + 3x + 21
x^3 + [3 0; 0 3]*x + [21 0; 0 21]
julia> g = (x + 1)*y^2 + 2x + 1
(x + 1)*y^2 + [2 0; 0 2]*x + 1
julia> h = zero(T)
0
julia> k = one(S)
1
julia> isone(k)
true
julia> iszero(f)
false
julia> n = length(g)
3
julia> U = base_ring(T)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> V = base_ring(y + 1)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> v = var(T)
:y
julia> U = parent(y + 1)
Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> g == deepcopy(g)
true
```
Subexpression:
S, x = polynomial_ring(R, "x")
Evaluated output:
(Univariate polynomial ring in x over matrix ring, x)
Expected output:
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
diff =
Warning: Diff output requires color.
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, ring, x)
|
|
Documentation:
docs/src/ncpolynomial.md#L120
doctest failure in src/ncpolynomial.md:120-166
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> f = x^3 + 3x + 21
x^3 + [3 0; 0 3]*x + [21 0; 0 21]
julia> g = (x + 1)*y^2 + 2x + 1
(x + 1)*y^2 + [2 0; 0 2]*x + 1
julia> h = zero(T)
0
julia> k = one(S)
1
julia> isone(k)
true
julia> iszero(f)
false
julia> n = length(g)
3
julia> U = base_ring(T)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> V = base_ring(y + 1)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> v = var(T)
:y
julia> U = parent(y + 1)
Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> g == deepcopy(g)
true
```
Subexpression:
T, y = polynomial_ring(S, "y")
Evaluated output:
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring, y)
Expected output:
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
diff =
Warning: Diff output requires color.
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, ring, y)
|
|
Documentation:
docs/src/ncpolynomial.md#L120
doctest failure in src/ncpolynomial.md:120-166
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> f = x^3 + 3x + 21
x^3 + [3 0; 0 3]*x + [21 0; 0 21]
julia> g = (x + 1)*y^2 + 2x + 1
(x + 1)*y^2 + [2 0; 0 2]*x + 1
julia> h = zero(T)
0
julia> k = one(S)
1
julia> isone(k)
true
julia> iszero(f)
false
julia> n = length(g)
3
julia> U = base_ring(T)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> V = base_ring(y + 1)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> v = var(T)
:y
julia> U = parent(y + 1)
Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> g == deepcopy(g)
true
```
Subexpression:
U = base_ring(T)
Evaluated output:
Univariate polynomial ring in x over matrix ring
Expected output:
Univariate polynomial ring in x over matrix ring of degree 2 over integers
diff =
Warning: Diff output requires color.
Univariate polynomial ring in x over matrix ring of degree 2 over integersring
|
|
Documentation:
docs/src/ncpolynomial.md#L120
doctest failure in src/ncpolynomial.md:120-166
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> f = x^3 + 3x + 21
x^3 + [3 0; 0 3]*x + [21 0; 0 21]
julia> g = (x + 1)*y^2 + 2x + 1
(x + 1)*y^2 + [2 0; 0 2]*x + 1
julia> h = zero(T)
0
julia> k = one(S)
1
julia> isone(k)
true
julia> iszero(f)
false
julia> n = length(g)
3
julia> U = base_ring(T)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> V = base_ring(y + 1)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> v = var(T)
:y
julia> U = parent(y + 1)
Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> g == deepcopy(g)
true
```
Subexpression:
V = base_ring(y + 1)
Evaluated output:
Univariate polynomial ring in x over matrix ring
Expected output:
Univariate polynomial ring in x over matrix ring of degree 2 over integers
diff =
Warning: Diff output requires color.
Univariate polynomial ring in x over matrix ring of degree 2 over integersring
|
|
Documentation:
docs/src/ncpolynomial.md#L120
doctest failure in src/ncpolynomial.md:120-166
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> f = x^3 + 3x + 21
x^3 + [3 0; 0 3]*x + [21 0; 0 21]
julia> g = (x + 1)*y^2 + 2x + 1
(x + 1)*y^2 + [2 0; 0 2]*x + 1
julia> h = zero(T)
0
julia> k = one(S)
1
julia> isone(k)
true
julia> iszero(f)
false
julia> n = length(g)
3
julia> U = base_ring(T)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> V = base_ring(y + 1)
Univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> v = var(T)
:y
julia> U = parent(y + 1)
Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers
julia> g == deepcopy(g)
true
```
Subexpression:
U = parent(y + 1)
Evaluated output:
Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring
Expected output:
Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers
diff =
Warning: Diff output requires color.
Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integersring
|
|
Documentation:
docs/src/ncpolynomial.md#L207
doctest failure in src/ncpolynomial.md:207-250
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> a = zero(T)
0
julia> b = one(T)
1
julia> c = BigInt(1)*y^2 + BigInt(1)
y^2 + 1
julia> d = x*y^2 + (x + 1)*y + 3
x*y^2 + (x + 1)*y + [3 0; 0 3]
julia> f = leading_coefficient(d)
x
julia> y = gen(T)
y
julia> g = is_gen(y)
true
julia> m = is_unit(b)
true
julia> n = degree(d)
2
julia> is_term(2y^2)
true
julia> is_monomial(y^2)
true
```
Subexpression:
S, x = polynomial_ring(R, "x")
Evaluated output:
(Univariate polynomial ring in x over matrix ring, x)
Expected output:
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
diff =
Warning: Diff output requires color.
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, ring, x)
|
|
Documentation:
docs/src/ncpolynomial.md#L207
doctest failure in src/ncpolynomial.md:207-250
```jldoctest
julia> R = matrix_ring(ZZ, 2)
Matrix ring of degree 2
over integers
julia> S, x = polynomial_ring(R, "x")
(Univariate polynomial ring in x over matrix ring of degree 2 over integers, x)
julia> T, y = polynomial_ring(S, "y")
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
julia> a = zero(T)
0
julia> b = one(T)
1
julia> c = BigInt(1)*y^2 + BigInt(1)
y^2 + 1
julia> d = x*y^2 + (x + 1)*y + 3
x*y^2 + (x + 1)*y + [3 0; 0 3]
julia> f = leading_coefficient(d)
x
julia> y = gen(T)
y
julia> g = is_gen(y)
true
julia> m = is_unit(b)
true
julia> n = degree(d)
2
julia> is_term(2y^2)
true
julia> is_monomial(y^2)
true
```
Subexpression:
T, y = polynomial_ring(S, "y")
Evaluated output:
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring, y)
Expected output:
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, y)
diff =
Warning: Diff output requires color.
(Univariate polynomial ring in y over univariate polynomial ring in x over matrix ring of degree 2 over integers, ring, y)
|
|
test (1.10, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.10, macOS-latest)
Process completed with exit code 1.
|
|
test (1.10, windows-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/1680/merge-true' exists
|
|
test (1.10, windows-latest)
The operation was canceled.
|
|
test (1.9, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, julia-actions/setup-julia@v1, actions/cache@4d4ae6ae148a43d0fd1eda1800170683e9882738, pyTooling/Actions/with-post-step@adef08d3bdef092282614f3b683897cefae82ee3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Documentation
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, julia-actions/setup-julia@v1, actions/cache@4d4ae6ae148a43d0fd1eda1800170683e9882738, pyTooling/Actions/with-post-step@adef08d3bdef092282614f3b683897cefae82ee3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (1.6, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, julia-actions/setup-julia@v1, actions/cache@4d4ae6ae148a43d0fd1eda1800170683e9882738, pyTooling/Actions/with-post-step@adef08d3bdef092282614f3b683897cefae82ee3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (1.11-nightly, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, julia-actions/setup-julia@v1, actions/cache@4d4ae6ae148a43d0fd1eda1800170683e9882738, pyTooling/Actions/with-post-step@adef08d3bdef092282614f3b683897cefae82ee3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (nightly, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, julia-actions/setup-julia@v1, actions/cache@4d4ae6ae148a43d0fd1eda1800170683e9882738, pyTooling/Actions/with-post-step@adef08d3bdef092282614f3b683897cefae82ee3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (1.10, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, julia-actions/setup-julia@v1, actions/cache@4d4ae6ae148a43d0fd1eda1800170683e9882738, pyTooling/Actions/with-post-step@adef08d3bdef092282614f3b683897cefae82ee3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (1.10, macOS-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, julia-actions/setup-julia@v1, actions/cache@4d4ae6ae148a43d0fd1eda1800170683e9882738, pyTooling/Actions/with-post-step@adef08d3bdef092282614f3b683897cefae82ee3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|