Page 1 of 1

show_unconfigured shows error "Unrecognized character \x7F"

Posted: 08 Jul 2016, 00:03
by mkoeppe
We observed a strange error message from "show_unconfigured" in the Polymake installation made by our preliminary Sage package (https://trac.sagemath.org/ticket/20892):

Code: Select all

polymake: ERROR: "/home/scratch/dimpase/sage/sage/local/lib/polymake/lib/polytope.so", line 1: Unrecognized character \x7F; marked by <-- HERE after <-- HERE near column 1
see https://trac.sagemath.org/ticket/20892#comment:51

Everything else seems to work fine.

Re: show_unconfigured shows error "Unrecognized character \x7F"

Posted: 14 Jul 2016, 16:39
by blorenz
This error seems to be caused by having no graph-comparison tool available, which is a somewhat unsupported configuration.
The bliss extension failed to configure and the minimal package doesnt contain nauty as fallback because of its license. This package is meant for maintainers that make sure the dependencies are met via the packaging system.

We will add a warning to the configuration script for this case in the upcoming 3.0r2 bugfix release. We will also try to make the error less cryptic and less fatal.

Benjamin

Re: show_unconfigured shows error "Unrecognized character \x7F"

Posted: 15 Jul 2016, 12:44
by mkoeppe
Thanks Benjamin.

Regarding bliss, you may want to mention in the wiki that polymake depends on Debian's patches to bliss.
(https://trac.sagemath.org/ticket/20901).

I believe I have nauty installed (via a Sage package). How do I make sure that polymake finds it?

Re: show_unconfigured shows error "Unrecognized character \x7F"

Posted: 15 Jul 2016, 13:17
by gawrilow
Currently polymake does not have any provisions for finding the nauty package outside own source code. I'd suggest you use the complete source tarball of polymake instead of the "minimal" one; you can disable undesired extensions via configuration like this: --without-jreality.

Re: show_unconfigured shows error "Unrecognized character \x7F"

Posted: 15 Jul 2016, 14:38
by dimpase
This thread about nauty is somewhat outdated. Just in case, nauty now has a GPL-compatible license (including few 3rd party-licensed files it contains).
(It took us (sagemath) some time to convince Brendan to drop the incompatible part...)

http://users.cecs.anu.edu.au/~bdm/nauty/COPYRIGHT.txt

Re: show_unconfigured shows error "Unrecognized character \x7F"

Posted: 25 Jul 2016, 14:30
by blorenz
We have released 3.0r2 now and included a warning when having neither bliss or nauty active. Further, the minimal tarball now includes the nauty interface which allows using a custom nauty source directory, polymake will then build a static library out of it. (The interface currently does not support nauty binaries or shared libraries)
We have also clarified the installation documentation regarding the minimal tarball.