isWellDefined(Triangulation) -- test whether the simplices of a triangulation form a valid triangulation

• Function: isWellDefined

• Usage:

  isWellDefined T

• Inputs:
  • T, an instance of the type Triangulation,
• Outputs:
  • a Boolean value, whether the simplices in max T form a valid triangulation of the columns of matrix T

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 : T = regularFineTriangulation A

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

o2 : Triangulation

i3 : isWellDefined T

o3 = true