Hi,
I'm using the online polymake
https://shell.polymake.org/
I have a lattice polytope, and I need to check if it is smooth.
The polytope is:
$C3 = new Polytope(POINTS =>[[1,1,0,0,0,0,0,0,0,0], [1,0,0,0,0,1,0,0,0,0],
[1,0,0,0,0,0,0,0,0,1],
[1,1,1,0,1,1,0,0,0,0],
[1,1,0,1,0,0,0,1,0,1],
[1,0,0,0,0,1,1,0,1,1],
[1,1,1,1,1,1,1,1,1,1],[1,0,0,0,0,0,0,0,0,0]]);
$C3->LATTICE
returns 1, but I cannot get it casted to to Polytope<LatticePolytope>
(ie: the $C3->REFLEXIVE trick did not work. $C3->SMOOTH just returns nothing).
I've tried the example with the cube:
https://polymake.org/doku.php/tutorial/ ... s_tutorial
ie:
$p = cube(3);
$p->type->full_name;
$p->LATTICE;
$p->REFLEXIVE;
$p->type->full_name;
but in the end the polytope type is still Polytope<Rational>
however, the command
print $p->SMOOTH;
still works, so that is quite mysterious.
Could you please let me know how I can explicitly cast a polytope as a LatticePolytope?
(And shouldn't the casting be done after one runs $C3->LATTICE?)