Fwd: Requesting functionality information of PPL
________________________________________ From: RAKESH ARYA <rakesharya@iisc.ac.in> Sent: Monday, February 18, 2019 5:29:28 PM To: consulting@bugseng.com Subject: Requesting functionality information of PPL Dear Sir/Madam, I require generation of all possible (unique) polyhedrons for a given number of vertices for a project. Can I achieve this using PPL? Thank you for your consideration. -- Rakesh Arya (Undergraduate Student, Indian Institute of Science)
On 19/02/19 07:21, RAKESH ARYA wrote:
I require generation of all possible (unique) polyhedrons for a given number of vertices for a project. Can I achieve this using PPL?
Thank you for your consideration.
-- Rakesh Arya (Undergraduate Student, Indian Institute of Science)
Hi Rakesh, can you please clarify? For most pairs of natural numbers n and k, there is an infinite number of convex polyhedra with n vertices in space dimension k. Kind regards, Roberto Bagnara -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
participants (2)
-
RAKESH ARYA -
Roberto Bagnara