Adjust to upcoming AbstractAlgebra changes #142
joschmittCI.yml
on: pull_request
Documentation
2m 26s
Matrix: test
Annotations
16 errors, 14 warnings, and 6 notices
|
test (~1.10.0-0, x64, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.9, x64, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.6, x64, ubuntu-latest)
Process completed with exit code 1.
|
|
test (nightly, x64, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.6, x64, macOS-latest)
Process completed with exit code 1.
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/siggb/siggb.jl:34-59
```jldoctest
julia> using AlgebraicSolving
julia> R, vars = polynomial_ring(GF(17), ["x$i" for i in 1:4])
(Multivariate polynomial ring in 4 variables over GF(17), FqMPolyRingElem[x1, x2, x3, x4])
julia> F = AlgebraicSolving.cyclic(R)
FqMPolyRingElem[x1 + x2 + x3 + x4, x1*x2 + x1*x4 + x2*x3 + x3*x4, x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4, x1*x2*x3*x4 + 16]
julia> Fhom = AlgebraicSolving._homogenize(F.gens)
4-element Vector{FqMPolyRingElem}:
x1 + x2 + x3 + x4
x1*x2 + x2*x3 + x1*x4 + x3*x4
x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4
x1*x2*x3*x4 + 16*x5^4
julia> sig_groebner_basis(Fhom)
7-element Vector{Tuple{Tuple{Int64, FqMPolyRingElem}, FqMPolyRingElem}}:
((1, 1), x1 + x2 + x3 + x4)
((2, 1), x2^2 + 2*x2*x4 + x4^2)
((3, 1), x2*x3^2 + x3^2*x4 + 16*x2*x4^2 + 16*x4^3)
((4, 1), x2*x3*x4^2 + x3^2*x4^2 + 16*x2*x4^3 + x3*x4^3 + 16*x4^4 + 16*x5^4)
((4, x3), x3^3*x4^2 + x3^2*x4^3 + 16*x3*x5^4 + 16*x4*x5^4)
((4, x2), x2*x4^4 + x4^5 + 16*x2*x5^4 + 16*x4*x5^4)
((4, x2*x3), x3^2*x4^4 + x2*x3*x5^4 + 16*x2*x4*x5^4 + x3*x4*x5^4 + 15*x4^2*x5^4)
```
Subexpression:
Fhom = AlgebraicSolving._homogenize(F.gens)
Evaluated output:
ERROR: MethodError: no method matching polynomial_ring_only(::Nemo.FqField, ::Vector{Symbol}; internal_ordering::Symbol)
Closest candidates are:
polynomial_ring_only(::T, ::Vector{Symbol}; ordering, cached) where T<:AbstractAlgebra.Ring got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1461
polynomial_ring_only(::T, !Matched::Symbol; cached) where T<:AbstractAlgebra.NCRing got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/NCPoly.jl:750
Stacktrace:
[1] kwerr(::@NamedTuple{internal_ordering::Symbol}, ::Function, ::Nemo.FqField, ::Vector{Symbol})
@ Base ./error.jl:165
[2] polynomial_ring(R::Nemo.FqField, s::Vector{Symbol}; kw::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1372
[3] polynomial_ring(R::Nemo.FqField, s::Tuple{Vector{String}}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:269
[4] polynomial_ring(::Nemo.FqField, ::Vector{String}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:266
[5] _homogenize(F::Vector{FqMPolyRingElem})
@ AlgebraicSolving ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/siggb/siggb.jl:231
[6] top-level scope
@ none:1
Expected output:
4-element Vector{FqMPolyRingElem}:
x1 + x2 + x3 + x4
x1*x2 + x2*x3 + x1*x4 + x3*x4
x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4
x1*x2*x3*x4 + 16*x5^4
diff =
Warning: Diff output requires color.
4-element Vector{FqMPolyRingElem}:
x1 + x2 + x3 + x4
x1*x2 + x2*x3 + x1*x4 + x3*x4
x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4
x1*x2*x3*x4 + 16*x5^4ERROR: MethodError: no method matching polynomial_ring_only(::Nemo.FqField, ::Vector{Symbol}; internal_ordering::Symbol)
Closest candidates are:
polynomial_ring_only(::T, ::Vector{Symbol}; ordering, cached) where T<:AbstractAlgebra.Ring got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1461
polynomial_ring_only(::T, !Matched::Symbol; cached) where T<:AbstractAlgebra.NCRing got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/NCPoly.jl:750
Stacktrace:
[1] kwerr(::@NamedTuple{internal_ordering::Symbol}, ::Function, ::Nemo.FqField, ::Vector{Symbol})
@ Base ./error.jl:165
[2] polynomial_ring(R::Nemo.FqField, s::Vector{Symbol}; kw::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1372
[3] polynomial_ring(R::Nemo.FqField, s::Tuple{Vector{String}}; kv::
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/siggb/siggb.jl:34-59
```jldoctest
julia> using AlgebraicSolving
julia> R, vars = polynomial_ring(GF(17), ["x$i" for i in 1:4])
(Multivariate polynomial ring in 4 variables over GF(17), FqMPolyRingElem[x1, x2, x3, x4])
julia> F = AlgebraicSolving.cyclic(R)
FqMPolyRingElem[x1 + x2 + x3 + x4, x1*x2 + x1*x4 + x2*x3 + x3*x4, x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4, x1*x2*x3*x4 + 16]
julia> Fhom = AlgebraicSolving._homogenize(F.gens)
4-element Vector{FqMPolyRingElem}:
x1 + x2 + x3 + x4
x1*x2 + x2*x3 + x1*x4 + x3*x4
x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4
x1*x2*x3*x4 + 16*x5^4
julia> sig_groebner_basis(Fhom)
7-element Vector{Tuple{Tuple{Int64, FqMPolyRingElem}, FqMPolyRingElem}}:
((1, 1), x1 + x2 + x3 + x4)
((2, 1), x2^2 + 2*x2*x4 + x4^2)
((3, 1), x2*x3^2 + x3^2*x4 + 16*x2*x4^2 + 16*x4^3)
((4, 1), x2*x3*x4^2 + x3^2*x4^2 + 16*x2*x4^3 + x3*x4^3 + 16*x4^4 + 16*x5^4)
((4, x3), x3^3*x4^2 + x3^2*x4^3 + 16*x3*x5^4 + 16*x4*x5^4)
((4, x2), x2*x4^4 + x4^5 + 16*x2*x5^4 + 16*x4*x5^4)
((4, x2*x3), x3^2*x4^4 + x2*x3*x5^4 + 16*x2*x4*x5^4 + x3*x4*x5^4 + 15*x4^2*x5^4)
```
Subexpression:
sig_groebner_basis(Fhom)
Evaluated output:
ERROR: UndefVarError: `Fhom` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
7-element Vector{Tuple{Tuple{Int64, FqMPolyRingElem}, FqMPolyRingElem}}:
((1, 1), x1 + x2 + x3 + x4)
((2, 1), x2^2 + 2*x2*x4 + x4^2)
((3, 1), x2*x3^2 + x3^2*x4 + 16*x2*x4^2 + 16*x4^3)
((4, 1), x2*x3*x4^2 + x3^2*x4^2 + 16*x2*x4^3 + x3*x4^3 + 16*x4^4 + 16*x5^4)
((4, x3), x3^3*x4^2 + x3^2*x4^3 + 16*x3*x5^4 + 16*x4*x5^4)
((4, x2), x2*x4^4 + x4^5 + 16*x2*x5^4 + 16*x4*x5^4)
((4, x2*x3), x3^2*x4^4 + x2*x3*x5^4 + 16*x2*x4*x5^4 + x3*x4*x5^4 + 15*x4^2*x5^4)
diff =
Warning: Diff output requires color.
7-element Vector{Tuple{Tuple{Int64, FqMPolyRingElem}, FqMPolyRingElem}}:
((1, 1), x1 + x2 + x3 + x4)
((2, 1), x2^2 + 2*x2*x4 + x4^2)
((3, 1), x2*x3^2 + x3^2*x4 + 16*x2*x4^2 + 16*x4^3)
((4, 1), x2*x3*x4^2 + x3^2*x4^2 + 16*x2*x4^3 + x3*x4^3 + 16*x4^4 + 16*x5^4)
((4, x3), x3^3*x4^2 + x3^2*x4^3 + 16*x3*x5^4 + 16*x4*x5^4)
((4, x2), x2*x4^4 + x4^5 + 16*x2*x5^4 + 16*x4*x5^4)
((4, x2*x3), x3^2*x4^4 + x2*x3*x5^4 + 16*x2*x4*x5^4 + x3*x4*x5^4 + 15*x4^2*x5^4)ERROR: UndefVarError: `Fhom` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/examples/katsura.jl:24-29
```jldoctest
julia> using AlgebraicSolving
julia> katsura(2)
QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 + 2*x2^2 + 2*x3^2 - x1, 2*x1*x2 + 2*x2*x3 - x2]
```
Subexpression:
katsura(2)
Evaluated output:
ERROR: MethodError: no method matching polynomial_ring_only(::Nemo.QQField, ::Vector{Symbol}; internal_ordering::Symbol)
Closest candidates are:
polynomial_ring_only(::T, ::Vector{Symbol}; ordering, cached) where T<:AbstractAlgebra.Ring got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1461
polynomial_ring_only(::T, !Matched::Symbol; cached) where T<:AbstractAlgebra.NCRing got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/NCPoly.jl:750
Stacktrace:
[1] kwerr(::@NamedTuple{internal_ordering::Symbol}, ::Function, ::Nemo.QQField, ::Vector{Symbol})
@ Base ./error.jl:165
[2] polynomial_ring(R::Nemo.QQField, s::Vector{Symbol}; kw::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1372
[3] polynomial_ring(R::Nemo.QQField, n::Int64, s::Symbol; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:281
[4] katsura(log_solutions::Int64, characteristic::Int64)
@ AlgebraicSolving ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/examples/katsura.jl:33
[5] katsura(log_solutions::Int64)
@ AlgebraicSolving ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/examples/katsura.jl:32
[6] top-level scope
@ none:1
Expected output:
QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 + 2*x2^2 + 2*x3^2 - x1, 2*x1*x2 + 2*x2*x3 - x2]
diff =
Warning: Diff output requires color.
QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 + 2*x2^2 + 2*x3^2 - x1, 2*x1*x2 + 2*x2*x3 - x2]ERROR: MethodError: no method matching polynomial_ring_only(::Nemo.QQField, ::Vector{Symbol}; internal_ordering::Symbol)
Closest candidates are:
polynomial_ring_only(::T, ::Vector{Symbol}; ordering, cached) where T<:AbstractAlgebra.Ring got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1461
polynomial_ring_only(::T, !Matched::Symbol; cached) where T<:AbstractAlgebra.NCRing got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/NCPoly.jl:750
Stacktrace:
[1] kwerr(::@NamedTuple{internal_ordering::Symbol}, ::Function, ::Nemo.QQField, ::Vector{Symbol})
@ Base ./error.jl:165
[2] polynomial_ring(R::Nemo.QQField, s::Vector{Symbol}; kw::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1372
[3] polynomial_ring(R::Nemo.QQField, n::Int64, s::Symbol; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:281
[4] katsura(log_solutions::Int64, characteristic::Int64)
@ AlgebraicSolving ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/examples/katsura.jl:33
[5] katsura(log_solutions::Int64)
@ AlgebraicSolving ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/examples/katsura.jl:32
[6] top-level scope
@ none:1
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:80-99
```jldoctest
julia> using AlgebraicSolving
julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex)
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])
julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
julia> groebner_basis(I)
4-element Vector{FqMPolyRingElem}:
x + 2*y + 2*z + 100
y*z + 82*z^2 + 10*y + 40*z
y^2 + 60*z^2 + 20*y + 81*z
z^3 + 28*z^2 + 64*y + 13*z
julia> groebner_basis(I, eliminate=2)
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*z
```
Subexpression:
R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex)
Evaluated output:
ERROR: MethodError: no method matching polynomial_ring_only(::Nemo.FqField, ::Vector{Symbol}; internal_ordering::Symbol)
Closest candidates are:
polynomial_ring_only(::T, ::Vector{Symbol}; ordering, cached) where T<:AbstractAlgebra.Ring got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1461
polynomial_ring_only(::T, !Matched::Symbol; cached) where T<:AbstractAlgebra.NCRing got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/NCPoly.jl:750
Stacktrace:
[1] kwerr(::@NamedTuple{internal_ordering::Symbol}, ::Function, ::Nemo.FqField, ::Vector{Symbol})
@ Base ./error.jl:165
[2] polynomial_ring(R::Nemo.FqField, s::Vector{Symbol}; kw::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1372
[3] polynomial_ring(R::Nemo.FqField, s::Tuple{Vector{String}}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:269
[4] polynomial_ring(::Nemo.FqField, ::Vector{String}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:266
[5] top-level scope
@ none:1
Expected output:
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])
diff =
Warning: Diff output requires color.
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])ERROR: MethodError: no method matching polynomial_ring_only(::Nemo.FqField, ::Vector{Symbol}; internal_ordering::Symbol)
Closest candidates are:
polynomial_ring_only(::T, ::Vector{Symbol}; ordering, cached) where T<:AbstractAlgebra.Ring got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1461
polynomial_ring_only(::T, !Matched::Symbol; cached) where T<:AbstractAlgebra.NCRing got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/NCPoly.jl:750
Stacktrace:
[1] kwerr(::@NamedTuple{internal_ordering::Symbol}, ::Function, ::Nemo.FqField, ::Vector{Symbol})
@ Base ./error.jl:165
[2] polynomial_ring(R::Nemo.FqField, s::Vector{Symbol}; kw::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1372
[3] polynomial_ring(R::Nemo.FqField, s::Tuple{Vector{String}}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:269
[4] polynomial_ring(::Nemo.FqField, ::Vector{String}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:266
[5] top-level scope
@ none:1
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:80-99
```jldoctest
julia> using AlgebraicSolving
julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex)
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])
julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
julia> groebner_basis(I)
4-element Vector{FqMPolyRingElem}:
x + 2*y + 2*z + 100
y*z + 82*z^2 + 10*y + 40*z
y^2 + 60*z^2 + 20*y + 81*z
z^3 + 28*z^2 + 64*y + 13*z
julia> groebner_basis(I, eliminate=2)
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*z
```
Subexpression:
I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
Evaluated output:
ERROR: UndefVarError: `x` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
diff =
Warning: Diff output requires color.
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]ERROR: UndefVarError: `x` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:80-99
```jldoctest
julia> using AlgebraicSolving
julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex)
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])
julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
julia> groebner_basis(I)
4-element Vector{FqMPolyRingElem}:
x + 2*y + 2*z + 100
y*z + 82*z^2 + 10*y + 40*z
y^2 + 60*z^2 + 20*y + 81*z
z^3 + 28*z^2 + 64*y + 13*z
julia> groebner_basis(I, eliminate=2)
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*z
```
Subexpression:
groebner_basis(I)
Evaluated output:
ERROR: UndefVarError: `I` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
4-element Vector{FqMPolyRingElem}:
x + 2*y + 2*z + 100
y*z + 82*z^2 + 10*y + 40*z
y^2 + 60*z^2 + 20*y + 81*z
z^3 + 28*z^2 + 64*y + 13*z
diff =
Warning: Diff output requires color.
4-element Vector{FqMPolyRingElem}:
x + 2*y + 2*z + 100
y*z + 82*z^2 + 10*y + 40*z
y^2 + 60*z^2 + 20*y + 81*z
z^3 + 28*z^2 + 64*y + 13*zERROR: UndefVarError: `I` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:80-99
```jldoctest
julia> using AlgebraicSolving
julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex)
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])
julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
julia> groebner_basis(I)
4-element Vector{FqMPolyRingElem}:
x + 2*y + 2*z + 100
y*z + 82*z^2 + 10*y + 40*z
y^2 + 60*z^2 + 20*y + 81*z
z^3 + 28*z^2 + 64*y + 13*z
julia> groebner_basis(I, eliminate=2)
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*z
```
Subexpression:
groebner_basis(I, eliminate=2)
Evaluated output:
ERROR: UndefVarError: `I` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*z
diff =
Warning: Diff output requires color.
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*zERROR: UndefVarError: `I` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:26-38
```jldoctest
julia> using AlgebraicSolving
julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex)
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])
julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
julia> eliminate(I, 2)
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*z
```
Subexpression:
R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex)
Evaluated output:
ERROR: MethodError: no method matching polynomial_ring_only(::Nemo.FqField, ::Vector{Symbol}; internal_ordering::Symbol)
Closest candidates are:
polynomial_ring_only(::T, ::Vector{Symbol}; ordering, cached) where T<:AbstractAlgebra.Ring got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1461
polynomial_ring_only(::T, !Matched::Symbol; cached) where T<:AbstractAlgebra.NCRing got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/NCPoly.jl:750
Stacktrace:
[1] kwerr(::@NamedTuple{internal_ordering::Symbol}, ::Function, ::Nemo.FqField, ::Vector{Symbol})
@ Base ./error.jl:165
[2] polynomial_ring(R::Nemo.FqField, s::Vector{Symbol}; kw::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1372
[3] polynomial_ring(R::Nemo.FqField, s::Tuple{Vector{String}}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:269
[4] polynomial_ring(::Nemo.FqField, ::Vector{String}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:266
[5] top-level scope
@ none:1
Expected output:
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])
diff =
Warning: Diff output requires color.
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])ERROR: MethodError: no method matching polynomial_ring_only(::Nemo.FqField, ::Vector{Symbol}; internal_ordering::Symbol)
Closest candidates are:
polynomial_ring_only(::T, ::Vector{Symbol}; ordering, cached) where T<:AbstractAlgebra.Ring got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1461
polynomial_ring_only(::T, !Matched::Symbol; cached) where T<:AbstractAlgebra.NCRing got unsupported keyword argument "internal_ordering"
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/NCPoly.jl:750
Stacktrace:
[1] kwerr(::@NamedTuple{internal_ordering::Symbol}, ::Function, ::Nemo.FqField, ::Vector{Symbol})
@ Base ./error.jl:165
[2] polynomial_ring(R::Nemo.FqField, s::Vector{Symbol}; kw::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/MPoly.jl:1372
[3] polynomial_ring(R::Nemo.FqField, s::Tuple{Vector{String}}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:269
[4] polynomial_ring(::Nemo.FqField, ::Vector{String}; kv::@kwargs{internal_ordering::Symbol})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/cwAAG/src/misc/VarNames.jl:266
[5] top-level scope
@ none:1
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:26-38
```jldoctest
julia> using AlgebraicSolving
julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex)
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])
julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
julia> eliminate(I, 2)
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*z
```
Subexpression:
I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
Evaluated output:
ERROR: UndefVarError: `x` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
diff =
Warning: Diff output requires color.
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]ERROR: UndefVarError: `x` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:26-38
```jldoctest
julia> using AlgebraicSolving
julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex)
(Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z])
julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
julia> eliminate(I, 2)
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*z
```
Subexpression:
eliminate(I, 2)
Evaluated output:
ERROR: UndefVarError: `I` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*z
diff =
Warning: Diff output requires color.
1-element Vector{FqMPolyRingElem}:
z^4 + 38*z^3 + 95*z^2 + 95*zERROR: UndefVarError: `I` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
test (nightly, x64, macOS-latest)
Process completed with exit code 1.
|
|
test (~1.10.0-0, x64, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, julia-actions/setup-julia@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (~1.10.0-0, x64, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (1.9, x64, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, julia-actions/setup-julia@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (1.9, x64, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (1.6, x64, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, julia-actions/setup-julia@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (1.6, x64, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (nightly, x64, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, julia-actions/setup-julia@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (nightly, x64, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (1.6, x64, macOS-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, julia-actions/setup-julia@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (1.6, x64, macOS-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Documentation
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, 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
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (nightly, x64, macOS-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, julia-actions/setup-julia@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (nightly, x64, macOS-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
|
|
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
|
|
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
|
|
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
|
|
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
|
|
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
|