You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi!
As mentioned in Nemocas/Nemo.jl#1509, modulo with polynomials in Nemo is a bit inconsistent. But in AbstractAlgebra there is another problem with modulo:
julia> using AbstractAlgebra
julia> R,x=ZZ[:x]
(Univariate polynomial ring in x over integers, x)
julia> mod(R(-1),R(2))
ERROR: ArgumentError: not a unit
Stacktrace:
[1] inv(a::BigInt)
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/YkCOC/src/julia/Integer.jl:224
[2] mod(f::AbstractAlgebra.Generic.Poly{BigInt}, g::AbstractAlgebra.Generic.Poly{BigInt})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/YkCOC/src/Poly.jl:1449
[3] top-level scope
@ REPL[6]:1
This is very weird since it works if R is multivariate, which can be seen in Nemocas/Nemo.jl#1509.
The text was updated successfully, but these errors were encountered:
Hi!
As mentioned in Nemocas/Nemo.jl#1509, modulo with polynomials in Nemo is a bit inconsistent. But in AbstractAlgebra there is another problem with modulo:
This is very weird since it works if
R
is multivariate, which can be seen in Nemocas/Nemo.jl#1509.The text was updated successfully, but these errors were encountered: