Skip to content

Test TOPCOM 1.2.0e build#4166

Draft
d-torrance wants to merge 2 commits intoMacaulay2:developmentfrom
d-torrance:topcom
Draft

Test TOPCOM 1.2.0e build#4166
d-torrance wants to merge 2 commits intoMacaulay2:developmentfrom
d-torrance:topcom

Conversation

@d-torrance
Copy link
Copy Markdown
Member

TOPCOM 1.2.0c was released recently. It's a preview release ahead of 1.2.0. I suppose we should wait until 1.2.0 to actually update it, but it would be good to make sure that nothing breaks.

@d-torrance
Copy link
Copy Markdown
Member Author

A bunch of example errors with the new version:

-- -*- M2-comint -*- hash: 2822175703130288887

i1 : A = matrix {{0, 1, 2, 3, 4, 5, 6}, {0, 1, 4, 9, 16, 25, 36}, {0, 1, 8, 27, 64, 125, 216}}

o1 = | 0 1 2 3  4  5   6   |
     | 0 1 4 9  16 25  36  |
     | 0 1 8 27 64 125 216 |

              3       7
o1 : Matrix ZZ  <-- ZZ

i2 : tri = topcomRegularFineTriangulation A

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

o2 : List

i3 : assert topcomIsTriangulation(A, tri)

i4 : assert topcomIsRegularTriangulation(A, tri)
stdio:4:6:(3):[1]: error: assertion failed
-- -*- M2-comint -*- hash: 3492680710346930784

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 : Ts = topcomAllTriangulations A;
currentString:1:9:(3):[6]: error: no method for binary operator : applied to objects:
            triangID (of class Symbol)
      :     0 (of class ZZ)
-- -*- M2-comint -*- hash: 11000150122392902197

i1 : sq = transpose matrix {{-1,-1},{-1,1},{1,-1},{1,1},{0,0},{1,0},{-1,0},{0,1},{0,-1}}

o1 = | -1 -1 1  1 0 1 -1 0 0  |
     | -1 1  -1 1 0 0 0  1 -1 |

              2       9
o1 : Matrix ZZ  <-- ZZ

i2 : tri = topcomRegularFineTriangulation sq

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

o2 : List

i3 : topcomIsTriangulation(sq, tri)

o3 = true

i4 : topcomIsRegularTriangulation(sq, tri)

o4 = false

i5 : topcomRegularTriangulationWeights(sq, tri)
stdio:5:33:(3):[1]: error: array index 0 out of bounds 0 .. -1
-- -*- M2-comint -*- hash: 16885656556951738549

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 : topcomNumTriangulations A == 16

o2 = true

i3 : topcomNumTriangulations A == # topcomAllTriangulations A
currentString:1:9:(3):[6]: error: no method for binary operator : applied to objects:
            triangID (of class Symbol)
      :     0 (of class ZZ)
-- -*- M2-comint -*- hash: 15524050873924267096

i1 : A = matrix {
         {0, -1, 2, 3, 4, -5, 6},
         {0, 1, -4, 9, 16, 25, 36},
         {0, 1, 8, -27, 64, 125, -216}}

o1 = | 0 -1 2  3   4  -5  6    |
     | 0 1  -4 9   16 25  36   |
     | 0 1  8  -27 64 125 -216 |

              3       7
o1 : Matrix ZZ  <-- ZZ

i2 : Ts = topcomAllTriangulations A;
currentString:1:9:(3):[6]: error: no method for binary operator : applied to objects:
            triangID (of class Symbol)
      :     0 (of class ZZ)

@mikestillman
Copy link
Copy Markdown
Member

I'll take a look. We definitely want to take the latest version. It has some important bug fixes, if I'm not mistaken.

@d-torrance d-torrance changed the title Test TOPCOM 1.2.0c build Test TOPCOM 1.2.0e build Apr 24, 2026
@d-torrance
Copy link
Copy Markdown
Member Author

I took a look at the topcomIsRegularTriangulation changes. Currently, we look for the regex "[Cc]hecked 1 triangulations, 0 non-regular so far" in the output. If it's there, then we return true.

But now, that string isn't there. In fact, I'm not sure how to tell the difference at all. Here are two examples taken from the package tests (with debugLevel set so we can see the TOPCOM output). The first one should return true and the second one should return false. The output looks the same...

i5 : A = transpose matrix {{-1,-1,1},{-1,1,1},{1,-1,1},{1,1,1},{0,0,1}}

o5 = | -1 -1 1  1 0 |
     | -1 1  -1 1 0 |
     | 1  1  1  1 1 |

              3       5
o5 : Matrix ZZ  <-- ZZ

i6 : tri = {{0, 2, 4}, {2, 3, 4}, {0, 1, 4}, {1, 3, 4}}

