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

Unstable minimal polynomial for element of 2-adic Eisenstein Extension Field in pi defined by x^4 - 2*a #32111

Open
kliem opened this issue Jul 3, 2021 · 1 comment

Comments

@kliem
Copy link
Contributor

kliem commented Jul 3, 2021

The following doctest in src/sage/rings/padics/padic_generic_element.pyx is unstable:

sage: K.<a> = QqCR(2^3,5)
sage: S.<x> = K[]
sage: L.<pi> = K.extension(x^4 - 2*a)
...
sage: elt = L.random_element() 
sage: P = elt.minimal_polynomial()
sage: P(elt) == 0
True

Sometimes it's not exact, ok the ring is not exact.
However, sometimes we get an error:

ArithmeticError: vector is not in free module

and from the documentation it is not clear when and why this happens.

In #29979, a doctest was marked not tested because of this.

Component: algebra

Keywords: minimal polynomial

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

@kliem kliem added this to the sage-9.4 milestone Jul 3, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.4, sage-9.5 Jul 19, 2021
@mwageringel

This comment has been minimized.

@mkoeppe mkoeppe modified the milestones: sage-9.5, sage-9.6 Dec 18, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.6, sage-9.7 May 3, 2022
@mkoeppe mkoeppe modified the milestones: sage-9.7, sage-9.8 Sep 19, 2022
@mkoeppe mkoeppe removed this from the sage-9.8 milestone Jan 29, 2023
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