Upgrade: Flint 2.7.1 #31069

slel · 2020-12-17T20:40:10Z

This is to upgrade to Flint 2.7.1.

Our last upgrade was to Flint 2.6.3 in #29719.

Changes in FLINT 2.7.0 (from NEWS file)

2.7.0 -- 11 Dec 2020

Multivariate factorisation
Square root and square testing for finite fields
Square root and square testing for multivariates
Zassenhaus factoring speedups (incl. degree pruning)
Fast factorisation of cubic univariate polynomials
Add context objects to fmpz_mod_poly functions
Use BLAS for matrix multiplication over Z/nZ (small n)
Linear solving for non-square/singular matrices (can_solve)
Speed up factorisation over Z/nZ (for multiprecision n)

From the packaging point of view the main changes will be

configuring BLAS
pthread support
context object in fmpz_mod_poly function (API change)

upstream e-antic issue e-antic build failure with flint 2.7.0 flatsurf/e-antic#154
Meta-ticket: Use new features from FLINT 2.x, 3.x #31408: Meta-ticket: Use new features from FLINT 2.x

Depends on #25993

CC: @antonio-rojas @dimpase @kiwifb @timokau @isuruf @orlitzky @mkoeppe @slel @saraedum @videlec @kliem

Component: packages: standard

Keywords: upgrade, flint

Author: Vincent Delecroix, Matthias Koeppe

Branch/Commit: 8c71a1c

Reviewer: Dima Pasechnik

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

The text was updated successfully, but these errors were encountered:

slel · 2020-12-17T20:43:06Z

comment:1

Flint 2.7-rc2 is out. Can someone test with Sage?

slel · 2020-12-18T10:13:07Z

comment:4

Flint 2.7.0 was released today (2020-12-18).

antonio-rojas · 2020-12-18T11:23:42Z

comment:5

singular and e-antic fail to build due to the API changes in fmpz_mod_poly

antonio-rojas · 2020-12-18T15:33:12Z

comment:6

Actually, Singular is fixed in the (just released) 4.2.0 version. Unfortunately doesn't help much since the Singular upgrade has been stuck for years in #25993

antonio-rojas · 2020-12-19T09:17:13Z

comment:8

sagelib itself builds fine with flint 2.7 and passes doctests, modulo the singular upgrade.

kedlaya · 2021-01-22T05:01:23Z

comment:10

For the record, we are now up to Flint 2.7.1. As the timing and numbering suggest, this is mainly a bugfix release.

thierry-FreeBSD · 2021-01-23T22:20:38Z

comment:11

e-antic has been fixed (in head, to be 1.0.0).

videlec · 2021-02-20T09:49:29Z

New commits:

`73bd1a7`	`31069: flint version upgrade`
`29c0477`	`31069: flint declarations`

videlec · 2021-02-20T09:49:29Z

Commit: 29c0477

videlec · 2021-02-20T09:49:29Z

Author: Vincent Delecroix

videlec · 2021-02-20T09:49:29Z

Branch: public/31069

videlec · 2021-02-20T10:31:01Z

comment:16

I did not have any trouble to build singular. What was the issue?

antonio-rojas · 2021-02-20T10:55:25Z

comment:17

Replying to @videlec:

I did not have any trouble to build singular. What was the issue?

Which version of singular?

videlec · 2021-02-20T12:17:21Z

comment:18

Replying to @antonio-rojas:

Replying to @videlec:

I did not have any trouble to build singular. What was the issue?

Which version of singular?

4.1.1p2.p0 shipped with sage 9.3.beta7

antonio-rojas · 2021-02-20T12:36:26Z

comment:19

Replying to @videlec:

Replying to @antonio-rojas:

Replying to @videlec:

I did not have any trouble to build singular. What was the issue?

Which version of singular?

4.1.1p2.p0 shipped with sage 9.3.beta7

It builds because it's not using flint

checking for FLINT >= 2.4... problem
Sorry, your FLINT version is too old. Disabling.
configure: WARNING: Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)

orlitzky · 2021-03-24T21:17:20Z

comment:45

I think this is OK. The main issues were in other packages that have already been fixed. With system flint-2.7.1, I see only one doctest failure due to a timeout in pari that probably cannot be blamed on flint.

I see "unrelated" failures in the CI runs as well. If you are convinced of flint's innocence, we can set this to positive review.

