Skip to content
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

Printing for polynomials over the p-adic valuation rings misses parenthesis #1535

Closed
simonbrandhorst opened this issue Jun 4, 2024 · 1 comment · Fixed by #1536
Closed
Labels

Comments

@simonbrandhorst
Copy link
Collaborator

There should be parentheses

julia> K = qadic_field(3,3)[1]
Unramified extension of 3-adic numbers of degree 3

julia> R = valuation_ring(K)
Integers of Unramified extension of 3-adic numbers of degree 3

julia> Rt, t = polynomial_ring(R)
(Univariate polynomial ring in x over Integers of Unramified extension of 3-adic numbers of degree 3, x)

julia> t+3*t
3^0 + 3^1 + O(3^64)*x

@lgoettgens
Copy link
Contributor

This looks like something similar to Nemocas/AbstractAlgebra.jl#1667. Let me try to see if the same fix works here as well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
2 participants