Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 1208604019] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2352 geometric_solution 5.72841717 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.623344302614 0.437886491432 0 2 3 0 3201 0132 0132 0132 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 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.851623263588 0.578829525131 4 1 3 5 0132 0132 1302 0132 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 -1 0 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.489008881311 0.630292777386 2 5 4 1 2031 2310 1023 0132 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 0 0 0 0 0 -1 1 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.489008881311 0.630292777386 2 6 3 6 0132 0132 1023 1023 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 -1 0 1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735515274124 1.351570956747 5 5 2 3 1302 2031 0132 3201 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 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.470508413666 0.465836874960 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.554710387722 0.254078482080 ==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_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 1683886417638363265381/59901893704782113043*c_0101_6*c_0110_5^16 - 4242009204985202563864/19967297901594037681*c_0101_6*c_0110_5^15 - 10438100510327688942185/59901893704782113043*c_0101_6*c_0110_5^14 + 45817038670477448435628/19967297901594037681*c_0101_6*c_0110_5^13 + 47380686405054150635945/19967297901594037681*c_0101_6*c_0110_5^12 - 225162023069771152777334/19967297901594037681*c_0101_6*c_0110_5^11 - 169338974259797527407511/59901893704782113043*c_0101_6*c_0110_5^10 + 490118219207064200167225/19967297901594037681*c_0101_6*c_0110_5^9 - 166056534787149051250835/59901893704782113043*c_0101_6*c_0110_5^8 - 1881502629114613507387685/59901893704782113043*c_0101_6*c_0110_5^7 + 254467952569940498248511/59901893704782113043*c_0101_6*c_0110_5^6 + 1273189220090046227838287/59901893704782113043*c_0101_6*c_0110_5^5 + 3588979398729397625009/59901893704782113043*c_0101_6*c_0110_5^4 - 374360332306779451950733/59901893704782113043*c_0101_6*c_0110_5^3 - 11365698870465953540998/19967297901594037681*c_0101_6*c_0110_5^2 + 15088442495831769605844/19967297901594037681*c_0101_6*c_0110_5 - 4552774650704649149156/59901893704782113043*c_0101_6, c_0011_0 - 1, c_0011_1 - 2892076279181732528/19967297901594037681*c_0110_5^16 - 21550058443089960544/19967297901594037681*c_0110_5^15 - 15013553040755154227/19967297901594037681*c_0110_5^14 + 242659660402352678827/19967297901594037681*c_0110_5^13 + 224548186149326087156/19967297901594037681*c_0110_5^12 - 1230836069442671357185/19967297901594037681*c_0110_5^11 - 231069293158576234463/19967297901594037681*c_0110_5^10 + 2753041067515751423668/19967297901594037681*c_0110_5^9 - 445955956088998449842/19967297901594037681*c_0110_5^8 - 3587932055279070118971/19967297901594037681*c_0110_5^7 + 700027201998427901790/19967297901594037681*c_0110_5^6 + 2615354050750605432243/19967297901594037681*c_0110_5^5 - 86463015047293803012/19967297901594037681*c_0110_5^4 - 878114463270141588355/19967297901594037681*c_0110_5^3 - 125236404599087396357/19967297901594037681*c_0110_5^2 + 107258644912203569885/19967297901594037681*c_0110_5 + 11972924577743847198/19967297901594037681, c_0011_3 - 3068132245475233796/19967297901594037681*c_0101_6*c_0110_5^1\ 6 - 26967377827544270097/19967297901594037681*c_0101_6*c_0110_5^15 - 48487769449402196340/19967297901594037681*c_0101_6*c_0110_5^14 + 219857808505519434890/19967297901594037681*c_0101_6*c_0110_5^13 + 559400656038246204091/19967297901594037681*c_0101_6*c_0110_5^12 - 840296494207221560101/19967297901594037681*c_0101_6*c_0110_5^11 - 1722042339123212302713/19967297901594037681*c_0101_6*c_0110_5^10 + 1967101531166047504744/19967297901594037681*c_0101_6*c_0110_5^9 + 2785018505961399567153/19967297901594037681*c_0101_6*c_0110_5^8 - 3057431985294878123336/19967297901594037681*c_0101_6*c_0110_5^7 - 3615720697913087860036/19967297901594037681*c_0101_6*c_0110_5^6 + 1919723067888798268738/19967297901594037681*c_0101_6*c_0110_5^5 + 2695146088552080085901/19967297901594037681*c_0101_6*c_0110_5^4 - 77066470083963646172/19967297901594037681*c_0101_6*c_0110_5^3 - 685534325365986923815/19967297901594037681*c_0101_6*c_0110_5^2 - 102907066761322108370/19967297901594037681*c_0101_6*c_0110_5 + 19608285736291494419/19967297901594037681*c_0101_6, c_0011_5 + 16286219625197106772/19967297901594037681*c_0101_6*c_0110_5^\ 16 + 119952889884361080399/19967297901594037681*c_0101_6*c_0110_5^1\ 5 + 76714960021843517550/19967297901594037681*c_0101_6*c_0110_5^14 - 1353435507314058409072/19967297901594037681*c_0101_6*c_0110_5^13 - 1124608205264039704924/19967297901594037681*c_0101_6*c_0110_5^12 + 6844064881000602575562/19967297901594037681*c_0101_6*c_0110_5^11 + 453871362778011130517/19967297901594037681*c_0101_6*c_0110_5^10 - 14749649896176990350546/19967297901594037681*c_0101_6*c_0110_5^9 + 4160216969628157924182/19967297901594037681*c_0101_6*c_0110_5^8 + 18371437528747856857576/19967297901594037681*c_0101_6*c_0110_5^7 - 5732850577658638112523/19967297901594037681*c_0101_6*c_0110_5^6 - 12548765367458227995266/19967297901594037681*c_0101_6*c_0110_5^5 + 2039356533379631178159/19967297901594037681*c_0101_6*c_0110_5^4 + 4175777530293395045080/19967297901594037681*c_0101_6*c_0110_5^3 - 105749785318417299750/19967297901594037681*c_0101_6*c_0110_5^2 - 657453365173247453438/19967297901594037681*c_0101_6*c_0110_5 + 56136770780872257925/19967297901594037681*c_0101_6, c_0101_0 - 1993740471050039026/19967297901594037681*c_0110_5^16 - 15520116447461123254/19967297901594037681*c_0110_5^15 - 15745763905217273269/19967297901594037681*c_0110_5^14 + 160256982702609504019/19967297901594037681*c_0110_5^13 + 205742532292553676119/19967297901594037681*c_0110_5^12 - 765746773688922262925/19967297901594037681*c_0110_5^11 - 393303843559138173965/19967297901594037681*c_0110_5^10 + 1720401815550904574178/19967297901594037681*c_0110_5^9 + 256563272959304620130/19967297901594037681*c_0110_5^8 - 2373504951163664922895/19967297901594037681*c_0110_5^7 - 290237917297781642431/19967297901594037681*c_0110_5^6 + 1764060686041872459317/19967297901594037681*c_0110_5^5 + 415842194381218599424/19967297901594037681*c_0110_5^4 - 635063111610929253236/19967297901594037681*c_0110_5^3 - 202594367679401484172/19967297901594037681*c_0110_5^2 + 111311589027745617150/19967297901594037681*c_0110_5 + 20942822670631922991/19967297901594037681, c_0101_6^2 + 8782615156808781092/19967297901594037681*c_0110_5^16 + 68361207746271323924/19967297901594037681*c_0110_5^15 + 70171850816717412811/19967297901594037681*c_0110_5^14 - 699231760011986169342/19967297901594037681*c_0110_5^13 - 899469267417423019942/19967297901594037681*c_0110_5^12 + 3297155907282457556353/19967297901594037681*c_0110_5^11 + 1624483240614769189730/19967297901594037681*c_0110_5^10 - 7188039582327259527602/19967297901594037681*c_0110_5^9 - 821866880416881832200/19967297901594037681*c_0110_5^8 + 9451457379173669369234/19967297901594037681*c_0110_5^7 + 976711709672517638023/19967297901594037681*c_0110_5^6 - 6292174390723184827152/19967297901594037681*c_0110_5^5 - 1579096478894761848022/19967297901594037681*c_0110_5^4 + 1565929781456889721853/19967297901594037681*c_0110_5^3 + 541360190159454562784/19967297901594037681*c_0110_5^2 - 145783821537893188212/19967297901594037681*c_0110_5 - 23120532733846526862/19967297901594037681, c_0110_5^17 + 7*c_0110_5^16 + 2*c_0110_5^15 - 85*c_0110_5^14 - 39*c_0110_5^13 + 447*c_0110_5^12 - 122*c_0110_5^11 - 923*c_0110_5^10 + 575*c_0110_5^9 + 1057*c_0110_5^8 - 753*c_0110_5^7 - 676*c_0110_5^6 + 401*c_0110_5^5 + 233*c_0110_5^4 - 98*c_0110_5^3 - 42*c_0110_5^2 + 17*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB