Magma V2.19-8 Tue Aug 20 2013 23:39:53 on localhost [Seed = 290944422] Type ? for help. Type -D to quit. Loading file "K14n2034__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n2034 geometric_solution 10.26024344 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 0 0 1 2 1230 3012 0132 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 1 0 -1 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.156451241077 0.479199366801 3 2 4 0 0132 3012 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 7 -6 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434638087556 1.243984466365 1 5 0 6 1230 0132 0132 0132 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 0 1 -1 6 0 0 -6 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.434638087556 1.243984466365 1 5 5 7 0132 2031 0132 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 0 0 0 0 0 -7 7 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.307155302621 1.023771672522 8 7 6 1 0132 0132 0132 0132 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 -6 0 6 0 1 0 0 -1 -7 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393937833931 1.434454055455 3 2 9 3 1302 0132 0132 0132 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 0 0 0 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.307155302621 1.023771672522 9 8 2 4 0132 3120 0132 0132 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 -1 1 0 0 0 6 -6 6 0 0 -6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237894696611 0.730228880482 10 4 3 10 0132 0132 0132 2031 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 7 0 -7 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.137400609817 0.982244175013 4 6 9 10 0132 3120 2310 3012 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 6 0 -6 0 7 0 0 -7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622425474518 0.268308887707 6 8 10 5 0132 3201 2031 0132 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 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579936518741 0.674885199741 7 7 8 9 0132 1302 1230 1302 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 -7 0 7 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.860320171130 0.998537768189 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_4'], 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_10'], 'c_1001_7' : negation(d['c_0011_2']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : negation(d['c_1001_5']), 'c_1010_10' : d['c_1010_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_6'], '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_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_1010_10']), 'c_1100_8' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_1010_10']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1010_10']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : negation(d['c_1010_10']), 'c_1100_2' : d['c_1100_0'], 'c_1100_10' : d['c_0101_4'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_1001_5'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0011_6']), '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' : 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' : 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' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_0110_10' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : d['c_0101_1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_1'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_10, c_0011_2, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_1001_5, c_1010_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 233119155981136577893640608/1814964807488899220531433*c_1100_0^14 - 229885212834471163827487241/259280686784128460075919*c_1100_0^13 - 85207017725770213628419205/58547251854480620017143*c_1100_0^12 + 400653560230391543346190133/86426895594709486691973*c_1100_0^11 + 996217614289381875981592543/58547251854480620017143*c_1100_0^10 - 3459590938530788189221416040/1814964807488899220531433*c_1100_0^9 - 37796057705578017024251281217/604988269162966406843811*c_1100_0^8 - 68456125660140669781521754958/1814964807488899220531433*c_1100_0^7 + 61549505179347866225185696261/604988269162966406843811*c_1100_0^6 + 14930308207170282247176592873/201662756387655468947937*c_1100_0^5 - 229306269954631613387948806279/1814964807488899220531433*c_1100_0^4 - 152361947208844870619529443857/1814964807488899220531433*c_1100_0\ ^3 + 21320314077386105260905448936/201662756387655468947937*c_1100_\ 0^2 + 120067177574687107729313599595/1814964807488899220531433*c_11\ 00_0 - 16582837386362610905992144115/259280686784128460075919, c_0011_0 - 1, c_0011_1 - 3409615213336675408/929321458007628889161*c_1100_0^14 - 3893937361784819300/132760208286804127023*c_1100_0^13 - 68657340920762573612/929321458007628889161*c_1100_0^12 + 2369710024079403176/44253402762268042341*c_1100_0^11 + 520830861458058854380/929321458007628889161*c_1100_0^10 + 546961576664201800412/929321458007628889161*c_1100_0^9 - 374088779123391699809/309773819335876296387*c_1100_0^8 - 2461605427761700694708/929321458007628889161*c_1100_0^7 - 14085475972636453004/309773819335876296387*c_1100_0^6 + 289343840072064289032/103257939778625432129*c_1100_0^5 + 167347958254591816904/929321458007628889161*c_1100_0^4 - 2863249511278748930872/929321458007628889161*c_1100_0^3 - 96287086564313317984/103257939778625432129*c_1100_0^2 + 1805165233627309105400/929321458007628889161*c_1100_0 + 55233075512009145484/132760208286804127023, c_0011_10 - 3888433672568221838/929321458007628889161*c_1100_0^14 - 4553955463238851390/132760208286804127023*c_1100_0^13 - 78150724514394365026/929321458007628889161*c_1100_0^12 + 3868080428891975338/44253402762268042341*c_1100_0^11 + 667821149388597284774/929321458007628889161*c_1100_0^10 + 555474138636017738932/929321458007628889161*c_1100_0^9 - 603111146246739401158/309773819335876296387*c_1100_0^8 - 3093213173007933921796/929321458007628889161*c_1100_0^7 + 451509886118907199028/309773819335876296387*c_1100_0^6 + 510796506695107522040/103257939778625432129*c_1100_0^5 - 1125756557427373474217/929321458007628889161*c_1100_0^4 - 5019722385455540095688/929321458007628889161*c_1100_0^3 + 32210011958226059016/103257939778625432129*c_1100_0^2 + 3187342424772572909428/929321458007628889161*c_1100_0 - 18448837778489920462/132760208286804127023, c_0011_2 - 3409615213336675408/929321458007628889161*c_1100_0^14 - 3893937361784819300/132760208286804127023*c_1100_0^13 - 68657340920762573612/929321458007628889161*c_1100_0^12 + 2369710024079403176/44253402762268042341*c_1100_0^11 + 520830861458058854380/929321458007628889161*c_1100_0^10 + 546961576664201800412/929321458007628889161*c_1100_0^9 - 374088779123391699809/309773819335876296387*c_1100_0^8 - 2461605427761700694708/929321458007628889161*c_1100_0^7 - 14085475972636453004/309773819335876296387*c_1100_0^6 + 289343840072064289032/103257939778625432129*c_1100_0^5 + 167347958254591816904/929321458007628889161*c_1100_0^4 - 2863249511278748930872/929321458007628889161*c_1100_0^3 - 96287086564313317984/103257939778625432129*c_1100_0^2 + 1805165233627309105400/929321458007628889161*c_1100_0 + 55233075512009145484/132760208286804127023, c_0011_6 + 1374919513892164684/929321458007628889161*c_1100_0^14 + 1407233295642607259/132760208286804127023*c_1100_0^13 + 18095786119623417752/929321458007628889161*c_1100_0^12 - 2045377674085116131/44253402762268042341*c_1100_0^11 - 178111670603283483082/929321458007628889161*c_1100_0^10 + 5283910011919340731/929321458007628889161*c_1100_0^9 + 206496666759498383798/309773819335876296387*c_1100_0^8 + 309837017127162242768/929321458007628889161*c_1100_0^7 - 363832108683299028172/309773819335876296387*c_1100_0^6 - 46824216639896082962/103257939778625432129*c_1100_0^5 + 1811841243214507272136/929321458007628889161*c_1100_0^4 + 713114589839504028403/929321458007628889161*c_1100_0^3 - 112208588854697928592/103257939778625432129*c_1100_0^2 - 22508413183720531847/929321458007628889161*c_1100_0 + 115851263325042507608/132760208286804127023, c_0101_0 - 24525737301283/13885598607551943*c_1100_0^14 - 130905090079313/13885598607551943*c_1100_0^13 - 52803477795773/13885598607551943*c_1100_0^12 + 362855143443762/4628532869183981*c_1100_0^11 + 1703890377866110/13885598607551943*c_1100_0^10 - 3606006661705909/13885598607551943*c_1100_0^9 - 2610213215564931/4628532869183981*c_1100_0^8 + 5766210041308282/13885598607551943*c_1100_0^7 + 4890746247058306/4628532869183981*c_1100_0^6 - 2552649478182906/4628532869183981*c_1100_0^5 - 14918594326020118/13885598607551943*c_1100_0^4 + 7687328134396076/13885598607551943*c_1100_0^3 + 5102510733003140/4628532869183981*c_1100_0^2 - 660482363414233/13885598607551943*c_1100_0 - 14756038891678400/13885598607551943, c_0101_1 + 2202439495891564834/929321458007628889161*c_1100_0^14 + 2699458634323747538/132760208286804127023*c_1100_0^13 + 49220476131226887770/929321458007628889161*c_1100_0^12 - 2010853395468371552/44253402762268042341*c_1100_0^11 - 417609857134625613772/929321458007628889161*c_1100_0^10 - 397638696349975168007/929321458007628889161*c_1100_0^9 + 374823044056556109428/309773819335876296387*c_1100_0^8 + 2098148526459746972837/929321458007628889161*c_1100_0^7 - 282858455491871222848/309773819335876296387*c_1100_0^6 - 350250514121252900585/103257939778625432129*c_1100_0^5 + 821526081295509021580/929321458007628889161*c_1100_0^4 + 3146597276780231404174/929321458007628889161*c_1100_0^3 - 66697960155775453684/103257939778625432129*c_1100_0^2 - 1485083041203247296827/929321458007628889161*c_1100_0 + 13726063972789308680/132760208286804127023, c_0101_4 + 1847080983413842220/929321458007628889161*c_1100_0^14 + 2159729358697628236/132760208286804127023*c_1100_0^13 + 39416287902548779876/929321458007628889161*c_1100_0^12 - 1042470670903473328/44253402762268042341*c_1100_0^11 - 281772508983567833174/929321458007628889161*c_1100_0^10 - 309618399818545281334/929321458007628889161*c_1100_0^9 + 195520577793322752958/309773819335876296387*c_1100_0^8 + 1283242784950339874524/929321458007628889161*c_1100_0^7 - 20688799892973463352/309773819335876296387*c_1100_0^6 - 139402213639497267119/103257939778625432129*c_1100_0^5 + 659172704019987896516/929321458007628889161*c_1100_0^4 + 1953627873671271211325/929321458007628889161*c_1100_0^3 - 6445505532623234900/103257939778625432129*c_1100_0^2 - 940764253286998956055/929321458007628889161*c_1100_0 + 86226934311509015938/132760208286804127023, c_1001_5 - 2202439495891564834/929321458007628889161*c_1100_0^14 - 2699458634323747538/132760208286804127023*c_1100_0^13 - 49220476131226887770/929321458007628889161*c_1100_0^12 + 2010853395468371552/44253402762268042341*c_1100_0^11 + 417609857134625613772/929321458007628889161*c_1100_0^10 + 397638696349975168007/929321458007628889161*c_1100_0^9 - 374823044056556109428/309773819335876296387*c_1100_0^8 - 2098148526459746972837/929321458007628889161*c_1100_0^7 + 282858455491871222848/309773819335876296387*c_1100_0^6 + 350250514121252900585/103257939778625432129*c_1100_0^5 - 821526081295509021580/929321458007628889161*c_1100_0^4 - 3146597276780231404174/929321458007628889161*c_1100_0^3 + 66697960155775453684/103257939778625432129*c_1100_0^2 + 1485083041203247296827/929321458007628889161*c_1100_0 - 13726063972789308680/132760208286804127023, c_1010_10 - 16249333728385/13885598607551943*c_1100_0^14 - 110600279740310/13885598607551943*c_1100_0^13 - 177361146990608/13885598607551943*c_1100_0^12 + 181014821592364/4628532869183981*c_1100_0^11 + 1853064809237233/13885598607551943*c_1100_0^10 - 531913494625402/13885598607551943*c_1100_0^9 - 2099615604783664/4628532869183981*c_1100_0^8 - 1700785484302988/13885598607551943*c_1100_0^7 + 3008513962804294/4628532869183981*c_1100_0^6 - 61113818340596/4628532869183981*c_1100_0^5 - 11163036784338208/13885598607551943*c_1100_0^4 - 4355299984430416/13885598607551943*c_1100_0^3 - 9903468010173/4628532869183981*c_1100_0^2 + 18314589551669792/13885598607551943*c_1100_0 - 331320843636410/13885598607551943, c_1100_0^15 + 7*c_1100_0^14 + 12*c_1100_0^13 - 35*c_1100_0^12 - 136*c_1100_0^11 + 2*c_1100_0^10 + 488*c_1100_0^9 + 341*c_1100_0^8 - 764*c_1100_0^7 - 654*c_1100_0^6 + 928*c_1100_0^5 + 750*c_1100_0^4 - 760*c_1100_0^3 - 596*c_1100_0^2 + 448*c_1100_0 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB