Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2412647239] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1586 geometric_solution 5.36025767 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 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 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.769755114962 0.606171044855 0 3 2 4 0132 0132 3012 0132 0 0 0 0 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 0 -1 1 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.757250091738 0.785200467677 4 1 3 0 0132 1230 0132 0132 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 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.757250091738 0.785200467677 3 1 3 2 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.093608213558 0.930936261376 2 5 1 5 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 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 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 1.857879825099 0.174286560727 6 4 6 4 0132 0132 1023 1023 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 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.852656967276 0.513823718383 5 6 5 6 0132 2310 1023 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 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753833064916 0.218788964921 ==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_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), '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_0'], 'c_0101_3' : negation(d['c_0101_2']), '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_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], '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_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1465453587542160168682/225669666786321242821*c_0101_6^17 + 19080012297051180368458/225669666786321242821*c_0101_6^16 - 104848034673670612456911/225669666786321242821*c_0101_6^15 + 351605978727176415003028/225669666786321242821*c_0101_6^14 - 875545586650987434686800/225669666786321242821*c_0101_6^13 + 1726827422606865322835089/225669666786321242821*c_0101_6^12 - 2660778405952788355250091/225669666786321242821*c_0101_6^11 + 3212390619381410324149781/225669666786321242821*c_0101_6^10 - 3006149632247129183790465/225669666786321242821*c_0101_6^9 + 1937017097773410068300805/225669666786321242821*c_0101_6^8 - 85310917834785336921535/32238523826617320403*c_0101_6^7 - 1542423542516770320658/1776926510128513723*c_0101_6^6 + 263584361231508974763619/225669666786321242821*c_0101_6^5 + 69531680882249774511325/225669666786321242821*c_0101_6^4 - 310160090242471967230797/225669666786321242821*c_0101_6^3 + 281815300216512860934960/225669666786321242821*c_0101_6^2 - 134748996902337978890522/225669666786321242821*c_0101_6 + 25861183908451268474555/225669666786321242821, c_0011_0 - 1, c_0011_2 + 41379608745724531/253846644304073389*c_0101_6^17 - 507225196134891249/253846644304073389*c_0101_6^16 + 2571039714235680435/253846644304073389*c_0101_6^15 - 7927185898874573737/253846644304073389*c_0101_6^14 + 18429835726032561008/253846644304073389*c_0101_6^13 - 33786967597753702476/253846644304073389*c_0101_6^12 + 46926592581318174259/253846644304073389*c_0101_6^11 - 49908974923237659970/253846644304073389*c_0101_6^10 + 38686996533903615752/253846644304073389*c_0101_6^9 - 14973671547715100813/253846644304073389*c_0101_6^8 - 4156544785986989008/253846644304073389*c_0101_6^7 + 8726122675615232686/253846644304073389*c_0101_6^6 - 2658913659877936114/253846644304073389*c_0101_6^5 - 5152967354294950482/253846644304073389*c_0101_6^4 + 5610027298054295267/253846644304073389*c_0101_6^3 - 3121951554616435972/253846644304073389*c_0101_6^2 + 319236928762134158/253846644304073389*c_0101_6 + 472398576033600891/253846644304073389, c_0101_0 - 27828959972547261/253846644304073389*c_0101_6^17 + 334490853050757924/253846644304073389*c_0101_6^16 - 1673321147658955840/253846644304073389*c_0101_6^15 + 5210021162325988917/253846644304073389*c_0101_6^14 - 12456159539121121976/253846644304073389*c_0101_6^13 + 23472908914594220656/253846644304073389*c_0101_6^12 - 34130284373905437056/253846644304073389*c_0101_6^11 + 39442613411061681113/253846644304073389*c_0101_6^10 - 34190196371937087894/253846644304073389*c_0101_6^9 + 18571623086952524821/253846644304073389*c_0101_6^8 - 3307366907158894220/253846644304073389*c_0101_6^7 - 5732522872274188811/253846644304073389*c_0101_6^6 + 4054901923258302981/253846644304073389*c_0101_6^5 + 1725871689186607650/253846644304073389*c_0101_6^4 - 3810417521210760763/253846644304073389*c_0101_6^3 + 3789749191200812814/253846644304073389*c_0101_6^2 - 747702316173618319/253846644304073389*c_0101_6 + 114607428839298678/253846644304073389, c_0101_1 - 46746032421172314/253846644304073389*c_0101_6^17 + 544398431276323123/253846644304073389*c_0101_6^16 - 2558236568924650271/253846644304073389*c_0101_6^15 + 7238449831474711137/253846644304073389*c_0101_6^14 - 15695352175342619453/253846644304073389*c_0101_6^13 + 26679913170785391549/253846644304073389*c_0101_6^12 - 32766838373003277999/253846644304073389*c_0101_6^11 + 29918033943237807293/253846644304073389*c_0101_6^10 - 18192745524487285230/253846644304073389*c_0101_6^9 + 74758951588190041/253846644304073389*c_0101_6^8 + 7483533167096512659/253846644304073389*c_0101_6^7 - 3527388641873743141/253846644304073389*c_0101_6^6 - 1597503972878716614/253846644304073389*c_0101_6^5 + 4959287461738116808/253846644304073389*c_0101_6^4 - 2896550942192086084/253846644304073389*c_0101_6^3 + 526419280055069307/253846644304073389*c_0101_6^2 + 250340920793597130/253846644304073389*c_0101_6 + 3731151830803944/253846644304073389, c_0101_2 - 25035965639332212/253846644304073389*c_0101_6^17 + 312107945925882723/253846644304073389*c_0101_6^16 - 1602771134353525796/253846644304073389*c_0101_6^15 + 4936497775059404916/253846644304073389*c_0101_6^14 - 11364540067378312210/253846644304073389*c_0101_6^13 + 20783639429435380756/253846644304073389*c_0101_6^12 - 28717978929839497478/253846644304073389*c_0101_6^11 + 30111681306968774427/253846644304073389*c_0101_6^10 - 23841770442344173940/253846644304073389*c_0101_6^9 + 10078575509753452999/253846644304073389*c_0101_6^8 + 1388974493032951812/253846644304073389*c_0101_6^7 - 2670508833842443040/253846644304073389*c_0101_6^6 + 526630869146716636/253846644304073389*c_0101_6^5 + 2548885007869714596/253846644304073389*c_0101_6^4 - 3498769706251069606/253846644304073389*c_0101_6^3 + 1491240763965937372/253846644304073389*c_0101_6^2 - 336992846065387186/253846644304073389*c_0101_6 - 84551821001962954/253846644304073389, c_0101_5 + 101079292204549095/253846644304073389*c_0101_6^17 - 1213509867361757992/253846644304073389*c_0101_6^16 + 5969246559244638539/253846644304073389*c_0101_6^15 - 17806134843803555898/253846644304073389*c_0101_6^14 + 40335392089423185366/253846644304073389*c_0101_6^13 - 72022638607336131328/253846644304073389*c_0101_6^12 + 96075317579782010409/253846644304073389*c_0101_6^11 - 97518014326229584909/253846644304073389*c_0101_6^10 + 71002935361921246521/253846644304073389*c_0101_6^9 - 20913075462335520606/253846644304073389*c_0101_6^8 - 13361216049361455468/253846644304073389*c_0101_6^7 + 15672134698490381153/253846644304073389*c_0101_6^6 - 2510719077699601960/253846644304073389*c_0101_6^5 - 11705522742244077211/253846644304073389*c_0101_6^4 + 11541916798312173773/253846644304073389*c_0101_6^3 - 4979285854741065047/253846644304073389*c_0101_6^2 + 201235002272415/253846644304073389*c_0101_6 + 771860471266895398/253846644304073389, c_0101_6^18 - 13*c_0101_6^17 + 71*c_0101_6^16 - 235*c_0101_6^15 + 575*c_0101_6^14 - 1112*c_0101_6^13 + 1665*c_0101_6^12 - 1921*c_0101_6^11 + 1677*c_0101_6^10 - 919*c_0101_6^9 + 84*c_0101_6^8 + 283*c_0101_6^7 - 183*c_0101_6^6 - 92*c_0101_6^5 + 228*c_0101_6^4 - 160*c_0101_6^3 + 50*c_0101_6^2 + 9*c_0101_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB