Search found 26 matches

Go to advanced search

by herr
14 Apr 2011, 17:06
Forum: Installing polymake
Topic: Installation of polymake-2.9.10 on openSUSE 11.4 failed
Replies: 0
Views: 16380

Installation of polymake-2.9.10 on openSUSE 11.4 failed

A discussion about installation problems concerning the polymake workshop version 2.9.10 on openSUSE 11.4 can be found here: script "tarballs" not working
by herr
14 Apr 2011, 16:03
Forum: Helpdesk
Topic: script "tarballs" not working
Replies: 5
Views: 8999

Re: script "tarballs" not working

Could you specify the problem with the installation of polymake 2.9.10? Is there an error message? Maybe, the correct version of GMP or MPFR is missing...
by herr
16 Feb 2011, 12:16
Forum: Helpdesk
Topic: H-representation to V-representation
Replies: 4
Views: 10001

Re: H-representation to V-representation

Thanks for asking this essential question! You can define a polytope in polymake by specifing a matrix of POINTS or INEQUALITIES as follows: $inequalities=new Matrix<Rational>([[1,1,0],[1,0,1],[1,-1,0],[1,0,-1],[17,1,1]]); $p=new Polytope<Rational>(INEQUALITIES=>$inequalities); Then you can ask for ...
by herr
14 Feb 2011, 17:16
Forum: Helpdesk
Topic: Projections
Replies: 7
Views: 9760

Re: Projections

Sure, questions like that are very welcome! :-)
by herr
14 Feb 2011, 09:55
Forum: Helpdesk
Topic: Projections
Replies: 7
Views: 9760

Re: Projections

The documentation says Parameters Polytope P Array<Int> indices So if the syntax you try does not work, it is always possible to specify the indices in an extra variable: $coords=new Array<Int>(1,2,3,4,5,6); $R=projection($P,$coords); That way you can directly use the data type you find in the docum...
by herr
26 Jan 2011, 19:58
Forum: Helpdesk
Topic: integer hull
Replies: 4
Views: 10002

Re: integer hull

lp2poly() returns a Polytope<Float> , which does not provide all the properties you need for your task. Therefore, you should convert it to a Polytope<Rational> via the user function convert_to<Rational>() , i.e., $p=lp2poly("/my/file.lp"); $p_rat=convert_to<Rational>($p); Now one way to ...

Go to advanced search