0

I want to generate a set of equations for all planes in the convex hull as specified in this question. The problem is that the generated set of equations don't correctly cover all the points. I run a Z3 script to check if all points are included and it can find counter examples on the edge of some plane of the convex hull. As specified here, one solution is to scale the numbers. However, I'm not a computational-geometry person. I have no idea how that would affect the equations that are generated from the convex hull? Can someone please shed some light on if I can use this approach and how? Another option is to use Rationalize and then set proper WorkingPrecision. But ConvexHullMesh does not have that option. Can anyone please tell me how I can generate the convex hull's plane equations with increased precision?

Samvid Mistry
  • 133
  • 4
  • How about Rationalize[pts,10^-30]? – user64494 Aug 18 '20 at 16:13
  • @user64494 would just converting the number to rationals make the convex hull use more precision? In my understanding, you also had to specify the precision for operations of the algorithm you want by passing WorkingPrecision option. – Samvid Mistry Aug 21 '20 at 08:34

0 Answers0