Problems with tropical polytopes with rational vertices

Questions and problems about using polymake go here.

Moderator: Moderators

Srlam
Posts: 3
Joined: 14 Feb 2019, 10:37

Problems with tropical polytopes with rational vertices

Postby Srlam » 14 Feb 2019, 10:40

Hello, I'm trying to input a tropical polytope whose vertices have coordinates in Q and not in Z.
This is the input

Code: Select all

$p=new Polytope <Min> (POINTS=>[[0,0,0,0],[0,1,2,3],[0,4,1,7], [0, 4/9, 1/9, 7/9], [0, 1/2, 1/8, 7/8],[0, 4/7, 1/7, 1], [0, 2/3, 1/6, 7/6],[0, 4/5, 1/5, 7/5], [0, 1, 1/4, 7/4],[0, 4/3, 1/3, 7/3], [0, 2, 1/2, 7/2], [0, 4, 1, 7]]) ;
I get the following error:

Code: Select all

polymake: ERROR: Shared module compilation failed; most likely due to a type mismatch. Set the variable $Polymake::User::Verbose::cpp to a positive value and repeat for more details.
Can you help me with this?
Thanks

User avatar
joswig
Main Author
Posts: 211
Joined: 24 Dec 2010, 11:10

Re: Problems with tropical polytopes with rational vertices

Postby joswig » 14 Feb 2019, 20:47

Which version of polymake are you using? We just released version 3.3, and there it works.

It is possible that in some older versions the types get messed up. Beware that the property POINTS takes a small object of type Matrix<TropicalNumber<Min>>. Object of type Rational should automatically convert to TropicalNumber<Min> but not conversely. Maybe you can solve your problem (even in an old version of polymake) by explicitly creating the matrix object first and then use it to construct the tropical polytope.

Srlam
Posts: 3
Joined: 14 Feb 2019, 10:37

Re: Problems with tropical polytopes with rational vertices

Postby Srlam » 20 Feb 2019, 16:30

Thanks!
I tried to create a matrix with rational entries first but it still gives me problems:

Code: Select all

$m = new Matrix<TropicalNumber<Min>>([[0,1/2,4]]); polymake: ERROR: Shared module compilation failed; most likely due to a type mismatch. Set the variable $Polymake::User::Verbose::cpp to a positive value and repeat for more details.
I have version 3.2 of polymake and I'm running a Mac so I guess I need to wait a bit for the release of 3.3 for Mac.

User avatar
gawrilow
Main Author
Posts: 322
Joined: 25 Dec 2010, 17:40

Re: Problems with tropical polytopes with rational vertices

Postby gawrilow » 20 Feb 2019, 22:59

There is nothing wrong with your input. Must be some strange installation problem.
Are you using polymake built from the source code or from a disk image?

Srlam
Posts: 3
Joined: 14 Feb 2019, 10:37

Re: Problems with tropical polytopes with rational vertices

Postby Srlam » 21 Feb 2019, 11:32

I've installed polymake using the disc image.

User avatar
gawrilow
Main Author
Posts: 322
Joined: 25 Dec 2010, 17:40

Re: Problems with tropical polytopes with rational vertices

Postby gawrilow » 22 Feb 2019, 17:01

While waiting for the new disk image, you can try out the docker image of the new release.


Return to “Helpdesk”

cron