Thanks for the report.
Sage has an experimental polymake
package: https://trac.sagemath.org/ticket/20892
Not sure if we ever checked how well it lives together with Singular ---
but we should.
On Thursday, January 12, 2017 at 10:53:19 AM UTC, moritz wrote:
>
> I figured out what the problem was
I figured out what the problem was: I had a version of polymake installed
(3.0.6) and singular checks for a polymake install. However when I removed
polymake and polymake-config from /usr/local/bin sage could be build
successfully. When configuring singular one could also pass the
--disable-pol