In mathematics , a convex regular 4-polytope ( or polychoron ) is 4-dimensional polytope which is both regular and convex . In mathematics , a convex regular 4-polytope ( or polychoron ) is a 4-dimensional polytope that is both regular and convex .