Magma V2.19-8 Tue Aug 20 2013 23:38:37 on localhost [Seed = 879906823] Type ? for help. Type -D to quit. Loading file "K10n1__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n1 geometric_solution 10.46724624 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 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 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.996497000029 1.117097707552 0 4 6 5 0132 1023 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 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.100193461400 0.615676867969 7 0 5 8 0132 0132 2310 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 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.904071858355 1.655897415598 9 8 6 0 0132 0132 1023 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 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 1.118966038002 0.333497241317 1 7 0 10 1023 0132 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 1 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.068214631200 0.750325129468 9 2 1 10 2103 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.952035929178 0.827948707799 11 11 3 1 0132 1230 1023 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 -1 0 1 1 0 -1 0 5 -4 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651046467130 0.524258634118 2 4 9 10 0132 0132 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068214631200 0.750325129468 11 3 2 10 1023 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577734937767 0.273313047261 3 7 5 11 0132 0213 2103 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.756960638347 0.517937062025 7 8 4 5 3201 0321 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.746278680738 0.880626967387 6 8 6 9 0132 1023 3012 2103 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 -1 1 0 -1 0 1 0 -1 0 0 1 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068214631200 0.750325129468 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0011_5'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : negation(d['c_0110_10']), 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0110_10']), 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_0101_6'], 's_0_10' : d['1'], 's_3_10' : 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' : 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_11'], 'c_1100_8' : d['c_0011_5'], 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_5'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_10']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0110_10'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : negation(d['c_0110_10']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0101_6'], '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' : 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' : negation(d['1']), 's_1_6' : 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' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_10']), '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_0011_11'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0101_1']})} 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_11, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_6, c_0110_10, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t + 20864/11*c_1100_0^6 + 50228/11*c_1100_0^5 + 25480/11*c_1100_0^4 - 2665*c_1100_0^3 - 56387/22*c_1100_0^2 + 1429/11*c_1100_0 + 12025/22, c_0011_0 - 1, c_0011_10 + c_1100_0, c_0011_11 - 8*c_1100_0^6 - 24*c_1100_0^5 - 18*c_1100_0^4 + 9*c_1100_0^3 + 15*c_1100_0^2 + c_1100_0 - 3, c_0011_5 - 8*c_1100_0^6 - 24*c_1100_0^5 - 18*c_1100_0^4 + 9*c_1100_0^3 + 13*c_1100_0^2 - 2, c_0101_0 - 16*c_1100_0^6 - 32*c_1100_0^5 - 12*c_1100_0^4 + 18*c_1100_0^3 + 12*c_1100_0^2 - c_1100_0 - 2, c_0101_1 - 8*c_1100_0^6 - 24*c_1100_0^5 - 18*c_1100_0^4 + 9*c_1100_0^3 + 15*c_1100_0^2 + c_1100_0 - 3, c_0101_10 - 8*c_1100_0^6 - 16*c_1100_0^5 - 10*c_1100_0^4 + 3*c_1100_0^3 + 6*c_1100_0^2 + 2*c_1100_0 - 1, c_0101_3 - 8*c_1100_0^5 - 16*c_1100_0^4 - 2*c_1100_0^3 + 11*c_1100_0^2 + 4*c_1100_0 - 3, c_0101_6 - 8*c_1100_0^5 - 16*c_1100_0^4 - 2*c_1100_0^3 + 11*c_1100_0^2 + 3*c_1100_0 - 3, c_0110_10 - 8*c_1100_0^6 - 24*c_1100_0^5 - 18*c_1100_0^4 + 9*c_1100_0^3 + 13*c_1100_0^2 - 2, c_1001_0 - 16*c_1100_0^6 - 32*c_1100_0^5 - 12*c_1100_0^4 + 18*c_1100_0^3 + 14*c_1100_0^2 - 3, c_1100_0^7 + 2*c_1100_0^6 + 1/4*c_1100_0^5 - 15/8*c_1100_0^4 - 3/4*c_1100_0^3 + 5/8*c_1100_0^2 + 1/4*c_1100_0 - 1/8 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_6, c_0110_10, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 1624667979908481646975/1282525035713460134*c_1100_0^13 - 1413625359904814310185/2565050071426920268*c_1100_0^12 - 3152443691880877022107/2565050071426920268*c_1100_0^11 + 791323578987958095677/2565050071426920268*c_1100_0^10 + 2035293800912129962218/641262517856730067*c_1100_0^9 - 6499301802012500459879/1282525035713460134*c_1100_0^8 + 3805751538730869661401/1282525035713460134*c_1100_0^7 - 339967796384281221291/1282525035713460134*c_1100_0^6 + 469647171028676830447/1282525035713460134*c_1100_0^5 + 1733041828692012642769/2565050071426920268*c_1100_0^4 - 1238652242578870137081/1282525035713460134*c_1100_0^3 + 694580610735478794413/2565050071426920268*c_1100_0^2 + 296845820572215251/1188073215112052*c_1100_0 - 217085815737668989323/2565050071426920268, c_0011_0 - 1, c_0011_10 - 1803571983059050/297018303778013*c_1100_0^13 + 801768273712665/297018303778013*c_1100_0^12 + 2085535029079288/297018303778013*c_1100_0^11 - 796559214416490/297018303778013*c_1100_0^10 - 4813357629601756/297018303778013*c_1100_0^9 + 7621358746379748/297018303778013*c_1100_0^8 - 3294760656303563/297018303778013*c_1100_0^7 - 1458371581979157/297018303778013*c_1100_0^6 + 754895898813994/297018303778013*c_1100_0^5 - 1156790453952986/297018303778013*c_1100_0^4 + 1440049816840433/297018303778013*c_1100_0^3 - 444844406241560/297018303778013*c_1100_0^2 - 660613899164494/297018303778013*c_1100_0 + 401133586550632/297018303778013, c_0011_11 - 6558159556069650/297018303778013*c_1100_0^13 + 3090542855008570/297018303778013*c_1100_0^12 + 5987091790096154/297018303778013*c_1100_0^11 - 1715696096507617/297018303778013*c_1100_0^10 - 16307878331293075/297018303778013*c_1100_0^9 + 26804399624466201/297018303778013*c_1100_0^8 - 16833491709074766/297018303778013*c_1100_0^7 + 2978503026665844/297018303778013*c_1100_0^6 - 3090595601838867/297018303778013*c_1100_0^5 - 2659087929362250/297018303778013*c_1100_0^4 + 4830051701676695/297018303778013*c_1100_0^3 - 1712749587619445/297018303778013*c_1100_0^2 - 1219804200656243/297018303778013*c_1100_0 + 460996174099379/297018303778013, c_0011_5 - 4910173643763675/297018303778013*c_1100_0^13 + 2726604653528240/297018303778013*c_1100_0^12 + 4779106415675103/297018303778013*c_1100_0^11 - 2075131969040115/297018303778013*c_1100_0^10 - 12477558956067499/297018303778013*c_1100_0^9 + 21283954267260708/297018303778013*c_1100_0^8 - 13090332613664662/297018303778013*c_1100_0^7 + 829875221525220/297018303778013*c_1100_0^6 - 452259661207390/297018303778013*c_1100_0^5 - 2629455217451612/297018303778013*c_1100_0^4 + 4349791113685793/297018303778013*c_1100_0^3 - 1787426475078406/297018303778013*c_1100_0^2 - 856642054200312/297018303778013*c_1100_0 + 521907210461260/297018303778013, c_0101_0 - 5367767036332325/297018303778013*c_1100_0^13 + 3062536022004935/297018303778013*c_1100_0^12 + 5615927660503582/297018303778013*c_1100_0^11 - 2133870696202880/297018303778013*c_1100_0^10 - 13853702783695518/297018303778013*c_1100_0^9 + 23269826341755363/297018303778013*c_1100_0^8 - 13834171786105314/297018303778013*c_1100_0^7 + 290840966427727/297018303778013*c_1100_0^6 - 348710572017362/297018303778013*c_1100_0^5 - 2886099920152230/297018303778013*c_1100_0^4 + 4956745599094179/297018303778013*c_1100_0^3 - 1630482100333010/297018303778013*c_1100_0^2 - 1190277348851079/297018303778013*c_1100_0 + 698025024179801/297018303778013, c_0101_1 - 4278122853455200/297018303778013*c_1100_0^13 + 2685128148176210/297018303778013*c_1100_0^12 + 4342296642755962/297018303778013*c_1100_0^11 - 1891789472248531/297018303778013*c_1100_0^10 - 11019411221648609/297018303778013*c_1100_0^9 + 19064288192883008/297018303778013*c_1100_0^8 - 12099973942360877/297018303778013*c_1100_0^7 + 1138203216704134/297018303778013*c_1100_0^6 - 504465332201586/297018303778013*c_1100_0^5 - 2223696881092154/297018303778013*c_1100_0^4 + 3765882815224352/297018303778013*c_1100_0^3 - 965387991309173/297018303778013*c_1100_0^2 - 1032669653518966/297018303778013*c_1100_0 + 490659410021319/297018303778013, c_0101_10 - 1791208127238475/297018303778013*c_1100_0^13 + 1237015729321505/297018303778013*c_1100_0^12 + 1565397213012186/297018303778013*c_1100_0^11 - 776229998807020/297018303778013*c_1100_0^10 - 4221011858307036/297018303778013*c_1100_0^9 + 8242107878825078/297018303778013*c_1100_0^8 - 6021376223176969/297018303778013*c_1100_0^7 + 1625093450337403/297018303778013*c_1100_0^6 - 547604619281091/297018303778013*c_1100_0^5 - 1187013055207109/297018303778013*c_1100_0^4 + 1966355694919770/297018303778013*c_1100_0^3 - 993520049310218/297018303778013*c_1100_0^2 - 53189451052700/297018303778013*c_1100_0 + 289708583496575/297018303778013, c_0101_3 - 3737260463843125/297018303778013*c_1100_0^13 + 1449871698931050/297018303778013*c_1100_0^12 + 3987738408810785/297018303778013*c_1100_0^11 - 773516551084003/297018303778013*c_1100_0^10 - 9742920943689493/297018303778013*c_1100_0^9 + 14299211158398434/297018303778013*c_1100_0^8 - 7303249990881794/297018303778013*c_1100_0^7 - 336246682942589/297018303778013*c_1100_0^6 - 648090328160462/297018303778013*c_1100_0^5 - 2254285562091197/297018303778013*c_1100_0^4 + 3305886042375352/297018303778013*c_1100_0^3 - 734894374097932/297018303778013*c_1100_0^2 - 1043563512203480/297018303778013*c_1100_0 + 387243300841371/297018303778013, c_0101_6 - 3638608903907125/297018303778013*c_1100_0^13 + 1611079348973400/297018303778013*c_1100_0^12 + 3711315650816630/297018303778013*c_1100_0^11 - 772321395209612/297018303778013*c_1100_0^10 - 9651374624176222/297018303778013*c_1100_0^9 + 14304252794922547/297018303778013*c_1100_0^8 - 7921937427431702/297018303778013*c_1100_0^7 + 820797803139776/297018303778013*c_1100_0^6 - 2026454793603809/297018303778013*c_1100_0^5 - 1041709425785740/297018303778013*c_1100_0^4 + 2707887270659634/297018303778013*c_1100_0^3 - 725464970683350/297018303778013*c_1100_0^2 - 921123239331207/297018303778013*c_1100_0 + 195927892067749/297018303778013, c_0110_10 - 3242396018863550/297018303778013*c_1100_0^13 + 1352782471596140/297018303778013*c_1100_0^12 + 3410939638331758/297018303778013*c_1100_0^11 - 699777572321535/297018303778013*c_1100_0^10 - 8307397495473398/297018303778013*c_1100_0^9 + 12856972832163461/297018303778013*c_1100_0^8 - 6759975480266089/297018303778013*c_1100_0^7 - 62127325105873/297018303778013*c_1100_0^6 - 665189099985267/297018303778013*c_1100_0^5 - 1780590232536467/297018303778013*c_1100_0^4 + 2399971877154588/297018303778013*c_1100_0^3 - 257487162602056/297018303778013*c_1100_0^2 - 868736668747176/297018303778013*c_1100_0 + 347597053657565/297018303778013, c_1001_0 - 7554365598557850/297018303778013*c_1100_0^13 + 3358563526562580/297018303778013*c_1100_0^12 + 8373991677085676/297018303778013*c_1100_0^11 - 2361021130258937/297018303778013*c_1100_0^10 - 19755541042751924/297018303778013*c_1100_0^9 + 30605960333599985/297018303778013*c_1100_0^8 - 15493246832530417/297018303778013*c_1100_0^7 - 2570749177384603/297018303778013*c_1100_0^6 + 837120979602669/297018303778013*c_1100_0^5 - 4712153176836805/297018303778013*c_1100_0^4 + 6319611404713706/297018303778013*c_1100_0^3 - 1420155574235839/297018303778013*c_1100_0^2 - 2045355378490706/297018303778013*c_1100_0 + 872249818143137/297018303778013, c_1100_0^14 - 4/5*c_1100_0^13 - 19/25*c_1100_0^12 + 16/25*c_1100_0^11 + 59/25*c_1100_0^10 - 124/25*c_1100_0^9 + 98/25*c_1100_0^8 - 28/25*c_1100_0^7 + 7/25*c_1100_0^6 + 13/25*c_1100_0^5 - 24/25*c_1100_0^4 + 14/25*c_1100_0^3 + 3/25*c_1100_0^2 - 4/25*c_1100_0 + 1/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.570 Total time: 0.800 seconds, Total memory usage: 32.09MB