external create'  : unit -> t = "polytope_create"