Though it would help if you can demonstrate how to manipulate QuadraticExtension in polymake. Namely, construct a polyhedron from its list of vertices in coordinates. The documentation that I found is very limited...

You were right: the interface is to blame. The Sage polymake interface is working when the quadratic number field is QQ[sqrt(D)]. But as soon as the generating element is something else (such as (1-sqrt(5))/2) in my example, it got confused. I did the conversion of coordinates to QQ[sqrt(5)] and it ...

Thanks for the answer. I did not used any prebuilt function but the coordinates available in the file https://www.labri.fr/perso/vdelecro/3-dim-polyhedra/TruncatedDodecahedron.input To reproduce from sage x = polygen(QQ, 'x') p = x**2 - x - 1 K = NumberField(p, 'a', embedding=(1-AA(5).sqrt())/2) a =...

Dear polymake specialists, I had trouble building some polytopes over quadratic fields with polymake. More precisely the following examples give me back wrong f-vectors JoinedIcosidodecahedron TriakisIcosahedron JoinedTruncatedDodecahedron JoinedRhombicosidodecahedron JoinedTruncatedIcosidodecahedro...

Thanks! I posted a simplified patch at https://trac.sagemath.org/ticket/23289 for inclusion in SageMath.

What about having a failure with an informative error message at configure step?

Thanks. Too bad for me. Are there plans to allow gcc 7.1?

Hello, I was trying to install polymake as a Sage package and ended up with the following compilation error /usr/include/c++/7.1.1/limits:317:7: error: invalid abstract return type 'pm::graph::EdgeMapBase' min() _GLIBCXX_USE_NOEXCEPT { return _Tp(); } (I am using gcc 7.1.1). The downstream report fo...

Hello, Based on the work of Burcin, I started a Sage agnostic Python interface to polymake. It is currently developed at https://github.com/videlec/pypolymake and available from PyPI at https://pypi.python.org/pypi/pypolymake/ The aim is to be able to call polymake from Sage but it does not cost any...