Magma V2.19-8 Wed Aug 21 2013 00:51:17 on localhost [Seed = 1107580730] Type ? for help. Type -D to quit. Loading file "L11a273__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a273 geometric_solution 11.71823354 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 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 -1 2 -1 -1 0 1 0 0 -2 0 2 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454867079568 1.445012605963 0 3 5 4 0132 0132 0132 0132 1 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 -1 0 1 1 0 -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.018230727296 0.653513272589 6 7 0 3 0132 0132 0132 2310 0 0 1 0 0 0 -1 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 0 1 -1 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522781335313 0.748964022430 2 1 8 8 3201 0132 0132 0321 1 1 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 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.598130236307 0.393157197826 7 5 1 6 3012 0132 0132 0132 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 -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.580505064532 0.853698291467 9 4 10 1 0132 0132 0132 0132 1 0 0 1 0 0 0 0 -1 0 1 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 1 0 -2 1 -1 0 0 1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.244155430679 0.662030026552 2 11 4 10 0132 0132 0132 0132 1 0 0 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 1 -1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.092253636059 1.519402413258 9 2 8 4 1230 0132 2103 1230 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 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.345371823898 0.411272726949 7 3 11 3 2103 0321 1230 0132 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 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.167465264580 0.767387007245 5 7 12 10 0132 3012 0132 0321 1 0 1 0 0 0 0 0 1 0 0 -1 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 -1 0 0 1 -4 -1 0 5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.101142769441 0.948247007359 12 9 6 5 0132 0321 0132 0132 1 0 1 0 0 0 0 0 1 0 0 -1 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 0 0 0 -2 0 0 2 1 -5 0 4 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701893867698 0.875497703924 12 6 12 8 1302 0132 0321 3012 1 1 1 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 -1 1 0 0 0 -1 1 -1 0 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165169658691 0.829246930736 10 11 11 9 0132 2031 0321 0132 1 0 0 1 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 -1 0 2 0 -2 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.768971347050 1.159897059119 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0110_11']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0110_11'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : 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_0011_10'], 'c_0101_10' : d['c_0101_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_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_1100_9' : d['c_1001_10'], 'c_1100_8' : d['c_0110_11'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0110_11'], 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_11']), 'c_1100_10' : d['c_1100_1'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_0'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0011_8'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_1001_1'], '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' : d['c_1001_10'], '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' : d['c_0011_4'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_11']), '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_11'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_8']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0101_1']})} 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_4, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0101_7, c_0110_11, c_1001_1, c_1001_10, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 2290417251408812963542451/28537526933511547557632*c_1100_1^17 + 3378412906936886537801353/28537526933511547557632*c_1100_1^16 + 2138769648868336635632941/14268763466755773778816*c_1100_1^15 - 6051187013423230221787/68599824359402758552*c_1100_1^14 - 7787731247333014027042601/14268763466755773778816*c_1100_1^13 + 14193498565002842805700497/14268763466755773778816*c_1100_1^12 - 3115775086697351954539899/3567190866688943444704*c_1100_1^11 - 97797108398982363129943/187746887720470707616*c_1100_1^10 + 286019343418955611744321/28537526933511547557632*c_1100_1^9 + 1098187932912920379049357/390925026486459555584*c_1100_1^8 - 143361269725403644382807/46936721930117676904*c_1100_1^7 + 21253748135721035525332741/7134381733377886889408*c_1100_1^6 - 59011304569920833936114993/28537526933511547557632*c_1100_1^5 - 54743144735235589471917719/28537526933511547557632*c_1100_1^4 + 24480822585262604184732333/14268763466755773778816*c_1100_1^3 + 52702488232547471158681523/14268763466755773778816*c_1100_1^2 - 13232728049975656357290299/2195194379500888273664*c_1100_1 + 64411300488618241725148807/28537526933511547557632, c_0011_0 - 1, c_0011_10 - 1411430775885/73164405275746*c_1100_1^17 - 1965125303585/73164405275746*c_1100_1^16 + 2438874383457/36582202637873*c_1100_1^15 + 4365377069980/36582202637873*c_1100_1^14 - 2618067472996/36582202637873*c_1100_1^13 - 4558045625186/36582202637873*c_1100_1^12 + 6835920577429/36582202637873*c_1100_1^11 - 11282300204044/36582202637873*c_1100_1^10 - 46613920844621/73164405275746*c_1100_1^9 + 9154149761613/73164405275746*c_1100_1^8 + 40233068695478/36582202637873*c_1100_1^7 - 3033481895216/36582202637873*c_1100_1^6 + 42514074677923/73164405275746*c_1100_1^5 - 63726955897603/73164405275746*c_1100_1^4 - 37350479475319/36582202637873*c_1100_1^3 + 9739885596841/36582202637873*c_1100_1^2 + 109681362277991/73164405275746*c_1100_1 - 102997978140967/73164405275746, c_0011_11 + 1738367013295/36582202637873*c_1100_1^17 - 3800931403279/36582202637873*c_1100_1^16 - 2196100337707/36582202637873*c_1100_1^15 + 5325760391512/36582202637873*c_1100_1^14 + 12229384674966/36582202637873*c_1100_1^13 - 31640050593865/36582202637873*c_1100_1^12 + 27309066368728/36582202637873*c_1100_1^11 + 7296309532436/36582202637873*c_1100_1^10 - 10681493257119/36582202637873*c_1100_1^9 - 66760373932967/36582202637873*c_1100_1^8 + 115091925622196/36582202637873*c_1100_1^7 - 84666219718764/36582202637873*c_1100_1^6 + 66974092584958/36582202637873*c_1100_1^5 + 9048400012641/36582202637873*c_1100_1^4 - 82599717103924/36582202637873*c_1100_1^3 - 101199671153418/36582202637873*c_1100_1^2 + 217611807277776/36582202637873*c_1100_1 - 112514621770852/36582202637873, c_0011_4 + 4368290110409/73164405275746*c_1100_1^17 - 12873010545587/73164405275746*c_1100_1^16 - 2025263497199/36582202637873*c_1100_1^15 + 9930344804994/36582202637873*c_1100_1^14 + 18551599987760/36582202637873*c_1100_1^13 - 46517424028474/36582202637873*c_1100_1^12 + 45634081761024/36582202637873*c_1100_1^11 - 2446189191907/36582202637873*c_1100_1^10 - 58162173854857/73164405275746*c_1100_1^9 - 211805100157923/73164405275746*c_1100_1^8 + 177201140279708/36582202637873*c_1100_1^7 - 124671415178502/36582202637873*c_1100_1^6 + 281078577153509/73164405275746*c_1100_1^5 + 49688076733443/73164405275746*c_1100_1^4 - 141599278221783/36582202637873*c_1100_1^3 - 135625808627899/36582202637873*c_1100_1^2 + 621025198314097/73164405275746*c_1100_1 - 330166058403833/73164405275746, c_0011_8 - 2461950518899/73164405275746*c_1100_1^17 + 5779691224087/73164405275746*c_1100_1^16 + 588004634797/36582202637873*c_1100_1^15 - 4054654271855/36582202637873*c_1100_1^14 - 7961467882761/36582202637873*c_1100_1^13 + 25709270905983/36582202637873*c_1100_1^12 - 22690679286602/36582202637873*c_1100_1^11 + 2515943126676/36582202637873*c_1100_1^10 + 4562009569961/73164405275746*c_1100_1^9 + 91482397592391/73164405275746*c_1100_1^8 - 103123109884792/36582202637873*c_1100_1^7 + 63644903051790/36582202637873*c_1100_1^6 - 135447568164943/73164405275746*c_1100_1^5 + 66107542016161/73164405275746*c_1100_1^4 + 77608973461359/36582202637873*c_1100_1^3 + 61688032053163/36582202637873*c_1100_1^2 - 268762243064143/73164405275746*c_1100_1 + 126999677481287/73164405275746, c_0101_0 + 173728142019/73164405275746*c_1100_1^17 - 596384471057/73164405275746*c_1100_1^16 + 488841975593/36582202637873*c_1100_1^15 - 201898613552/36582202637873*c_1100_1^14 - 854970035527/36582202637873*c_1100_1^13 - 1804509740718/36582202637873*c_1100_1^12 + 6821004599060/36582202637873*c_1100_1^11 - 5830312429788/36582202637873*c_1100_1^10 + 134619685195/73164405275746*c_1100_1^9 + 3129620076387/73164405275746*c_1100_1^8 + 10343652151338/36582202637873*c_1100_1^7 - 26098211828906/36582202637873*c_1100_1^6 + 43529443094145/73164405275746*c_1100_1^5 - 10214632406341/73164405275746*c_1100_1^4 - 473766144811/36582202637873*c_1100_1^3 - 4504724476408/36582202637873*c_1100_1^2 - 17350677751259/73164405275746*c_1100_1 - 50075467385527/73164405275746, c_0101_1 + 173728142019/73164405275746*c_1100_1^17 - 596384471057/73164405275746*c_1100_1^16 + 488841975593/36582202637873*c_1100_1^15 - 201898613552/36582202637873*c_1100_1^14 - 854970035527/36582202637873*c_1100_1^13 - 1804509740718/36582202637873*c_1100_1^12 + 6821004599060/36582202637873*c_1100_1^11 - 5830312429788/36582202637873*c_1100_1^10 + 134619685195/73164405275746*c_1100_1^9 + 3129620076387/73164405275746*c_1100_1^8 + 10343652151338/36582202637873*c_1100_1^7 - 26098211828906/36582202637873*c_1100_1^6 + 43529443094145/73164405275746*c_1100_1^5 - 10214632406341/73164405275746*c_1100_1^4 - 473766144811/36582202637873*c_1100_1^3 - 4504724476408/36582202637873*c_1100_1^2 + 55813727524487/73164405275746*c_1100_1 - 50075467385527/73164405275746, c_0101_3 + 3997733545295/36582202637873*c_1100_1^17 - 7977584141825/36582202637873*c_1100_1^16 - 5990336790157/36582202637873*c_1100_1^15 + 9759007684054/36582202637873*c_1100_1^14 + 29166602011316/36582202637873*c_1100_1^13 - 63655188166717/36582202637873*c_1100_1^12 + 57614954997212/36582202637873*c_1100_1^11 + 15809072265620/36582202637873*c_1100_1^10 - 20323778366860/36582202637873*c_1100_1^9 - 158210574185252/36582202637873*c_1100_1^8 + 221686156031991/36582202637873*c_1100_1^7 - 167541185545008/36582202637873*c_1100_1^6 + 157756228057472/36582202637873*c_1100_1^5 + 62645491270480/36582202637873*c_1100_1^4 - 153116358540180/36582202637873*c_1100_1^3 - 209223858318078/36582202637873*c_1100_1^2 + 373864054356295/36582202637873*c_1100_1 - 169805643442247/36582202637873, c_0101_7 + 12453332039133/73164405275746*c_1100_1^17 - 15499766211791/73164405275746*c_1100_1^16 - 13221687509599/36582202637873*c_1100_1^15 + 4024120865519/36582202637873*c_1100_1^14 + 42753626731473/36582202637873*c_1100_1^13 - 67841986828752/36582202637873*c_1100_1^12 + 52982845810666/36582202637873*c_1100_1^11 + 50779034419783/36582202637873*c_1100_1^10 + 16822748821929/73164405275746*c_1100_1^9 - 417446925219621/73164405275746*c_1100_1^8 + 192132314049232/36582202637873*c_1100_1^7 - 192146873837477/36582202637873*c_1100_1^6 + 256291198539667/73164405275746*c_1100_1^5 + 372625037750085/73164405275746*c_1100_1^4 - 110971009426413/36582202637873*c_1100_1^3 - 315019191690989/36582202637873*c_1100_1^2 + 794952384044329/73164405275746*c_1100_1 - 258593160382977/73164405275746, c_0110_11 + 5533516571691/73164405275746*c_1100_1^17 - 10175477059563/73164405275746*c_1100_1^16 - 5402332155360/36582202637873*c_1100_1^15 + 5704353412199/36582202637873*c_1100_1^14 + 21205134128555/36582202637873*c_1100_1^13 - 37945917260734/36582202637873*c_1100_1^12 + 34924275710610/36582202637873*c_1100_1^11 + 18325015392296/36582202637873*c_1100_1^10 - 36085547163759/73164405275746*c_1100_1^9 - 224938750778113/73164405275746*c_1100_1^8 + 118563046147199/36582202637873*c_1100_1^7 - 103896282493218/36582202637873*c_1100_1^6 + 180064887950001/73164405275746*c_1100_1^5 + 191398524557121/73164405275746*c_1100_1^4 - 75507385078821/36582202637873*c_1100_1^3 - 147535826264915/36582202637873*c_1100_1^2 + 478965865648447/73164405275746*c_1100_1 - 212611609403207/73164405275746, c_1001_1 - 1, c_1001_10 + 451241953093/36582202637873*c_1100_1^17 - 1075796895683/36582202637873*c_1100_1^16 - 751599518994/36582202637873*c_1100_1^15 + 1708254418075/36582202637873*c_1100_1^14 + 3680710429303/36582202637873*c_1100_1^13 - 8847410067506/36582202637873*c_1100_1^12 + 6158214485414/36582202637873*c_1100_1^11 + 3816894116362/36582202637873*c_1100_1^10 - 3357567528043/36582202637873*c_1100_1^9 - 19184314342091/36582202637873*c_1100_1^8 + 31100632167392/36582202637873*c_1100_1^7 - 17634526585926/36582202637873*c_1100_1^6 + 9190689717825/36582202637873*c_1100_1^5 - 8225137488420/36582202637873*c_1100_1^4 - 19532658693770/36582202637873*c_1100_1^3 - 25768896054942/36582202637873*c_1100_1^2 + 44753891136088/36582202637873*c_1100_1 - 32566967512012/36582202637873, c_1100_1^18 - 2*c_1100_1^17 - c_1100_1^16 + 2*c_1100_1^15 + 6*c_1100_1^14 - 16*c_1100_1^13 + 18*c_1100_1^12 - 3*c_1100_1^10 - 34*c_1100_1^9 + 57*c_1100_1^8 - 60*c_1100_1^7 + 47*c_1100_1^6 + 8*c_1100_1^5 - 33*c_1100_1^4 - 32*c_1100_1^3 + 99*c_1100_1^2 - 72*c_1100_1 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.430 seconds, Total memory usage: 32.09MB