Macaulay2 / Macaulay2/M2

empty triangulation: expected at least one max simplex w/ older TOPCOM

Open
#4,436 0 comments 0 reactions 0 assignees View on GitHub
Interfaces
Dominant language
Macaulay2
Stars
435
Forks
297
Avg merge
4d 20h
Merged PRs (30d)
11

Description

The builds for Macaulay2 1.26.06 are currently failing on several older Debian (bullseye) and Ubuntu (focal/jammy) systems which still have TOPCOM 0.17.8:

```m2
Triangulations.m2:3080:5-3112:3 error:
--
-- o3 : Polyhedron
--
-- i4 : isReflexive P
--
-- o4 = true
--
-- i5 :
-- elapsedTime alltrisReg = allTriangulations(A, Homogenize => false); -- 0.4 sec, awesome, if correct!
-- stdio:8:44:(3):[1]: error: empty triangulation: expected at least one max simplex
-- -- 2.45545s elapsed
--

Triangulations.m2:3738:5-3826:3 error:
-- i9 : assert(isFine t1)
--
-- i10 : assert(not isFine t0 and not isFine t2)
--
-- i11 : assert all apply({t0,t1,t2},isRegularTriangulation)
--
-- i12 :
-- -- computing all triangulations of the vector configuration from topcom
-- Ts = allTriangulations(A, Homogenize => false) -- the Homogenize argument says this is a vector configuration.
-- stdio:24:24:(3):[1]: error: empty triangulation: expected at least one max simplex
--

-- Summary: 2 test(s) failed in package Triangulations:
-- Test #7. Triangulations.m2:3080:5-3112:3
-- Test #21. Triangulations.m2:3738:5-3826:3
../m2/testing.m2:138:13:(1):[8]: error: repeat failed tests with:
check({7, 21}, "Triangulations")
```

Full log: https://launchpadlibrarian.net/864625938/buildlog_ubuntu-jammy-amd64.macaulay2_1.26.06+ds~js-1~ubuntu22.04.1_BUILDING.txt.gz

Contributor guide

No contributing guide indexed for this repository

Research direction

Start with the failing tests in Triangulations.m2 at lines 3080-3112 and 3738-3826, and reproduce them on a system using TOPCOM 0.17.8. Compare the failing allTriangulations calls with the full build log and determine what is needed for tests 7 and 21 to pass on older Debian and Ubuntu systems.

Written by the indexing model from the issue text.

Assessment

Domain
testing-qa
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Needs clarification
Newbie friendliness
38/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.