dimpase · 2021-03-24T21:42:56Z

comment:46

lgtm too

dimpase · 2021-03-24T21:42:56Z

Changed reviewer from https://github.com/mkoeppe/sage/actions/runs/666698487 to Dima Pasechnik

mkoeppe · 2021-03-24T22:16:37Z

comment:47

Thanks!

mkoeppe · 2021-03-29T23:54:39Z

comment:48

Setting priority to blocker to bring this ticket to the attention of the release bot.

roed314 · 2021-03-30T07:32:38Z

comment:49

After merging this ticket into #31548 (since I want to use new functionality from FLINT 2.7.1 there) I'm getting errors starting Sage. I don't usually update spkgs outside of beta releases, so I could be doing something wrong (I'm running OS X 10.15.2).

$ git trac fetch 31069 && git merge
$ make build
...
Sage build/upgrade complete!
$ sage
ImportError Python 3.9.1: /Users/roed/sage/sage-9.3.beta7/local/bin/python3
...
ImportError: dlopen(/Users/roed/sage/sage-9.3.beta7/local/lib/python3.9/site-packages/sage/matrix/matrix_mpolynomial_dense.cpython-39-darwin.so, 2): Library not loaded: /Users/roed/sage/sage-9.3.beta7/local/lib/libSingular-4.1.1.dylib
  Referenced from: /Users/roed/sage/sage-9.3.beta7/local/lib/python3.9/site-packages/sage/matrix/matrix_mpolynomial_dense.cpython-39-darwin.so
  Reason: image not found

Full install.log available here.

kiwifb · 2021-03-30T07:36:09Z

comment:50

I believe you need singular 4.2.0p1 (9.3.beta8 if I am not mistaken) with that. Singular uses flint so does need rebuilding and 4.2.0 is the first one that is compatible with flint-2.7.1.

roed314 · 2021-03-30T08:53:12Z

comment:51

Despite the folder name, this is based on sage-9.3.beta9, and when I did make build it appeared to be building singular-4.2.0p1+2021-03-13+sage.

roed314 · 2021-03-30T08:58:24Z

comment:52

I feel like I'm missing something basic here: when I try running sage -f flint it gives me lots of errors saying that flint-2.7.1 isn't found:

[flint-2.7.1] Attempting to download package flint-2.7.1.tar.gz from mirrors
[flint-2.7.1] http://mirrors.mit.edu/sage/spkg/upstream/flint/flint-2.7.1.tar.gz
[flint-2.7.1] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
[flint-2.7.1] ERROR [transfer|run:135]: [Errno 404] Not Found: '//mirrors.mit.edu/sage/spkg/upstream/flint/flint-2.7.1.tar.gz'
[flint-2.7.1] http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/flint/flint-2.7.1.tar.gz
...
[flint-2.7.1] FileNotMirroredError: tarball does not exist on mirror network
[flint-2.7.1] ************************************************************************
[flint-2.7.1] ************************************************************************
[flint-2.7.1] Error downloading flint-2.7.1.tar.gz

Do I need to download a tarball manually from somewhere?

kiwifb · 2021-03-30T08:59:41Z

comment:53

Replying to @roed314:

Despite the folder name, this is based on sage-9.3.beta9, and when I did make build it appeared to be building singular-4.2.0p1+2021-03-13+sage.

OK, then it appears that somehow sage/matrix/matrix_mpolynomial_dense.cpython-39-darwin.so has not be rebuilt because it is still looking for libSingular-4.1.1 when it should look for libSingular-4.2.0.

kiwifb · 2021-03-30T09:04:37Z

comment:54

Replying to @roed314:

I feel like I'm missing something basic here: when I try running sage -f flint it gives me lots of errors saying that flint-2.7.1 isn't found:

[flint-2.7.1] Attempting to download package flint-2.7.1.tar.gz from mirrors
[flint-2.7.1] http://mirrors.mit.edu/sage/spkg/upstream/flint/flint-2.7.1.tar.gz
[flint-2.7.1] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
[flint-2.7.1] ERROR [transfer|run:135]: [Errno 404] Not Found: '//mirrors.mit.edu/sage/spkg/upstream/flint/flint-2.7.1.tar.gz'
[flint-2.7.1] http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/flint/flint-2.7.1.tar.gz
...
[flint-2.7.1] FileNotMirroredError: tarball does not exist on mirror network
[flint-2.7.1] ************************************************************************
[flint-2.7.1] ************************************************************************
[flint-2.7.1] Error downloading flint-2.7.1.tar.gz

