Magma V2.19-8 Tue Aug 20 2013 16:19:08 on localhost [Seed = 2564359653] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3268 geometric_solution 6.39237351 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 1 1 -2 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.486761946900 0.431995126596 0 1 5 1 0132 1302 0132 2031 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.651018933024 0.744377627782 2 0 2 5 2310 0132 3201 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 -1 1 0 -1 0 1 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.764358722567 1.183456769953 6 5 6 0 0132 0132 1023 0132 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 0 1 -1 -1 0 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.917340077567 0.876627971373 5 6 0 6 0132 2310 0132 3201 0 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 0 0 0 0 0 0 0 0 -1 2 -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 1.190371147007 1.278299153842 4 3 2 1 0132 0132 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 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.486761946900 0.431995126596 3 4 3 4 0132 2310 1023 3201 0 0 0 0 0 0 0 0 1 0 -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 1 0 -1 0 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.466841531556 0.512539997138 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 15187621205212381572283656728141933970933612/1158353028466985897663\ 58099526907888564449*c_1001_0^18 + 88773513134829884882870091637664754010364271/5791765142334929488317\ 90497634539442822245*c_1001_0^17 + 68282356805196861323263966417569323360837725/1158353028466985897663\ 58099526907888564449*c_1001_0^16 - 542039150651968889272685148704045340414962727/579176514233492948831\ 790497634539442822245*c_1001_0^15 + 123783186487967721072637900670744246615394835/231670605693397179532\ 716199053815777128898*c_1001_0^14 - 254458776955469048713276253808698672083979056/115835302846698589766\ 358099526907888564449*c_1001_0^13 + 5531245342950471174312613062369973213389276709/11583530284669858976\ 63580995269078885644490*c_1001_0^12 - 15566028624617982047707696129853319136165915261/1158353028466985897\ 663580995269078885644490*c_1001_0^11 + 6433721235527503886742070798261416109130822919/11583530284669858976\ 63580995269078885644490*c_1001_0^10 - 12653522550812567556518483225329088293168521864/5791765142334929488\ 31790497634539442822245*c_1001_0^9 - 13517051831078912449082362072436376886644765571/1158353028466985897\ 663580995269078885644490*c_1001_0^8 + 24421758713009116263095931326079634802324053593/1158353028466985897\ 663580995269078885644490*c_1001_0^7 - 100858084206988989516759710597385854957110671741/115835302846698589\ 7663580995269078885644490*c_1001_0^6 + 88750518122682164902901601383667069624909170639/1158353028466985897\ 663580995269078885644490*c_1001_0^5 - 27267097220837195704724835036550937574689169714/5791765142334929488\ 31790497634539442822245*c_1001_0^4 + 23873218834300014272189747881307380608881947187/1158353028466985897\ 663580995269078885644490*c_1001_0^3 + 140268237269500934194058514661294028484475448309/115835302846698589\ 7663580995269078885644490*c_1001_0^2 + 30703318404694758973854289885254460010264794979/5791765142334929488\ 31790497634539442822245*c_1001_0 + 6671350514412285836071482318108526086760310623/11583530284669858976\ 63580995269078885644490, c_0011_0 - 1, c_0011_3 - 37729611121853695513473510818565735250/468968837436026679216\ 024694440922625767*c_1001_0^18 - 2079094091573135293779109501025593\ 2840/468968837436026679216024694440922625767*c_1001_0^17 - 150729038365527680411353694744548080394/468968837436026679216024694\ 440922625767*c_1001_0^16 + 367871008469570367746128147404472860151/\ 468968837436026679216024694440922625767*c_1001_0^15 - 355264538455277696046075347441554292200/468968837436026679216024694\ 440922625767*c_1001_0^14 + 801051960364485799239840990716411392118/\ 468968837436026679216024694440922625767*c_1001_0^13 - 1830732897782752388534549501011277886233/46896883743602667921602469\ 4440922625767*c_1001_0^12 + 488264553308502625266658796946811988961\ 8/468968837436026679216024694440922625767*c_1001_0^11 - 4362041287980835858517661598399422958379/46896883743602667921602469\ 4440922625767*c_1001_0^10 + 828605553856586885811655552471372152760\ 9/468968837436026679216024694440922625767*c_1001_0^9 - 1296640368223612928554365480792277721583/46896883743602667921602469\ 4440922625767*c_1001_0^8 - 6413593639860061613816613804860487827749\ /468968837436026679216024694440922625767*c_1001_0^7 + 28856251852837947439737174687984940971550/4689688374360266792160246\ 94440922625767*c_1001_0^6 - 389285102852481134119903346452333523652\ 36/468968837436026679216024694440922625767*c_1001_0^5 + 33412292267659482268130758285506539175338/4689688374360266792160246\ 94440922625767*c_1001_0^4 - 216970577234454722124126344642013846701\ 00/468968837436026679216024694440922625767*c_1001_0^3 - 24772750584357423568349847670291333003340/4689688374360266792160246\ 94440922625767*c_1001_0^2 + 243505881723487849355962277735699489863\ 7/468968837436026679216024694440922625767*c_1001_0 + 1614611236493218077792765136044646043914/46896883743602667921602469\ 4440922625767, c_0101_0 + 384474889107854649851188530740403871240/46896883743602667921\ 6024694440922625767*c_1001_0^18 + 458627776856106967845577496916574\ 903529/468968837436026679216024694440922625767*c_1001_0^17 + 1737807616898271724281924290669955709847/46896883743602667921602469\ 4440922625767*c_1001_0^16 - 270483765871212885184322408247578333917\ 8/468968837436026679216024694440922625767*c_1001_0^15 + 1495076025076845925211997923282892151663/46896883743602667921602469\ 4440922625767*c_1001_0^14 - 639395849704643121861770017479951421727\ 0/468968837436026679216024694440922625767*c_1001_0^13 + 13842775868962266984118435392828302832182/4689688374360266792160246\ 94440922625767*c_1001_0^12 - 39053499826214444677199963759966701734\ 558/468968837436026679216024694440922625767*c_1001_0^11 + 15298474723633812613224414268865265346024/4689688374360266792160246\ 94440922625767*c_1001_0^10 - 63526674545519020300484754813526646724\ 991/468968837436026679216024694440922625767*c_1001_0^9 - 35773123192407356231868407035668129422963/4689688374360266792160246\ 94440922625767*c_1001_0^8 + 611979013708990577769318954404871432087\ 21/468968837436026679216024694440922625767*c_1001_0^7 - 253662827306087487245313676260198953394867/468968837436026679216024\ 694440922625767*c_1001_0^6 + 21822057009692642581936110485534243969\ 7583/468968837436026679216024694440922625767*c_1001_0^5 - 131562574220821493078411546014302790765302/468968837436026679216024\ 694440922625767*c_1001_0^4 + 56350292035349337485551001699302912616\ 710/468968837436026679216024694440922625767*c_1001_0^3 + 356795939209595070751204051945172406194879/468968837436026679216024\ 694440922625767*c_1001_0^2 + 16400647938637150389093408318810089151\ 7659/468968837436026679216024694440922625767*c_1001_0 + 18875751117519031417173815699806492756279/4689688374360266792160246\ 94440922625767, c_0101_1 + 189062247708091069730716956647591054020/46896883743602667921\ 6024694440922625767*c_1001_0^18 + 219161648391134706834173965758152\ 291312/468968837436026679216024694440922625767*c_1001_0^17 + 849041692084613753458014546639889148473/468968837436026679216024694\ 440922625767*c_1001_0^16 - 1356707298730891624559771026373839105025\ /468968837436026679216024694440922625767*c_1001_0^15 + 789540304164028821234034713580182777694/468968837436026679216024694\ 440922625767*c_1001_0^14 - 3184853651129927299469178809871960263400\ /468968837436026679216024694440922625767*c_1001_0^13 + 6924740417517716989332194581536924040705/46896883743602667921602469\ 4440922625767*c_1001_0^12 - 194758778665780292566630853762280133576\ 75/468968837436026679216024694440922625767*c_1001_0^11 + 8250910106522682947508450789104329286876/46896883743602667921602469\ 4440922625767*c_1001_0^10 - 317216302970779839579438970264807021765\ 38/468968837436026679216024694440922625767*c_1001_0^9 - 16402980303701642995521138073967190069023/4689688374360266792160246\ 94440922625767*c_1001_0^8 + 302825865260987243563862945922629109477\ 98/468968837436026679216024694440922625767*c_1001_0^7 - 125849619582743181248279367946545742176652/468968837436026679216024\ 694440922625767*c_1001_0^6 + 11185101918120043013718616908155568259\ 1835/468968837436026679216024694440922625767*c_1001_0^5 - 69848602485986268182948194060901899459769/4689688374360266792160246\ 94440922625767*c_1001_0^4 + 316579988842535205818069330370998690332\ 63/468968837436026679216024694440922625767*c_1001_0^3 + 173279299411481701623603552610902515704638/468968837436026679216024\ 694440922625767*c_1001_0^2 + 75972269180923075245331120608021193717\ 362/468968837436026679216024694440922625767*c_1001_0 + 8229439904032068580719591347045926788474/46896883743602667921602469\ 4440922625767, c_0101_2 + 23494908107402039278325/48646466485175089573879*c_1001_0^18 + 28301270726573231096545/48646466485175089573879*c_1001_0^17 + 106172312642108609125640/48646466485175089573879*c_1001_0^16 - 164240464582836491594397/48646466485175089573879*c_1001_0^15 + 88004429644042995865053/48646466485175089573879*c_1001_0^14 - 386171408881700201390778/48646466485175089573879*c_1001_0^13 + 838121000460730347417371/48646466485175089573879*c_1001_0^12 - 2368543650972694449135020/48646466485175089573879*c_1001_0^11 + 889347255361021565450879/48646466485175089573879*c_1001_0^10 - 3826044537778916975949555/48646466485175089573879*c_1001_0^9 - 2275109949840926930804501/48646466485175089573879*c_1001_0^8 + 3796749758635429310172554/48646466485175089573879*c_1001_0^7 - 15472129193491066513735670/48646466485175089573879*c_1001_0^6 + 13098856548760464918535848/48646466485175089573879*c_1001_0^5 - 7627192021674079294229337/48646466485175089573879*c_1001_0^4 + 2975803915858711132184807/48646466485175089573879*c_1001_0^3 + 22180311487409969297504414/48646466485175089573879*c_1001_0^2 + 10059128104810207055818152/48646466485175089573879*c_1001_0 + 1061140182029714618016296/48646466485175089573879, c_0101_3 - 131646144040742739310911765196897072130/46896883743602667921\ 6024694440922625767*c_1001_0^18 - 141689308899176396707425767372483\ 566138/468968837436026679216024694440922625767*c_1001_0^17 - 581773273776705686083989451853204059263/468968837436026679216024694\ 440922625767*c_1001_0^16 + 991382066297738562403022800212016770264/\ 468968837436026679216024694440922625767*c_1001_0^15 - 641502415540544657483449693383820029334/468968837436026679216024694\ 440922625767*c_1001_0^14 + 2292254402849842003743989869129010064544\ /468968837436026679216024694440922625767*c_1001_0^13 - 5031406115130706255943702970171146884070/46896883743602667921602469\ 4440922625767*c_1001_0^12 + 140264229848446639271297645319404736201\ 44/468968837436026679216024694440922625767*c_1001_0^11 - 7015020439263902752855294270068340443558/46896883743602667921602469\ 4440922625767*c_1001_0^10 + 229559502507684038697770518153025570262\ 27/468968837436026679216024694440922625767*c_1001_0^9 + 9274648399792829412052588978002661905932/46896883743602667921602469\ 4440922625767*c_1001_0^8 - 2136116272669530513582805755387086816908\ 5/468968837436026679216024694440922625767*c_1001_0^7 + 89398642707975173131251405906942187385644/4689688374360266792160246\ 94440922625767*c_1001_0^6 - 857071026946358788352616162684786957207\ 89/468968837436026679216024694440922625767*c_1001_0^5 + 57394285605868749782622550898951623751852/4689688374360266792160246\ 94440922625767*c_1001_0^4 - 290563605524149222230232121230446026894\ 60/468968837436026679216024694440922625767*c_1001_0^3 - 116379352603609809071627017127743731932324/468968837436026679216024\ 694440922625767*c_1001_0^2 - 44338329814685329104799676762860206608\ 332/468968837436026679216024694440922625767*c_1001_0 - 3684817830500525904110337298161376438228/46896883743602667921602469\ 4440922625767, c_1001_0^19 + 8/5*c_1001_0^18 + 5*c_1001_0^17 - 26/5*c_1001_0^16 + c_1001_0^15 - 15*c_1001_0^14 + 146/5*c_1001_0^13 - 434/5*c_1001_0^12 - 9/5*c_1001_0^11 - 742/5*c_1001_0^10 - 804/5*c_1001_0^9 + 612/5*c_1001_0^8 - 2974/5*c_1001_0^7 + 1491/5*c_1001_0^6 - 537/5*c_1001_0^5 + 13/5*c_1001_0^4 + 4956/5*c_1001_0^3 + 4012/5*c_1001_0^2 + 1092/5*c_1001_0 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB