Magma V2.19-8 Wed Aug 21 2013 01:07:29 on localhost [Seed = 1814721918] Type ? for help. Type -D to quit. Loading file "L14n33321__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33321 geometric_solution 11.95398358 oriented_manifold CS_known 0.0000000000000008 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -3 2 0 1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.030799587645 1.031862524254 0 5 4 3 0132 0132 0132 0132 0 1 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 3 -2 0 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.194673064296 0.856348241921 6 0 7 6 0132 0132 0132 1023 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 1 -1 0 0 0 0 0 3 -3 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202649123654 0.453914142435 8 5 1 0 0132 1230 0132 0132 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 -1 0 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.210165369170 0.921899347073 7 9 0 1 2310 0132 0132 0132 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 -1 1 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.034094424282 1.166063060687 10 1 3 8 0132 0132 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 0 -3 3 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658538835283 0.721718439901 2 10 9 2 0132 0132 3201 1023 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.969074285662 1.062580664319 11 11 4 2 0132 1302 3201 0132 0 0 0 1 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 -1 1 0 0 0 0 2 0 0 -2 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.085946517489 1.270165670454 3 5 12 12 0132 2310 0132 3120 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 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.552039392387 0.794914908565 6 4 12 10 2310 0132 2310 1302 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 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458405945472 0.822824911100 5 6 9 11 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 2 0 0 -2 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.319678653275 0.867504725887 7 12 10 7 0132 0213 0132 2031 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 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 2 1 0 -3 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388865665416 0.454832545320 8 9 11 8 3120 3201 0213 0132 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 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.538053063928 0.954785744206 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_0101_6'], 'c_1001_12' : negation(d['c_0101_9']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_11'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_1001_1']), 'c_1010_12' : negation(d['c_1001_1']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0101_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_12'], '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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_12'], 'c_1100_11' : negation(d['c_1001_2']), 'c_1100_10' : negation(d['c_1001_2']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_11'], 'c_1010_2' : d['c_0101_11'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_12']), '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'], 'c_1100_12' : negation(d['c_0011_11']), '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_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], '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_0110_11' : negation(d['c_0101_1']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_6']), 'c_0110_8' : d['c_0101_0'], '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_0101_6'], 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_6, c_0101_9, c_1001_1, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 767549468720058311089/25954308590800050*c_1100_0^18 + 396389181643894773721/8651436196933350*c_1100_0^17 + 1713754159058865008813/8651436196933350*c_1100_0^16 - 306538089186052286429/865143619693335*c_1100_0^15 - 3377210936677306721474/4325718098466675*c_1100_0^14 + 8151697149460415356729/5190861718160010*c_1100_0^13 + 5290955464562117506378/2595430859080005*c_1100_0^12 - 40919084279500603480783/8651436196933350*c_1100_0^11 - 92936149192697251106551/25954308590800050*c_1100_0^10 + 53027576111209851025483/5190861718160010*c_1100_0^9 + 49769634300411419801518/12977154295400025*c_1100_0^8 - 410302884788324472934417/25954308590800050*c_1100_0^7 - 126076530569847486031/83723576099355*c_1100_0^6 + 222997975491746090808778/12977154295400025*c_1100_0^5 - 1281038611665433416942/480635344274075*c_1100_0^4 - 97896324832085664445931/8651436196933350*c_1100_0^3 + 11902183833435857030407/2883812065644450*c_1100_0^2 + 84356947516340525780363/25954308590800050*c_1100_0 - 8515748153994380657443/5190861718160010, c_0011_0 - 1, c_0011_11 - 756258/2705155*c_1100_0^18 + 1203841/2705155*c_1100_0^17 + 4477893/2705155*c_1100_0^16 - 1722825/541031*c_1100_0^15 - 16504408/2705155*c_1100_0^14 + 7290206/541031*c_1100_0^13 + 7821523/541031*c_1100_0^12 - 104365793/2705155*c_1100_0^11 - 59696762/2705155*c_1100_0^10 + 42683040/541031*c_1100_0^9 + 45171897/2705155*c_1100_0^8 - 308231144/2705155*c_1100_0^7 + 3032766/541031*c_1100_0^6 + 309095217/2705155*c_1100_0^5 - 92981866/2705155*c_1100_0^4 - 172736936/2705155*c_1100_0^3 + 83249036/2705155*c_1100_0^2 + 39919611/2705155*c_1100_0 - 4465885/541031, c_0011_12 + 35532291/232643330*c_1100_0^18 - 25328948/116321665*c_1100_0^17 - 117524283/116321665*c_1100_0^16 + 191505142/116321665*c_1100_0^15 + 926641089/232643330*c_1100_0^14 - 840111749/116321665*c_1100_0^13 - 2429279931/232643330*c_1100_0^12 + 2500955442/116321665*c_1100_0^11 + 4335275681/232643330*c_1100_0^10 - 5344950041/116321665*c_1100_0^9 - 2457700429/116321665*c_1100_0^8 + 16342628491/232643330*c_1100_0^7 + 1356799122/116321665*c_1100_0^6 - 17578838611/232643330*c_1100_0^5 + 1651466009/232643330*c_1100_0^4 + 5680107464/116321665*c_1100_0^3 - 1581599809/116321665*c_1100_0^2 - 1695828373/116321665*c_1100_0 + 102214844/23264333, c_0011_3 - 8231442/23264333*c_1100_0^18 + 106670257/232643330*c_1100_0^17 + 58200977/23264333*c_1100_0^16 - 815771747/232643330*c_1100_0^15 - 2397937159/232643330*c_1100_0^14 + 3621022809/232643330*c_1100_0^13 + 3335764394/116321665*c_1100_0^12 - 5454053742/116321665*c_1100_0^11 - 12960092561/232643330*c_1100_0^10 + 11808740203/116321665*c_1100_0^9 + 17178551147/232643330*c_1100_0^8 - 36667451949/232643330*c_1100_0^7 - 7197774321/116321665*c_1100_0^6 + 19989463273/116321665*c_1100_0^5 + 1930376257/116321665*c_1100_0^4 - 13163493104/116321665*c_1100_0^3 + 3890609253/232643330*c_1100_0^2 + 3808132526/116321665*c_1100_0 - 454713721/46528666, c_0011_4 + 101311967/232643330*c_1100_0^18 - 78729151/116321665*c_1100_0^17 - 692339147/232643330*c_1100_0^16 + 1215756693/232643330*c_1100_0^15 + 1381881479/116321665*c_1100_0^14 - 2698536523/116321665*c_1100_0^13 - 3687298771/116321665*c_1100_0^12 + 16285704173/232643330*c_1100_0^11 + 13431305877/232643330*c_1100_0^10 - 35288512679/232643330*c_1100_0^9 - 7826608938/116321665*c_1100_0^8 + 27431768311/116321665*c_1100_0^7 + 9115728303/232643330*c_1100_0^6 - 30014523046/116321665*c_1100_0^5 + 2367834769/116321665*c_1100_0^4 + 19993244263/116321665*c_1100_0^3 - 5631508608/116321665*c_1100_0^2 - 5895166541/116321665*c_1100_0 + 924915855/46528666, c_0101_0 - 1, c_0101_1 + 1669231/5410310*c_1100_0^18 - 1729227/5410310*c_1100_0^17 - 12355071/5410310*c_1100_0^16 + 1487142/541031*c_1100_0^15 + 26115623/2705155*c_1100_0^14 - 13825717/1082062*c_1100_0^13 - 14911434/541031*c_1100_0^12 + 218883111/5410310*c_1100_0^11 + 298022879/5410310*c_1100_0^10 - 99324053/1082062*c_1100_0^9 - 204075132/2705155*c_1100_0^8 + 811729253/5410310*c_1100_0^7 + 35298641/541031*c_1100_0^6 - 468033682/2705155*c_1100_0^5 - 51831449/2705155*c_1100_0^4 + 677790647/5410310*c_1100_0^3 - 112479547/5410310*c_1100_0^2 - 217200297/5410310*c_1100_0 + 14993689/1082062, c_0101_11 + 24355837/232643330*c_1100_0^18 - 18547007/232643330*c_1100_0^17 - 163065217/232643330*c_1100_0^16 + 73218704/116321665*c_1100_0^15 + 334261334/116321665*c_1100_0^14 - 653642921/232643330*c_1100_0^13 - 928791026/116321665*c_1100_0^12 + 1981421503/232643330*c_1100_0^11 + 3651804967/232643330*c_1100_0^10 - 4298754339/232643330*c_1100_0^9 - 2516776018/116321665*c_1100_0^8 + 6632163507/232643330*c_1100_0^7 + 2328282754/116321665*c_1100_0^6 - 3571749096/116321665*c_1100_0^5 - 1018103541/116321665*c_1100_0^4 + 4535496421/232643330*c_1100_0^3 - 143121941/232643330*c_1100_0^2 - 1246819557/232643330*c_1100_0 + 43141621/46528666, c_0101_6 - 16453733/46528666*c_1100_0^18 + 69046582/116321665*c_1100_0^17 + 55998445/23264333*c_1100_0^16 - 533082812/116321665*c_1100_0^15 - 1116575829/116321665*c_1100_0^14 + 2368791309/116321665*c_1100_0^13 + 5929097151/232643330*c_1100_0^12 - 7150806949/116321665*c_1100_0^11 - 5342023921/116321665*c_1100_0^10 + 15496068921/116321665*c_1100_0^9 + 12083296919/232643330*c_1100_0^8 - 48196986043/232643330*c_1100_0^7 - 6162296649/232643330*c_1100_0^6 + 52760381667/232643330*c_1100_0^5 - 5559879367/232643330*c_1100_0^4 - 35212704061/232643330*c_1100_0^3 + 5241111863/116321665*c_1100_0^2 + 10478758529/232643330*c_1100_0 - 863762807/46528666, c_0101_9 + 16573739/232643330*c_1100_0^18 - 23123931/232643330*c_1100_0^17 - 54705627/116321665*c_1100_0^16 + 182175273/232643330*c_1100_0^15 + 86106667/46528666*c_1100_0^14 - 813767671/232643330*c_1100_0^13 - 1125796327/232643330*c_1100_0^12 + 247882218/23264333*c_1100_0^11 + 402368341/46528666*c_1100_0^10 - 2715653087/116321665*c_1100_0^9 - 1139484797/116321665*c_1100_0^8 + 4291346499/116321665*c_1100_0^7 + 1243860323/232643330*c_1100_0^6 - 1920771309/46528666*c_1100_0^5 + 940320777/232643330*c_1100_0^4 + 1342993593/46528666*c_1100_0^3 - 375771681/46528666*c_1100_0^2 - 2137261991/232643330*c_1100_0 + 97726795/23264333, c_1001_1 + 25827227/46528666*c_1100_0^18 - 82334213/116321665*c_1100_0^17 - 88882734/23264333*c_1100_0^16 + 1283263251/232643330*c_1100_0^15 + 1806055901/116321665*c_1100_0^14 - 2854189031/116321665*c_1100_0^13 - 9839280639/232643330*c_1100_0^12 + 17255001077/232643330*c_1100_0^11 + 9290380404/116321665*c_1100_0^10 - 37408968873/232643330*c_1100_0^9 - 23361529281/232643330*c_1100_0^8 + 29065799816/116321665*c_1100_0^7 + 17253105491/232643330*c_1100_0^6 - 63458718293/232643330*c_1100_0^5 - 211980081/116321665*c_1100_0^4 + 42089131999/232643330*c_1100_0^3 - 9561557049/232643330*c_1100_0^2 - 6233877888/116321665*c_1100_0 + 896639029/46528666, c_1001_2 + 35532291/232643330*c_1100_0^18 - 25328948/116321665*c_1100_0^17 - 117524283/116321665*c_1100_0^16 + 191505142/116321665*c_1100_0^15 + 926641089/232643330*c_1100_0^14 - 840111749/116321665*c_1100_0^13 - 2429279931/232643330*c_1100_0^12 + 2500955442/116321665*c_1100_0^11 + 4335275681/232643330*c_1100_0^10 - 5344950041/116321665*c_1100_0^9 - 2457700429/116321665*c_1100_0^8 + 16342628491/232643330*c_1100_0^7 + 1356799122/116321665*c_1100_0^6 - 17578838611/232643330*c_1100_0^5 + 1651466009/232643330*c_1100_0^4 + 5680107464/116321665*c_1100_0^3 - 1697921474/116321665*c_1100_0^2 - 1695828373/116321665*c_1100_0 + 125479177/23264333, c_1100_0^19 - 2*c_1100_0^18 - 6*c_1100_0^17 + 15*c_1100_0^16 + 21*c_1100_0^15 - 65*c_1100_0^14 - 45*c_1100_0^13 + 191*c_1100_0^12 + 49*c_1100_0^11 - 400*c_1100_0^10 + 26*c_1100_0^9 + 593*c_1100_0^8 - 190*c_1100_0^7 - 604*c_1100_0^6 + 352*c_1100_0^5 + 342*c_1100_0^4 - 312*c_1100_0^3 - 47*c_1100_0^2 + 105*c_1100_0 - 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.480 Total time: 0.700 seconds, Total memory usage: 32.09MB