/
issue224.jl
20 lines (20 loc) · 4.02 KB
/
issue224.jl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
"""
Regression test for https://github.com/JuliaPolyhedra/Polyhedra.jl/issues/224
"""
function issue224test(lib::Polyhedra.Library)
p = polyhedron(convexhull([-5012508711568619//562949953421312, 583069911833861//562949953421312, 1219842180319805//35184372088832],
[-3609611117314485//1125899906842624, 5282286702292177//1125899906842624, 1219842180319805//35184372088832],
[-7725757995938945//1125899906842624, 1462211626014367//140737488355328, 1219842180319805//35184372088832],
[-532368590153764480371939662909266158793799405463504814709713817//77583810724479672721865369109640386986142477600327824161374208, 3224270984442009275405360045195456034995743746806217875031525951//310335242897918690887461476438561547944569910401311296645496832, 672457679454427424790403270603729873029078800097096746747208063//19395952681119918180466342277410096746535619400081956040343552],
[-99439783243032230401278200429697521956561640533421926702879//31016981899445501044376765532524576292400999567207920828416, 311994187972841311191238761811528823912588633689069650103080235//66500409192411154239143785301732691570907743072093782256123904, 288196148337611788210031345503791397986095421869031213993505867//8312551149051394279892973162716586446363467884011722782015488],
[-690806571294091770118800876784760427996256746750368522886675821//77583810724479672721865369109639134785033939652916888662441984, 321426694532486026572630868942976798207283537518053289963575445//310335242897918690887461476438556539140135758611667554649767936, 168114419863606861724632054332712979462833232159533470697926701//4848988170279979545116585569352445924064621228307305541402624],
[-1492392266911428135477270336942896864090819866924399644525722049//465502864346878027654888975401162411367555092311194971098054656, 8735837263239544956921962745120391980207061989984410077199166221//1862011457387512110619555901604649645470220369244779884392218624, 2017373038363282292032368858811720337472226359496354415171746909//58187858043359753456861121925145301420944386538899371387256832],
[-373098066727856630393118486909715763699958036549713602976647893//116375716086719509082798053664459230332289270193787821224886272, 1091979657904943666635059112885763141035648015680316821818842795//232751432173439018165596107328918460664578540387575642449772544, 2017373038363282329633298021940319932272991184557553168606931369//58187858043359754541399026832229615166144635096893910612443136],
[-7070582150880849//562949953421312, 3790773064745241//562949953421312, 1219842180319805//35184372088832],
[-34801539891522081227113644995895817371964429166316169581661393//2770850383017131220282711035205412611141700157032485986762752, 74633028634568024242096988893935168609715564253767685190029663//11083401532068524881130844140821650444566800628129943947051008, 6004086423700245009031028586285698644710591893089440485524287//173178148938570701267669439700338288196356259814530374172672],
[-15819997815895236991185625966444338695356530903287555618572799//1776728489873580456771017164550118143569876505199642857701376, 964280083597461551818957674899498352631347137057929931635288993//931005728693756159348012994224261907230615288724612857435521024, 1008686519181641264266253024289396959154227260201071539037865451//29093929021679879979625406069508184600956727772644151794860032],
[-2923329350887855490685984645262896737347750012999614732126096039//232751432173439018165596107328919516974055261816400618912219136, 6269174405303712066292933133855537629242176139218553155719560483//931005728693756072662384429315678067896221047265602475648876544, 1008686519181641142716748220931706730473386508489464675026988381//29093929021679877270699513416114939621756907727050077364027392]),
lib)
vol = volume(p)
@test vol < 1e-12
end