• SnapPy uses a non-deterministic algorithm to triangulate link complements. For example, using the pre-computed file DT[mcbbiceaibjklmdfgh]__sl2_c4.magma_out the following code will sometimes pass and sometimes fail because the result of Manifold("DT[mcbbiceaibjklmdfgh]") is non-deterministic:
  
  

  sols = ptolemy.solutions_from_magma_file(         "DT[mcbbiceaibjklmdfgh]__sl2_c4.magma_out") sol = sols[0] sol.check_against_manifold(Manifold("DT[mcbbiceaibjklmdfgh]"))

  
  
• One can recover the triangulation used when computing the Ptolemy variety as follows with triangulation_from_magma_file so that the following code always passes:
  
  

  triangulation = \     ptolemy.processMagmaFile.triangulation_from_magma_file(         "DT[mcbbiceaibjklmdfgh]__sl2_c4.magma_out") sol.check_against_manifold(triangulation)