o6 = {{0, 2, 4}, {2, 3, 4}, {0, 1, 4}, {1, 3, 4}}

o6 : List

i7 : topcomIsRegularTriangulation(A,tri)
-- calling topcom
-- checkregularity --checktriang --memopt -v: using temporary file prefix /tmp/M2-406867-0/0
-- checkregularity --checktriang --memopt -v: input = [[-1, -1, 1, 1], [-1, 1, 1, 1], [1, -1, 1, 1], [1, 1, 1, 1], [0, 0, 1, 1]]
                                                      []
                                                      {{0, 2, 4}, {2, 3, 4}, {0, 1, 4}, {1, 3, 4}}

-- checkregularity --checktriang --memopt -v: executing ~/src/macaulay2/M2/M2/BUILD/build/usr-host/bin/checkregularity --checktriang --memopt -v  < /tmp/M2-406867-0/0.in
-- checkregularity --checktriang --memopt -v: output = 
-- checkregularity --checktriang --memopt -v: stderr = 
                                                       ==================================================================
                                                       --------------------- topcom version 1.2.0e -----------------------
                                                          Triangulations of Point Configurations and Oriented Matroids   
                                                       ------------------------ by Joerg Rambau -------------------------
                                                       ==================================================================

                                                       Evaluating Commandline Options ...
                                                       --checktriang        : check seed triangulation activated
                                                       --memopt             : higher memory efficiency activated
                                                        -v                  : verbose output activated
                                                       ... done.

                                                       ------------------------------------------------------------------
                                                        checking regularity of triangulations 
                                                        TOPCOM client: /home/dtorrance/src/macaulay2/M2/M2/BUILD/build/usr-host/bin/checkregularity
                                                       ------------------------------------------------------------------

                                                       checking for points ...
                                                       point configuration has 4 rows of rank 3
                                                       resulting no of rows after transformation: 3
                                                       read point configuration with 5 points in rank 3
                                                       checking for symmetries ...
                                                       read 0 generators for symmetries
                                                       ... found 0 symmetries without identity
                                                       ... generated symmetry group of order 1
                                                       ... done.
                                                       checking for required symmetries for triangulations ...
                                                       required symmetry generators ignored.
                                                       ... done.
                                                       checking for seed triangulation ...
                                                       ... no non-empty seed given ...
                                                       ... done.
                                                       no triangulation found - check done.


o7 = false

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

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

              2       6
o8 : Matrix ZZ  <-- ZZ

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

o9 = {{0, 1, 2}, {1, 3, 5}, {2, 3, 4}, {0, 1, 5}, {0, 2, 4}, {3, 4, 5}, {1, 2, 3}}

o9 : List

i10 : topcomIsRegularTriangulation(A,tri)
-- calling topcom
-- checkregularity --checktriang --memopt -v: using temporary file prefix /tmp/M2-406867-0/2
-- checkregularity --checktriang --memopt -v: input = [[0, 3, 1], [0, 1, 1], [-1, -1, 1], [1, -1, 1], [-4, -2, 1], [4, -2, 1]]
                                                      []
                                                      {{0, 1, 2}, {1, 3, 5}, {2, 3, 4}, {0, 1, 5}, {0, 2, 4}, {3, 4, 5}, {1, 2, 3}}

-- checkregularity --checktriang --memopt -v: executing ~/src/macaulay2/M2/M2/BUILD/build/usr-host/bin/checkregularity --checktriang --memopt -v  < /tmp/M2-406867-0/2.in
-- checkregularity --checktriang --memopt -v: output = 
-- checkregularity --checktriang --memopt -v: stderr = 
                                                       ==================================================================
                                                       --------------------- topcom version 1.2.0e -----------------------
                                                          Triangulations of Point Configurations and Oriented Matroids   
                                                       ------------------------ by Joerg Rambau -------------------------
                                                       ==================================================================

                                                       Evaluating Commandline Options ...
                                                       --checktriang        : check seed triangulation activated
                                                       --memopt             : higher memory efficiency activated
                                                        -v                  : verbose output activated
                                                       ... done.

                                                       ------------------------------------------------------------------
                                                        checking regularity of triangulations 
                                                        TOPCOM client: /home/dtorrance/src/macaulay2/M2/M2/BUILD/build/usr-host/bin/checkregularity
                                                       ------------------------------------------------------------------

                                                       checking for points ...
                                                       read point configuration with 6 points in rank 3
                                                       checking for symmetries ...
                                                       read 0 generators for symmetries
                                                       ... found 0 symmetries without identity
                                                       ... generated symmetry group of order 1
                                                       ... done.
                                                       checking for required symmetries for triangulations ...
                                                       required symmetry generators ignored.
                                                       ... done.
                                                       checking for seed triangulation ...
                                                       ... no non-empty seed given ...
                                                       ... done.
                                                       no triangulation found - check done.


o10 = false

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants