b = isVeryAmple P
A lattice polytope P in the QQ space of a lattice $M$ is very ample if for every vertex $v\in P$ the semigroup $\mathbb{N}(P\cap M  v)$ generated by $P\cap M  v = \{v'vv'\in P\cap M\}$ is saturated in $M$. For example, normal lattice polytopes are very ample.
Note that therefore P must be compact and a lattice polytope.


The object isVeryAmple is a method function.