Magma V2.19-8 Tue Aug 20 2013 23:52:31 on localhost [Seed = 3019233429] Type ? for help. Type -D to quit. Loading file "L13n2842__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2842 geometric_solution 10.71220801 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 0 0 0 -1 1 -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 0 -1 1 1 0 0 -1 12 -12 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798532889050 0.746885170958 0 5 6 3 0132 0132 0132 1230 0 0 0 1 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 0 0 0 -1 0 0 1 0 0 0 0 -12 13 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885730022157 0.501291895622 7 0 5 3 0132 0132 1302 0132 1 0 0 1 0 0 0 0 0 0 -1 1 -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 1 -1 0 0 1 12 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399136362104 0.232741366251 1 6 2 0 3012 3201 0132 0132 1 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 -1 0 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.130319502364 1.090233901966 8 9 0 10 0132 0132 0132 0132 1 0 1 1 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 -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 0 0 0 0 0 0.684548332331 1.028762603767 2 1 7 8 2031 0132 1023 1302 0 1 1 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 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701082652767 1.038817789087 11 11 3 1 0132 1302 2310 0132 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639067516946 0.869197741644 2 10 5 10 0132 0321 1023 3120 1 0 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 -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.014881255166 1.335765535734 4 9 5 11 0132 2310 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399844188842 1.852684843802 9 4 9 8 2310 0132 3201 3201 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.254364698772 0.601888891526 7 11 4 7 3120 3120 0132 0321 1 0 1 1 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 1 -1 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 1.008339215504 0.748541473228 6 10 8 6 0132 3120 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.407475577608 0.981282839479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : negation(d['c_0110_5']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : negation(d['c_1001_1']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_5'], 's_0_10' : negation(d['1']), 'c_1100_9' : d['c_0011_4'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : d['c_0101_5'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0110_5'], 'c_1010_8' : d['c_0101_9'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), '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' : d['c_0101_6'], 'c_0110_10' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_9']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0101_6, c_0101_9, c_0110_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 34737173267543943662/396863503822084486805*c_1001_1^14 - 275120689674597246407/396863503822084486805*c_1001_1^13 + 744569141198744291929/396863503822084486805*c_1001_1^12 - 756364332393044673419/396863503822084486805*c_1001_1^11 + 33746581291457370259/12802048510389822155*c_1001_1^10 - 870953927359979003410/79372700764416897361*c_1001_1^9 + 5665376399810113701012/396863503822084486805*c_1001_1^8 + 224479137900367057438/396863503822084486805*c_1001_1^7 + 2440231108779015890071/396863503822084486805*c_1001_1^6 - 338656361484797915416/10726040643840121265*c_1001_1^5 + 5854606691546169724628/396863503822084486805*c_1001_1^4 + 125299368423703717367/17254934948786282035*c_1001_1^3 - 1356146134683138344411/396863503822084486805*c_1001_1^2 + 4448980077973761297/79372700764416897361*c_1001_1 + 24444077863084801807/396863503822084486805, c_0011_0 - 1, c_0011_10 - 93243526874206/2274876064441171*c_1001_1^14 + 749986976788418/2274876064441171*c_1001_1^13 - 1752761665942548/2274876064441171*c_1001_1^12 - 113815535255638/2274876064441171*c_1001_1^11 + 63391079732184/73383098852941*c_1001_1^10 + 10489430941833496/2274876064441171*c_1001_1^9 - 11854662068793348/2274876064441171*c_1001_1^8 - 32965403053728080/2274876064441171*c_1001_1^7 + 13129604688235899/2274876064441171*c_1001_1^6 + 77164463086387437/2274876064441171*c_1001_1^5 + 11906365209578237/2274876064441171*c_1001_1^4 - 99033155513786090/2274876064441171*c_1001_1^3 - 35523759487770885/2274876064441171*c_1001_1^2 + 51229370802157894/2274876064441171*c_1001_1 - 1420115265190647/2274876064441171, c_0011_3 - 1, c_0011_4 + 68862658194012/2274876064441171*c_1001_1^14 - 589628056498806/2274876064441171*c_1001_1^13 + 1560627089131116/2274876064441171*c_1001_1^12 - 456446266036774/2274876064441171*c_1001_1^11 - 54892052034889/73383098852941*c_1001_1^10 - 7148017631986159/2274876064441171*c_1001_1^9 + 12807655089836519/2274876064441171*c_1001_1^8 + 21669809648410182/2274876064441171*c_1001_1^7 - 22847076227162508/2274876064441171*c_1001_1^6 - 57179908596971959/2274876064441171*c_1001_1^5 + 18868286558287202/2274876064441171*c_1001_1^4 + 88500490913796648/2274876064441171*c_1001_1^3 - 2969021496384886/2274876064441171*c_1001_1^2 - 61326102716569787/2274876064441171*c_1001_1 + 8941039606895158/2274876064441171, c_0101_1 - 5016771397119/2274876064441171*c_1001_1^14 + 46718440303065/2274876064441171*c_1001_1^13 - 145571906334545/2274876064441171*c_1001_1^12 + 120138460594780/2274876064441171*c_1001_1^11 + 2633522633707/73383098852941*c_1001_1^10 + 444104837893740/2274876064441171*c_1001_1^9 - 1255460733821305/2274876064441171*c_1001_1^8 - 850263401297026/2274876064441171*c_1001_1^7 + 2494541271660611/2274876064441171*c_1001_1^6 + 2594353741325421/2274876064441171*c_1001_1^5 - 3686724785077303/2274876064441171*c_1001_1^4 - 3846458972750146/2274876064441171*c_1001_1^3 + 4528827831880431/2274876064441171*c_1001_1^2 + 402691158844521/2274876064441171*c_1001_1 - 5633774545511461/2274876064441171, c_0101_10 - 46030970148212/2274876064441171*c_1001_1^14 + 339671725582492/2274876064441171*c_1001_1^13 - 681185029780098/2274876064441171*c_1001_1^12 - 284881556514172/2274876064441171*c_1001_1^11 + 19569714751826/73383098852941*c_1001_1^10 + 5039044711984547/2274876064441171*c_1001_1^9 - 3158866223458970/2274876064441171*c_1001_1^8 - 15426721775201098/2274876064441171*c_1001_1^7 - 34295070391735/2274876064441171*c_1001_1^6 + 32193465369705147/2274876064441171*c_1001_1^5 + 15955854171674987/2274876064441171*c_1001_1^4 - 36420586727044562/2274876064441171*c_1001_1^3 - 24468893838311619/2274876064441171*c_1001_1^2 + 14432248095636973/2274876064441171*c_1001_1 + 1398627783691737/2274876064441171, c_0101_3 + 5016771397119/2274876064441171*c_1001_1^14 - 46718440303065/2274876064441171*c_1001_1^13 + 145571906334545/2274876064441171*c_1001_1^12 - 120138460594780/2274876064441171*c_1001_1^11 - 2633522633707/73383098852941*c_1001_1^10 - 444104837893740/2274876064441171*c_1001_1^9 + 1255460733821305/2274876064441171*c_1001_1^8 + 850263401297026/2274876064441171*c_1001_1^7 - 2494541271660611/2274876064441171*c_1001_1^6 - 2594353741325421/2274876064441171*c_1001_1^5 + 3686724785077303/2274876064441171*c_1001_1^4 + 3846458972750146/2274876064441171*c_1001_1^3 - 4528827831880431/2274876064441171*c_1001_1^2 - 402691158844521/2274876064441171*c_1001_1 + 1084022416629119/2274876064441171, c_0101_5 - 90863863769108/2274876064441171*c_1001_1^14 + 672188379589740/2274876064441171*c_1001_1^13 - 1359662433227062/2274876064441171*c_1001_1^12 - 500742757085748/2274876064441171*c_1001_1^11 + 37575653057494/73383098852941*c_1001_1^10 + 9618854214775480/2274876064441171*c_1001_1^9 - 6202293298057435/2274876064441171*c_1001_1^8 - 28937753358041221/2274876064441171*c_1001_1^7 + 1280267868768786/2274876064441171*c_1001_1^6 + 59511248635891857/2274876064441171*c_1001_1^5 + 24382410902729831/2274876064441171*c_1001_1^4 - 68780029990672055/2274876064441171*c_1001_1^3 - 36416915486025192/2274876064441171*c_1001_1^2 + 33528438187200243/2274876064441171*c_1001_1 + 89209204022033/2274876064441171, c_0101_6 - 99555424184020/2274876064441171*c_1001_1^14 + 699267632393238/2274876064441171*c_1001_1^13 - 1270084024301820/2274876064441171*c_1001_1^12 - 777429367402314/2274876064441171*c_1001_1^11 + 23457950653676/73383098852941*c_1001_1^10 + 10280682358486646/2274876064441171*c_1001_1^9 - 3631654936677990/2274876064441171*c_1001_1^8 - 29040578511356317/2274876064441171*c_1001_1^7 - 6595175341625758/2274876064441171*c_1001_1^6 + 55425612583449969/2274876064441171*c_1001_1^5 + 33690625741409569/2274876064441171*c_1001_1^4 - 56873192595899537/2274876064441171*c_1001_1^3 - 39661827640892122/2274876064441171*c_1001_1^2 + 26545372260883051/2274876064441171*c_1001_1 + 780450287019780/2274876064441171, c_0101_9 + 23202081046464/2274876064441171*c_1001_1^14 - 193943380184698/2274876064441171*c_1001_1^13 + 521387191064412/2274876064441171*c_1001_1^12 - 267635830990248/2274876064441171*c_1001_1^11 - 10276038003326/73383098852941*c_1001_1^10 - 2084737037384912/2274876064441171*c_1001_1^9 + 3940860016850814/2274876064441171*c_1001_1^8 + 4833403928981244/2274876064441171*c_1001_1^7 - 7245263813994976/2274876064441171*c_1001_1^6 - 12150781798241690/2274876064441171*c_1001_1^5 + 10065248416690644/2274876064441171*c_1001_1^4 + 18064967715306332/2274876064441171*c_1001_1^3 - 12740005124947061/2274876064441171*c_1001_1^2 - 13535090506819857/2274876064441171*c_1001_1 + 13773196639731567/2274876064441171, c_0110_5 - 99555424184020/2274876064441171*c_1001_1^14 + 699267632393238/2274876064441171*c_1001_1^13 - 1270084024301820/2274876064441171*c_1001_1^12 - 777429367402314/2274876064441171*c_1001_1^11 + 23457950653676/73383098852941*c_1001_1^10 + 10280682358486646/2274876064441171*c_1001_1^9 - 3631654936677990/2274876064441171*c_1001_1^8 - 29040578511356317/2274876064441171*c_1001_1^7 - 6595175341625758/2274876064441171*c_1001_1^6 + 55425612583449969/2274876064441171*c_1001_1^5 + 33690625741409569/2274876064441171*c_1001_1^4 - 56873192595899537/2274876064441171*c_1001_1^3 - 39661827640892122/2274876064441171*c_1001_1^2 + 26545372260883051/2274876064441171*c_1001_1 + 780450287019780/2274876064441171, c_1001_1^15 - 8*c_1001_1^14 + 19*c_1001_1^13 - c_1001_1^12 - 19*c_1001_1^11 - 104*c_1001_1^10 + 131*c_1001_1^9 + 312*c_1001_1^8 - 185*c_1001_1^7 - 742*c_1001_1^6 + 41*c_1001_1^5 + 1035*c_1001_1^4 + 131*c_1001_1^3 - 674*c_1001_1^2 + 81*c_1001_1 + 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB