listSmooth2D -- gives the list of all smooth 2-polytopes with up to 12 lattice points

• Usage:

  listSmooth2D()

• Outputs:
  • a list,

i1 : L=listSmooth2D();

i2 : tally apply(L,isCayley)

o2 = Tally{false => 8}
           true => 33

o2 : Tally