Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 3153733472] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1716 geometric_solution 5.42554802 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 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 0 -1 0 1 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210507792356 0.851230865548 0 3 4 2 0132 0132 0132 0321 0 0 0 0 0 0 1 -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 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.879562172795 0.739057076571 4 1 0 3 1023 0321 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.879562172795 0.739057076571 5 1 5 2 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.003794503903 0.417288689046 6 2 6 1 0132 1023 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 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.890788248174 0.492849404964 3 3 5 5 0132 3201 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 0.566910508473 0.274315399461 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496424330105 0.387287482862 ==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_0101_1'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_2']), 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : 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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0110_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : negation(d['c_0011_2']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0110_2'], 'c_1010_3' : d['c_0110_2'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(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_0101_1, c_0101_3, c_0101_4, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 8333815415825970/1791167076288697*c_0110_2^17 + 113584722663439528/1791167076288697*c_0110_2^16 - 768706798208059805/1791167076288697*c_0110_2^15 + 3339679745503825939/1791167076288697*c_0110_2^14 - 10115063394003072216/1791167076288697*c_0110_2^13 + 21791021226632195852/1791167076288697*c_0110_2^12 - 32089765931774322632/1791167076288697*c_0110_2^11 + 26182660853838558378/1791167076288697*c_0110_2^10 + 6615525696344525870/1791167076288697*c_0110_2^9 - 51868168959680856358/1791167076288697*c_0110_2^8 + 71201711227025652145/1791167076288697*c_0110_2^7 - 41346403169987948475/1791167076288697*c_0110_2^6 - 369276797961028643/57779583106087*c_0110_2^5 + 38060790281125832607/1791167076288697*c_0110_2^4 - 25962320034069348373/1791167076288697*c_0110_2^3 + 5540963784936123988/1791167076288697*c_0110_2^2 + 1066508274457893651/1791167076288697*c_0110_2 - 369489061279531036/1791167076288697, c_0011_0 - 1, c_0011_2 + 2856010823284/57779583106087*c_0110_2^17 - 45574972870431/57779583106087*c_0110_2^16 + 341016850074745/57779583106087*c_0110_2^15 - 1600162031979735/57779583106087*c_0110_2^14 + 5169402887921167/57779583106087*c_0110_2^13 - 11773615839809974/57779583106087*c_0110_2^12 + 18224682289541962/57779583106087*c_0110_2^11 - 15572807590366802/57779583106087*c_0110_2^10 - 3997834104970365/57779583106087*c_0110_2^9 + 32921687185498432/57779583106087*c_0110_2^8 - 46322752540245772/57779583106087*c_0110_2^7 + 26643294935532410/57779583106087*c_0110_2^6 + 9847734887725123/57779583106087*c_0110_2^5 - 28117263016881088/57779583106087*c_0110_2^4 + 18027342234271131/57779583106087*c_0110_2^3 - 2368138295768273/57779583106087*c_0110_2^2 - 1356165319688892/57779583106087*c_0110_2 + 68431850926071/57779583106087, c_0101_1 - 2543679138485/57779583106087*c_0110_2^17 + 36932639031455/57779583106087*c_0110_2^16 - 260439106098638/57779583106087*c_0110_2^15 + 1168772211677926/57779583106087*c_0110_2^14 - 3641684605275956/57779583106087*c_0110_2^13 + 8061264546596355/57779583106087*c_0110_2^12 - 12266478976422742/57779583106087*c_0110_2^11 + 10744854054985412/57779583106087*c_0110_2^10 + 754519412056118/57779583106087*c_0110_2^9 - 17104036415963283/57779583106087*c_0110_2^8 + 24055542429949472/57779583106087*c_0110_2^7 - 13190048548592709/57779583106087*c_0110_2^6 - 4987315922989246/57779583106087*c_0110_2^5 + 12310230364320165/57779583106087*c_0110_2^4 - 6100725122236635/57779583106087*c_0110_2^3 - 612046586965362/57779583106087*c_0110_2^2 + 898083937165144/57779583106087*c_0110_2 + 94339116319334/57779583106087, c_0101_3 - 87351059/3909573253*c_0110_2^17 + 1521726009/3909573253*c_0110_2^16 - 12514915991/3909573253*c_0110_2^15 + 64701194173/3909573253*c_0110_2^14 - 232741284256/3909573253*c_0110_2^13 + 604093202752/3909573253*c_0110_2^12 - 1124449407649/3909573253*c_0110_2^11 + 1393217972886/3909573253*c_0110_2^10 - 780471735721/3909573253*c_0110_2^9 - 853953214629/3909573253*c_0110_2^8 + 2490324302298/3909573253*c_0110_2^7 - 2589755631950/3909573253*c_0110_2^6 + 890378339251/3909573253*c_0110_2^5 + 967733995274/3909573253*c_0110_2^4 - 1357394459548/3909573253*c_0110_2^3 + 584514414604/3909573253*c_0110_2^2 - 942420588/3909573253*c_0110_2 - 41246379224/3909573253, c_0101_4 + 683813217213/57779583106087*c_0110_2^17 - 8127607658260/57779583106087*c_0110_2^16 + 51455102173842/57779583106087*c_0110_2^15 - 218469147371113/57779583106087*c_0110_2^14 + 676680795852171/57779583106087*c_0110_2^13 - 1582412465230503/57779583106087*c_0110_2^12 + 2777709702650022/57779583106087*c_0110_2^11 - 3443122364713990/57779583106087*c_0110_2^10 + 2252666381429704/57779583106087*c_0110_2^9 + 1433823018415095/57779583106087*c_0110_2^8 - 5967496094568956/57779583106087*c_0110_2^7 + 7736484157117559/57779583106087*c_0110_2^6 - 4496563024585944/57779583106087*c_0110_2^5 - 1302031231833857/57779583106087*c_0110_2^4 + 4494933293339377/57779583106087*c_0110_2^3 - 3142182288507179/57779583106087*c_0110_2^2 + 435341409239791/57779583106087*c_0110_2 + 321667235137100/57779583106087, c_0101_5 + 5541677148005/57779583106087*c_0110_2^17 - 76005004553429/57779583106087*c_0110_2^16 + 518683190089035/57779583106087*c_0110_2^15 - 2277741886658571/57779583106087*c_0110_2^14 + 6998394213860421/57779583106087*c_0110_2^13 - 15391871771188724/57779583106087*c_0110_2^12 + 23467685333557763/57779583106087*c_0110_2^11 - 20917810437334350/57779583106087*c_0110_2^10 - 861106896994105/57779583106087*c_0110_2^9 + 33830433189041293/57779583106087*c_0110_2^8 - 51645885626534804/57779583106087*c_0110_2^7 + 34870354424326742/57779583106087*c_0110_2^6 + 2410862822470607/57779583106087*c_0110_2^5 - 25657558251564499/57779583106087*c_0110_2^4 + 20933874090694237/57779583106087*c_0110_2^3 - 6288464703197421/57779583106087*c_0110_2^2 - 395974741513650/57779583106087*c_0110_2 + 479227711117780/57779583106087, c_0110_2^18 - 14*c_0110_2^17 + 97*c_0110_2^16 - 431*c_0110_2^15 + 1336*c_0110_2^14 - 2952*c_0110_2^13 + 4484*c_0110_2^12 - 3861*c_0110_2^11 - 638*c_0110_2^10 + 7278*c_0110_2^9 - 10526*c_0110_2^8 + 6438*c_0110_2^7 + 1643*c_0110_2^6 - 6088*c_0110_2^5 + 4237*c_0110_2^4 - 672*c_0110_2^3 - 488*c_0110_2^2 + 126*c_0110_2 + 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB