Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2749513579] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1589 geometric_solution 5.36124605 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253945310619 0.651987851270 0 1 0 1 0132 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.986887411326 0.674716673848 4 3 5 0 0132 3012 0132 0132 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 1 0 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.178005577906 0.961208257263 2 4 0 5 1230 2310 0132 2310 0 0 0 0 0 -1 0 1 1 0 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 -1 1 0 1 0 0 -1 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.178005577906 0.961208257263 2 6 6 3 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742033376213 0.474243042522 3 5 5 2 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216437601187 0.591423376810 6 4 4 6 3012 0132 1023 1230 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 -1 1 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 1.572808146271 0.533787976763 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['1'], 's_2_6' : d['1'], 's_1_6' : 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_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 733916916777763197288876125175154/178439130078105191776632279342483\ *c_0101_6^20 + 834105124582809459983807798895974/178439130078105191\ 776632279342483*c_0101_6^19 - 34687738638918537054606755713115189/1\ 78439130078105191776632279342483*c_0101_6^18 - 60239603554726535893615728856908040/1784391300781051917766322793424\ 83*c_0101_6^17 + 364881819705374866490697247650305434/1784391300781\ 05191776632279342483*c_0101_6^16 + 570930251524517363008631614223480143/178439130078105191776632279342\ 483*c_0101_6^15 - 795595588769195237325876819122447288/178439130078\ 105191776632279342483*c_0101_6^14 - 752373512908382695142393271588465484/178439130078105191776632279342\ 483*c_0101_6^13 + 317214056318996827738278287131850353/594797100260\ 35063925544093114161*c_0101_6^12 + 635713319990614826782189121909638033/178439130078105191776632279342\ 483*c_0101_6^11 - 686071719729953750858512561702428677/178439130078\ 105191776632279342483*c_0101_6^10 - 30702665116118574542660652829102378/1049641941635912892803719290249\ 9*c_0101_6^9 + 563991817853764274679260178643227728/178439130078105\ 191776632279342483*c_0101_6^8 + 52853137198811520609275936738536694\ /59479710026035063925544093114161*c_0101_6^7 - 72824951843377979691192308500458793/5947971002603506392554409311416\ 1*c_0101_6^6 + 14590056889550391683469638395549222/1784391300781051\ 91776632279342483*c_0101_6^5 + 4193106923799536728731588635712059/1\ 78439130078105191776632279342483*c_0101_6^4 + 982572677634472262325130136008372/59479710026035063925544093114161*\ c_0101_6^3 + 7718438099987506074518334309234652/5947971002603506392\ 5544093114161*c_0101_6^2 - 8380017835694415524054128066466252/17843\ 9130078105191776632279342483*c_0101_6 - 2597576730813450018516500491261132/59479710026035063925544093114161\ , c_0011_0 - 1, c_0011_2 + 29248488313048367858401291348345/178439130078105191776632279\ 342483*c_0101_6^20 + 583337924145636901156170571601/178439130078105\ 191776632279342483*c_0101_6^19 - 1409198777048686208759128608257183\ /178439130078105191776632279342483*c_0101_6^18 - 852706417883393075065084821362933/178439130078105191776632279342483\ *c_0101_6^17 + 16728269774902673223443049340356425/1784391300781051\ 91776632279342483*c_0101_6^16 + 6014159317796488050941265769372798/\ 178439130078105191776632279342483*c_0101_6^15 - 51480663799007445126723715559939462/1784391300781051917766322793424\ 83*c_0101_6^14 + 9731925187005458872012098636782380/178439130078105\ 191776632279342483*c_0101_6^13 + 5560283987431567973737931775943151\ 3/178439130078105191776632279342483*c_0101_6^12 - 18887533354305888979051375037093708/1784391300781051917766322793424\ 83*c_0101_6^11 - 12484990924508069211681124785682683/59479710026035\ 063925544093114161*c_0101_6^10 + 536123865725581338842198135096801/\ 10496419416359128928037192902499*c_0101_6^9 + 32639486211074519004133132962178715/1784391300781051917766322793424\ 83*c_0101_6^8 - 19317248049204313777072786031205187/178439130078105\ 191776632279342483*c_0101_6^7 - 4438648878255523082867377033259446/\ 178439130078105191776632279342483*c_0101_6^6 + 2250614372372648216935714121209987/59479710026035063925544093114161\ *c_0101_6^5 - 1128345027769481589356969001711466/594797100260350639\ 25544093114161*c_0101_6^4 + 1553189451416198685111348241712962/1784\ 39130078105191776632279342483*c_0101_6^3 + 488318959833984599226224576603854/178439130078105191776632279342483\ *c_0101_6^2 - 1161432806186511763568683708062896/178439130078105191\ 776632279342483*c_0101_6 + 334781197029013806398182968736214/178439\ 130078105191776632279342483, c_0011_5 + 18651018980829580623124795821833/594797100260350639255440931\ 14161*c_0101_6^20 + 9292099695064223111456947791684/594797100260350\ 63925544093114161*c_0101_6^19 - 889898594725403507957784175856460/5\ 9479710026035063925544093114161*c_0101_6^18 - 964892590399933187258400955649121/59479710026035063925544093114161*\ c_0101_6^17 + 10003929856582981891464435524047908/59479710026035063\ 925544093114161*c_0101_6^16 + 8287969037149433452709692350263878/59\ 479710026035063925544093114161*c_0101_6^15 - 26727729235339058262970445297534107/5947971002603506392554409311416\ 1*c_0101_6^14 - 3478017095162257063970813764049086/5947971002603506\ 3925544093114161*c_0101_6^13 + 29060081928721834340321280493407883/\ 59479710026035063925544093114161*c_0101_6^12 - 1800321305142498215945621953912381/59479710026035063925544093114161\ *c_0101_6^11 - 19358199292795203181646888543510255/5947971002603506\ 3925544093114161*c_0101_6^10 - 53925182924531389415640654119106/349\ 8806472119709642679064300833*c_0101_6^9 + 16640275453373707619623032442651764/5947971002603506392554409311416\ 1*c_0101_6^8 - 6597380876581774459312589408506422/59479710026035063\ 925544093114161*c_0101_6^7 - 3150924583979259364163901348628924/594\ 79710026035063925544093114161*c_0101_6^6 + 3019339856956303621609146371075613/59479710026035063925544093114161\ *c_0101_6^5 - 1549097599896383920029732546180258/594797100260350639\ 25544093114161*c_0101_6^4 + 727583178309473478409444864490203/59479\ 710026035063925544093114161*c_0101_6^3 + 357870078192061155903753006286820/59479710026035063925544093114161*\ c_0101_6^2 - 572934152587371443425468408245717/59479710026035063925\ 544093114161*c_0101_6 + 126697400636265715086480879111988/594797100\ 26035063925544093114161, c_0101_0 + 1741634594047666560247701707333/5947971002603506392554409311\ 4161*c_0101_6^20 - 4626321083999092097299431214350/5947971002603506\ 3925544093114161*c_0101_6^19 - 86990841742103781015788496999817/594\ 79710026035063925544093114161*c_0101_6^18 + 171145040795701303835870721269648/59479710026035063925544093114161*\ c_0101_6^17 + 1273692889634341268202533403345841/594797100260350639\ 25544093114161*c_0101_6^16 - 2097698712969912000614705108277530/594\ 79710026035063925544093114161*c_0101_6^15 - 5556847888633848393069936879149637/59479710026035063925544093114161\ *c_0101_6^14 + 6834645430765412791169700333748543/59479710026035063\ 925544093114161*c_0101_6^13 + 5417218678859446320215143072958387/59\ 479710026035063925544093114161*c_0101_6^12 - 7765662088536914456614881537970053/59479710026035063925544093114161\ *c_0101_6^11 - 3278147827721398920421616958677138/59479710026035063\ 925544093114161*c_0101_6^10 + 287994417358562437429304960592987/349\ 8806472119709642679064300833*c_0101_6^9 + 3225328459651185109634280801849191/59479710026035063925544093114161\ *c_0101_6^8 - 4884055875334670141479679813763331/594797100260350639\ 25544093114161*c_0101_6^7 + 697855375562562481819323048027823/59479\ 710026035063925544093114161*c_0101_6^6 + 1215339229283652756729332782591525/59479710026035063925544093114161\ *c_0101_6^5 - 716806454160913708522624817833799/5947971002603506392\ 5544093114161*c_0101_6^4 + 395911438732756707300628018909921/594797\ 10026035063925544093114161*c_0101_6^3 - 71966418044813440310906422603581/59479710026035063925544093114161*c\ _0101_6^2 - 147160936430649801521816900106978/594797100260350639255\ 44093114161*c_0101_6 + 96886475971868340337038988451920/59479710026\ 035063925544093114161, c_0101_1 - 13044724281540978159514695989540/594797100260350639255440931\ 14161*c_0101_6^20 - 6633200859426318521866753135004/594797100260350\ 63925544093114161*c_0101_6^19 + 622563179514245299476364600576283/5\ 9479710026035063925544093114161*c_0101_6^18 + 682716655145950047237465231729925/59479710026035063925544093114161*\ c_0101_6^17 - 6998567906298132417613943001594635/594797100260350639\ 25544093114161*c_0101_6^16 - 5942233374020600819260035912105223/594\ 79710026035063925544093114161*c_0101_6^15 + 18618965377160420115245152847838966/5947971002603506392554409311416\ 1*c_0101_6^14 + 3299181484631987678693761598934313/5947971002603506\ 3925544093114161*c_0101_6^13 - 19386932095507344500000151749725183/\ 59479710026035063925544093114161*c_0101_6^12 + 479644193781104020826839885376125/59479710026035063925544093114161*\ c_0101_6^11 + 12817935414113057922976214224245242/59479710026035063\ 925544093114161*c_0101_6^10 + 60633756468724111187444664786339/3498\ 806472119709642679064300833*c_0101_6^9 - 11388122740662144047776550271685685/5947971002603506392554409311416\ 1*c_0101_6^8 + 4312545595551213660161678854460215/59479710026035063\ 925544093114161*c_0101_6^7 + 2034446006005914223575628930448424/594\ 79710026035063925544093114161*c_0101_6^6 - 1855665320084174645356035600333340/59479710026035063925544093114161\ *c_0101_6^5 + 885936089006752410703454133735945/5947971002603506392\ 5544093114161*c_0101_6^4 - 417469963980099742783411364243061/594797\ 10026035063925544093114161*c_0101_6^3 - 181484132282011499160194089365953/59479710026035063925544093114161*\ c_0101_6^2 + 383260424581495905247280457237671/59479710026035063925\ 544093114161*c_0101_6 - 70520076182638058555258738087477/5947971002\ 6035063925544093114161, c_0101_2 + 22280370259104099155408459688725/178439130078105191776632279\ 342483*c_0101_6^20 + 9321272515456369206604119489493/17843913007810\ 5191776632279342483*c_0101_6^19 - 106802290677624611966397895847591\ 2/178439130078105191776632279342483*c_0101_6^18 - 1069240522723014214388064859150456/17843913007810519177663227934248\ 3*c_0101_6^17 + 12238135538439266043716226795602506/178439130078105\ 191776632279342483*c_0101_6^16 + 9131763745780662047775856225098698\ /178439130078105191776632279342483*c_0101_6^15 - 34978948456773016645163547970632262/1784391300781051917766322793424\ 83*c_0101_6^14 - 3207466416282467580010887861699205/178439130078105\ 191776632279342483*c_0101_6^13 + 4163796440804136315265122947648214\ 4/178439130078105191776632279342483*c_0101_6^12 - 3982539088959163716459004671006598/17843913007810519177663227934248\ 3*c_0101_6^11 - 10178628110415413748312393788654095/594797100260350\ 63925544093114161*c_0101_6^10 - 9578866224846633041137619307686/104\ 96419416359128928037192902499*c_0101_6^9 + 24652184757466927925916162235245361/1784391300781051917766322793424\ 83*c_0101_6^8 - 8191778755050410068460299559346926/1784391300781051\ 91776632279342483*c_0101_6^7 - 6843064078634778648996767574932261/1\ 78439130078105191776632279342483*c_0101_6^6 + 1596543594717604163983944205121012/59479710026035063925544093114161\ *c_0101_6^5 - 554746222357930268787850172366692/5947971002603506392\ 5544093114161*c_0101_6^4 + 589462537843865503537835555066858/178439\ 130078105191776632279342483*c_0101_6^3 + 798995325694025046761468040432869/178439130078105191776632279342483\ *c_0101_6^2 - 746263556805460932808700650727965/1784391300781051917\ 76632279342483*c_0101_6 + 67964432683150585466627125148824/17843913\ 0078105191776632279342483, c_0101_6^21 - 48*c_0101_6^19 - 28*c_0101_6^18 + 564*c_0101_6^17 + 180*c_0101_6^16 - 1675*c_0101_6^15 + 500*c_0101_6^14 + 1707*c_0101_6^13 - 834*c_0101_6^12 - 1070*c_0101_6^11 + 445*c_0101_6^10 + 987*c_0101_6^9 - 779*c_0101_6^8 - 41*c_0101_6^7 + 242*c_0101_6^6 - 141*c_0101_6^5 + 70*c_0101_6^4 + 2*c_0101_6^3 - 40*c_0101_6^2 + 18*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB