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

Error when computing norm or trace of inexact zero in Z_q #31845

Closed
pjbruin opened this issue May 22, 2021 · 5 comments
Closed

Error when computing norm or trace of inexact zero in Z_q #31845

pjbruin opened this issue May 22, 2021 · 5 comments

Comments

@pjbruin
Copy link
Contributor

pjbruin commented May 22, 2021

In SageMath 9.3:

sage: R.<a> = Zq(4)
sage: b = a - a
sage: b.trace()
Traceback (most recent call last):
...
AttributeError: 'sage.rings.padics.qadic_flint_CR.qAdicCappedRelativeElement' object has no attribute 'ground_ring'

The attached branch fixes this and also changes a few instances of "norm" to "trace" in the docstring of trace_unram().

Component: padics

Author: Peter Bruin

Branch/Commit: 1e3fcfd

Reviewer: Vincent Delecroix

Issue created by migration from https://trac.sagemath.org/ticket/31845

@pjbruin pjbruin added this to the sage-9.4 milestone May 22, 2021
@pjbruin
Copy link
Contributor Author

pjbruin commented May 22, 2021

Branch: u/pbruin/31845-norm_trace_unramified

@pjbruin
Copy link
Contributor Author

pjbruin commented May 22, 2021

Commit: 1e3fcfd

@pjbruin

This comment has been minimized.

@pjbruin pjbruin changed the title Error when computing trace of inexact zero in Z_q Error when computing norm or trace of inexact zero in Z_q May 22, 2021
@videlec
Copy link
Contributor

videlec commented May 23, 2021

Reviewer: Vincent Delecroix

@vbraun
Copy link
Member

vbraun commented Jun 21, 2021

Changed branch from u/pbruin/31845-norm_trace_unramified to 1e3fcfd

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

No branches or pull requests

3 participants