Upgrade polymake to version 3.1

[mo271]

With my configuration, the configure script of polymake 3.0 is not working, probably due to a new version of perl:

$ ./configure 
checking C++ compiler ... ok (g++ is GCC 6.3.0)
checking C++ library ... ok (GNU stdlibc++ 20170218, C++ 201402)
determining architecture ... Undefined subroutine &Polymake::Configure::platform_name called at support/configure.pl line 538.

Let's package the latest version of polymake, 3.1.

To build it for Sage do:

• pull this ticket
• download from ​https://polymake.org/lib/exe/fetch.php/download/polymake-3.1-minimal.tar.bz2
• put it in $SAGE_ROOT/upstream/
• sage -i polymake

Depends on #22606

CC: @videlec @mkoeppe

Component: packages: experimental

Keywords: days84, polymake

Author: Moritz Firsching, Matthias Koeppe

Branch/Commit: 9f0c6d5

Reviewer: Matthias Koeppe, Vincent Delecroix

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

[mo271]

Branch: u/moritz/polymake-beta

[mo271]

comment:2

The tar ball, which should be put in the folder upstream can be found here: http://page.mi.fu-berlin.de/moritz/pkgs/polymake-3.1-beta2.tar.bz2

[mo271]

Changed branch from u/moritz/polymake-beta to none

[mkoeppe]

comment:3

Before you deleted the branch, I pulled it and built successfully on Mac OS.

[mo271]

Branch: u/moritz/polymake-beta

[mo271]

New commits:

d86b8ff

install of beta 3.1-beta2 now works

[mo271]

Commit: d86b8ff

[mkoeppe]

Reviewer: Matthias Koeppe

[videlec]

comment:8

This package completely breaks pypolymake. Don't you want to make a different package?

[videlec]

comment:9

Moreover, it is not nice to package yourself upstream. I pushed Moritz to make this package for testing purposes. I am very much against its inclusion in Sage.

[mkoeppe]

comment:10

OK, I agree

[mkoeppe]

comment:11

Also, the Singular build seems to fail with this beta version of polymake installed.

[videlec]

comment:12

Replying to @mkoeppe:

Also, the Singular build seems to fail with this beta version of polymake installed.

For the record, this can be fixed with

diff --git a/build/pkgs/singular/spkg-install b/build/pkgs/singular/spkg-install
index 373bd0852b..b172b0ec1f 100755
--- a/build/pkgs/singular/spkg-install
+++ b/build/pkgs/singular/spkg-install
@@ -93,6 +93,7 @@ config()
                 --with-ntl="$SAGE_LOCAL" \
                 --with-flint="$SAGE_LOCAL" \
                 --enable-gfanlib \
+                --disable-polymake \
                 --enable-Singular \
                 --enable-factory \
                 --disable-doc \

[mkoeppe]

comment:13

(this fix to Singular is #22606.)

[mkoeppe]

Dependencies: #22606

[mkoeppe]

comment:15

This new version also breaks #22683. Apparently polymake has changed its mind about some important properties:

    TypeError: initial check failed: dimension mismatch between LINEALITY_SPACE and CONE_AMBIENT_DIM

[mkoeppe]

comment:16

Polymake 3.1 was just released. We should repurpose this ticket for the upgrade.

Vincent -- objections to upgrading (if it builds OK) even if pypolymake is not ready yet for that version?

[mkoeppe]

comment:19

A possible upstream issue:
Polymake 3.1: Empty polytope has dimension 1

[mkoeppe]

Changed branch from u/moritz/polymake-beta to u/mkoeppe/polymake-beta

[mkoeppe]

Changed commit from d86b8ff to 9f0c6d5

[mkoeppe]

comment:21

Replying to @mkoeppe:

A possible upstream issue:
Polymake 3.1: Empty polytope has dimension 1

It was easy to work around this in #22658.

---

New commits:

12e7d1c	install of beta 3.1-beta2 now works
9f0c6d5	Upgrade polymake to version 3.1

[mkoeppe]

Changed author from Moritz Firsching to Moritz Firsching, Matthias Koeppe

[videlec]

comment:23

Simon worked well: all tests of the interface (#22452) pass with this new version of polymake!

[videlec]

Changed reviewer from Matthias Koeppe to Matthias Koeppe, Vincent Delecroix

[videlec]

comment:24

(hopefully the beta branch of pypolymake should be close to be working with polymake 3.1)

[vbraun]

Changed branch from u/mkoeppe/polymake-beta to 9f0c6d5