Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 1966401550] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3277 geometric_solution 6.40087625 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0213 0132 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 1 0 -1 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.638136558827 0.844046749697 0 4 0 5 0132 0132 0213 0132 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 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 0 0 0 0 0 0 0.502359926501 0.430803813969 5 3 6 0 1023 2103 0132 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 -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.795757814137 1.713460762164 6 2 0 4 1023 2103 0132 2103 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 1 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.674732640277 1.051242973492 6 1 6 3 2103 0132 1302 2103 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 -1 1 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.679627731647 0.322514572728 5 2 1 5 3201 1023 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 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.330098525579 0.851375930806 4 3 4 2 2031 1023 2103 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 -1 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 0.168463608091 0.640926796529 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0110_4']), 'c_1100_3' : negation(d['c_0110_4']), 'c_1100_2' : negation(d['c_0110_4']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : negation(d['c_1001_0']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_2']})} 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_0011_3, c_0101_0, c_0101_2, c_0110_4, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 8563898067766592476329/1152254627822016322348*c_1001_0^17 + 54404418990878309779357/1152254627822016322348*c_1001_0^16 - 32189818745373993143953/576127313911008161174*c_1001_0^15 - 125989206383446413454523/576127313911008161174*c_1001_0^14 + 141830354664599799874773/576127313911008161174*c_1001_0^13 + 250122292235520698394479/1152254627822016322348*c_1001_0^12 - 560700060499698070910723/1152254627822016322348*c_1001_0^11 + 883153303053165465256509/1152254627822016322348*c_1001_0^10 + 2480473812307905302456173/1152254627822016322348*c_1001_0^9 - 844921166604704147741997/1152254627822016322348*c_1001_0^8 - 878986156181591899960735/288063656955504080587*c_1001_0^7 - 172810662728598163540457/1152254627822016322348*c_1001_0^6 + 1855529962493956442856769/1152254627822016322348*c_1001_0^5 - 1006233105631439835999/37169504123290849108*c_1001_0^4 - 614130723991831667307365/1152254627822016322348*c_1001_0^3 + 421919541302506212964725/1152254627822016322348*c_1001_0^2 + 97375220975200912656127/1152254627822016322348*c_1001_0 - 146611935013042206810669/1152254627822016322348, c_0011_0 - 1, c_0011_2 + 859615947345109174/288063656955504080587*c_1001_0^17 - 10601521905051108489/288063656955504080587*c_1001_0^16 + 27360124358554914569/288063656955504080587*c_1001_0^15 + 54441575553460308588/288063656955504080587*c_1001_0^14 - 230316503864907518085/288063656955504080587*c_1001_0^13 - 219594587334305810505/288063656955504080587*c_1001_0^12 + 378696430444831223349/288063656955504080587*c_1001_0^11 - 55008761595227949686/288063656955504080587*c_1001_0^10 - 271214963198618136842/288063656955504080587*c_1001_0^9 + 2653754948218291326855/288063656955504080587*c_1001_0^8 + 3696854277025725609986/288063656955504080587*c_1001_0^7 - 966314004487228541063/288063656955504080587*c_1001_0^6 - 3358137211653854567071/288063656955504080587*c_1001_0^5 - 30316920434873784634/9292376030822712277*c_1001_0^4 + 220352662897406053998/288063656955504080587*c_1001_0^3 - 432784716892001829122/288063656955504080587*c_1001_0^2 - 45320497077889023238/288063656955504080587*c_1001_0 + 210278556668234157240/288063656955504080587, c_0011_3 + 34182924218413859679/288063656955504080587*c_1001_0^17 - 181484627421824580043/288063656955504080587*c_1001_0^16 + 45296330010255341106/288063656955504080587*c_1001_0^15 + 1190845728686290906003/288063656955504080587*c_1001_0^14 - 32193868734037491848/288063656955504080587*c_1001_0^13 - 1733445694965204807847/288063656955504080587*c_1001_0^12 + 1142861665063253359700/288063656955504080587*c_1001_0^11 - 1654586274698876555394/288063656955504080587*c_1001_0^10 - 13305443963548400355572/288063656955504080587*c_1001_0^9 - 7951165344120908803111/288063656955504080587*c_1001_0^8 + 12659188661302454309480/288063656955504080587*c_1001_0^7 + 11860453323091205565698/288063656955504080587*c_1001_0^6 - 2811291857681920625955/288063656955504080587*c_1001_0^5 - 74887231260346305809/9292376030822712277*c_1001_0^4 + 3032628569220193578617/288063656955504080587*c_1001_0^3 - 316121762962875978249/288063656955504080587*c_1001_0^2 - 1488493557760921074859/288063656955504080587*c_1001_0 + 202234826074137797177/288063656955504080587, c_0101_0 - 18314105691881100763/288063656955504080587*c_1001_0^17 + 100242821284174306191/288063656955504080587*c_1001_0^16 - 32727793241365780846/288063656955504080587*c_1001_0^15 - 685902287891734891957/288063656955504080587*c_1001_0^14 + 211848462809889232879/288063656955504080587*c_1001_0^13 + 1067766063023285106932/288063656955504080587*c_1001_0^12 - 1060957084839830057284/288063656955504080587*c_1001_0^11 + 1090299321672654724849/288063656955504080587*c_1001_0^10 + 7248937147447118445335/288063656955504080587*c_1001_0^9 + 1972137757018599058121/288063656955504080587*c_1001_0^8 - 8626987127745272781628/288063656955504080587*c_1001_0^7 - 4454063968948388495635/288063656955504080587*c_1001_0^6 + 3735979903730707822873/288063656955504080587*c_1001_0^5 + 38205231876204395544/9292376030822712277*c_1001_0^4 - 1470581470263000645913/288063656955504080587*c_1001_0^3 + 328291540353206770323/288063656955504080587*c_1001_0^2 + 430740291913532755612/288063656955504080587*c_1001_0 - 343964200538435473407/288063656955504080587, c_0101_2 - 8782196919767189213/288063656955504080587*c_1001_0^17 + 48241213312988614480/288063656955504080587*c_1001_0^16 - 35862570009222551446/288063656955504080587*c_1001_0^15 - 209876709625559078371/288063656955504080587*c_1001_0^14 - 23313408360034147014/288063656955504080587*c_1001_0^13 - 35192485126221015905/288063656955504080587*c_1001_0^12 + 3867296766997887158/288063656955504080587*c_1001_0^11 + 893876027844791833177/288063656955504080587*c_1001_0^10 + 2360230598727700548747/288063656955504080587*c_1001_0^9 + 3202134772105450027490/288063656955504080587*c_1001_0^8 + 1165771405724852694466/288063656955504080587*c_1001_0^7 - 2431540117250753334882/288063656955504080587*c_1001_0^6 - 2759826405631713529623/288063656955504080587*c_1001_0^5 - 13951051258739647973/9292376030822712277*c_1001_0^4 - 293804658575917810777/288063656955504080587*c_1001_0^3 - 661352229886188700978/288063656955504080587*c_1001_0^2 + 160138473140108526245/288063656955504080587*c_1001_0 + 191964450976353056477/288063656955504080587, c_0110_4 - 4675897314593968793/288063656955504080587*c_1001_0^17 + 16876172937579099581/288063656955504080587*c_1001_0^16 + 33340607899466489107/288063656955504080587*c_1001_0^15 - 157447743938627345680/288063656955504080587*c_1001_0^14 - 287887169849625075532/288063656955504080587*c_1001_0^13 + 168909551032840732661/288063656955504080587*c_1001_0^12 + 290198566929147599313/288063656955504080587*c_1001_0^11 + 32597253385645361232/288063656955504080587*c_1001_0^10 + 2149412358692834884557/288063656955504080587*c_1001_0^9 + 4369724158791441568575/288063656955504080587*c_1001_0^8 + 879118350149977041002/288063656955504080587*c_1001_0^7 - 4244551242483915541182/288063656955504080587*c_1001_0^6 - 3380933628377446639152/288063656955504080587*c_1001_0^5 + 3266985685349670736/9292376030822712277*c_1001_0^4 + 474334645002572469367/288063656955504080587*c_1001_0^3 - 285623425383426817629/288063656955504080587*c_1001_0^2 - 141134094370328327170/288063656955504080587*c_1001_0 + 232693148427465727500/288063656955504080587, c_1001_0^18 - 6*c_1001_0^17 + 5*c_1001_0^16 + 34*c_1001_0^15 - 26*c_1001_0^14 - 47*c_1001_0^13 + 68*c_1001_0^12 - 80*c_1001_0^11 - 344*c_1001_0^10 + 36*c_1001_0^9 + 501*c_1001_0^8 + 105*c_1001_0^7 - 284*c_1001_0^6 - 32*c_1001_0^5 + 108*c_1001_0^4 - 46*c_1001_0^3 - 36*c_1001_0^2 + 30*c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB