Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2277907270] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0313 geometric_solution 4.34957121 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 -1 0 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 0 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 2.355848758546 0.153450331195 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 -1 0 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 0 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.973436498645 0.497137989246 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 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 1 0 -1 -1 0 1 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.187147786166 0.180243359872 4 2 5 2 0132 2310 0132 0132 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 0 0 0 0 0 0 1 -1 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.796676766607 1.418443074824 3 6 5 5 0132 0132 0213 2310 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 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.135765897077 0.808557595767 4 4 6 3 3201 0213 3201 0132 0 0 0 0 0 1 0 -1 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 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.135765897077 0.808557595767 5 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.798026854222 1.202856716416 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], '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_3']), 'c_0011_6' : 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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 623511395531078743051005/22898925926038508346949*c_0101_6^23 - 6304482476662871464272924/22898925926038508346949*c_0101_6^21 + 10532444143199845732664381/22898925926038508346949*c_0101_6^19 + 165260868020124195698753844/22898925926038508346949*c_0101_6^17 - 524268780659611307364703858/22898925926038508346949*c_0101_6^15 + 1100490112564631036690362835/22898925926038508346949*c_0101_6^13 - 830165579757419629774950277/22898925926038508346949*c_0101_6^11 - 1352436153489762339094611166/22898925926038508346949*c_0101_6^9 - 1180046549312710205365356424/22898925926038508346949*c_0101_6^7 + 8369661860094843663776089/1761455840464500642073*c_0101_6^5 + 162858549475975878714091366/22898925926038508346949*c_0101_6^3 + 24793909287043185490971566/22898925926038508346949*c_0101_6, c_0011_0 - 1, c_0011_3 + 144691708133541003727/22898925926038508346949*c_0101_6^22 + 1506556465454706690197/22898925926038508346949*c_0101_6^20 - 2034964019977999946288/22898925926038508346949*c_0101_6^18 - 39378183739049913640274/22898925926038508346949*c_0101_6^16 + 110863000831531008905849/22898925926038508346949*c_0101_6^14 - 210933700849753691116949/22898925926038508346949*c_0101_6^12 + 84024643985211043544600/22898925926038508346949*c_0101_6^10 + 446336260762346329161412/22898925926038508346949*c_0101_6^8 + 284275174171363165135353/22898925926038508346949*c_0101_6^6 + 1718246268441252416192/1761455840464500642073*c_0101_6^4 - 58745250111935242099669/22898925926038508346949*c_0101_6^2 + 6181873189232355409752/22898925926038508346949, c_0011_5 + 333639783040813954847/22898925926038508346949*c_0101_6^23 + 3696922603150823675273/22898925926038508346949*c_0101_6^21 - 2477612390233223096278/22898925926038508346949*c_0101_6^19 - 94997190763782647891074/22898925926038508346949*c_0101_6^17 + 196977305348381594174354/22898925926038508346949*c_0101_6^15 - 287739902766668285826409/22898925926038508346949*c_0101_6^13 - 227707242950256604834570/22898925926038508346949*c_0101_6^11 + 1373128631419214444463277/22898925926038508346949*c_0101_6^9 + 1140526659987831124405127/22898925926038508346949*c_0101_6^7 + 26131771495723561441783/1761455840464500642073*c_0101_6^5 - 284733635995110024650140/22898925926038508346949*c_0101_6^3 - 46358796163932955127953/22898925926038508346949*c_0101_6, c_0101_0 + 3493088838984083813658/22898925926038508346949*c_0101_6^23 + 35191748814663058240113/22898925926038508346949*c_0101_6^21 - 60323824911872523644196/22898925926038508346949*c_0101_6^19 - 923947956313161278959361/22898925926038508346949*c_0101_6^17 + 2971385681008431442940818/22898925926038508346949*c_0101_6^15 - 6265701108604750948201865/22898925926038508346949*c_0101_6^13 + 4854898246252057193727416/22898925926038508346949*c_0101_6^11 + 7451485357030493796404431/22898925926038508346949*c_0101_6^9 + 6303206901637418060482435/22898925926038508346949*c_0101_6^7 - 70630248812634956226067/1761455840464500642073*c_0101_6^5 - 935765736781839337838142/22898925926038508346949*c_0101_6^3 - 117650244748668692605035/22898925926038508346949*c_0101_6, c_0101_1 - 852284420831640935725/22898925926038508346949*c_0101_6^22 - 8522081229690490566179/22898925926038508346949*c_0101_6^20 + 15373379049853842075053/22898925926038508346949*c_0101_6^18 + 224383420649204981542643/22898925926038508346949*c_0101_6^16 - 742133165949397838763755/22898925926038508346949*c_0101_6^14 + 1581973151503805825905029/22898925926038508346949*c_0101_6^12 - 1294961763698073758076266/22898925926038508346949*c_0101_6^10 - 1738128494309182830677438/22898925926038508346949*c_0101_6^8 - 1395763591552432900896326/22898925926038508346949*c_0101_6^6 + 27042398336740934656362/1761455840464500642073*c_0101_6^4 + 230626645166711094882987/22898925926038508346949*c_0101_6^2 + 5619651927075115124348/22898925926038508346949, c_0101_3 - 465878262946749921323/22898925926038508346949*c_0101_6^22 - 4592383048038946823925/22898925926038508346949*c_0101_6^20 + 9017310014118215073744/22898925926038508346949*c_0101_6^18 + 121015201739992981362527/22898925926038508346949*c_0101_6^16 - 422111700780039680309850/22898925926038508346949*c_0101_6^14 + 933943071796509694452360/22898925926038508346949*c_0101_6^12 - 873091898014114974854991/22898925926038508346949*c_0101_6^10 - 751696034747316413855933/22898925926038508346949*c_0101_6^8 - 729439844521930290352361/22898925926038508346949*c_0101_6^6 + 18931427098615107071918/1761455840464500642073*c_0101_6^4 + 36705460498672531554337/22898925926038508346949*c_0101_6^2 + 5232936008180495238054/22898925926038508346949, c_0101_6^24 + 10*c_0101_6^22 - 18*c_0101_6^20 - 263*c_0101_6^18 + 870*c_0101_6^16 - 1863*c_0101_6^14 + 1543*c_0101_6^12 + 1988*c_0101_6^10 + 1680*c_0101_6^8 - 353*c_0101_6^6 - 216*c_0101_6^4 - 19*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB