Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 425231871] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0771 geometric_solution 4.71441122 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2031 0132 0 0 0 0 0 0 0 0 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 0 1 -1 -1 0 -1 2 -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.439817491418 1.482624321244 0 3 2 0 0132 3120 3120 1302 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 0 0 -1 1 1 0 0 -1 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.816100158484 0.619926180802 4 0 1 4 0132 0132 3120 3201 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 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.615501700450 0.219769157534 5 1 0 5 0132 3120 0132 1023 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 1 1 -2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.070836410099 0.249690717504 2 2 4 4 0132 2310 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 0 0 0 0 0 0 0 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.053963442328 0.987920390957 3 6 6 3 0132 0132 3201 1023 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 -2 0 0 2 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.633436774311 0.924965148153 5 5 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.752881549429 0.174330238251 ==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' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_1001_1'])})} 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_4, c_0101_5, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 16918405643155579312/92259891978232505207*c_1001_1^15 + 162174974266233113978/92259891978232505207*c_1001_1^14 - 843456183103708244452/92259891978232505207*c_1001_1^13 + 3149816899193866426988/92259891978232505207*c_1001_1^12 - 9008810876064199783651/92259891978232505207*c_1001_1^11 + 19995096766358403697044/92259891978232505207*c_1001_1^10 - 33671420461035229210777/92259891978232505207*c_1001_1^9 + 39711048342066100995586/92259891978232505207*c_1001_1^8 - 21345814280367384699372/92259891978232505207*c_1001_1^7 - 29639438683259881286945/92259891978232505207*c_1001_1^6 + 73156002296508346339096/92259891978232505207*c_1001_1^5 - 41711461794329647837549/92259891978232505207*c_1001_1^4 - 24911530628333175263525/92259891978232505207*c_1001_1^3 + 26804013764583475292212/92259891978232505207*c_1001_1^2 + 3092805506155864537057/92259891978232505207*c_1001_1 - 4378029479943025547736/92259891978232505207, c_0011_0 - 1, c_0011_3 + 918071884394814623/3181375585456293283*c_1001_1^15 - 9304030706853220466/3181375585456293283*c_1001_1^14 + 50573283571364904506/3181375585456293283*c_1001_1^13 - 196568710542218432029/3181375585456293283*c_1001_1^12 + 587345479883356552578/3181375585456293283*c_1001_1^11 - 1376192026422226300207/3181375585456293283*c_1001_1^10 + 2503625721561514195959/3181375585456293283*c_1001_1^9 - 3374111866440914468061/3181375585456293283*c_1001_1^8 + 2785626935149600230191/3181375585456293283*c_1001_1^7 + 302100106822741306821/3181375585456293283*c_1001_1^6 - 4186724247204760622053/3181375585456293283*c_1001_1^5 + 4341666045859316168750/3181375585456293283*c_1001_1^4 - 859635700101143551976/3181375585456293283*c_1001_1^3 - 964671371361426000771/3181375585456293283*c_1001_1^2 + 407436776590066562599/3181375585456293283*c_1001_1 - 10708995800401820451/3181375585456293283, c_0101_0 - 1375472742410320013/3181375585456293283*c_1001_1^15 + 14212128282118705520/3181375585456293283*c_1001_1^14 - 78268823949391754976/3181375585456293283*c_1001_1^13 + 307182751823314784639/3181375585456293283*c_1001_1^12 - 926740189741199596852/3181375585456293283*c_1001_1^11 + 2194188843913666605618/3181375585456293283*c_1001_1^10 - 4042860758905228366130/3181375585456293283*c_1001_1^9 + 5546669870804790992207/3181375585456293283*c_1001_1^8 - 4763796576994568349069/3181375585456293283*c_1001_1^7 - 95736721022644428813/3181375585456293283*c_1001_1^6 + 6597817540053501850484/3181375585456293283*c_1001_1^5 - 7388204085466885539219/3181375585456293283*c_1001_1^4 + 1821287326900271060107/3181375585456293283*c_1001_1^3 + 1542031596285669641319/3181375585456293283*c_1001_1^2 - 751791959122952468707/3181375585456293283*c_1001_1 + 29179713729497459926/3181375585456293283, c_0101_4 - 60867914427121505/3181375585456293283*c_1001_1^15 + 598316626900864531/3181375585456293283*c_1001_1^14 - 3206050033359117557/3181375585456293283*c_1001_1^13 + 12339766986837221616/3181375585456293283*c_1001_1^12 - 36532730108671571731/3181375585456293283*c_1001_1^11 + 84847330941560857409/3181375585456293283*c_1001_1^10 - 152843519622707742867/3181375585456293283*c_1001_1^9 + 203582807819708775487/3181375585456293283*c_1001_1^8 - 163933042008270777014/3181375585456293283*c_1001_1^7 - 25770510592145572402/3181375585456293283*c_1001_1^6 + 253653066964853659698/3181375585456293283*c_1001_1^5 - 253943795579713733657/3181375585456293283*c_1001_1^4 + 48748317221209018902/3181375585456293283*c_1001_1^3 + 55754130123905695320/3181375585456293283*c_1001_1^2 - 21566033716130403279/3181375585456293283*c_1001_1 + 5961292638387326648/3181375585456293283, c_0101_5 + 83675742425182982/3181375585456293283*c_1001_1^15 - 821881092464742582/3181375585456293283*c_1001_1^14 + 4400601117899881843/3181375585456293283*c_1001_1^13 - 16929678915386184767/3181375585456293283*c_1001_1^12 + 50104352090848498465/3181375585456293283*c_1001_1^11 - 116323008008322969335/3181375585456293283*c_1001_1^10 + 209474549355085980658/3181375585456293283*c_1001_1^9 - 278931838281150635049/3181375585456293283*c_1001_1^8 + 224467648265395409403/3181375585456293283*c_1001_1^7 + 35537318036040041029/3181375585456293283*c_1001_1^6 - 347527861906560135682/3181375585456293283*c_1001_1^5 + 347379187885262783189/3181375585456293283*c_1001_1^4 - 68450276917768300060/3181375585456293283*c_1001_1^3 - 76806415779881227717/3181375585456293283*c_1001_1^2 + 37495288897045088063/3181375585456293283*c_1001_1 + 100945528785094867/3181375585456293283, c_0101_6 - 208275533893310222/3181375585456293283*c_1001_1^15 + 2051650260447883940/3181375585456293283*c_1001_1^14 - 11019866123780645192/3181375585456293283*c_1001_1^13 + 42488496043799240836/3181375585456293283*c_1001_1^12 - 125995379993198965254/3181375585456293283*c_1001_1^11 + 293172077958837368616/3181375585456293283*c_1001_1^10 - 529184487023262532754/3181375585456293283*c_1001_1^9 + 706794553217774626685/3181375585456293283*c_1001_1^8 - 572016658406206216741/3181375585456293283*c_1001_1^7 - 83699584095425440830/3181375585456293283*c_1001_1^6 + 879626789786486179431/3181375585456293283*c_1001_1^5 - 891817684357031402939/3181375585456293283*c_1001_1^4 + 166484749062223111181/3181375585456293283*c_1001_1^3 + 204523825412980655739/3181375585456293283*c_1001_1^2 - 78320517404431786288/3181375585456293283*c_1001_1 + 120048097444163548/3181375585456293283, c_1001_1^16 - 12*c_1001_1^15 + 74*c_1001_1^14 - 317*c_1001_1^13 + 1040*c_1001_1^12 - 2696*c_1001_1^11 + 5535*c_1001_1^10 - 8792*c_1001_1^9 + 9949*c_1001_1^8 - 5419*c_1001_1^7 - 5086*c_1001_1^6 + 13212*c_1001_1^5 - 9852*c_1001_1^4 + 828*c_1001_1^3 + 2369*c_1001_1^2 - 864*c_1001_1 + 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB