search

sagemath / sage

Main repository of SageMath. Now open for Issues and Pull Requests.
https://www.sagemath.org
Other
1.12k stars 398 forks source link

bug in uniformiSer for p-adic rings #3371

Closed chriswuthrich closed 15 years ago

chriswuthrich commented 16 years ago

Uniformi Z er

sage : A = Zp(7,10)
sage : B.<t> = A.ext(x^2+7)
sage : B.uniformizer()
t + O(t^21)

versus Uniformi S er

sage : B.uniformiser()
6*t^2 + t^4 + O(t^22)

which is NOT a uniformiser.

Component: commutative algebra

Keywords: editor_craigcitro

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

5ef57b06-33a8-4a32-80d2-0f5ab07e80d9 commented 16 years ago

Attachment: sage-3371.patch.gz

5ef57b06-33a8-4a32-80d2-0f5ab07e80d9 commented 16 years ago
comment:1

The attached patch solves the problem [and also eliminates a stray tab].

craigcitro commented 15 years ago

Changed keywords from none to editor_craigcitro

craigcitro commented 15 years ago

extra touch-ups

roed314 commented 15 years ago
comment:6

Attachment: trac-3371.patch.gz

I approve of the changes in this ticket.

craigcitro commented 15 years ago

Attachment: trac-3371-doctest.patch.gz

add a doctest

85eec1a4-3d04-4b4d-b711-d4db03337c41 commented 15 years ago
comment:8

Merged all three patches in Sage 3.0.4.alpha0