Do I need to download a tarball manually from somewhere?

This ticket is not merged, tarball are not usually mirrored before Volker attempt to merge the tickets. You'll have to fetch the source a different way. Matthias created a handy way of using a string called upstream_url in the file checksum.ini to do the fetching from upstream but I cannot remember how it works.

slel · 2021-03-30T09:33:26Z

comment:55

Do this:

$ ./bootstrap -q
$ ./configure --enable-download-from-upstream-url -q
$ make -s V=0

roed314 · 2021-03-30T17:52:46Z

comment:56

Thanks! That seems to have worked.

roed314 · 2021-03-31T15:48:42Z

comment:57

For anyone else looking at this, I also had to do sage -f flint after the commands Samuel gave.

slel · 2021-03-31T18:30:03Z

comment:58

This should do everything at once:

$ ./bootstrap -q
$ ./configure --enable-download-from-upstream-url -q
$ make -s V=0 flint-clean
$ make -s V=0

mkoeppe · 2021-04-02T19:43:36Z

comment:59

Looks unrealistic to squeeze this into 9.3

vbraun · 2021-05-27T20:30:50Z

Changed branch from public/31069 to 8c71a1c

slel added this to the sage-9.3 milestone Dec 17, 2020

slel added c: packages: standard labels Dec 17, 2020

This comment has been minimized.

# to view

mkoeppe modified the milestones: sage-9.3, sage-9.4 Dec 27, 2020

This comment has been minimized.

# to view

slel changed the title ~~Upgrade: Flint 2.7.0~~ Upgrade: Flint 2.7.1 Feb 19, 2021

This comment has been minimized.

# to view

mkoeppe modified the milestones: sage-9.4, sage-9.3 Feb 20, 2021

mkoeppe added the s: needs review label Mar 19, 2021

dimpase added s: positive review and removed s: needs review labels Mar 24, 2021

mkoeppe added p: blocker / 1 and removed p: critical / 2 labels Mar 29, 2021

mkoeppe modified the milestones: sage-9.3, sage-9.4 Apr 2, 2021

mkoeppe added p: critical / 2 and removed p: blocker / 1 labels Apr 2, 2021

vbraun removed the s: positive review label May 27, 2021

vbraun closed this as completed in bab8d46 May 27, 2021

dimpase mentioned this issue Mar 18, 2021

update eclib and improve interface for elliptic curve saturation #31443

Closed

roed314 mentioned this issue Jan 29, 2023

Create matrix class for FLINT's nmod_mat module #31548

Open

Upgrade: Flint 2.7.1 #31069

Upgrade: Flint 2.7.1 #31069

Comments

slel commented Dec 17, 2020

slel commented Dec 17, 2020

This comment has been minimized.

This comment has been minimized.

slel commented Dec 18, 2020

antonio-rojas commented Dec 18, 2020

antonio-rojas commented Dec 18, 2020

This comment has been minimized.

antonio-rojas commented Dec 19, 2020

kedlaya commented Jan 22, 2021

thierry-FreeBSD commented Jan 23, 2021

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

videlec commented Feb 20, 2021

videlec commented Feb 20, 2021

videlec commented Feb 20, 2021

videlec commented Feb 20, 2021

videlec commented Feb 20, 2021

antonio-rojas commented Feb 20, 2021

videlec commented Feb 20, 2021

antonio-rojas commented Feb 20, 2021

orlitzky commented Mar 24, 2021

dimpase commented Mar 24, 2021

dimpase commented Mar 24, 2021

mkoeppe commented Mar 24, 2021

mkoeppe commented Mar 29, 2021

roed314 commented Mar 30, 2021

kiwifb commented Mar 30, 2021

roed314 commented Mar 30, 2021

roed314 commented Mar 30, 2021

kiwifb commented Mar 30, 2021

kiwifb commented Mar 30, 2021

slel commented Mar 30, 2021

roed314 commented Mar 30, 2021

roed314 commented Mar 31, 2021

slel commented Mar 31, 2021

mkoeppe commented Apr 2, 2021

vbraun commented May 27, 2021