-
Notifications
You must be signed in to change notification settings - Fork 112
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
divexact for decorated polynomials #223
Comments
On Thu, Jan 07, 2021 at 04:39:16AM -0800, delphinepol wrote:
Fixed - i.e Tommy fixed it.
You'll need to update Oscar...at your own peril...
… When trying to take a fraction with decorated polynomials, it seems to run into a loop because of divexact:
```
julia> S, (x,y,z) = PolynomialRing(QQ, ["x", "y", "z"])
(Multivariate Polynomial Ring in x, y, z over Rational Field, fmpq_mpoly[x, y, z])
julia> T = grade(S)
Multivariate Polynomial Ring in x, y, z over Rational Field filtrated by
x -> [1]
y -> [1]
z -> [1]
julia> divexact(T(x), T(1))
ERROR: StackOverflowError:
Stacktrace:
[1] divexact(::Oscar.MPolyElem_dec{fmpq}, ::Oscar.MPolyElem_dec{fmpq}) at /home/pol/.julia/packages/AbstractAlgebra/W7COB/src/Rings.jl:84
[2] divexact(::Oscar.MPolyElem_dec{fmpq}, ::Oscar.MPolyElem_dec{fmpq}) at /home/pol/.julia/packages/AbstractAlgebra/W7COB/src/Rings.jl:86 (repeats 79983 times)
julia> T(x)//T(y)
ERROR: StackOverflowError:
Stacktrace:
[1] divexact(::Oscar.MPolyElem_dec{fmpq}, ::Oscar.MPolyElem_dec{fmpq}) at /home/pol/.julia/packages/AbstractAlgebra/W7COB/src/Rings.jl:84
[2] divexact(::Oscar.MPolyElem_dec{fmpq}, ::Oscar.MPolyElem_dec{fmpq}) at /home/pol/.julia/packages/AbstractAlgebra/W7COB/src/Rings.jl:86 (repeats 79983 times)
```
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
#223
|
On Thu, Jan 07, 2021 at 04:39:16AM -0800, delphinepol wrote:
Sorry - fixed in Oscar#master only
… When trying to take a fraction with decorated polynomials, it seems to run into a loop because of divexact:
```
julia> S, (x,y,z) = PolynomialRing(QQ, ["x", "y", "z"])
(Multivariate Polynomial Ring in x, y, z over Rational Field, fmpq_mpoly[x, y, z])
julia> T = grade(S)
Multivariate Polynomial Ring in x, y, z over Rational Field filtrated by
x -> [1]
y -> [1]
z -> [1]
julia> divexact(T(x), T(1))
ERROR: StackOverflowError:
Stacktrace:
[1] divexact(::Oscar.MPolyElem_dec{fmpq}, ::Oscar.MPolyElem_dec{fmpq}) at /home/pol/.julia/packages/AbstractAlgebra/W7COB/src/Rings.jl:84
[2] divexact(::Oscar.MPolyElem_dec{fmpq}, ::Oscar.MPolyElem_dec{fmpq}) at /home/pol/.julia/packages/AbstractAlgebra/W7COB/src/Rings.jl:86 (repeats 79983 times)
julia> T(x)//T(y)
ERROR: StackOverflowError:
Stacktrace:
[1] divexact(::Oscar.MPolyElem_dec{fmpq}, ::Oscar.MPolyElem_dec{fmpq}) at /home/pol/.julia/packages/AbstractAlgebra/W7COB/src/Rings.jl:84
[2] divexact(::Oscar.MPolyElem_dec{fmpq}, ::Oscar.MPolyElem_dec{fmpq}) at /home/pol/.julia/packages/AbstractAlgebra/W7COB/src/Rings.jl:86 (repeats 79983 times)
```
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
#223
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
When trying to take a fraction with decorated polynomials, it seems to run into a loop because of divexact:
The text was updated successfully, but these errors were encountered: