Upgrade MPFR, MPC and MPFI

[jdemeyer]

Tarballs:

• http://www.mpfr.org/mpfr-current/mpfr-4.0.0.tar.bz2
• https://ftp.gnu.org/gnu/mpc/mpc-1.1.0.tar.gz
• https://gforge.inria.fr/frs/download.php/file/37307/mpfi-1.5.2.tar.bz2

CC: @zimmermann6 @kiwifb

Component: packages: standard

Author: Jeroen Demeyer

Branch/Commit: 3c089ff

Reviewer: Paul Zimmermann

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

[jdemeyer]

Branch: u/jdemeyer/upgrade_to_mpfr_4_0_0

[jdemeyer]

comment:3

As reported on the MPFR mailing list by other people, this breaks MPC:

/bin/bash ../libtool  --tag=CC   --mode=compile gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I..   -I/usr/local/src/sage-config/local/include -I/usr/local/src/sage-config/local/
libtool: compile:  gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I.. -I/usr/local/src/sage-config/local/include -I/usr/local/src/sage-config/local/include -m64 -O2 -march=corei7-
mul.c:179:1: error: conflicting types for 'mpfr_fmma'
 mpfr_fmma (mpfr_ptr z, mpfr_srcptr a, mpfr_srcptr b, mpfr_srcptr c,
 ^
In file included from mpc.h:25:0,
                 from mpc-impl.h:30,
                 from mul.c:22:
../../../../../../../include/mpfr.h:731:6: note: previous declaration of 'mpfr_fmma' was here
 __MPFR_DECLSPEC int mpfr_fmma (mpfr_ptr, mpfr_srcptr, mpfr_srcptr, mpfr_srcptr,
      ^
Makefile:532: recipe for target 'mul.lo' failed
make[6]: *** [mul.lo] Error 1

---

New commits:

f93f4ac

Upgrade to MPFR 4.0.0

[jdemeyer]

Commit: f93f4ac

[jdemeyer]

Author: Jeroen Demeyer

[sagetrac-git]

Changed commit from f93f4ac to 4db514d

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

4db514d

Upgrade to MPFR 4.0.0 and MPC 1.1.0

[jdemeyer]

Upstream: Reported upstream. No feedback yet.

[zimmermann6]

comment:9

Unfortunately, it seems that MPFI is a dead project

Fabrice Rouillier tells me he is preparing the release of MPFI 1.5.2. Stay tuned!

[jdemeyer]

comment:10

Replying to @zimmermann6:

Fabrice Rouillier tells me he is preparing the release of MPFI 1.5.2. Stay tuned!

Is this personal communication or is this on some public channel? In the latter case, do you have a link?

[zimmermann6]

comment:11

Is this personal communication or is this on some public channel?

it is personal communication. If/when I have some information about a release candidate,
I will post it here.

[zimmermann6]

comment:12

MPFI 1.5.2 is available from https://gforge.inria.fr/frs/?group_id=157

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

16e3180

Upgrade MPFR, MPC and MPFI

[sagetrac-git]

Changed commit from 4db514d to 16e3180

[sagetrac-git]

Changed commit from 16e3180 to 092ac74

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

092ac74

Upgrade MPFR, MPC and MPFI

[jdemeyer]

comment:16

There are a few obvious doctest failures in src/sage/rings/real_mpfr.pyx. All should be easy to fix.

[zimmermann6]

comment:17

I am curious to know which failures you get.

[sagetrac-git]

Changed commit from 092ac74 to afc3b66

[sagetrac-git]

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

afc3b66

Minor fixes for MPFR-4; support MPFR_RNDF

[jdemeyer]

comment:19

I added a few fixes in the last commit. With this, all tests pass. So, this ticket is technically needs_review, modulo the fact that there is no MPC release yet...

[zimmermann6]

comment:20

in the last commit:

faithful rounding (currently experimental; not supported for every operation)

"not supported for every operation" is not correct: it is supported, but not guaranteed correct for every operation.

Apart from that, I am ok with this commit.

We expect to release MPC 1.1 this week or next week.

[sagetrac-git]

Changed commit from afc3b66 to 19646be

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

19646be

Minor fixes for MPFR-4; support MPFR_RNDF

[jdemeyer]

Reviewer: Paul Zimmermann

[jdemeyer]

comment:22

Replying to @zimmermann6:

"not supported for every operation" is not correct: it is supported, but not guaranteed correct for every operation.

Fixed.

Apart from that, I am ok with this commit.

OK, I'm adding you as reviewer.

[zimmermann6]

comment:23

MPC 1.1.0 is now available from https://ftp.gnu.org/gnu/mpc

[sagetrac-git]

Changed commit from 19646be to 3c089ff

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

84e3a8a	Upgrade MPFR, MPC and MPFI
3c089ff	Minor fixes for MPFR-4; support MPFR_RNDF

[videlec]

comment:27

all tests pass on quasar (ubuntu x86_64)

[jdemeyer]

Changed upstream from Reported upstream. No feedback yet. to none

[zimmermann6]

comment:29

I did:

$ git co u/jdemeyer/upgrade_to_mpfr_4_0_0
$ git pull
$ make build

and got an error:

ERROR [transfer|run:135]: [Errno 404] Not Found: '//sagepad.org/spkg/upstream/mp
fr/mpfr-4.0.0.tar.bz2'
Traceback (most recent call last):
  File "/tmp/sage/build/bin/sage-download-file", line 28, in <module>
    run_safe()
  File "/tmp/sage/build/bin/../sage_bootstrap/download/cmdline.py", line 118, in
 run_safe
    run()
  File "/tmp/sage/build/bin/../sage_bootstrap/download/cmdline.py", line 100, in
 run
    app.download_tarball(args.url_or_tarball, args.destination)
  File "/tmp/sage/build/bin/../sage_bootstrap/download/app.py", line 43, in down
load_tarball
    tarball.download()
  File "/tmp/sage/build/bin/../sage_bootstrap/tarball.py", line 161, in download
    raise FileNotMirroredError('tarball does not exist on mirror network')
sage_bootstrap.tarball.FileNotMirroredError: tarball does not exist on mirror ne
twork
************************************************************************
Error downloading mpfr-4.0.0.tar.bz2

[jdemeyer]

comment:30

You need to manually download the 3 tarballs mentioned on this ticket and put them in the upstream directory in your Sage installation.

[zimmermann6]

comment:31

modulo the fact that the patchbot is happy, I give a positive review.

[vbraun]

Changed branch from u/jdemeyer/upgrade_to_mpfr_4_0_0 to 3c089ff