Skip to content

Unified interface for constructors containing variable names #1992

Unified interface for constructors containing variable names

Unified interface for constructors containing variable names #1992

Triggered via pull request June 30, 2023 20:48
Status Cancelled
Total duration 12m 38s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CI.yml

on: pull_request
Documentation
4m 1s
Documentation
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

10 errors
test (1.6, ubuntu-latest)
Process completed with exit code 1.
Documentation: src/misc/VarNames.jl#L130
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/misc/VarNames.jl:130-171 ```jldoctest; setup = :(using AbstractAlgebra) julia> f(a, s::Vector{Symbol}) = a, String.(s) f (generic function with 1 method) julia> AbstractAlgebra.@varnames_interface f(a, s) @f (macro with 1 method) julia> f f (generic function with 4 methods) julia> f("hello", :x, :y, :z) ("hello", "x", "y", "z") julia> f("hello", :x => (1, 2), :y => 2, :z) ("hello", ["x[1,1]" "x[1,2]"], ["y[1]", "y[2]"], "z") julia> f("projective", ["x$i$j" for i in 0:1, j in 0:1], [:y0, :y1], :z) ("projective", ["x00" "x01"; "x10" "x11"], ["y0", "y1"], "z") julia> f("fun inputs", 'a':'g', Symbol.('x':'z', [0 1])) ("fun inputs", ["a", "b", "c", "d", "e", "f", "g"], ["x0" "x1"; "y0" "y1"; "z0" "z1"]) julia> @f "hello" x[1, 2] y[2] z "hello" julia> x 1×2 Matrix{String}: "x[1,1]" "x[1,2]" julia> y 2-element Vector{String}: "y[1]" "y[2]" julia> z "z" julia> v = [1,4,1]; @f "variable dims" x[v...]; x 1×4×1 Array{String, 3}: [:, :, 1] = "x[1,1,1]" "x[1,2,1]" "x[1,3,1]" "x[1,4,1]" ``` Subexpression: f Evaluated output: f (generic function with 5 methods) Expected output: f (generic function with 4 methods) diff = Warning: Diff output requires color. f (generic function with 4 5 methods)
Documentation: src/misc/VarNames.jl#L64
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/misc/VarNames.jl:64-78 ```jldoctest; setup = :(using AbstractAlgebra) julia> s = ([:a, :b], :x => (1, 2), :y => 2, :z); julia> AbstractAlgebra.reshape_to_varnames(AbstractAlgebra.variable_names(s...), s...) ([:a, :b], [Symbol("x[1,1]") Symbol("x[1,2]")], [Symbol("y[1]"), Symbol("y[2]")], :z) julia> R, vec = polynomial_ring(ZZ, AbstractAlgebra.variable_names(s...)) (Multivariate Polynomial Ring in 7 variables over Integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b, x[1,1], x[1,2], y[1], y[2], z]) julia> (a, b), x, y, z = AbstractAlgebra.reshape_to_varnames(vec, s...) (AbstractAlgebra.Generic.MPoly{BigInt}[a, b], AbstractAlgebra.Generic.MPoly{BigInt}[x[1,1] x[1,2]], AbstractAlgebra.Generic.MPoly{BigInt}[y[1], y[2]], z) julia> R, (a, b), x, y, z = polynomial_ring(ZZ, s...) (Multivariate Polynomial Ring in 7 variables over Integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b], AbstractAlgebra.Generic.MPoly{BigInt}[x[1,1] x[1,2]], AbstractAlgebra.Generic.MPoly{BigInt}[y[1], y[2]], z) ``` Subexpression: R, vec = polynomial_ring(ZZ, AbstractAlgebra.variable_names(s...)) Evaluated output: (Multivariate polynomial ring in 7 variables over integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b, x[1,1], x[1,2], y[1], y[2], z]) Expected output: (Multivariate Polynomial Ring in 7 variables over Integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b, x[1,1], x[1,2], y[1], y[2], z]) diff = Warning: Diff output requires color. (Multivariate Polynomial Ring polynomial ring in 7 variables over Integers, integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b, x[1,1], x[1,2], y[1], y[2], z])
Documentation: src/misc/VarNames.jl#L64
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/misc/VarNames.jl:64-78 ```jldoctest; setup = :(using AbstractAlgebra) julia> s = ([:a, :b], :x => (1, 2), :y => 2, :z); julia> AbstractAlgebra.reshape_to_varnames(AbstractAlgebra.variable_names(s...), s...) ([:a, :b], [Symbol("x[1,1]") Symbol("x[1,2]")], [Symbol("y[1]"), Symbol("y[2]")], :z) julia> R, vec = polynomial_ring(ZZ, AbstractAlgebra.variable_names(s...)) (Multivariate Polynomial Ring in 7 variables over Integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b, x[1,1], x[1,2], y[1], y[2], z]) julia> (a, b), x, y, z = AbstractAlgebra.reshape_to_varnames(vec, s...) (AbstractAlgebra.Generic.MPoly{BigInt}[a, b], AbstractAlgebra.Generic.MPoly{BigInt}[x[1,1] x[1,2]], AbstractAlgebra.Generic.MPoly{BigInt}[y[1], y[2]], z) julia> R, (a, b), x, y, z = polynomial_ring(ZZ, s...) (Multivariate Polynomial Ring in 7 variables over Integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b], AbstractAlgebra.Generic.MPoly{BigInt}[x[1,1] x[1,2]], AbstractAlgebra.Generic.MPoly{BigInt}[y[1], y[2]], z) ``` Subexpression: R, (a, b), x, y, z = polynomial_ring(ZZ, s...) Evaluated output: (Multivariate polynomial ring in 7 variables over integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b], AbstractAlgebra.Generic.MPoly{BigInt}[x[1,1] x[1,2]], AbstractAlgebra.Generic.MPoly{BigInt}[y[1], y[2]], z) Expected output: (Multivariate Polynomial Ring in 7 variables over Integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b], AbstractAlgebra.Generic.MPoly{BigInt}[x[1,1] x[1,2]], AbstractAlgebra.Generic.MPoly{BigInt}[y[1], y[2]], z) diff = Warning: Diff output requires color. (Multivariate Polynomial Ring polynomial ring in 7 variables over Integers, integers, AbstractAlgebra.Generic.MPoly{BigInt}[a, b], AbstractAlgebra.Generic.MPoly{BigInt}[x[1,1] x[1,2]], AbstractAlgebra.Generic.MPoly{BigInt}[y[1], y[2]], z)
Documentation
Process completed with exit code 1.
test (1.8, ubuntu-latest)
Process completed with exit code 1.
test (nightly, ubuntu-latest)
Process completed with exit code 1.
test (~1.9.0-0, ubuntu-latest)
Process completed with exit code 1.
test (1.8, windows-latest)
The operation was canceled.
test (1.8, macOS-latest)
The operation was canceled.