Magma V2.19-8 Tue Aug 20 2013 17:56:25 on localhost [Seed = 1528491877] Type ? for help. Type -D to quit. Loading file "9_12__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_12 geometric_solution 8.83664234 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 0132 0132 0132 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 -1 0 1 -1 0 0 1 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.763270219963 1.000820317877 0 4 6 5 0132 0132 0132 0132 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 -4 4 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 1.160227575463 0.617477603464 3 0 0 4 2031 0132 1230 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.375231389084 0.540565092821 7 7 2 0 0132 1302 1302 0132 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 -4 3 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371154338953 1.148915330416 2 1 7 8 3012 0132 3120 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.659979516096 0.639006326139 8 7 1 9 3120 3120 0132 0132 0 0 0 0 0 -1 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 0 4 -4 0 0 0 1 -1 1 -1 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645183539225 0.333664594022 8 9 9 1 0132 0321 2103 0132 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 -3 -1 4 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.040002631020 0.798055932936 3 5 4 3 0132 3120 3120 2031 0 0 0 0 0 -1 0 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 3 0 -3 0 0 0 0 0 1 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366576962694 0.669744451309 6 9 4 5 0132 0132 0132 3120 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 3 0 -3 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.542529319566 0.785513248536 6 8 5 6 2103 0132 0132 0321 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 -3 0 3 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 1.040002631020 0.798055932936 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_1001_4']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : d['c_1001_1'], 's_2_8' : d['1'], 's_2_9' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : d['c_0011_6'], 'c_1100_8' : negation(d['c_0101_0']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0101_4']), 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_6'], 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0101_1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 2079734908870227619/30321063810075429684*c_1001_4^16 - 4222272201265283471/10107021270025143228*c_1001_4^15 - 1456382893162745111/1783591988827966452*c_1001_4^14 + 5056134496623033665/30321063810075429684*c_1001_4^13 + 23798462724264607441/7580265952518857421*c_1001_4^12 + 106504607734629899657/30321063810075429684*c_1001_4^11 - 114084168915229173269/30321063810075429684*c_1001_4^10 - 278679045199431026429/30321063810075429684*c_1001_4^9 - 1119096879807247223/594530662942655484*c_1001_4^8 + 259616365395625468253/30321063810075429684*c_1001_4^7 + 10736166363555482377/15160531905037714842*c_1001_4^6 - 57091532894798499217/15160531905037714842*c_1001_4^5 - 52863759523210627175/15160531905037714842*c_1001_4^4 + 54865469694389594365/30321063810075429684*c_1001_4^3 - 61459565297956572775/10107021270025143228*c_1001_4^2 - 82335650466838422079/15160531905037714842*c_1001_4 - 87300856534645915889/30321063810075429684, c_0011_0 - 1, c_0011_3 + 26248906890614897/594530662942655484*c_1001_4^16 + 136496176303504673/594530662942655484*c_1001_4^15 + 188446139492326771/594530662942655484*c_1001_4^14 - 75305704094289339/198176887647551828*c_1001_4^13 - 231705139209395207/148632665735663871*c_1001_4^12 - 137314167232957083/198176887647551828*c_1001_4^11 + 1581928664874832075/594530662942655484*c_1001_4^10 + 1334452807378416089/594530662942655484*c_1001_4^9 - 643483877509046569/594530662942655484*c_1001_4^8 - 867923747026108517/594530662942655484*c_1001_4^7 + 305368931798922659/99088443823775914*c_1001_4^6 - 931785630661987675/297265331471327742*c_1001_4^5 + 58842235966898652/49544221911887957*c_1001_4^4 + 374366624032493401/594530662942655484*c_1001_4^3 + 1223196967027323601/594530662942655484*c_1001_4^2 + 364792655103481357/297265331471327742*c_1001_4 + 201256240710917905/198176887647551828, c_0011_6 + 3659666753159311/49544221911887957*c_1001_4^16 + 16088224902084441/49544221911887957*c_1001_4^15 + 12641612615833254/49544221911887957*c_1001_4^14 - 44838241065749468/49544221911887957*c_1001_4^13 - 96055300694735144/49544221911887957*c_1001_4^12 + 28262874179598653/49544221911887957*c_1001_4^11 + 218802657844674574/49544221911887957*c_1001_4^10 + 8870171289778545/49544221911887957*c_1001_4^9 - 142898696941340792/49544221911887957*c_1001_4^8 - 19881318871361821/49544221911887957*c_1001_4^7 + 307175520074418636/49544221911887957*c_1001_4^6 - 481641260532387965/49544221911887957*c_1001_4^5 + 417396997090902520/49544221911887957*c_1001_4^4 - 229718230659481056/49544221911887957*c_1001_4^3 + 305735160290896636/49544221911887957*c_1001_4^2 - 71924196994963375/49544221911887957*c_1001_4 + 47524949413604128/49544221911887957, c_0101_0 - 14391934094119075/594530662942655484*c_1001_4^16 - 62124256369159753/594530662942655484*c_1001_4^15 - 58022000515086293/594530662942655484*c_1001_4^14 + 40734709948482615/198176887647551828*c_1001_4^13 + 80516609655231550/148632665735663871*c_1001_4^12 + 9832732468283565/198176887647551828*c_1001_4^11 - 517730922554125739/594530662942655484*c_1001_4^10 - 117623987108928727/594530662942655484*c_1001_4^9 - 200619153044569963/594530662942655484*c_1001_4^8 + 202737625082095891/594530662942655484*c_1001_4^7 - 51120435762608516/49544221911887957*c_1001_4^6 + 432620864744375596/148632665735663871*c_1001_4^5 - 504162023922175919/99088443823775914*c_1001_4^4 + 3113752649723205655/594530662942655484*c_1001_4^3 - 2881741023180346151/594530662942655484*c_1001_4^2 + 198537265840890491/148632665735663871*c_1001_4 - 124210403347883769/198176887647551828, c_0101_1 - 26248906890614897/594530662942655484*c_1001_4^16 - 136496176303504673/594530662942655484*c_1001_4^15 - 188446139492326771/594530662942655484*c_1001_4^14 + 75305704094289339/198176887647551828*c_1001_4^13 + 231705139209395207/148632665735663871*c_1001_4^12 + 137314167232957083/198176887647551828*c_1001_4^11 - 1581928664874832075/594530662942655484*c_1001_4^10 - 1334452807378416089/594530662942655484*c_1001_4^9 + 643483877509046569/594530662942655484*c_1001_4^8 + 867923747026108517/594530662942655484*c_1001_4^7 - 305368931798922659/99088443823775914*c_1001_4^6 + 931785630661987675/297265331471327742*c_1001_4^5 - 58842235966898652/49544221911887957*c_1001_4^4 - 374366624032493401/594530662942655484*c_1001_4^3 - 1223196967027323601/594530662942655484*c_1001_4^2 - 364792655103481357/297265331471327742*c_1001_4 - 201256240710917905/198176887647551828, c_0101_2 - 18334423250862641/594530662942655484*c_1001_4^16 - 75284799808936451/594530662942655484*c_1001_4^15 - 40639304812568767/594530662942655484*c_1001_4^14 + 77058691224425209/198176887647551828*c_1001_4^13 + 94435319759146187/148632665735663871*c_1001_4^12 - 98216505848129577/198176887647551828*c_1001_4^11 - 947716850577428113/594530662942655484*c_1001_4^10 + 393238907897041723/594530662942655484*c_1001_4^9 + 520514435892577951/594530662942655484*c_1001_4^8 - 393562679062760935/594530662942655484*c_1001_4^7 - 86703519431507168/49544221911887957*c_1001_4^6 + 759988948809317852/148632665735663871*c_1001_4^5 - 611750214317444055/99088443823775914*c_1001_4^4 + 805123456406318405/594530662942655484*c_1001_4^3 + 9656461157354567/594530662942655484*c_1001_4^2 - 152252335792553891/148632665735663871*c_1001_4 + 35170180385503165/198176887647551828, c_0101_4 + 6244673413449037/594530662942655484*c_1001_4^16 + 25102918827581305/594530662942655484*c_1001_4^15 - 15917978194068697/594530662942655484*c_1001_4^14 - 67694828382767687/198176887647551828*c_1001_4^13 - 53606208886344454/148632665735663871*c_1001_4^12 + 164835099487046853/198176887647551828*c_1001_4^11 + 1111477241279902595/594530662942655484*c_1001_4^10 - 441936785474450363/594530662942655484*c_1001_4^9 - 2103031904207446913/594530662942655484*c_1001_4^8 + 60343069772615723/594530662942655484*c_1001_4^7 + 338967064586429399/99088443823775914*c_1001_4^6 - 466925798604324233/297265331471327742*c_1001_4^5 - 123192367367562221/49544221911887957*c_1001_4^4 + 3136925928877088261/594530662942655484*c_1001_4^3 - 1740295849442386135/594530662942655484*c_1001_4^2 + 82193172364018553/297265331471327742*c_1001_4 - 148578672930117575/198176887647551828, c_0101_6 + 9251031860102275/594530662942655484*c_1001_4^16 + 28371418782419701/594530662942655484*c_1001_4^15 - 10677264256622947/594530662942655484*c_1001_4^14 - 32799505118067011/198176887647551828*c_1001_4^13 - 6675751503569107/148632665735663871*c_1001_4^12 + 84454049448381715/198176887647551828*c_1001_4^11 + 50596236997086095/594530662942655484*c_1001_4^10 - 733851461237517365/594530662942655484*c_1001_4^9 + 506672314863349399/594530662942655484*c_1001_4^8 + 818626534659283325/594530662942655484*c_1001_4^7 + 2016991023980827/49544221911887957*c_1001_4^6 - 637170180201008731/148632665735663871*c_1001_4^5 + 666264165735318731/99088443823775914*c_1001_4^4 - 3025431113239920583/594530662942655484*c_1001_4^3 + 1049612918071478171/594530662942655484*c_1001_4^2 - 68595721653189260/148632665735663871*c_1001_4 + 214494857228292865/198176887647551828, c_1001_1 + 9251031860102275/594530662942655484*c_1001_4^16 + 28371418782419701/594530662942655484*c_1001_4^15 - 10677264256622947/594530662942655484*c_1001_4^14 - 32799505118067011/198176887647551828*c_1001_4^13 - 6675751503569107/148632665735663871*c_1001_4^12 + 84454049448381715/198176887647551828*c_1001_4^11 + 50596236997086095/594530662942655484*c_1001_4^10 - 733851461237517365/594530662942655484*c_1001_4^9 + 506672314863349399/594530662942655484*c_1001_4^8 + 818626534659283325/594530662942655484*c_1001_4^7 + 2016991023980827/49544221911887957*c_1001_4^6 - 637170180201008731/148632665735663871*c_1001_4^5 + 666264165735318731/99088443823775914*c_1001_4^4 - 3025431113239920583/594530662942655484*c_1001_4^3 + 1049612918071478171/594530662942655484*c_1001_4^2 - 68595721653189260/148632665735663871*c_1001_4 + 214494857228292865/198176887647551828, c_1001_4^17 + 4*c_1001_4^16 + 2*c_1001_4^15 - 12*c_1001_4^14 - 19*c_1001_4^13 + 15*c_1001_4^12 + 44*c_1001_4^11 - 26*c_1001_4^10 - 14*c_1001_4^9 + 32*c_1001_4^8 + 63*c_1001_4^7 - 184*c_1001_4^6 + 198*c_1001_4^5 - 115*c_1001_4^4 + 80*c_1001_4^3 - 11*c_1001_4^2 + 21*c_1001_4 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB