isRegularTriangulation -- determine if a given triangulation is a regular triangulation

Synopsis

Usage:

isRegularTriangulation(C, tri)
Inputs:
- C, a matrix, A matrix over ZZ. Each column represents one of the points which can be used in a triangulation
- tri, a list, A triangulation of the point set C
Optional inputs:
- Homogenize (missing documentation) => ..., default value true,
Outputs:
- a Boolean value, whether the given triangulation is regular

Description

The following example is one of the simplest examples of a non-regular triangulation. Notice that tri is a triangulation of the polytope which is the convex hull of the columns of $A$, which are the only points allowed in the triangulation.

i1 : A = transpose matrix {{0,3},{0,1},{-1,-1},{1,-1},{-4,-2},{4,-2}}

o1 = | 0 0 -1 1  -4 4  |
     | 3 1 -1 -1 -2 -2 |

              2        6
o1 : Matrix ZZ  <--- ZZ

i2 : tri = {{0,1,2}, {1,3,5}, {2,3,4}, {0,1,5},
         {0,2,4}, {3,4,5}, {1,2,3}}

o2 = {{0, 1, 2}, {1, 3, 5}, {2, 3, 4}, {0, 1, 5}, {0, 2, 4}, {3, 4, 5}, {1,
     ------------------------------------------------------------------------
     2, 3}}

o2 : List

i3 : isRegularTriangulation(A,tri)

o3 = false

Setting debugLevel to either 1,2, or 5 will give more detail about what files are written to Topcom, and what the executable is. Setting debugLevel to 0 means that the function will run silently.

Caveat

Do we check that the triangulation is actually welll defined?

Ways to use `isRegularTriangulation` :

"isRegularTriangulation(Matrix,List)"

For the programmer

The object isRegularTriangulation is a method function with options.