Provides the list of all smooth 2-polytopes with up to 12 lattice points based on the classification by Benjamin Lorenz.
i1 : L=listSmooth2D(); |
One can then check how many of these are Cayley.
i2 : tally apply(L,isCayley) o2 = Tally{false => 8} true => 33 o2 : Tally |
The object listSmooth2D is a function closure.