Opened 5 years ago

Closed 5 years ago

#24353 closed enhancement (fixed)

Upgrade MPFR, MPC and MPFI

Reported by: Jeroen Demeyer Owned by:
Priority: major Milestone: sage-8.2
Component: packages: standard Keywords:
Cc: Paul Zimmermann, François Bissey Merged in:
Authors: Jeroen Demeyer Reviewers: Paul Zimmermann
Report Upstream: N/A Work issues:
Branch: 3c089ff (Commits, GitHub, GitLab) Commit: 3c089ff224e709cc6ad647a123b8e06fe35d152a
Dependencies: Stopgaps:

Status badges

Change History (32)

comment:1 Changed 5 years ago by François Bissey

Cc: François Bissey added

comment:2 Changed 5 years ago by Jeroen Demeyer

Branch: u/jdemeyer/upgrade_to_mpfr_4_0_0

comment:3 Changed 5 years ago by Jeroen Demeyer

Commit: f93f4ac51cdd687efd359b5a28d84f691e5f63e7

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:

f93f4acUpgrade to MPFR 4.0.0

comment:4 Changed 5 years ago by Jeroen Demeyer

Authors: Jeroen Demeyer
Description: modified (diff)
Summary: Upgrade to MPFR 4.0.0Upgrade to MPFR 4.0.0 and MPC 1.1.0

comment:5 Changed 5 years ago by git

Commit: f93f4ac51cdd687efd359b5a28d84f691e5f63e74db514de445746ebef06e07804653c4ae3f49867

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

4db514dUpgrade to MPFR 4.0.0 and MPC 1.1.0

comment:6 Changed 5 years ago by Jeroen Demeyer

Description: modified (diff)
Report Upstream: N/AReported upstream. No feedback yet.
Summary: Upgrade to MPFR 4.0.0 and MPC 1.1.0Upgrade MPFR, MPC and MPFI

comment:7 Changed 5 years ago by Jeroen Demeyer

Description: modified (diff)

comment:8 Changed 5 years ago by Jeroen Demeyer

Description: modified (diff)

comment:9 Changed 5 years ago by Paul Zimmermann

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!

comment:10 in reply to:  9 Changed 5 years ago by Jeroen Demeyer

Replying to zimmerma:

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?

comment:11 Changed 5 years ago by Paul Zimmermann

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.

comment:12 Changed 5 years ago by Paul Zimmermann

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

comment:13 Changed 5 years ago by Jeroen Demeyer

Description: modified (diff)

comment:14 Changed 5 years ago by git

Commit: 4db514de445746ebef06e07804653c4ae3f4986716e31808d86c1259ff984f5ccbc92b407931c64e

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

16e3180Upgrade MPFR, MPC and MPFI

comment:15 Changed 5 years ago by git

Commit: 16e31808d86c1259ff984f5ccbc92b407931c64e092ac74f8fe166c13d311e3243a6c33d7f99896a

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

092ac74Upgrade MPFR, MPC and MPFI

comment:16 Changed 5 years ago by Jeroen Demeyer

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

comment:17 Changed 5 years ago by Paul Zimmermann

I am curious to know which failures you get.

comment:18 Changed 5 years ago by git

Commit: 092ac74f8fe166c13d311e3243a6c33d7f99896aafc3b665878fcf151fa6ab46a6dd6bc97c73659b

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

afc3b66Minor fixes for MPFR-4; support MPFR_RNDF

comment:19 Changed 5 years ago by Jeroen Demeyer

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...

comment:20 Changed 5 years ago by Paul Zimmermann

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.

comment:21 Changed 5 years ago by git

Commit: afc3b665878fcf151fa6ab46a6dd6bc97c73659b19646bee87f9ad06e3a2cd88d26eae63313f76ac

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

19646beMinor fixes for MPFR-4; support MPFR_RNDF

comment:22 in reply to:  20 Changed 5 years ago by Jeroen Demeyer

Reviewers: Paul Zimmermann

Replying to zimmerma:

"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.

comment:23 Changed 5 years ago by Paul Zimmermann

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

comment:24 Changed 5 years ago by Jeroen Demeyer

Description: modified (diff)

comment:25 Changed 5 years ago by git

Commit: 19646bee87f9ad06e3a2cd88d26eae63313f76ac3c089ff224e709cc6ad647a123b8e06fe35d152a

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

84e3a8aUpgrade MPFR, MPC and MPFI
3c089ffMinor fixes for MPFR-4; support MPFR_RNDF

comment:26 Changed 5 years ago by Jeroen Demeyer

Status: newneeds_review

comment:27 Changed 5 years ago by Vincent Delecroix

all tests pass on quasar (ubuntu x86_64)

comment:28 Changed 5 years ago by Jeroen Demeyer

Report Upstream: Reported upstream. No feedback yet.N/A

comment:29 Changed 5 years ago by Paul Zimmermann

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

comment:30 Changed 5 years ago by Jeroen Demeyer

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

comment:31 Changed 5 years ago by Paul Zimmermann

Status: needs_reviewpositive_review

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

comment:32 Changed 5 years ago by Volker Braun

Branch: u/jdemeyer/upgrade_to_mpfr_4_0_03c089ff224e709cc6ad647a123b8e06fe35d152a
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.