Magma V2.19-8 Wed Aug 21 2013 00:57:37 on localhost [Seed = 1932880322] Type ? for help. Type -D to quit. Loading file "L13n4372__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4372 geometric_solution 11.74184657 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2103 1 0 1 1 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 4 0 1 -5 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.781407382325 0.684513948406 0 4 5 0 0132 0132 0132 2103 1 0 1 1 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 -4 0 -1 5 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.781407382325 0.684513948406 6 0 4 7 0132 0132 3120 0132 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -6 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.440881816554 0.450376601468 5 8 5 0 0132 0132 3120 0132 1 0 1 1 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 -5 6 -1 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.259024138403 0.843909178614 5 1 2 6 1302 0132 3120 2031 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 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.739737483287 0.237161828582 3 4 3 1 0132 2031 3120 0132 1 0 1 1 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 -1 1 0 1 0 -1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259024138403 0.843909178614 2 4 9 10 0132 1302 0132 0132 1 1 1 1 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 5 -5 -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.595183266126 0.903598666952 10 11 2 8 3012 0132 0132 2310 1 1 1 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 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 0 0 0 0.393577343546 1.120693741787 7 3 12 9 3201 0132 0132 0321 1 1 1 1 0 1 0 -1 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 5 0 -5 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.341649839368 0.497576193162 10 8 12 6 1023 0321 2103 0132 1 1 1 1 0 1 0 -1 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 5 0 -5 5 0 -5 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287389351609 0.392351979363 11 9 6 7 2103 1023 0132 1230 1 1 1 1 0 -1 1 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 -5 5 0 0 0 -6 6 0 0 0 0 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.163166162547 0.963205103082 12 7 10 12 2103 0132 2103 0321 1 1 1 1 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.018237405602 0.603018043001 9 11 11 8 2103 0321 2103 0132 1 1 1 1 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 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.187174488071 0.685514361076 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_1001_2']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0110_4'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_0101_6'], 's_3_11' : d['1'], 's_0_11' : 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_10'], 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_0011_3']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0101_8']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_4'], 'c_1010_8' : d['c_0110_4'], 'c_1100_8' : 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' : negation(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' : d['c_0011_12'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], '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_0011_12']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0101_8']), 'c_0110_6' : d['c_0101_10']})} 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_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0101_8, c_0110_4, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 70992331318882721271/1400085338847911680*c_1001_2^16 + 5085653067512029886/5469083354874655*c_1001_2^15 - 5638834568383092801193/700042669423955840*c_1001_2^14 + 15478227085916002313551/350021334711977920*c_1001_2^13 - 243105250002821005551867/1400085338847911680*c_1001_2^12 + 363906928162136795598209/700042669423955840*c_1001_2^11 - 13468886974947422135717/10938166709749310*c_1001_2^10 + 206411765967101737986547/87505333677994480*c_1001_2^9 - 5177652078777901002539843/1400085338847911680*c_1001_2^8 + 1668027539814757235306113/350021334711977920*c_1001_2^7 - 3524830945457146729284079/700042669423955840*c_1001_2^6 + 3023818978166088286528821/700042669423955840*c_1001_2^5 - 1033078607574228289704727/350021334711977920*c_1001_2^4 + 1087684232503982083933287/700042669423955840*c_1001_2^3 - 832363920973087870199177/1400085338847911680*c_1001_2^2 + 103450705161169321725947/700042669423955840*c_1001_2 - 25129743556918689931363/1400085338847911680, c_0011_0 - 1, c_0011_10 - 37/42*c_1001_2^16 + 111/7*c_1001_2^15 - 404/3*c_1001_2^14 + 1449/2*c_1001_2^13 - 58579/21*c_1001_2^12 + 344581/42*c_1001_2^11 - 402319/21*c_1001_2^10 + 763675/21*c_1001_2^9 - 398241/7*c_1001_2^8 + 3100939/42*c_1001_2^7 - 1112731/14*c_1001_2^6 + 2960189/42*c_1001_2^5 - 354717/7*c_1001_2^4 + 1204913/42*c_1001_2^3 - 72761/6*c_1001_2^2 + 24109/7*c_1001_2 - 10553/21, c_0011_11 - 37/42*c_1001_2^16 + 243/14*c_1001_2^15 - 488/3*c_1001_2^14 + 1939/2*c_1001_2^13 - 173627/42*c_1001_2^12 + 563527/42*c_1001_2^11 - 1443479/42*c_1001_2^10 + 1491094/21*c_1001_2^9 - 838338/7*c_1001_2^8 + 6960235/42*c_1001_2^7 - 1314581/7*c_1001_2^6 + 3627964/21*c_1001_2^5 - 1774365/14*c_1001_2^4 + 3018473/42*c_1001_2^3 - 89440/3*c_1001_2^2 + 113801/14*c_1001_2 - 23300/21, c_0011_12 - 37/42*c_1001_2^16 + 111/7*c_1001_2^15 - 805/6*c_1001_2^14 + 716*c_1001_2^13 - 114323/42*c_1001_2^12 + 330469/42*c_1001_2^11 - 377476/21*c_1001_2^10 + 1395575/42*c_1001_2^9 - 705587/14*c_1001_2^8 + 1326095/21*c_1001_2^7 - 457718/7*c_1001_2^6 + 2335649/42*c_1001_2^5 - 535841/14*c_1001_2^4 + 870635/42*c_1001_2^3 - 50315/6*c_1001_2^2 + 31929/14*c_1001_2 - 6689/21, c_0011_3 + 17/42*c_1001_2^16 - 51/7*c_1001_2^15 + 187/3*c_1001_2^14 - 681/2*c_1001_2^13 + 28148/21*c_1001_2^12 - 170165/42*c_1001_2^11 + 204839/21*c_1001_2^10 - 401381/21*c_1001_2^9 + 215928/7*c_1001_2^8 - 1729955/42*c_1001_2^7 + 635767/14*c_1001_2^6 - 1720633/42*c_1001_2^5 + 207909/7*c_1001_2^4 - 704341/42*c_1001_2^3 + 41857/6*c_1001_2^2 - 13431/7*c_1001_2 + 5557/21, c_0101_0 - 1, c_0101_1 + c_1001_2^16 - 19*c_1001_2^15 + 171*c_1001_2^14 - 977*c_1001_2^13 + 3996*c_1001_2^12 - 12470*c_1001_2^11 + 30818*c_1001_2^10 - 61678*c_1001_2^9 + 101223*c_1001_2^8 - 136921*c_1001_2^7 + 152425*c_1001_2^6 - 138469*c_1001_2^5 + 100887*c_1001_2^4 - 57179*c_1001_2^3 + 23884*c_1001_2^2 - 6618*c_1001_2 + 931, c_0101_10 - 17/42*c_1001_2^16 + 51/7*c_1001_2^15 - 371/6*c_1001_2^14 + 332*c_1001_2^13 - 53461/42*c_1001_2^12 + 156053/42*c_1001_2^11 - 179996/21*c_1001_2^10 + 670987/42*c_1001_2^9 - 340975/14*c_1001_2^8 + 640813/21*c_1001_2^7 - 219544/7*c_1001_2^6 + 1100965/42*c_1001_2^5 - 245109/14*c_1001_2^4 + 380731/42*c_1001_2^3 - 20701/6*c_1001_2^2 + 12197/14*c_1001_2 - 2365/21, c_0101_6 + 17/42*c_1001_2^16 - 109/14*c_1001_2^15 + 214/3*c_1001_2^14 - 833/2*c_1001_2^13 + 73243/42*c_1001_2^12 - 233963/42*c_1001_2^11 + 591139/42*c_1001_2^10 - 603590/21*c_1001_2^9 + 336090/7*c_1001_2^8 - 2768321/42*c_1001_2^7 + 519501/7*c_1001_2^6 - 1426214/21*c_1001_2^5 + 694397/14*c_1001_2^4 - 1176043/42*c_1001_2^3 + 34652/3*c_1001_2^2 - 43683/14*c_1001_2 + 8770/21, c_0101_8 + 37/42*c_1001_2^16 - 118/7*c_1001_2^15 + 919/6*c_1001_2^14 - 885*c_1001_2^13 + 153845/42*c_1001_2^12 - 485617/42*c_1001_2^11 + 606166/21*c_1001_2^10 - 2445953/42*c_1001_2^9 + 1345303/14*c_1001_2^8 - 2735426/21*c_1001_2^7 + 1013196/7*c_1001_2^6 - 5486069/42*c_1001_2^5 + 1315753/14*c_1001_2^4 - 2192795/42*c_1001_2^3 + 127007/6*c_1001_2^2 - 78647/14*c_1001_2 + 15572/21, c_0110_4 + 17/42*c_1001_2^16 - 51/7*c_1001_2^15 + 187/3*c_1001_2^14 - 681/2*c_1001_2^13 + 28148/21*c_1001_2^12 - 170165/42*c_1001_2^11 + 204839/21*c_1001_2^10 - 401381/21*c_1001_2^9 + 215928/7*c_1001_2^8 - 1729955/42*c_1001_2^7 + 635767/14*c_1001_2^6 - 1720633/42*c_1001_2^5 + 207909/7*c_1001_2^4 - 704341/42*c_1001_2^3 + 41857/6*c_1001_2^2 - 13438/7*c_1001_2 + 5578/21, c_1001_0 + c_1001_2^2 - 2*c_1001_2 + 1, c_1001_2^17 - 20*c_1001_2^16 + 190*c_1001_2^15 - 1148*c_1001_2^14 + 4973*c_1001_2^13 - 16466*c_1001_2^12 + 43288*c_1001_2^11 - 92496*c_1001_2^10 + 162901*c_1001_2^9 - 238144*c_1001_2^8 + 289346*c_1001_2^7 - 290894*c_1001_2^6 + 239356*c_1001_2^5 - 158066*c_1001_2^4 + 81063*c_1001_2^3 - 30502*c_1001_2^2 + 7549*c_1001_2 - 932 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.750 Total time: 0.950 seconds, Total memory usage: 32.09MB