Polyhedron QUICK_HULL(List of Vertices listVertices)

1. Allocate a Polyhedron which will be our return value.
2. Find a maximal simplex of the current dimension. In our case, find 4 points which define maximal tetrahedron, and create the tetrahedron which will be our seed partial answer. CREATE_SIMPLEX(Polyhedron, listVertices). If this returns a dimension lower than 3, report the degeneracy and quit.
3. Divide the points of the cloud into the outside sets of the four faces of the tetrahedron. This is done by calling ADD_TO_OUTSIDE_SET(face, listVertices) on each of the 4 faces in turn. Points that could be put in multiple sets will be randomly placed in one of them, and it does not matter which one. Any points which are inside or on all of the planes do not contribute to the convex hull. These points are removed from the rest of the calculation.
4. While ( There exists currFace = a face on the current convex hull which has a non-empty outside set of vertices )
   1. Find the point in currFace's outside set which is farthest away from the plane of the currFace. This is the eyePoint.
   2. Compute the horizon of the current polyhedron as seen from this eyePoint. CALCULATE_HORIZON(eyePoint, NULL, currFace, listHorizonEdges, listUnclaimedVertices). This will mark all of the visible faces as not on the convex hull and place all of their outside set points on the listUnclaimedVertices. It is creates the listHorizonEdges which is a counterclockwise ordered list of edges around the horizon contour of the polyhedron as viewed from the eyePoint.
   3. Construct a cone from the eye point to all of the edges of the horizon. Before a triangle of this cone is created and added to the polyhedron a test to see if it coplanar to the face on the other side of the horizon edge is applied. If the faces are coplanar then they are merged together and that horizon edge is marked as not on the convex hull. Then a similar check must also be applied to edges which cross the horizon to see if they are colinear. If so then the vertex on the horizon which is on this line must be marked as not on the horizon.
   4. Divide the points of the listUnclaimedVertices into the outside sets of the new cone faces and the faces which were merged with what would be new cone faces. This is done by calling ADD_TO_OUTSIDE_SET(face, listUnclaimedVertices) on each of these faces in turn. Points that could be put in multiple sets will be randomly placed in one of them, and it does not matter which one. Any points which are inside or on all of the planes do not contribute to the convex hull. These points are marked as not on the convex hull.
   5. Remove all faces, edges, and vertices which have been marked as not on the convex hull. These faces, edges, and vertices have all been enclosed by the new cone emanating from the eyePoint.
   6. Continue the loop
5. When all the faces with outside points have been processed we are done. The polyhedron should a clean convex hull where all coplanar faces have been merged. All colinear edges have been merged. And all coincident vertices have had their DualFace pointers merged.

Dimension CREATE_SIMPLEX(Polyhedron, listVertices)

1. For each principle direction (X-axis, Y-axis, Z-axis)
   1. Find the minimum and maximum point in that dimension
   2. If min != max then break out of loop with success
   3. Continue the loop
2. If the loop finished without success return and report that we have a degenerate point cloud, either 1D or 2D.
3. Find the point which is furthest distant from the line defined by the first two points. If this maximum distance is zero, then our point cloud is 1D, so report the degeneracy.
4. Find the point which has the largest absolute distance from the plane defined by the first three points. If this maximum distance is zero, then our point cloud is 2D, so report the the degeneracy.
5. Create the tetrahedron polyhedron. Remember that if the distance from the plane of the fourth point was negative, then the order of the first three vertices must be reversed.
6. Return the fact that we created a non-degenerate tetrahedron of dimension 3.

Void ADD_TO_OUTSIDE_SET(Face face, List of unclaimed Vertices listVertices)

1. For each vertex in the listVertices
   1. distance = Distance from the plane of the face to the vertex
   2. If the vertex is in the plane of the face (i.e. distance == 0)
   3. Then check to see if the vertex is coincident with any vertices of the face, and if so merge it into that face vertex.
   4. Else If distance > 0
   5. Then claim the vertex by removing it from this list and adding it the face's set of outside vertices
   6. Continue the loop

Void CALCULATE_HORIZON(eyePoint, crossedEdge, currFace, listHorizonEdges, listUnclaimedVertices)