search

oscar-system / Oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
https://www.oscar-system.org
Other
339 stars 120 forks source link

StackOverflowError when computing roots over Puiseux series field #4034

Open YueRen opened 3 weeks ago

YueRen commented 3 weeks ago

This is related to https://github.com/oscar-system/Oscar.jl/issues/4007, and found together with @VictoriaSchleis @APMS04

julia> K,t = puiseux_series_field(QQ,10,"t")
(Puiseux series field in t over QQ, t + O(t^11))

julia> R,x = K["x"]
(Univariate polynomial ring in x over K, x)

julia> roots(x-1)
ERROR: StackOverflowError:
Stacktrace:
     [1] factor(a::AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.PuiseuxSeriesFieldElem{QQFieldElem}})
       @ Hecke ~/.julia/packages/Hecke/x2Cxg/src/Misc/Integer.jl:179
     [2] factor(x::AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.PuiseuxSeriesFieldElem{QQFieldElem}})
       @ Hecke ~/.julia/packages/Hecke/x2Cxg/src/Hecke.jl:202
     [3] factor(a::AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.PuiseuxSeriesFieldElem{QQFieldElem}}; b::@Kwargs{})
       @ Hecke ~/.julia/packages/Hecke/x2Cxg/src/Misc/Integer.jl:179
--- the last 2 lines are repeated 26659 more times ---
 [53322] factor(x::AbstractAlgebra.Generic.Poly{AbstractAlgebra.Generic.PuiseuxSeriesFieldElem{QQFieldElem}})
       @ Hecke ~/.julia/packages/Hecke/x2Cxg/src/Hecke.jl:202

@thofma Is computing roots over puiseux_series_field currently supported? Roots over PadicFields seem to work.

thofma commented 3 weeks ago

No, not possible. Even the roots over PadicFields have some issues.

I will change the error messages to "Not implemented yet" or something like that.

lgoettgens commented 3 weeks ago

I think this stack overflow is here instead of a MethodError: no method matching factor(::AbstractAlgebra.Generic.PuiseuxSeriesFieldElem{QQFieldElem}) due to https://github.com/thofma/Hecke.jl/issues/1394