Let the completion functor prints the precision

[videlec]

sage: RR.construction()
(Completion[+Infinity], Rational Field)

will become

sage: RR.construction()
(Completion[+Infinity, prec=53], Rational Field)

CC: @tscrim

Component: categories

Author: Vincent Delecroix

Branch/Commit: c474002

Reviewer: Travis Scrimshaw

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

[videlec]

Commit: 5fbafc6

[videlec]

New commits:

5fbafc6

24456: let completion functor prints precision

[videlec]

Author: Vincent Delecroix

[videlec]

Branch: u/vdelecroix/24465

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:2

LGTM.

[videlec]

comment:3

doctest failure

[sagetrac-git]

Changed commit from 5fbafc6 to c474002

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

c474002

24465: fix doctest

[videlec]

comment:5

Let the patchbot pass first.

[tscrim]

comment:6

Patchbot (morally) comes back clean.

[vbraun]

comment:7

File "src/doc/en/reference/coercion/index.rst", line 627, in doc.en.reference.coercion.index
Failed example:
    sage.categories.pushout.construction_tower(Frac(CDF['x']))
Expected:
    [(None,
     Fraction Field of Univariate Polynomial Ring in x over Complex Double Field),
    (FractionField, Univariate Polynomial Ring in x over Complex Double Field),
    (Poly[x], Complex Double Field),
    (AlgebraicClosureFunctor, Real Double Field),
    (Completion[+Infinity], Rational Field),
    (FractionField, Integer Ring)]
Got:
    [(None,
      Fraction Field of Univariate Polynomial Ring in x over Complex Double Field),
     (FractionField, Univariate Polynomial Ring in x over Complex Double Field),
     (Poly[x], Complex Double Field),
     (AlgebraicClosureFunctor, Real Double Field),
     (Completion[+Infinity, prec=53], Rational Field),
     (FractionField, Integer Ring)]
**********************************************************************
1 item had failures:
   1 of  99 in doc.en.reference.coercion.index
    [84 tests, 1 failure, 3.38 s]

[tscrim]

comment:8

It looks like this does not have c474002. Can you give it another go Volker?

[vbraun]

Changed branch from u/vdelecroix/24465 to c474002