Magma V2.19-8 Tue Aug 20 2013 16:19:20 on localhost [Seed = 2581071000] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3438 geometric_solution 6.61037744 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 1 0 -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.460015181447 0.855339886417 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558137589759 0.720476207523 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.558137589759 0.720476207523 6 1 6 2 0132 0132 2310 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 -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.379697089125 1.334395537915 2 6 1 6 2310 3201 0132 1023 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 1 -1 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.231114250399 0.808120936222 2 5 5 1 3201 1230 3012 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.843420545275 0.748276711009 3 3 4 4 0132 3201 2310 1023 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 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.450878386491 0.459898416799 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), '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' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_2'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 2046137871543478606500970930677176322391992/17648104153555030885888\ 779168815059314577*c_0101_5^25 + 1314398258511680383165408974709535\ 7618997773/35296208307110061771777558337630118629154*c_0101_5^23 + 128030327246398622880065677704804055842329829/176481041535550308858\ 88779168815059314577*c_0101_5^21 - 530902279050867443580214713385952530209948265/176481041535550308858\ 88779168815059314577*c_0101_5^19 + 3133412228016757834758440293542874086914486451/35296208307110061771\ 777558337630118629154*c_0101_5^17 - 29110964512889217100020855613452798872588100055/1411848332284402470\ 87110233350520474516616*c_0101_5^15 + 4881335395098285421740498728626196678896453005/17648104153555030885\ 888779168815059314577*c_0101_5^13 - 35424919439844543096408217488605144181319909647/1411848332284402470\ 87110233350520474516616*c_0101_5^11 + 14333960668809084195229937541570546832911148781/7059241661422012354\ 3555116675260237258308*c_0101_5^9 - 4437111605745145614378697407187086250889932309/35296208307110061771\ 777558337630118629154*c_0101_5^7 + 6288369143465172331952603019194927762118104407/14118483322844024708\ 7110233350520474516616*c_0101_5^5 - 1202348122933979424873320964042020887579317851/14118483322844024708\ 7110233350520474516616*c_0101_5^3 + 125166104527747374427894914283273049689272007/141184833228440247087\ 110233350520474516616*c_0101_5, c_0011_0 - 1, c_0011_4 - 11628326727379841252644375970438909375388/145852100442603561\ 040403133626570738137*c_0101_5^24 - 52763654820875769861863209889355750463272/1458521004426035610404031\ 33626570738137*c_0101_5^22 - 80036770440904036224985835306765951709\ 3076/145852100442603561040403133626570738137*c_0101_5^20 + 1942894407529635976175660643582979599391356/14585210044260356104040\ 3133626570738137*c_0101_5^18 - 652453330375570933698813880242733003\ 2995051/145852100442603561040403133626570738137*c_0101_5^16 + 12468059844287565422226724718896374534879860/1458521004426035610404\ 03133626570738137*c_0101_5^14 - 12720454097961696210178988584656730\ 101635294/145852100442603561040403133626570738137*c_0101_5^12 + 11066553059003602821033030461804423610210922/1458521004426035610404\ 03133626570738137*c_0101_5^10 - 83068802462193630109661185247442932\ 01858283/145852100442603561040403133626570738137*c_0101_5^8 + 3834076060294223818254546431700291397804073/14585210044260356104040\ 3133626570738137*c_0101_5^6 - 1014903298931395014127946053040148666\ 104935/145852100442603561040403133626570738137*c_0101_5^4 + 159958122890109059897218327830181662964054/145852100442603561040403\ 133626570738137*c_0101_5^2 - 11401138928766161484841333991216192370\ 371/145852100442603561040403133626570738137, c_0101_0 + 354154527100608174003003929714135367854640/16043731048686391\ 71444434469892278119507*c_0101_5^25 + 1608028450331579570723216903297588715037236/16043731048686391714444\ 34469892278119507*c_0101_5^23 + 24381558314328073518233550728245193\ 793688436/1604373104868639171444434469892278119507*c_0101_5^21 - 59097557798661179952806584399448525828041556/1604373104868639171444\ 434469892278119507*c_0101_5^19 + 1985844526945894393364884711501820\ 26994043576/1604373104868639171444434469892278119507*c_0101_5^17 - 379214870347179476914115666854945660245648059/160437310486863917144\ 4434469892278119507*c_0101_5^15 + 386598526721111801347530547586761\ 297530222639/1604373104868639171444434469892278119507*c_0101_5^13 - 336359417626204391434874976499134057992385084/160437310486863917144\ 4434469892278119507*c_0101_5^11 + 252339942923736382934719980128562\ 164369083165/1604373104868639171444434469892278119507*c_0101_5^9 - 116341052717421697756154150805097005718173487/160437310486863917144\ 4434469892278119507*c_0101_5^7 + 3075385350747775635751308742375426\ 5920297429/1604373104868639171444434469892278119507*c_0101_5^5 - 4820330872312158371762120351413132746034898/16043731048686391714444\ 34469892278119507*c_0101_5^3 + 340708391303161473673579598628934713\ 292923/1604373104868639171444434469892278119507*c_0101_5, c_0101_1 + 32956651643282038229603919407957562187176/145852100442603561\ 040403133626570738137*c_0101_5^24 + 149585902397138070198843228135897851683440/145852100442603561040403\ 133626570738137*c_0101_5^22 + 2268619494512969251674671958774504636\ 290956/145852100442603561040403133626570738137*c_0101_5^20 - 5503207720558720024230859547909076459370320/14585210044260356104040\ 3133626570738137*c_0101_5^18 + 184869679592067164223177344448610560\ 22910586/145852100442603561040403133626570738137*c_0101_5^16 - 35315744666189757197327236340871641503519124/1458521004426035610404\ 03133626570738137*c_0101_5^14 + 36022187005203637199269594937552623\ 978552761/145852100442603561040403133626570738137*c_0101_5^12 - 31342528980192399619948699108597298395768844/1458521004426035610404\ 03133626570738137*c_0101_5^10 + 23521179062738800758401347781259414\ 559682387/145852100442603561040403133626570738137*c_0101_5^8 - 10854130486648166192148836074571774037866348/1458521004426035610404\ 03133626570738137*c_0101_5^6 + 287302865339966559685623632135931850\ 3730247/145852100442603561040403133626570738137*c_0101_5^4 - 452337341019022838251271764406938120240437/145852100442603561040403\ 133626570738137*c_0101_5^2 + 32355658620395899306834552518690284912\ 403/145852100442603561040403133626570738137, c_0101_2 - 35273300642276269911266222782921928358756/145852100442603561\ 040403133626570738137*c_0101_5^24 - 160064049834735316951689602677792764968148/145852100442603561040403\ 133626570738137*c_0101_5^22 - 2427877417004086653479016990853475099\ 480544/145852100442603561040403133626570738137*c_0101_5^20 + 5892809974533091036533144774109674494527508/14585210044260356104040\ 3133626570738137*c_0101_5^18 - 197894327908086722906876306670333626\ 23354745/145852100442603561040403133626570738137*c_0101_5^16 + 37812976414067360335597222274245110827343541/1458521004426035610404\ 03133626570738137*c_0101_5^14 - 38571704502441442032401012210642518\ 905877733/145852100442603561040403133626570738137*c_0101_5^12 + 33549151361944753599708722719166538882122479/1458521004426035610404\ 03133626570738137*c_0101_5^10 - 25179998110093537025468407745245461\ 244689552/145852100442603561040403133626570738137*c_0101_5^8 + 11616971833233451354839742636732524739656365/1458521004426035610404\ 03133626570738137*c_0101_5^6 - 306960180639113863838422663311101255\ 3241712/145852100442603561040403133626570738137*c_0101_5^4 + 482491645746269098361884011753934018477296/145852100442603561040403\ 133626570738137*c_0101_5^2 - 34363647036991865565829363321280165938\ 357/145852100442603561040403133626570738137, c_0101_3 + 261113169356548056568097792349754038217704/16043731048686391\ 71444434469892278119507*c_0101_5^25 + 1187255698178070020601153830741632357773948/16043731048686391714444\ 34469892278119507*c_0101_5^23 + 17984395224344567436513185187486899\ 969179772/1604373104868639171444434469892278119507*c_0101_5^21 - 43453334119805887696505089771581792874935016/1604373104868639171444\ 434469892278119507*c_0101_5^19 + 1461750816581506839171484001557472\ 75449273046/1604373104868639171444434469892278119507*c_0101_5^17 - 278732723988454660058129635207961864610945973/160437310486863917144\ 4434469892278119507*c_0101_5^15 + 283539246322952413619934847052391\ 246273397943/1604373104868639171444434469892278119507*c_0101_5^13 - 246689920488121148920746820831909695726492321/160437310486863917144\ 4434469892278119507*c_0101_5^11 + 184919789014040137724109098259755\ 170267830995/1604373104868639171444434469892278119507*c_0101_5^9 - 84984788103507651919874937175982616146516756/1604373104868639171444\ 434469892278119507*c_0101_5^7 + 22408117879176386079908146083409513\ 039549639/1604373104868639171444434469892278119507*c_0101_5^5 - 3505868471813804484764231354136174542687668/16043731048686391714444\ 34469892278119507*c_0101_5^3 + 245189784160773777793295050024332009\ 867958/1604373104868639171444434469892278119507*c_0101_5, c_0101_5^26 + 34/9*c_0101_5^24 + 5296/81*c_0101_5^22 - 5923/27*c_0101_5^20 + 222941/324*c_0101_5^18 - 121388/81*c_0101_5^16 + 618503/324*c_0101_5^14 - 288935/162*c_0101_5^12 + 25885/18*c_0101_5^10 - 94283/108*c_0101_5^8 + 109561/324*c_0101_5^6 - 25975/324*c_0101_5^4 + 1853/162*c_0101_5^2 - 121/162 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB