| #### D.13.2.38 isTerminal Procedure from library `polymake.lib` (see polymake_lib). Usage: isTerminal(p); p polytope Return: 1, if p has exactly one interior lattice point and all other lattice points are vertices; 0 otherwise Example:
    LIB "polymake.lib";
    ==> Welcome to polymake version
    ==> Copyright (c) 1997-2015
    ==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
    ==> http://www.polymake.org
    intmat M[6][4]=
    1,1,1,2,
    1,-1,-1,-2,
    1,1,0,0,
    1,-1,0,0,
    1,0,1,0,
    1,0,-1,0;
    polytope p = polytopeViaPoints(M);
    isTerminal(p);
    ==> polymake: used package ppl
    ==>   The Parma Polyhedra Library (PPL): A C++ library for convex polyhedra
    ==>   and other numerical abstractions.
    ==>   http://www.cs.unipr.it/ppl/
    ==>
    ==> polymake: used package latte
    ==>   LattE (Lattice point Enumeration) is a computer software dedicated to t\
       he
    ==>   problems of counting lattice points and integration inside convex polyt\
       opes.
    ==>   Copyright by Matthias Koeppe, Jesus A. De Loera and others.
    ==>   http://www.math.ucdavis.edu/~latte/
    ==>
    ==> 1
    isReflexive(p);
    ==> 0
    intmat N[6][4]=
    1,1,1,2,
    1,-1,-1,-2,
    1,1,1,0,
    1,-1,-1,0,
    1,-1,1,0,
    1,1,-1,0;
    polytope q = polytopeViaPoints(N);
    isTerminal(q);
    ==> 0
    isCanonical(q);
    ==> 1

User manual for Singular version 4-1-0p2, 2017, generated by texi2html.