Magma V2.19-8 Wed Aug 21 2013 00:32:21 on localhost [Seed = 3516383536] Type ? for help. Type -D to quit. Loading file "K14n19265__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n19265 geometric_solution 10.85146727 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 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 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 0 0 0.104318017730 0.579191433250 0 3 2 5 0132 1023 1023 0132 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 -1 1 0 1 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.104318017730 0.579191433250 6 0 1 7 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.065005490656 0.854745719923 1 8 9 0 1023 0132 0132 0132 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 -1 1 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.065005490656 0.854745719923 5 5 0 8 0213 2103 0132 3120 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 1 -1 0 0 0 0 -1 -1 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213291964190 0.315797191055 4 4 1 10 0213 2103 0132 0132 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 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.213291964190 0.315797191055 2 10 11 9 0132 2103 0132 3120 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 -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.016960741896 0.422845219957 9 8 2 11 2310 0213 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 0 0 0 0 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.261604268793 0.920854474004 4 3 7 10 3120 0132 0213 2310 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 -2 2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812885692217 0.672217719441 6 12 7 3 3120 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379392154788 1.408494388287 8 6 5 12 3201 2103 0132 3120 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 -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.983214196352 3.273461418641 12 7 12 6 3201 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653442691175 1.404990015712 10 9 11 11 3120 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.214798638335 0.925072407715 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_0011_0'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0011_5'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_0011_5'], 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0101_6']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], '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' : 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' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : negation(d['c_0011_7']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : d['c_0101_12'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_7']), 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_0011_5'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0101_11'], '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_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_12']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['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_12, c_0011_4, c_0011_5, c_0011_7, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 147650358352187047681250/76128995567393676532229671*c_1001_0^7 + 69216163146725405368750/76128995567393676532229671*c_1001_0^6 + 137651089151164060201875/76128995567393676532229671*c_1001_0^5 - 457176697255901023276875/76128995567393676532229671*c_1001_0^4 + 158564575705797751954375/1856804769936431134932431*c_1001_0^3 - 12312852058566012197360625/76128995567393676532229671*c_1001_0^2 + 16266471046311250227482875/76128995567393676532229671*c_1001_0 - 26381148172619109589811875/76128995567393676532229671, c_0011_0 - 1, c_0011_10 + 25836252025/984586393901*c_1001_0^7 - 22643605895/984586393901*c_1001_0^6 + 100456111660/984586393901*c_1001_0^5 - 228593438385/984586393901*c_1001_0^4 - 181614014550/984586393901*c_1001_0^3 - 33062430004/984586393901*c_1001_0^2 - 39078021018/984586393901*c_1001_0 + 508963854939/984586393901, c_0011_11 + 713422750/89507853991*c_1001_0^7 - 2657443630/89507853991*c_1001_0^6 + 13704650900/89507853991*c_1001_0^5 - 27006631675/89507853991*c_1001_0^4 + 49820936110/89507853991*c_1001_0^3 - 74682372511/89507853991*c_1001_0^2 - 41736721116/89507853991*c_1001_0 + 91954374684/89507853991, c_0011_12 + 6644680975/984586393901*c_1001_0^7 + 51350981755/984586393901*c_1001_0^6 + 69712153175/984586393901*c_1001_0^5 + 163994617300/984586393901*c_1001_0^4 - 138340194320/984586393901*c_1001_0^3 - 543982480989/984586393901*c_1001_0^2 - 216976153850/984586393901*c_1001_0 - 563077618468/984586393901, c_0011_4 + 12611671100/984586393901*c_1001_0^7 - 20214214525/984586393901*c_1001_0^6 + 63260428480/984586393901*c_1001_0^5 - 154663519100/984586393901*c_1001_0^4 - 1984886470/984586393901*c_1001_0^3 - 86920503620/984586393901*c_1001_0^2 - 468919146780/984586393901*c_1001_0 + 253427197711/984586393901, c_0011_5 + 10448369850/984586393901*c_1001_0^7 - 20764388325/984586393901*c_1001_0^6 + 26085798680/984586393901*c_1001_0^5 - 91540910375/984586393901*c_1001_0^4 + 28684204730/984586393901*c_1001_0^3 + 100633060325/984586393901*c_1001_0^2 - 42464865890/984586393901*c_1001_0 + 42482886584/984586393901, c_0011_7 - 300308875/984586393901*c_1001_0^7 - 36714455180/984586393901*c_1001_0^6 + 68198081265/984586393901*c_1001_0^5 - 46457580265/984586393901*c_1001_0^4 + 215429925005/984586393901*c_1001_0^3 - 23761218831/984586393901*c_1001_0^2 - 352851270338/984586393901*c_1001_0 - 530614654799/984586393901, c_0101_10 + 55719075/89507853991*c_1001_0^7 + 1616802105/89507853991*c_1001_0^6 - 2369522300/89507853991*c_1001_0^5 + 7339418165/89507853991*c_1001_0^4 - 16149476510/89507853991*c_1001_0^3 + 12798052476/89507853991*c_1001_0^2 - 7802374669/89507853991*c_1001_0 - 89316084944/89507853991, c_0101_11 - 36779593625/984586393901*c_1001_0^7 + 78455238225/984586393901*c_1001_0^6 - 226494893200/984586393901*c_1001_0^5 + 539519886310/984586393901*c_1001_0^4 - 553039126140/984586393901*c_1001_0^3 + 253051038620/984586393901*c_1001_0^2 - 213052399776/984586393901*c_1001_0 - 94002116950/984586393901, c_0101_12 + 5606414750/984586393901*c_1001_0^7 + 37318633730/984586393901*c_1001_0^6 - 5337380185/984586393901*c_1001_0^5 + 240235248960/984586393901*c_1001_0^4 - 383441588840/984586393901*c_1001_0^3 + 363155400511/984586393901*c_1001_0^2 - 798306702826/984586393901*c_1001_0 - 612083648966/984586393901, c_0101_2 - 769141825/89507853991*c_1001_0^7 + 1040641525/89507853991*c_1001_0^6 - 11335128600/89507853991*c_1001_0^5 + 19667213510/89507853991*c_1001_0^4 - 33671459600/89507853991*c_1001_0^3 + 61884320035/89507853991*c_1001_0^2 - 39968758206/89507853991*c_1001_0 - 2638289740/89507853991, c_0101_6 - 32645636050/984586393901*c_1001_0^7 + 65907833850/984586393901*c_1001_0^6 - 176157738200/984586393901*c_1001_0^5 + 449425755150/984586393901*c_1001_0^4 - 121314888140/984586393901*c_1001_0^3 - 52569353875/984586393901*c_1001_0^2 + 94926108369/984586393901*c_1001_0 - 1471455945965/984586393901, c_1001_0^8 - 2*c_1001_0^7 + 6*c_1001_0^6 - 16*c_1001_0^5 + 42/5*c_1001_0^4 - 52/5*c_1001_0^3 + 9/5*c_1001_0^2 + 46*c_1001_0 + 2111/25 ], 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_4, c_0011_5, c_0011_7, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 47669366454105029291588/1039664543773999089*c_1001_0^9 + 316701118378048097859382/1039664543773999089*c_1001_0^8 + 258334624658131626428625/346554847924666363*c_1001_0^7 + 683168236019551365661150/1039664543773999089*c_1001_0^6 + 1709000414548878979002949/1039664543773999089*c_1001_0^5 + 696590031412263917408896/1039664543773999089*c_1001_0^4 + 1787480308677397175568674/346554847924666363*c_1001_0^3 - 450355783649880705306820/346554847924666363*c_1001_0^2 + 1291178252834019000056083/346554847924666363*c_1001_0 - 2597011884970670515228657/1039664543773999089, c_0011_0 - 1, c_0011_10 - 18731937/45619845023*c_1001_0^9 + 196438277/45619845023*c_1001_0^8 + 1332591508/45619845023*c_1001_0^7 + 952703537/45619845023*c_1001_0^6 - 6759458391/45619845023*c_1001_0^5 + 4920395760/45619845023*c_1001_0^4 + 2255803636/45619845023*c_1001_0^3 + 13813509585/45619845023*c_1001_0^2 - 38130387326/45619845023*c_1001_0 - 2111258822/45619845023, c_0011_11 - 52651228/45619845023*c_1001_0^9 - 350812010/45619845023*c_1001_0^8 - 1013630658/45619845023*c_1001_0^7 - 1617060768/45619845023*c_1001_0^6 - 2326934476/45619845023*c_1001_0^5 + 2068442574/45619845023*c_1001_0^4 - 10213812878/45619845023*c_1001_0^3 + 6981992413/45619845023*c_1001_0^2 + 35213977925/45619845023*c_1001_0 - 9914904562/45619845023, c_0011_12 - 302252471/45619845023*c_1001_0^9 - 2387877650/45619845023*c_1001_0^8 - 6471804900/45619845023*c_1001_0^7 - 3975285460/45619845023*c_1001_0^6 - 1508852607/45619845023*c_1001_0^5 - 10021795390/45619845023*c_1001_0^4 - 14053625364/45619845023*c_1001_0^3 - 12001442301/45619845023*c_1001_0^2 + 29015671788/45619845023*c_1001_0 - 13405846321/45619845023, c_0011_4 - 1130575764/45619845023*c_1001_0^9 - 7359807190/45619845023*c_1001_0^8 - 17362476182/45619845023*c_1001_0^7 - 13986316027/45619845023*c_1001_0^6 - 39613163682/45619845023*c_1001_0^5 - 11656584818/45619845023*c_1001_0^4 - 117628462066/45619845023*c_1001_0^3 + 47532595143/45619845023*c_1001_0^2 - 105619262888/45619845023*c_1001_0 + 58551336205/45619845023, c_0011_5 + 1130575764/45619845023*c_1001_0^9 + 7359807190/45619845023*c_1001_0^8 + 17362476182/45619845023*c_1001_0^7 + 13986316027/45619845023*c_1001_0^6 + 39613163682/45619845023*c_1001_0^5 + 11656584818/45619845023*c_1001_0^4 + 117628462066/45619845023*c_1001_0^3 - 47532595143/45619845023*c_1001_0^2 + 105619262888/45619845023*c_1001_0 - 58551336205/45619845023, c_0011_7 + 26325614/45619845023*c_1001_0^9 + 175406005/45619845023*c_1001_0^8 + 506815329/45619845023*c_1001_0^7 + 808530384/45619845023*c_1001_0^6 + 1163467238/45619845023*c_1001_0^5 - 1034221287/45619845023*c_1001_0^4 + 5106906439/45619845023*c_1001_0^3 + 19318926305/45619845023*c_1001_0^2 + 5202933549/45619845023*c_1001_0 + 4957452281/45619845023, c_0101_10 + 26325614/45619845023*c_1001_0^9 + 175406005/45619845023*c_1001_0^8 + 506815329/45619845023*c_1001_0^7 + 808530384/45619845023*c_1001_0^6 + 1163467238/45619845023*c_1001_0^5 - 1034221287/45619845023*c_1001_0^4 + 5106906439/45619845023*c_1001_0^3 + 19318926305/45619845023*c_1001_0^2 + 5202933549/45619845023*c_1001_0 - 40662392742/45619845023, c_0101_11 - 320984408/45619845023*c_1001_0^9 - 2191439373/45619845023*c_1001_0^8 - 5139213392/45619845023*c_1001_0^7 - 3022581923/45619845023*c_1001_0^6 - 8268310998/45619845023*c_1001_0^5 - 5101399630/45619845023*c_1001_0^4 - 11797821728/45619845023*c_1001_0^3 + 1812067284/45619845023*c_1001_0^2 + 36505129485/45619845023*c_1001_0 - 15517105143/45619845023, c_0101_12 - 26325614/45619845023*c_1001_0^9 - 175406005/45619845023*c_1001_0^8 - 506815329/45619845023*c_1001_0^7 - 808530384/45619845023*c_1001_0^6 - 1163467238/45619845023*c_1001_0^5 + 1034221287/45619845023*c_1001_0^4 - 5106906439/45619845023*c_1001_0^3 - 19318926305/45619845023*c_1001_0^2 - 5202933549/45619845023*c_1001_0 - 4957452281/45619845023, c_0101_2 + c_1001_0, c_0101_6 + 320984408/45619845023*c_1001_0^9 + 2191439373/45619845023*c_1001_0^8 + 5139213392/45619845023*c_1001_0^7 + 3022581923/45619845023*c_1001_0^6 + 8268310998/45619845023*c_1001_0^5 + 5101399630/45619845023*c_1001_0^4 + 11797821728/45619845023*c_1001_0^3 - 1812067284/45619845023*c_1001_0^2 - 36505129485/45619845023*c_1001_0 + 15517105143/45619845023, c_1001_0^10 + 6*c_1001_0^9 + 12*c_1001_0^8 + 4*c_1001_0^7 + 27*c_1001_0^6 - 8*c_1001_0^5 + 104*c_1001_0^4 - 100*c_1001_0^3 + 102*c_1001_0^2 - 106*c_1001_0 + 37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 32.890 Total time: 33.100 seconds, Total memory usage: 96.16MB