polytope_ar_demo