Opened 5 months ago

Last modified 3 months ago

#32111 new defect

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

Reported by: gh-kliem Owned by:
Priority: major Milestone: sage-9.5
Component: algebra Keywords: minimal polynomial, padics
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by gh-mwageringel)

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.

Change History (2)

comment:1 Changed 4 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:2 Changed 3 months ago by gh-mwageringel

  • Description modified (diff)
Note: See TracTickets for help on using tickets.