# listSmooth3D -- gives the list of all smooth 3-polytopes with up to 16 lattice points

## Synopsis

• Usage:
listSmooth3D()
• Outputs:

## Description

Provides the list of all smooth 3-polytopes with up to 16 lattice points based on the classification by Anders Lundman.

 i1 : L=listSmooth3D();

A. Lundman claims that 99 of the listed polytopes are Cayley. This can readily be tested.

 i2 : #L o2 = 103 i3 : tally apply(L,isCayley) o3 = Tally{false => 4} true => 99 o3 : Tally