-
Notifications
You must be signed in to change notification settings - Fork 13
Open
Description
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 conda-forge/latte-integrale-feedstock#4. Are these tests supposed to pass? Any idea what we could be doing wrong?
slel
Metadata
Metadata
Assignees
Labels
No labels