search

latte-int / latte

LattE integrale, software for counting lattice points and integration over convex polytopes
https://www.math.ucdavis.edu/~latte/
GNU General Public License v2.0
39 stars 13 forks source link

Test suite fails for latest version 1.7.6 on conda-forge #39

Open saraedum opened 1 year ago

saraedum commented 1 year ago

Test suite fails when packaged for conda-forge:

2023-09-15T17:07:19.5253123Z FAIL: test-library-examples
2023-09-15T17:07:19.5253372Z ===========================
2023-09-15T17:07:19.5253507Z 
2023-09-15T17:07:19.5253732Z Removing redundant inequalities and finding hidden equalities using cddlib...done. 
2023-09-15T17:07:19.5253995Z Ax <= b, given as (b|-A):
2023-09-15T17:07:19.5254201Z =========================
2023-09-15T17:07:19.5254397Z [0 1 0 0]
2023-09-15T17:07:19.5254617Z [0 0 1 0]
2023-09-15T17:07:19.5254785Z [0 0 0 1]
2023-09-15T17:07:19.5254987Z [4 -1 0 0]
2023-09-15T17:07:19.5255179Z [4 0 -1 0]
2023-09-15T17:07:19.5255338Z [32 4 0 -8]
2023-09-15T17:07:19.5255554Z [48 0 -4 -8]
2023-09-15T17:07:19.5255755Z [48 -4 0 -8]
2023-09-15T17:07:19.5255934Z [32 0 4 -8]
2023-09-15T17:07:19.5256019Z 
2023-09-15T17:07:19.5256198Z Ax = b, given as (b|-A):
2023-09-15T17:07:19.5256387Z ========================
2023-09-15T17:07:19.5256568Z []
2023-09-15T17:07:19.5256649Z 
2023-09-15T17:07:19.5256830Z Time for reading and preprocessing: 0.01 sec
2023-09-15T17:07:19.5257054Z Ray Support Algorithm.
2023-09-15T17:07:19.5257253Z The codimension is 9
2023-09-15T17:07:19.5257386Z 
2023-09-15T17:07:19.5257813Z   Left =   6,  Col =   6,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5258080Z   Left =   6,  Col =   6,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5258337Z   Left =   6,  Col =   6,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5258501Z 
2023-09-15T17:07:19.5258684Z   Left =   5,  Col =   4,  Size =        6  Time:  0.00
2023-09-15T17:07:19.5258946Z   Left =   5,  Col =   4,  Size =        6,   Index = 0/2
2023-09-15T17:07:19.5259194Z   Left =   5,  Col =   4,  Size =        8,  Time:  0.00                
2023-09-15T17:07:19.5259355Z 
2023-09-15T17:07:19.5259536Z   Left =   4,  Col =   8,  Size =        8  Time:  0.00
2023-09-15T17:07:19.5259793Z   Left =   4,  Col =   8,  Size =        8,   Index = 0/2
2023-09-15T17:07:19.5260039Z   Left =   4,  Col =   8,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5260205Z 
2023-09-15T17:07:19.5260387Z   Left =   3,  Col =   5,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5260652Z   Left =   3,  Col =   5,  Size =       10,   Index = 0/1
2023-09-15T17:07:19.5260904Z   Left =   3,  Col =   5,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5261069Z 
2023-09-15T17:07:19.5261250Z   Left =   2,  Col =   7,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5261509Z   Left =   2,  Col =   7,  Size =        9,   Index = 0/1
2023-09-15T17:07:19.5261757Z   Left =   2,  Col =   7,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5261917Z 
2023-09-15T17:07:19.5262098Z   Left =   1,  Col =   9,  Size =        9  Time:  0.00
2023-09-15T17:07:19.5262357Z   Left =   1,  Col =   9,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5262590Z The polytope has 9 vertices.
2023-09-15T17:07:19.5262855Z Time for computing vertices and supporting cones: 0 sec
2023-09-15T17:07:19.5263121Z Dualizing all cones...All cones are now dualized.
2023-09-15T17:07:19.5263391Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5263642Z Dualizing all cones...Ray Support Algorithm.
2023-09-15T17:07:19.5263895Z The codimension is 4
2023-09-15T17:07:19.5264023Z 
2023-09-15T17:07:19.5264219Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5264560Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5264824Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5265056Z Ray Support Algorithm.
2023-09-15T17:07:19.5265287Z The codimension is 4
2023-09-15T17:07:19.5265414Z 
2023-09-15T17:07:19.5265613Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5265853Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5266113Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5266359Z Ray Support Algorithm.
2023-09-15T17:07:19.5266571Z The codimension is 4
2023-09-15T17:07:19.5266697Z 
2023-09-15T17:07:19.5266920Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5267165Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5267425Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5267675Z Ray Support Algorithm.
2023-09-15T17:07:19.5267889Z The codimension is 4
2023-09-15T17:07:19.5268017Z 
2023-09-15T17:07:19.5268239Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5268479Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5268740Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5268985Z Ray Support Algorithm.
2023-09-15T17:07:19.5269198Z The codimension is 4
2023-09-15T17:07:19.5269331Z 
2023-09-15T17:07:19.5269551Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5269790Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5270049Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5270296Z All cones are now dualized.
2023-09-15T17:07:19.5270634Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5270939Z Removing redundant inequalities and finding hidden equalities using cddlib...done. 
2023-09-15T17:07:19.5271217Z Ax <= b, given as (b|-A):
2023-09-15T17:07:19.5271506Z =========================
2023-09-15T17:07:19.5271711Z [0 1 0 0]
2023-09-15T17:07:19.5271917Z [0 0 1 0]
2023-09-15T17:07:19.5272100Z [0 0 0 1]
2023-09-15T17:07:19.5272359Z [4 -1 0 0]
2023-09-15T17:07:19.5272575Z [4 0 -1 0]
2023-09-15T17:07:19.5272782Z [32 4 0 -8]
2023-09-15T17:07:19.5273013Z [48 0 -4 -8]
2023-09-15T17:07:19.5273268Z [48 -4 0 -8]
2023-09-15T17:07:19.5273464Z [32 0 4 -8]
2023-09-15T17:07:19.5273602Z 
2023-09-15T17:07:19.5273796Z Ax = b, given as (b|-A):
2023-09-15T17:07:19.5274030Z ========================
2023-09-15T17:07:19.5274230Z []
2023-09-15T17:07:19.5274356Z 
2023-09-15T17:07:19.5274571Z Time for reading and preprocessing: 0.01 sec
2023-09-15T17:07:19.5274843Z Dualizing all cones...Ray Support Algorithm.
2023-09-15T17:07:19.5275082Z The codimension is 9
2023-09-15T17:07:19.5275209Z 
2023-09-15T17:07:19.5275431Z   Left =   5,  Col =   6,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5275694Z   Left =   5,  Col =   6,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5275941Z   Left =   5,  Col =   6,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5276087Z 
2023-09-15T17:07:19.5276289Z   Left =   4,  Col =   4,  Size =        6  Time:  0.00
2023-09-15T17:07:19.5276529Z   Left =   4,  Col =   4,  Size =        6,   Index = 0/2
2023-09-15T17:07:19.5276789Z   Left =   4,  Col =   4,  Size =        8,  Time:  0.00                
2023-09-15T17:07:19.5277390Z 
2023-09-15T17:07:19.5277714Z   Left =   3,  Col =   8,  Size =        8  Time:  0.00
2023-09-15T17:07:19.5277959Z   Left =   3,  Col =   8,  Size =        8,   Index = 0/2
2023-09-15T17:07:19.5278225Z   Left =   3,  Col =   8,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5278371Z 
2023-09-15T17:07:19.5278593Z   Left =   2,  Col =   5,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5278842Z   Left =   2,  Col =   5,  Size =       10,   Index = 0/1
2023-09-15T17:07:19.5279110Z   Left =   2,  Col =   5,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5279386Z 
2023-09-15T17:07:19.5279590Z   Left =   1,  Col =   7,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5279832Z   Left =   1,  Col =   7,  Size =        9,   Index = 0/1
2023-09-15T17:07:19.5280096Z   Left =   1,  Col =   7,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5280346Z All cones are now dualized.
2023-09-15T17:07:19.5280582Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5280854Z Computing vertices and edges with cddlib...size = 9 x 4
2023-09-15T17:07:19.5281097Z Number Type = rational
2023-09-15T17:07:19.5281227Z 
2023-09-15T17:07:19.5281420Z done.
2023-09-15T17:07:19.5281537Z 
2023-09-15T17:07:19.5281722Z Reading .ext file...done.
2023-09-15T17:07:19.5281945Z Reading .ead file...done.
2023-09-15T17:07:19.5282211Z Computing vertices and edges with cddlib...size = 9 x 4
2023-09-15T17:07:19.5282455Z Number Type = rational
2023-09-15T17:07:19.5282600Z 
2023-09-15T17:07:19.5282752Z done.
2023-09-15T17:07:19.5282871Z 
2023-09-15T17:07:19.5283085Z Reading .ext file...done.
2023-09-15T17:07:19.5283307Z Reading .ead file...done.
2023-09-15T17:07:19.5283544Z 9 cone triangulations left.
2023-09-15T17:07:19.5283783Z Triangulating cone... done.
2023-09-15T17:07:19.5284011Z 8 cone triangulations left.
2023-09-15T17:07:19.5284250Z Triangulating cone... done.
2023-09-15T17:07:19.5284475Z 7 cone triangulations left.
2023-09-15T17:07:19.5284715Z Triangulating cone... done.
2023-09-15T17:07:19.5284938Z 6 cone triangulations left.
2023-09-15T17:07:19.5285176Z Triangulating cone... done.
2023-09-15T17:07:19.5285400Z 5 cone triangulations left.
2023-09-15T17:07:19.5285651Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5285888Z The codimension is 5
2023-09-15T17:07:19.5286033Z 
2023-09-15T17:07:19.5286212Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5286557Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5286806Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5287040Z done.
2023-09-15T17:07:19.5287245Z 4 cone triangulations left.
2023-09-15T17:07:19.5287501Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5287735Z The codimension is 5
2023-09-15T17:07:19.5287878Z 
2023-09-15T17:07:19.5288059Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5288313Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5288557Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5288790Z done.
2023-09-15T17:07:19.5288995Z 3 cone triangulations left.
2023-09-15T17:07:19.5289251Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5289486Z The codimension is 5
2023-09-15T17:07:19.5289630Z 
2023-09-15T17:07:19.5289824Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5290081Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5290329Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5290557Z done.
2023-09-15T17:07:19.5290762Z 2 cone triangulations left.
2023-09-15T17:07:19.5291018Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5291264Z The codimension is 5
2023-09-15T17:07:19.5291393Z 
2023-09-15T17:07:19.5291572Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5291824Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5292068Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5292296Z done.
2023-09-15T17:07:19.5292513Z 1 cone triangulations left.
2023-09-15T17:07:19.5292755Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5292999Z The codimension is 5
2023-09-15T17:07:19.5293125Z 
2023-09-15T17:07:19.5293310Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5293566Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5293892Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5294109Z done.
2023-09-15T17:07:19.5294344Z Volume using the cone decomposition method is 
2023-09-15T17:07:19.5294574Z Rational: 208/3
2023-09-15T17:07:19.5294797Z Real    : 69.33333333
2023-09-15T17:07:19.5295031Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5295279Z The codimension is 10
2023-09-15T17:07:19.5295408Z 
2023-09-15T17:07:19.5295606Z   Left =   5,  Col =   9,  Size =        5  Time:  0.00
2023-09-15T17:07:19.5295853Z   Left =   5,  Col =   9,  Size =        5,   Index = 0/2
2023-09-15T17:07:19.5296114Z   Left =   5,  Col =   9,  Size =        7,  Time:  0.00                
2023-09-15T17:07:19.5296256Z 
2023-09-15T17:07:19.5296451Z   Left =   4,  Col =   5,  Size =        7  Time:  0.00
2023-09-15T17:07:19.5296698Z   Left =   4,  Col =   5,  Size =       12,   Index = 0/1
2023-09-15T17:07:19.5296959Z   Left =   4,  Col =   5,  Size =       12,  Time:  0.00                
2023-09-15T17:07:19.5297106Z 
2023-09-15T17:07:19.5297303Z   Left =   3,  Col =   6,  Size =       12  Time:  0.00
2023-09-15T17:07:19.5297545Z   Left =   3,  Col =   6,  Size =       11,   Index = 0/2
2023-09-15T17:07:19.5297806Z   Left =   3,  Col =   6,  Size =       13,  Time:  0.00                
2023-09-15T17:07:19.5297950Z 
2023-09-15T17:07:19.5298145Z   Left =   2,  Col =   7,  Size =       13  Time:  0.00
2023-09-15T17:07:19.5298387Z   Left =   2,  Col =   7,  Size =       13,   Index = 0/2
2023-09-15T17:07:19.5298645Z   Left =   2,  Col =   7,  Size =       17,  Time:  0.00                
2023-09-15T17:07:19.5298788Z 
2023-09-15T17:07:19.5298967Z   Left =   1,  Col =   8,  Size =       17  Time:  0.00
2023-09-15T17:07:19.5299224Z   Left =   1,  Col =   8,  Size =       17,   Index = 0/2
2023-09-15T17:07:19.5299548Z   Left =   1,  Col =   8,  Size =       17,  Time:  0.00                
2023-09-15T17:07:19.5299762Z done.
2023-09-15T17:07:19.5299996Z Volume using the triangulation method is 
2023-09-15T17:07:19.5300225Z Rational: 208/3
2023-09-15T17:07:19.5300557Z Real    : 69.33333333
2023-09-15T17:07:19.5300808Z Removing redundant inequalities and finding hidden equalities using cddlib...done. 
2023-09-15T17:07:19.5301072Z Ax <= b, given as (b|-A):
2023-09-15T17:07:19.5301276Z =========================
2023-09-15T17:07:19.5301482Z [0 1 0 0]
2023-09-15T17:07:19.5301655Z [0 0 1 0]
2023-09-15T17:07:19.5301841Z [0 0 0 1]
2023-09-15T17:07:19.5302102Z [4 -1 0 0]
2023-09-15T17:07:19.5302318Z [4 0 -1 0]
2023-09-15T17:07:19.5302511Z [32 4 0 -8]
2023-09-15T17:07:19.5302730Z [48 0 -4 -8]
2023-09-15T17:07:19.5302966Z [48 -4 0 -8]
2023-09-15T17:07:19.5303147Z [32 0 4 -8]
2023-09-15T17:07:19.5303258Z 
2023-09-15T17:07:19.5303454Z Ax = b, given as (b|-A):
2023-09-15T17:07:19.5303676Z ========================
2023-09-15T17:07:19.5303880Z []
2023-09-15T17:07:19.5303984Z 
2023-09-15T17:07:19.5304170Z Time for reading and preprocessing: 0.01 sec
2023-09-15T17:07:19.5304389Z Ray Support Algorithm.
2023-09-15T17:07:19.5304605Z The codimension is 9
2023-09-15T17:07:19.5304723Z 
2023-09-15T17:07:19.5305088Z   Left =   6,  Col =   6,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5305349Z   Left =   6,  Col =   6,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5305608Z   Left =   6,  Col =   6,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5305754Z 
2023-09-15T17:07:19.5305947Z   Left =   5,  Col =   4,  Size =        6  Time:  0.00
2023-09-15T17:07:19.5306322Z   Left =   5,  Col =   4,  Size =        6,   Index = 0/2
2023-09-15T17:07:19.5306571Z   Left =   5,  Col =   4,  Size =        8,  Time:  0.00                
2023-09-15T17:07:19.5306728Z 
2023-09-15T17:07:19.5306938Z   Left =   4,  Col =   8,  Size =        8  Time:  0.00
2023-09-15T17:07:19.5307196Z   Left =   4,  Col =   8,  Size =        8,   Index = 0/2
2023-09-15T17:07:19.5307444Z   Left =   4,  Col =   8,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5307602Z 
2023-09-15T17:07:19.5307791Z   Left =   3,  Col =   5,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5308125Z   Left =   3,  Col =   5,  Size =       10,   Index = 0/1
2023-09-15T17:07:19.5308373Z   Left =   3,  Col =   5,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5308519Z 
2023-09-15T17:07:19.5308744Z   Left =   2,  Col =   7,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5309001Z   Left =   2,  Col =   7,  Size =        9,   Index = 0/1
2023-09-15T17:07:19.5309248Z   Left =   2,  Col =   7,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5309392Z 
2023-09-15T17:07:19.5309612Z   Left =   1,  Col =   9,  Size =        9  Time:  0.00
2023-09-15T17:07:19.5309855Z   Left =   1,  Col =   9,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5310103Z The polytope has 9 vertices.
2023-09-15T17:07:19.5310368Z Time for computing vertices and supporting cones: 0 sec
2023-09-15T17:07:19.5310639Z Dualizing all cones...All cones are now dualized.
2023-09-15T17:07:19.5310908Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5311162Z Dualizing all cones...Ray Support Algorithm.
2023-09-15T17:07:19.5311410Z The codimension is 4
2023-09-15T17:07:19.5311537Z 
2023-09-15T17:07:19.5311731Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5311971Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5312229Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5312459Z Ray Support Algorithm.
2023-09-15T17:07:19.5312688Z The codimension is 4
2023-09-15T17:07:19.5312815Z 
2023-09-15T17:07:19.5313007Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5313247Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5313506Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5313807Z Ray Support Algorithm.
2023-09-15T17:07:19.5314037Z The codimension is 4
2023-09-15T17:07:19.5314163Z 
2023-09-15T17:07:19.5314355Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5314599Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5314856Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5315083Z Ray Support Algorithm.
2023-09-15T17:07:19.5315312Z The codimension is 4
2023-09-15T17:07:19.5315437Z 
2023-09-15T17:07:19.5315629Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5315867Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5316125Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5316354Z Ray Support Algorithm.
2023-09-15T17:07:19.5316581Z The codimension is 4
2023-09-15T17:07:19.5316707Z 
2023-09-15T17:07:19.5317600Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5318072Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5318399Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5318659Z All cones are now dualized.
2023-09-15T17:07:19.5318913Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5319140Z dilation factor = 1
2023-09-15T17:07:19.5319375Z 9 cone triangulations left.
2023-09-15T17:07:19.5319661Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5319924Z Ray Support Algorithm.
2023-09-15T17:07:19.5320152Z The codimension is 5
2023-09-15T17:07:19.5320281Z 
2023-09-15T17:07:19.5320461Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5320719Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5320978Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5321227Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5321465Z done.
2023-09-15T17:07:19.5321674Z 8 cone triangulations left.
2023-09-15T17:07:19.5321955Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5322339Z Ray Support Algorithm.
2023-09-15T17:07:19.5322572Z The codimension is 5
2023-09-15T17:07:19.5322698Z 
2023-09-15T17:07:19.5322893Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5323135Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5323398Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5323646Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5323878Z done.
2023-09-15T17:07:19.5324083Z 7 cone triangulations left.
2023-09-15T17:07:19.5324371Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5324632Z Ray Support Algorithm.
2023-09-15T17:07:19.5324860Z The codimension is 5
2023-09-15T17:07:19.5324987Z 
2023-09-15T17:07:19.5325183Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5325432Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5325691Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5325958Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5326175Z done.
2023-09-15T17:07:19.5326394Z 6 cone triangulations left.
2023-09-15T17:07:19.5326666Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5326941Z Ray Support Algorithm.
2023-09-15T17:07:19.5327152Z The codimension is 5
2023-09-15T17:07:19.5327279Z 
2023-09-15T17:07:19.5327501Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5327756Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5328001Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5328265Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5328479Z done.
2023-09-15T17:07:19.5328781Z 5 cone triangulations left.
2023-09-15T17:07:19.5329052Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5329328Z Ray Support Algorithm.
2023-09-15T17:07:19.5329546Z The codimension is 5
2023-09-15T17:07:19.5329689Z 
2023-09-15T17:07:19.5329869Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5330130Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5330378Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5330641Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5330858Z done.
2023-09-15T17:07:19.5331079Z 4 cone triangulations left.
2023-09-15T17:07:19.5331307Z Triangulating cone... done.
2023-09-15T17:07:19.5331547Z 3 cone triangulations left.
2023-09-15T17:07:19.5331788Z Triangulating cone... done.
2023-09-15T17:07:19.5332012Z 2 cone triangulations left.
2023-09-15T17:07:19.5332251Z Triangulating cone... done.
2023-09-15T17:07:19.5332474Z 1 cone triangulations left.
2023-09-15T17:07:19.5332715Z Triangulating cone... done.
2023-09-15T17:07:19.5332935Z 14 triangulations done.
2023-09-15T17:07:19.5333182Z  starting to integrate 97 linear forms.
2023-09-15T17:07:19.5333468Z findPerturbation(): we divided by zero, trying new perturbation for the 2th time.
2023-09-15T17:07:19.5333774Z Integral using the cone decomposition method is 
2023-09-15T17:07:19.5334015Z Rational: 734124064/2079
2023-09-15T17:07:19.5334246Z Real    : 353114.0279
2023-09-15T17:07:19.5334517Z Removing redundant inequalities and finding hidden equalities using cddlib...done. 
2023-09-15T17:07:19.5334807Z Ax <= b, given as (b|-A):
2023-09-15T17:07:19.5335041Z =========================
2023-09-15T17:07:19.5335247Z [0 1 0 0]
2023-09-15T17:07:19.5335455Z [0 0 1 0]
2023-09-15T17:07:19.5335641Z [0 0 0 1]
2023-09-15T17:07:19.5335936Z [4 -1 0 0]
2023-09-15T17:07:19.5336155Z [4 0 -1 0]
2023-09-15T17:07:19.5336363Z [32 4 0 -8]
2023-09-15T17:07:19.5336594Z [48 0 -4 -8]
2023-09-15T17:07:19.5336851Z [48 -4 0 -8]
2023-09-15T17:07:19.5337046Z [32 0 4 -8]
2023-09-15T17:07:19.5337179Z 
2023-09-15T17:07:19.5337379Z Ax = b, given as (b|-A):
2023-09-15T17:07:19.5337617Z ========================
2023-09-15T17:07:19.5337895Z []
2023-09-15T17:07:19.5338006Z 
2023-09-15T17:07:19.5338203Z Time for reading and preprocessing: 0 sec
2023-09-15T17:07:19.5338460Z Dualizing all cones...Ray Support Algorithm.
2023-09-15T17:07:19.5338712Z The codimension is 9
2023-09-15T17:07:19.5338840Z 
2023-09-15T17:07:19.5339035Z   Left =   5,  Col =   6,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5339279Z   Left =   5,  Col =   6,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5339544Z   Left =   5,  Col =   6,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5339690Z 
2023-09-15T17:07:19.5339882Z   Left =   4,  Col =   4,  Size =        6  Time:  0.00
2023-09-15T17:07:19.5340125Z   Left =   4,  Col =   4,  Size =        6,   Index = 0/2
2023-09-15T17:07:19.5340388Z   Left =   4,  Col =   4,  Size =        8,  Time:  0.00                
2023-09-15T17:07:19.5340536Z 
2023-09-15T17:07:19.5340731Z   Left =   3,  Col =   8,  Size =        8  Time:  0.00
2023-09-15T17:07:19.5340979Z   Left =   3,  Col =   8,  Size =        8,   Index = 0/2
2023-09-15T17:07:19.5341244Z   Left =   3,  Col =   8,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5341389Z 
2023-09-15T17:07:19.5341587Z   Left =   2,  Col =   5,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5341835Z   Left =   2,  Col =   5,  Size =       10,   Index = 0/1
2023-09-15T17:07:19.5342096Z   Left =   2,  Col =   5,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5342242Z 
2023-09-15T17:07:19.5342437Z   Left =   1,  Col =   7,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5342678Z   Left =   1,  Col =   7,  Size =        9,   Index = 0/1
2023-09-15T17:07:19.5342940Z   Left =   1,  Col =   7,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5343176Z All cones are now dualized.
2023-09-15T17:07:19.5343496Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5343724Z dilation factor = 1
2023-09-15T17:07:19.5344001Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5344280Z Cone is not pointed.
2023-09-15T17:07:19.5344496Z Ray Support Algorithm.
2023-09-15T17:07:19.5344727Z The codimension is 13
2023-09-15T17:07:19.5344855Z 
2023-09-15T17:07:19.5345037Z   Left =   8,  Col =   2,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5345291Z   Left =   8,  Col =   2,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5345535Z   Left =   8,  Col =   2,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5345695Z 
2023-09-15T17:07:19.5345875Z   Left =   7,  Col =   3,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5346131Z   Left =   7,  Col =   3,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5346376Z   Left =   7,  Col =   3,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5346527Z 
2023-09-15T17:07:19.5346747Z   Left =   6,  Col =   4,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5347016Z   Left =   6,  Col =   4,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5347264Z   Left =   6,  Col =   4,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5347411Z 
2023-09-15T17:07:19.5347636Z   Left =   5,  Col =   5,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5347876Z   Left =   5,  Col =   5,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5348143Z   Left =   5,  Col =   5,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5348289Z 
2023-09-15T17:07:19.5348512Z   Left =   4,  Col =   6,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5348751Z   Left =   4,  Col =   6,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5349011Z   Left =   4,  Col =   6,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5349154Z 
2023-09-15T17:07:19.5349376Z   Left =   3,  Col =   7,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5349618Z   Left =   3,  Col =   7,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5349882Z   Left =   3,  Col =   7,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5350025Z 
2023-09-15T17:07:19.5350320Z   Left =   2,  Col =   9,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5350562Z   Left =   2,  Col =   9,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5350821Z   Left =   2,  Col =   9,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5350966Z 
2023-09-15T17:07:19.5351160Z   Left =   1,  Col =   8,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5351404Z   Left =   1,  Col =   8,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5351667Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5351883Z done.
2023-09-15T17:07:19.5352115Z  starting to integrate 2 linear forms.
2023-09-15T17:07:19.5352369Z vector sub: dimension mismatch
2023-09-15T17:07:19.5352700Z FAIL test-library-examples (exit status: 134)

See https://github.com/conda-forge/latte-integrale-feedstock/pull/4. Are these tests supposed to pass? Any idea what we could be doing wrong?

saraedum commented 1 year ago

The CI here does not seem to be running the tests at all. At least I cannot see any indication that make check is called.

saraedum commented 1 year ago

On fedora, these tests seem to pass at least.

saraedum commented 1 year ago

Fedora uses a different version of NTL. It shouldn't make a difference but I am upgrading it now at https://github.com/conda-forge/ntl-feedstock/pull/25.