Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 3499183157] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0779 geometric_solution 4.72098052 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334455844079 0.434712434519 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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.211396018371 0.596426153876 4 3 3 0 0132 3012 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 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.650713471510 0.746464063340 2 4 0 2 1230 0132 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 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.650713471510 0.746464063340 2 3 5 5 0132 0132 0132 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 1 0 -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.943384334704 1.130350176550 6 4 6 4 0132 2310 2310 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 1 0 0 -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.415555890534 1.185647963196 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.421631076532 0.085949310576 ==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' : 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_0101_0'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], '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' : 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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), '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_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1576973759505294827393607892154666/28551432911485545875541103206551\ *c_0101_5^20 + 491413088459582700207277319858885/407877613021222083\ 9363014743793*c_0101_5^19 + 23019512884006660106644542106501646/285\ 51432911485545875541103206551*c_0101_5^18 - 57776017752656837091608905899664073/2855143291148554587554110320655\ 1*c_0101_5^17 - 3531665835719730041066957158517686/2855143291148554\ 5875541103206551*c_0101_5^16 + 111792604381310313022696896742901162\ /4078776130212220839363014743793*c_0101_5^15 + 581587746111774374142264663389537347/285514329114855458755411032065\ 51*c_0101_5^14 - 1575952186621723525793705031695733425/285514329114\ 85545875541103206551*c_0101_5^13 - 2048688982113747740046914050549006608/28551432911485545875541103206\ 551*c_0101_5^12 + 426195398801833287351895757456942838/285514329114\ 85545875541103206551*c_0101_5^11 + 3494991351281015001309165586065215879/28551432911485545875541103206\ 551*c_0101_5^10 + 601731257527133870428950578153238247/285514329114\ 85545875541103206551*c_0101_5^9 - 481273130480891183327256115843840\ 8331/28551432911485545875541103206551*c_0101_5^8 + 364791170918762281764293925358721891/285514329114855458755411032065\ 51*c_0101_5^7 + 3790989674285184058140462668473706125/2855143291148\ 5545875541103206551*c_0101_5^6 - 9390665073461940197769655842082501\ 47/28551432911485545875541103206551*c_0101_5^5 - 168131343189358454514503750668320433/407877613021222083936301474379\ 3*c_0101_5^4 + 333376130481498940135237661964848802/285514329114855\ 45875541103206551*c_0101_5^3 + 98371193253923171869538595334171366/\ 28551432911485545875541103206551*c_0101_5^2 - 4938679504371844989723505134422538/28551432911485545875541103206551\ *c_0101_5 - 9243449238150925825317202924947361/28551432911485545875\ 541103206551, c_0011_0 - 1, c_0011_2 - 1788441617144824604912812614600/4078776130212220839363014743\ 793*c_0101_5^20 + 3152980974438412991495905158061/40787761302122208\ 39363014743793*c_0101_5^19 + 27442809635835459403120942667876/40787\ 76130212220839363014743793*c_0101_5^18 - 54148031736216763833931320872606/4078776130212220839363014743793*c_\ 0101_5^17 - 26706014316037069520908927396109/4078776130212220839363\ 014743793*c_0101_5^16 + 877720561138557283690307472497694/407877613\ 0212220839363014743793*c_0101_5^15 + 1023723398288412565064693755109048/4078776130212220839363014743793*\ c_0101_5^14 - 1364697612611289546324559295336562/407877613021222083\ 9363014743793*c_0101_5^13 - 2870933684586107270830491183690184/4078\ 776130212220839363014743793*c_0101_5^12 - 701712327577011611705844697434445/4078776130212220839363014743793*c\ _0101_5^11 + 3638767582297574796360864809661867/4078776130212220839\ 363014743793*c_0101_5^10 + 2172414457237217075053812181791767/40787\ 76130212220839363014743793*c_0101_5^9 - 4554960667319110003341228653075125/4078776130212220839363014743793*\ c_0101_5^8 - 1406253210825163816017527777950712/4078776130212220839\ 363014743793*c_0101_5^7 + 3690813257086304768290120797903068/407877\ 6130212220839363014743793*c_0101_5^6 + 362164190872124545033861438653521/4078776130212220839363014743793*c\ _0101_5^5 - 1097933580712415578629561604703429/40787761302122208393\ 63014743793*c_0101_5^4 - 52538007709970801816701280931066/407877613\ 0212220839363014743793*c_0101_5^3 + 45421054184234882456711533392785/4078776130212220839363014743793*c_\ 0101_5^2 + 23680928720080556599898222478607/40787761302122208393630\ 14743793*c_0101_5 + 2430830482841686773711722492710/407877613021222\ 0839363014743793, c_0011_5 + 34088077164091866194237612336/407877613021222083936301474379\ 3*c_0101_5^20 - 416788714200364667413538324023/40787761302122208393\ 63014743793*c_0101_5^19 + 138808293141272838739738963607/4078776130\ 212220839363014743793*c_0101_5^18 + 6489075042669167711627689018833/4078776130212220839363014743793*c_0\ 101_5^17 - 10843390383468070608741420397012/40787761302122208393630\ 14743793*c_0101_5^16 - 21765211720073733531296901345482/40787761302\ 12220839363014743793*c_0101_5^15 + 156979967150409594916092143901472/4078776130212220839363014743793*c\ _0101_5^14 + 215474950458399609687665443664574/40787761302122208393\ 63014743793*c_0101_5^13 - 257824208434966941489583897993150/4078776\ 130212220839363014743793*c_0101_5^12 - 568857211644386385353667794716429/4078776130212220839363014743793*c\ _0101_5^11 - 135717944639759540316559956931508/40787761302122208393\ 63014743793*c_0101_5^10 + 765837433562516937075872306426818/4078776\ 130212220839363014743793*c_0101_5^9 + 497601344494725199260592974239804/4078776130212220839363014743793*c\ _0101_5^8 - 982218647539039872663106390695356/407877613021222083936\ 3014743793*c_0101_5^7 - 332466414400503202680840820861674/407877613\ 0212220839363014743793*c_0101_5^6 + 852564938109156396969411230867371/4078776130212220839363014743793*c\ _0101_5^5 + 58350489570785951746576462051407/4078776130212220839363\ 014743793*c_0101_5^4 - 290202323839439253049112004022230/4078776130\ 212220839363014743793*c_0101_5^3 - 767807731175510279252954708665/4078776130212220839363014743793*c_01\ 01_5^2 + 19297637635417087587329437829669/4078776130212220839363014\ 743793*c_0101_5 + 3677337012734596890368153105438/40787761302122208\ 39363014743793, c_0101_0 + 1358318089241697044836777699060/4078776130212220839363014743\ 793*c_0101_5^20 - 2525825628580003650912017016430/40787761302122208\ 39363014743793*c_0101_5^19 - 20558937224666891389119056923120/40787\ 76130212220839363014743793*c_0101_5^18 + 43058027602636522572623454330593/4078776130212220839363014743793*c_\ 0101_5^17 + 15523529479063181803440518813481/4078776130212220839363\ 014743793*c_0101_5^16 - 667295785414666187205782343999251/407877613\ 0212220839363014743793*c_0101_5^15 - 712505815816234100372681387077341/4078776130212220839363014743793*c\ _0101_5^14 + 1087447234799073030839129006419519/4078776130212220839\ 363014743793*c_0101_5^13 + 2043010400498158610513652060813437/40787\ 76130212220839363014743793*c_0101_5^12 + 336652257137952081194926549681915/4078776130212220839363014743793*c\ _0101_5^11 - 2733120450594949098644815456834571/4078776130212220839\ 363014743793*c_0101_5^10 - 1315440877779525108247629965865730/40787\ 76130212220839363014743793*c_0101_5^9 + 3563715886154710063924495171653200/4078776130212220839363014743793*\ c_0101_5^8 + 654277778829608854164781171759438/40787761302122208393\ 63014743793*c_0101_5^7 - 2850128617546770571279045673172986/4078776\ 130212220839363014743793*c_0101_5^6 + 55275424973545155552699553514412/4078776130212220839363014743793*c_\ 0101_5^5 + 823109713916879610079310839941824/4078776130212220839363\ 014743793*c_0101_5^4 - 80610799354990057930895770759634/40787761302\ 12220839363014743793*c_0101_5^3 - 44540059436719020230473491664222/\ 4078776130212220839363014743793*c_0101_5^2 - 4538228190602203365998129670696/4078776130212220839363014743793*c_0\ 101_5 + 1406099003576977150548405733836/407877613021222083936301474\ 3793, c_0101_1 + 2741952186255591805492429973545/4078776130212220839363014743\ 793*c_0101_5^20 - 5157830453237687048645225959442/40787761302122208\ 39363014743793*c_0101_5^19 - 41427170653792027342733645988397/40787\ 76130212220839363014743793*c_0101_5^18 + 87755172641504095499635598903023/4078776130212220839363014743793*c_\ 0101_5^17 + 30244293100415728653231333133932/4078776130212220839363\ 014743793*c_0101_5^16 - 1346977581289108290167781517749772/40787761\ 30212220839363014743793*c_0101_5^15 - 1413730023898186070307827120600241/4078776130212220839363014743793*\ c_0101_5^14 + 2243080288607271578798045787930194/407877613021222083\ 9363014743793*c_0101_5^13 + 4157161560342811065621166697846264/4078\ 776130212220839363014743793*c_0101_5^12 + 621711275045475795845767426358673/4078776130212220839363014743793*c\ _0101_5^11 - 5673808990184289095015024717541594/4078776130212220839\ 363014743793*c_0101_5^10 - 2697736464578049656558898113288682/40787\ 76130212220839363014743793*c_0101_5^9 + 7269094249111531860116149040522325/4078776130212220839363014743793*\ c_0101_5^8 + 1399876253567434288082135943144377/4078776130212220839\ 363014743793*c_0101_5^7 - 5795315400061000641338791768739115/407877\ 6130212220839363014743793*c_0101_5^6 - 51309436233392870663865975330416/4078776130212220839363014743793*c_\ 0101_5^5 + 1768692830662290456275521561015393/407877613021222083936\ 3014743793*c_0101_5^4 - 65474623973592187138155912732954/4078776130\ 212220839363014743793*c_0101_5^3 - 120684849325688467634734789662720/4078776130212220839363014743793*c\ _0101_5^2 - 16599424312914901672363401454243/4078776130212220839363\ 014743793*c_0101_5 + 1960695216942312529056237310095/40787761302122\ 20839363014743793, c_0101_2 - 260309022631036760694940272572/40787761302122208393630147437\ 93*c_0101_5^20 + 280177831774061393272823894881/4078776130212220839\ 363014743793*c_0101_5^19 + 4130222841688281817282938731413/40787761\ 30212220839363014743793*c_0101_5^18 - 4792650714248885729470574589870/4078776130212220839363014743793*c_0\ 101_5^17 - 6722073134408071490453197059454/407877613021222083936301\ 4743793*c_0101_5^16 + 119518591337566868147664439981012/40787761302\ 12220839363014743793*c_0101_5^15 + 236442130316790158527293903715166/4078776130212220839363014743793*c\ _0101_5^14 - 12715185346513878202365274376597/407877613021222083936\ 3014743793*c_0101_5^13 - 462956276396010579304825653780766/40787761\ 30212220839363014743793*c_0101_5^12 - 489779910442569437477668732466682/4078776130212220839363014743793*c\ _0101_5^11 + 217588300353321160353804244347747/40787761302122208393\ 63014743793*c_0101_5^10 + 577070641888159562873466210796272/4078776\ 130212220839363014743793*c_0101_5^9 - 173007993839584588143982398766196/4078776130212220839363014743793*c\ _0101_5^8 - 500114641297264660027556688269170/407877613021222083936\ 3014743793*c_0101_5^7 + 81263582509892668473532009602320/4078776130\ 212220839363014743793*c_0101_5^6 + 335882971749091690289438283490369/4078776130212220839363014743793*c\ _0101_5^5 + 80456321198085345316381465216855/4078776130212220839363\ 014743793*c_0101_5^4 - 75763901071007330183989814916813/40787761302\ 12220839363014743793*c_0101_5^3 - 31628888366912213327896782808648/\ 4078776130212220839363014743793*c_0101_5^2 + 3309454285362560341958542403442/4078776130212220839363014743793*c_0\ 101_5 - 222160585332016799294820017233/4078776130212220839363014743\ 793, c_0101_5^21 - 2*c_0101_5^20 - 15*c_0101_5^19 + 34*c_0101_5^18 + 9*c_0101_5^17 - 496*c_0101_5^16 - 459*c_0101_5^15 + 936*c_0101_5^14 + 1486*c_0101_5^13 - 39*c_0101_5^12 - 2280*c_0101_5^11 - 791*c_0101_5^10 + 2997*c_0101_5^9 + 338*c_0101_5^8 - 2461*c_0101_5^7 + 146*c_0101_5^6 + 869*c_0101_5^5 - 69*c_0101_5^4 - 105*c_0101_5^3 - 9*c_0101_5^2 + 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB