Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 1208603822] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0793 geometric_solution 4.73281167 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420806345623 0.108340259301 0 2 0 2 0132 0132 1023 2310 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 0 0 -1 1 0 0 0 0 0 -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.180379534904 1.409986098889 1 1 3 4 3201 0132 0132 0132 0 0 0 0 0 1 -1 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 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 0 0 0 -0.906693983817 1.250293295367 4 4 5 2 1230 1023 0132 0132 0 0 0 0 0 0 -1 1 0 0 1 -1 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 -1 1 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.563900253803 1.280759834661 3 3 2 5 1023 3012 0132 3201 0 0 0 0 0 0 0 0 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 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.563900253803 1.280759834661 6 4 6 3 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 0 -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 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.541952226190 0.395587569979 5 6 5 6 0132 1302 1023 2031 0 0 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 0 0 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 0 0 0 0 0.564432171482 0.088549967268 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 332033565698900018902014047254241926352597/752358168505050424260314\ 4733680044351701*c_0101_5^19 + 539132415105419635268571831651655502\ 4216047/7523581685050504242603144733680044351701*c_0101_5^18 - 11952815737199174560420121719813651036930639/7523581685050504242603\ 144733680044351701*c_0101_5^17 - 5050423777310989677490499803295601\ 5975498462/7523581685050504242603144733680044351701*c_0101_5^16 - 491037437285194661256594133260349489770475431/752358168505050424260\ 3144733680044351701*c_0101_5^15 + 999734659794001877902904243609329\ 06935051369/7523581685050504242603144733680044351701*c_0101_5^14 + 2030747450847363514018095317438634383013206896/75235816850505042426\ 03144733680044351701*c_0101_5^13 - 2834842811647754151866733394793806133516973996/75235816850505042426\ 03144733680044351701*c_0101_5^12 + 228449362768109691539237828560091613578096531/683961971368227658418\ 467703061822213791*c_0101_5^11 + 4195505302628363182247195899775250\ 34697291334/7523581685050504242603144733680044351701*c_0101_5^10 - 3294610111071464209991153404189133816975083260/75235816850505042426\ 03144733680044351701*c_0101_5^9 + 117442459251556222000802134091946\ 4770729279565/7523581685050504242603144733680044351701*c_0101_5^8 + 10090101427771159533752932742619121241198564/1419543714160472498604\ 36693088302723617*c_0101_5^7 - 206389266410295320869587174776689921\ 665095172/7523581685050504242603144733680044351701*c_0101_5^6 + 14989404656778264599457041542471885764545857/6839619713682276584184\ 67703061822213791*c_0101_5^5 - 651216922984730286355308821726163853\ 56267831/7523581685050504242603144733680044351701*c_0101_5^4 - 21516735229474922542932196314483874205317086/7523581685050504242603\ 144733680044351701*c_0101_5^3 + 26715606601283939039461130103687069\ 0835316/141954371416047249860436693088302723617*c_0101_5^2 + 301398501362467306055223782089089498496792/752358168505050424260314\ 4733680044351701*c_0101_5 + 318475702392386148122199994075381794230\ 719/7523581685050504242603144733680044351701, c_0011_0 - 1, c_0011_3 - 661071273380154943254534320949053915198/68396197136822765841\ 8467703061822213791*c_0101_5^19 + 109022268513185516474197074920712\ 43839690/683961971368227658418467703061822213791*c_0101_5^18 - 26454780521291212465898956190823580515423/6839619713682276584184677\ 03061822213791*c_0101_5^17 - 95712637721387096755835713304901181326\ 467/683961971368227658418467703061822213791*c_0101_5^16 - 949270486695934324157375109528921156199357/683961971368227658418467\ 703061822213791*c_0101_5^15 + 4588584756407874118210979869142638043\ 64029/683961971368227658418467703061822213791*c_0101_5^14 + 4101935248227190229955710562880500815691381/68396197136822765841846\ 7703061822213791*c_0101_5^13 - 670386587632391579876513198715734092\ 0257683/683961971368227658418467703061822213791*c_0101_5^12 + 5992658876768831445826460558825346669867678/68396197136822765841846\ 7703061822213791*c_0101_5^11 + 233596083976431052421085521863733920\ 519206/683961971368227658418467703061822213791*c_0101_5^10 - 7411738271914574588126556595684412484153746/68396197136822765841846\ 7703061822213791*c_0101_5^9 + 4006605184862815865057755255850901743\ 626415/683961971368227658418467703061822213791*c_0101_5^8 + 21842006211507927572012892655469365651698/1290494285600429544185788\ 1189845702147*c_0101_5^7 - 9831768096553323427099700989692296559463\ 74/683961971368227658418467703061822213791*c_0101_5^6 + 356346229063973402441189269833829059748437/683961971368227658418467\ 703061822213791*c_0101_5^5 - 18299524601584094656071590054936912245\ 5512/683961971368227658418467703061822213791*c_0101_5^4 - 38210625757882678944098485336133496857978/6839619713682276584184677\ 03061822213791*c_0101_5^3 + 101847555186845354228858885939396802512\ 9/12904942856004295441857881189845702147*c_0101_5^2 - 2930604005845667235166438754942985786872/68396197136822765841846770\ 3061822213791*c_0101_5 - 2457509350075563239389348406541775335560/6\ 83961971368227658418467703061822213791, c_0011_5 + 520233397740095052117039702178752981769/68396197136822765841\ 8467703061822213791*c_0101_5^19 - 852760491011790385541855762379203\ 3241837/683961971368227658418467703061822213791*c_0101_5^18 + 19997989137953993745071833530756776530208/6839619713682276584184677\ 03061822213791*c_0101_5^17 + 76827545930378573821061153343962614246\ 729/683961971368227658418467703061822213791*c_0101_5^16 + 755637518795571881912543356987984066071289/683961971368227658418467\ 703061822213791*c_0101_5^15 - 2805245881431662151578689300704799626\ 22608/683961971368227658418467703061822213791*c_0101_5^14 - 3208565465962225591311384609044250212714722/68396197136822765841846\ 7703061822213791*c_0101_5^13 + 496273746072683023792969109294696760\ 7752266/683961971368227658418467703061822213791*c_0101_5^12 - 4411940098290904536181106731720439401476643/68396197136822765841846\ 7703061822213791*c_0101_5^11 - 427027862787370007359570467612637744\ 683544/683961971368227658418467703061822213791*c_0101_5^10 + 5649093989763040434730739521676792242152786/68396197136822765841846\ 7703061822213791*c_0101_5^9 - 2716436668189707480939587951354674833\ 730927/683961971368227658418467703061822213791*c_0101_5^8 - 16609937399189596286728999865368946281233/1290494285600429544185788\ 1189845702147*c_0101_5^7 + 6715119221950995971793581375451218282456\ 42/683961971368227658418467703061822213791*c_0101_5^6 - 293684030480160942380870685878136909563899/683961971368227658418467\ 703061822213791*c_0101_5^5 + 12004282900325473325731079494188405227\ 7397/683961971368227658418467703061822213791*c_0101_5^4 + 27490508392935262368200133329851489030095/6839619713682276584184677\ 03061822213791*c_0101_5^3 - 691938624044344633683135708138086621665\ /12904942856004295441857881189845702147*c_0101_5^2 + 1937538314690678498345894750656869712642/68396197136822765841846770\ 3061822213791*c_0101_5 + 1642478627174937648094176513434588913156/6\ 83961971368227658418467703061822213791, c_0101_1 + 227183016593470991198011133775678520180/68396197136822765841\ 8467703061822213791*c_0101_5^19 - 368136179978777017217949016105254\ 7366996/683961971368227658418467703061822213791*c_0101_5^18 + 8071581025321290578331176684094010532485/68396197136822765841846770\ 3061822213791*c_0101_5^17 + 345828492510695616701002888352550693740\ 33/683961971368227658418467703061822213791*c_0101_5^16 + 337711618203633093730837736889527311674964/683961971368227658418467\ 703061822213791*c_0101_5^15 - 5523076536783513692983721904592552822\ 9588/683961971368227658418467703061822213791*c_0101_5^14 - 1370956136941523351920096711912779695845184/68396197136822765841846\ 7703061822213791*c_0101_5^13 + 188193754394193904262533100001871037\ 1255688/683961971368227658418467703061822213791*c_0101_5^12 - 1749881871546508629869281801411028244001383/68396197136822765841846\ 7703061822213791*c_0101_5^11 - 190595072412103252109696379206364730\ 685319/683961971368227658418467703061822213791*c_0101_5^10 + 2115833036735397112012905840855614131563010/68396197136822765841846\ 7703061822213791*c_0101_5^9 - 7430240461402974259095146895985724770\ 27379/683961971368227658418467703061822213791*c_0101_5^8 - 3915684884460587464227443500528064008477/12904942856004295441857881\ 189845702147*c_0101_5^7 + 30547529206353343514628803007610673982629\ /683961971368227658418467703061822213791*c_0101_5^6 - 140035438904954616126300327270215299136263/683961971368227658418467\ 703061822213791*c_0101_5^5 + 66119600787036182349397122029850761356\ 938/683961971368227658418467703061822213791*c_0101_5^4 + 5443967412742406819655334384604913225075/68396197136822765841846770\ 3061822213791*c_0101_5^3 - 82760560167659951303283388657429827347/1\ 2904942856004295441857881189845702147*c_0101_5^2 + 102787934093045148832470577435737688116/683961971368227658418467703\ 061822213791*c_0101_5 - 814588862246038776097321562714059614214/683\ 961971368227658418467703061822213791, c_0101_3 + 300301971539131326479700198196493632358/68396197136822765841\ 8467703061822213791*c_0101_5^19 - 488426202709419349748813749975288\ 0138877/683961971368227658418467703061822213791*c_0101_5^18 + 10940038262607605014584689901307780802321/6839619713682276584184677\ 03061822213791*c_0101_5^17 + 45444228018975500410107395164323204626\ 877/683961971368227658418467703061822213791*c_0101_5^16 + 442608267738590804704464765438359246314032/683961971368227658418467\ 703061822213791*c_0101_5^15 - 1027128887735994694557593004371488085\ 73879/683961971368227658418467703061822213791*c_0101_5^14 - 1837466298878499791103205287777828720842290/68396197136822765841846\ 7703061822213791*c_0101_5^13 + 262888894104452873869820750961446049\ 3455131/683961971368227658418467703061822213791*c_0101_5^12 - 2320610116500770138386523519625995664341861/68396197136822765841846\ 7703061822213791*c_0101_5^11 - 397033653506133775829959337234187645\ 410635/683961971368227658418467703061822213791*c_0101_5^10 + 3072274926826386173699476160125826133939717/68396197136822765841846\ 7703061822213791*c_0101_5^9 - 1195261537090213719685792922252719086\ 990024/683961971368227658418467703061822213791*c_0101_5^8 - 9462132551205585073743331455400925852705/12904942856004295441857881\ 189845702147*c_0101_5^7 + 27407677038660080634860744023745076139575\ 7/683961971368227658418467703061822213791*c_0101_5^6 - 149268412631713472784529608572760692202739/683961971368227658418467\ 703061822213791*c_0101_5^5 + 52454157581968715122152393694646850598\ 208/683961971368227658418467703061822213791*c_0101_5^4 + 13430331055276098650348739628780889127117/6839619713682276584184677\ 03061822213791*c_0101_5^3 - 294898287039644052279788935421676512010\ /12904942856004295441857881189845702147*c_0101_5^2 - 138993373975713131776646177573603817717/683961971368227658418467703\ 061822213791*c_0101_5 + 697245430676454227850405899902224260119/683\ 961971368227658418467703061822213791, c_0101_4 - 448097454522072436957796208746834148287/68396197136822765841\ 8467703061822213791*c_0101_5^19 + 740036844778540972964085717840469\ 0883041/683961971368227658418467703061822213791*c_0101_5^18 - 18101403885330213568652345690239251425995/6839619713682276584184677\ 03061822213791*c_0101_5^17 - 64513876496280187960815975629572721610\ 640/683961971368227658418467703061822213791*c_0101_5^16 - 641727302654315226127910431438482299693622/683961971368227658418467\ 703061822213791*c_0101_5^15 + 3263004144205987849712076016558656959\ 56998/683961971368227658418467703061822213791*c_0101_5^14 + 2776588379123627466167416687961621785796171/68396197136822765841846\ 7703061822213791*c_0101_5^13 - 461960396854443421596053328166453503\ 6475821/683961971368227658418467703061822213791*c_0101_5^12 + 4148362576457786075605507951727592716854300/68396197136822765841846\ 7703061822213791*c_0101_5^11 + 125686684197010789529999157075694506\ 275617/683961971368227658418467703061822213791*c_0101_5^10 - 5092307542824749223738690675917334212224453/68396197136822765841846\ 7703061822213791*c_0101_5^9 + 2869016190884002756459494756135045970\ 635609/683961971368227658418467703061822213791*c_0101_5^8 + 14404210764029132811358447938116323670903/1290494285600429544185788\ 1189845702147*c_0101_5^7 - 7439162069143849296734342356217091429161\ 01/683961971368227658418467703061822213791*c_0101_5^6 + 257430374818315534357922147531148305143300/683961971368227658418467\ 703061822213791*c_0101_5^5 - 12251646740131786075825465036370760719\ 8584/683961971368227658418467703061822213791*c_0101_5^4 - 22892875761394056947601137033204611450160/6839619713682276584184677\ 03061822213791*c_0101_5^3 + 734906899000780505069392743902670997949\ /12904942856004295441857881189845702147*c_0101_5^2 - 2904645724133362979173676204669932887582/68396197136822765841846770\ 3061822213791*c_0101_5 - 1725183309598363598579075203440154686896/6\ 83961971368227658418467703061822213791, c_0101_5^20 - 16*c_0101_5^19 + 32*c_0101_5^18 + 163*c_0101_5^17 + 1510*c_0101_5^16 + 27*c_0101_5^15 - 6406*c_0101_5^14 + 7105*c_0101_5^13 - 4644*c_0101_5^12 - 4197*c_0101_5^11 + 10575*c_0101_5^10 - 875*c_0101_5^9 - 3857*c_0101_5^8 + 560*c_0101_5^7 - 41*c_0101_5^6 + 30*c_0101_5^5 + 159*c_0101_5^4 - 46*c_0101_5^3 - 24*c_0101_5^2 + 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB