| LIB"polymake.lib";
==> Welcome to polymake
==> Copyright (c) 1997-2012
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
intmat M[4][4]=1,1,0,0, 1,0,1,0, 1,0,0,1, 1,-1,-1,-1;
polytope p = polytopeViaPoints(M);
Polymake::isBounded(p);
==> polymake: used package cddlib
==> Implementation of the double description method of Motzkin et al.
==> Copyright by Komei Fukuda.
==> http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html
==>
==> 1
M=1,1,0,0, 1,0,1,0, 0,0,0,1, 1,-1,-1,-1;
p = polytopeViaPoints(M);
Polymake::isBounded(p);
==> 0
|