Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 1797977862] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s814 geometric_solution 5.37772991 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534279654113 0.726570679076 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534231006095 0.634637166289 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534231006095 0.634637166289 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.054570619447 1.207837347685 4 1 2 4 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762163896327 0.786874135924 5 3 5 3 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471964138655 0.213181718586 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1065206291548634387710590332096/276528382906622746430376859159*c_01\ 10_5^19 + 3471608137622787775883483335463/2212227063252981971443014\ 873272*c_0110_5^18 + 178220169994122361972418661620261/110611353162\ 6490985721507436636*c_0110_5^17 - 30000216569960386648682053308367/\ 1106113531626490985721507436636*c_0110_5^16 - 1699431612855307818166788132859121/1106113531626490985721507436636*\ c_0110_5^15 + 944179090384406412432974799574421/1106113531626490985\ 721507436636*c_0110_5^14 + 1471298799712573078713542352547343/22122\ 27063252981971443014873272*c_0110_5^13 - 932496448109660801046481949830865/553056765813245492860753718318*c_\ 0110_5^12 + 10805730420807604270217464297262429/2212227063252981971\ 443014873272*c_0110_5^11 - 4241596553759419438191388385829223/22122\ 27063252981971443014873272*c_0110_5^10 - 6141217391116700050027863106411403/2212227063252981971443014873272*\ c_0110_5^9 + 6518719902107982802954166283192811/1106113531626490985\ 721507436636*c_0110_5^8 - 7790308154986208650025007108677063/221222\ 7063252981971443014873272*c_0110_5^7 - 3123464677916793495785353446210819/2212227063252981971443014873272*\ c_0110_5^6 + 2753185460505518407471203953347883/1106113531626490985\ 721507436636*c_0110_5^5 - 3069045275306339225756293161863809/221222\ 7063252981971443014873272*c_0110_5^4 - 138498466386428343486563522809937/1106113531626490985721507436636*c\ _0110_5^3 + 138172232176068423970174711519083/553056765813245492860\ 753718318*c_0110_5^2 - 35509267281590699021074137329247/11061135316\ 26490985721507436636*c_0110_5 - 62653245971485807397739429947405/22\ 12227063252981971443014873272, c_0011_0 - 1, c_0011_1 - 16700881026320822605322101672/276528382906622746430376859159\ *c_0110_5^19 + 1976927121364493139889725011/27652838290662274643037\ 6859159*c_0110_5^18 + 696994577784487765422957903751/27652838290662\ 2746430376859159*c_0110_5^17 + 84622150661547687819342996557/276528\ 382906622746430376859159*c_0110_5^16 - 6547534009975026610402218688896/276528382906622746430376859159*c_01\ 10_5^15 + 1798293074213114233492272642297/2765283829066227464303768\ 59159*c_0110_5^14 + 2557768969689445135081644153427/276528382906622\ 746430376859159*c_0110_5^13 - 6162243556338507158806877044488/27652\ 8382906622746430376859159*c_0110_5^12 + 19733905980122206834882158970235/276528382906622746430376859159*c_0\ 110_5^11 - 3306679832915488186686996264410/276528382906622746430376\ 859159*c_0110_5^10 - 10522347627879938808842422925987/2765283829066\ 22746430376859159*c_0110_5^9 + 21963224876136177394981535620563/276\ 528382906622746430376859159*c_0110_5^8 - 10539606512424956187784139052934/276528382906622746430376859159*c_0\ 110_5^7 - 6445304889017936978007552661217/2765283829066227464303768\ 59159*c_0110_5^6 + 7394070523121790234503097764902/2765283829066227\ 46430376859159*c_0110_5^5 - 5525926344898172632760030576919/2765283\ 82906622746430376859159*c_0110_5^4 - 595967695029895761905659525506/276528382906622746430376859159*c_011\ 0_5^3 + 118312392147628157670051781772/2765283829066227464303768591\ 59*c_0110_5^2 - 182603277730475344172125884134/27652838290662274643\ 0376859159*c_0110_5 + 42341771234445625163897470587/276528382906622\ 746430376859159, c_0101_0 + 24960849446723104275868788588/276528382906622746430376859159\ *c_0110_5^19 - 9620420185442257932397715188/27652838290662274643037\ 6859159*c_0110_5^18 - 1039372974697549790859006575870/2765283829066\ 22746430376859159*c_0110_5^17 + 154550512457389845279263031438/2765\ 28382906622746430376859159*c_0110_5^16 + 9751799944281603706760617943167/276528382906622746430376859159*c_01\ 10_5^15 - 5434578938207796206865667169292/2765283829066227464303768\ 59159*c_0110_5^14 - 2405058846314800339228282195575/276528382906622\ 746430376859159*c_0110_5^13 + 11263602094587179537126620062159/2765\ 28382906622746430376859159*c_0110_5^12 - 33449887975088883795106352564969/276528382906622746430376859159*c_0\ 110_5^11 + 13045845424058033169116679627618/27652838290662274643037\ 6859159*c_0110_5^10 + 13367776633275822328574501733249/276528382906\ 622746430376859159*c_0110_5^9 - 39299857476333166560037526561972/27\ 6528382906622746430376859159*c_0110_5^8 + 27922171134728453655635614995718/276528382906622746430376859159*c_0\ 110_5^7 + 5191581989965705604417731066429/2765283829066227464303768\ 59159*c_0110_5^6 - 16492813806925074462723187795545/276528382906622\ 746430376859159*c_0110_5^5 + 12144020439538222606368350886974/27652\ 8382906622746430376859159*c_0110_5^4 + 238139587929456582647342154721/276528382906622746430376859159*c_011\ 0_5^3 - 1807247637589281443771856145520/276528382906622746430376859\ 159*c_0110_5^2 + 713780509847321849092243233198/2765283829066227464\ 30376859159*c_0110_5 + 314975933235797077229952760800/2765283829066\ 22746430376859159, c_0101_1 - 48813126341167584431480907/276528382906622746430376859159*c_\ 0110_5^19 + 7770475769116767964345894705/27652838290662274643037685\ 9159*c_0110_5^18 + 897155699538839303429822761/27652838290662274643\ 0376859159*c_0110_5^17 - 324414969661540596980372185038/27652838290\ 6622746430376859159*c_0110_5^16 - 50131004403833329470724625136/276\ 528382906622746430376859159*c_0110_5^15 + 3079246134019991696986660181685/276528382906622746430376859159*c_01\ 10_5^14 - 874123241258885595203574238331/27652838290662274643037685\ 9159*c_0110_5^13 - 1513595719239290972654815362582/2765283829066227\ 46430376859159*c_0110_5^12 + 2698002248027018068496861631813/276528\ 382906622746430376859159*c_0110_5^11 - 8273984389671280150949470569640/276528382906622746430376859159*c_01\ 10_5^10 + 994647747331541660071548377298/27652838290662274643037685\ 9159*c_0110_5^9 + 5320593536595204092517224477078/27652838290662274\ 6430376859159*c_0110_5^8 - 9045229678387073356877202513275/27652838\ 2906622746430376859159*c_0110_5^7 + 2327260206817564763214008677621/276528382906622746430376859159*c_01\ 10_5^6 + 4916950446180960571343808385293/27652838290662274643037685\ 9159*c_0110_5^5 - 2541363688713091502134332238706/27652838290662274\ 6430376859159*c_0110_5^4 + 98061085321634481879098285182/2765283829\ 06622746430376859159*c_0110_5^3 + 1526108989015714096411701826901/2\ 76528382906622746430376859159*c_0110_5^2 + 41715958344663997788333855178/276528382906622746430376859159*c_0110\ _5 - 292548583050864631691024671667/276528382906622746430376859159, c_0101_4 - 17878916288534142169667339025/553056765813245492860753718318\ *c_0110_5^19 + 15263418916428421758606277615/2765283829066227464303\ 76859159*c_0110_5^18 + 374477426042915514934759579330/2765283829066\ 22746430376859159*c_0110_5^17 - 551610186287347443323921943982/2765\ 28382906622746430376859159*c_0110_5^16 - 3705711842559094231708857416583/276528382906622746430376859159*c_01\ 10_5^15 + 13337157728766913445894643511163/553056765813245492860753\ 718318*c_0110_5^14 + 1107714172558246421101813366812/27652838290662\ 2746430376859159*c_0110_5^13 - 14335434824036619771878867987485/553\ 056765813245492860753718318*c_0110_5^12 + 30584743406279995294534716409883/553056765813245492860753718318*c_0\ 110_5^11 - 35009414427183733561825592850229/55305676581324549286075\ 3718318*c_0110_5^10 - 6834695584305852012745681965864/2765283829066\ 22746430376859159*c_0110_5^9 + 50033290832924360792021820361857/553\ 056765813245492860753718318*c_0110_5^8 - 44134898641152704898508206861721/553056765813245492860753718318*c_0\ 110_5^7 + 1096083224404081936894919446640/2765283829066227464303768\ 59159*c_0110_5^6 + 26772107066624988793732311999593/553056765813245\ 492860753718318*c_0110_5^5 - 8722041621524784081083436621843/276528\ 382906622746430376859159*c_0110_5^4 + 1937777391407645658552053068029/276528382906622746430376859159*c_01\ 10_5^3 + 1548894227071149144176363368334/27652838290662274643037685\ 9159*c_0110_5^2 - 838088585035628199396843180609/553056765813245492\ 860753718318*c_0110_5 - 244941176324078158542208890650/276528382906\ 622746430376859159, c_0110_5^20 - 42*c_0110_5^18 - 10*c_0110_5^17 + 402*c_0110_5^16 - 59*c_0110_5^15 - 266*c_0110_5^14 + 367*c_0110_5^13 - 1083*c_0110_5^12 - 19*c_0110_5^11 + 924*c_0110_5^10 - 1233*c_0110_5^9 + 273*c_0110_5^8 + 740*c_0110_5^7 - 479*c_0110_5^6 + 84*c_0110_5^5 + 180*c_0110_5^4 - 42*c_0110_5^3 - 23*c_0110_5^2 + 10*c_0110_5 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB