Magma V2.19-8 Wed Aug 21 2013 01:03:38 on localhost [Seed = 4206682823] Type ? for help. Type -D to quit. Loading file "L14n20701__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n20701 geometric_solution 12.06074585 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 0 1 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 0 1 -1 -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.242768004766 0.564545694902 0 4 6 5 0132 0132 0132 0132 0 1 1 1 0 0 -1 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 0 0 0 1 0 0 -1 -1 -6 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972668271873 1.289147370623 0 0 6 3 2031 0132 3012 2031 0 0 1 1 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 0 0 0 0 0 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.357158223905 1.494898627797 6 2 0 7 0132 1302 0132 0132 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 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 1.499187334431 0.875295938797 5 1 8 7 0213 0132 0132 0213 0 1 1 1 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 0.458249198486 0.637115465058 4 9 1 10 0213 0132 0132 0132 0 1 1 1 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 0 0 0 0 1 -1 0 0 0 0 6 1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166139530931 0.573337282643 3 2 11 1 0132 1230 0132 0132 0 1 1 0 0 -1 0 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 -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.611846676879 0.639914501894 9 11 3 4 2310 0132 0132 0213 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 -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.774582527126 0.910932675349 12 9 12 4 0132 0321 0213 0132 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 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.160423490294 0.824377413455 10 5 7 8 0321 0132 3201 0321 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 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.772556643899 1.168776251319 9 11 5 12 0321 2031 0132 0132 0 1 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 0 0 0 0 0 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.772556643899 1.168776251319 10 7 12 6 1302 0132 0132 0132 0 1 0 1 0 0 0 0 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 1 0 -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.166139530931 0.573337282643 8 8 10 11 0132 0213 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.772556643899 1.168776251319 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_1001_11'], 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : d['c_0011_11'], 's_3_11' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(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_1001_11'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1001_11'], 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_1001_6']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1100_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_1001_4'], 's_3_1' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : d['c_1100_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' : 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_5']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_5'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_5'], '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_0011_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : negation(d['c_0011_10']), '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_0011_5'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_0011_11'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : 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 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_1001_11, c_1001_4, c_1001_6, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 2187179052825515289434691/2353531232376032137464043520*c_1100_1^14 + 3767620305700593657407231/588382808094008034366010880*c_1100_1^13 + 43141865350697022070528373/2353531232376032137464043520*c_1100_1^12 + 2263658860090355645773967/117676561618801606873202176*c_1100_1^11 - 189746072875046504621879341/2353531232376032137464043520*c_1100_1\ ^10 - 204423326572680298724271559/470706246475206427492808704*c_110\ 0_1^9 - 1122822037121063782584081249/1176765616188016068732021760*c\ _1100_1^8 - 10822141909632172212723207/10232744488591444075930624*c\ _1100_1^7 + 4134034770857478968306797/18386962752937751073937840*c_\ 1100_1^6 + 764640148247378943899775627/235353123237603213746404352*\ c_1100_1^5 + 7353976150383094655717357779/1176765616188016068732021\ 760*c_1100_1^4 + 3386726051238569195032939909/470706246475206427492\ 808704*c_1100_1^3 + 143285111750724923787539883/2558186122147861018\ 9826560*c_1100_1^2 + 6318748918708048322141898103/23535312323760321\ 37464043520*c_1100_1 + 892458784163992222044140727/1176765616188016\ 068732021760, c_0011_0 - 1, c_0011_10 - 9630012611505056059/619030104225491811839*c_1100_1^14 - 60752903826919224751/619030104225491811839*c_1100_1^13 - 20938723894748692653/88432872032213115977*c_1100_1^12 - 60454258933433778304/619030104225491811839*c_1100_1^11 + 1005852275951248004544/619030104225491811839*c_1100_1^10 + 3985309446746533770547/619030104225491811839*c_1100_1^9 + 6722465958726253983255/619030104225491811839*c_1100_1^8 + 3512175244877003625932/619030104225491811839*c_1100_1^7 - 10527277315870060943411/619030104225491811839*c_1100_1^6 - 31053993602355554888878/619030104225491811839*c_1100_1^5 - 38374346442008092093548/619030104225491811839*c_1100_1^4 - 26682669082086103547424/619030104225491811839*c_1100_1^3 - 1815890751585455846067/88432872032213115977*c_1100_1^2 - 2873743486597902479574/619030104225491811839*c_1100_1 - 215279650873823843788/619030104225491811839, c_0011_11 + 394190228131899126/88432872032213115977*c_1100_1^14 + 2839283926284451924/88432872032213115977*c_1100_1^13 + 8184129409545002876/88432872032213115977*c_1100_1^12 + 7153689219959689001/88432872032213115977*c_1100_1^11 - 40999234919255081756/88432872032213115977*c_1100_1^10 - 201205600223534192300/88432872032213115977*c_1100_1^9 - 411794307384230033256/88432872032213115977*c_1100_1^8 - 338896968856741098948/88432872032213115977*c_1100_1^7 + 390782612860838637688/88432872032213115977*c_1100_1^6 + 1684092373204474906242/88432872032213115977*c_1100_1^5 + 2572516893345524320637/88432872032213115977*c_1100_1^4 + 2090536076308657012808/88432872032213115977*c_1100_1^3 + 1070977439216261401362/88432872032213115977*c_1100_1^2 + 360137282246066805740/88432872032213115977*c_1100_1 - 17912808380166640601/88432872032213115977, c_0011_3 - 1, c_0011_5 - 9691969153820675244/619030104225491811839*c_1100_1^14 - 62603599551807271351/619030104225491811839*c_1100_1^13 - 23105932470025358841/88432872032213115977*c_1100_1^12 - 107345137090956393255/619030104225491811839*c_1100_1^11 + 964607679557437194371/619030104225491811839*c_1100_1^10 + 4203817635899203914098/619030104225491811839*c_1100_1^9 + 7876804680310040209629/619030104225491811839*c_1100_1^8 + 5909884574355573091976/619030104225491811839*c_1100_1^7 - 8800975385004764073808/619030104225491811839*c_1100_1^6 - 33953334713010335326842/619030104225491811839*c_1100_1^5 - 49150031338095588819473/619030104225491811839*c_1100_1^4 - 41194335616833223756801/619030104225491811839*c_1100_1^3 - 2996358693489072084431/88432872032213115977*c_1100_1^2 - 3705569350411995627254/619030104225491811839*c_1100_1 + 766767552365958718013/619030104225491811839, c_0101_1 + 1164000378867128629/88432872032213115977*c_1100_1^14 + 7050148817832640094/88432872032213115977*c_1100_1^13 + 16913307016961303197/88432872032213115977*c_1100_1^12 + 7454402800842805855/88432872032213115977*c_1100_1^11 - 116612424705524118008/88432872032213115977*c_1100_1^10 - 459663499657685569001/88432872032213115977*c_1100_1^9 - 789535952010675896897/88432872032213115977*c_1100_1^8 - 467745576156394022665/88432872032213115977*c_1100_1^7 + 1159033124051066519643/88432872032213115977*c_1100_1^6 + 3616888352811305426949/88432872032213115977*c_1100_1^5 + 4724414706568401073361/88432872032213115977*c_1100_1^4 + 3555813986543095240017/88432872032213115977*c_1100_1^3 + 1553484049809473177433/88432872032213115977*c_1100_1^2 + 100546606775279287780/88432872032213115977*c_1100_1 - 194504241573527118028/88432872032213115977, c_0101_10 + 11012298711736782966/619030104225491811839*c_1100_1^14 + 67846467594119870850/619030104225491811839*c_1100_1^13 + 22883224411904356972/88432872032213115977*c_1100_1^12 + 56301092564833750637/619030104225491811839*c_1100_1^11 - 1142451400445002210450/619030104225491811839*c_1100_1^10 - 4407324405367892618285/619030104225491811839*c_1100_1^9 - 7275571888972073048468/619030104225491811839*c_1100_1^8 - 3526781001448969458954/619030104225491811839*c_1100_1^7 + 12008608746602908207296/619030104225491811839*c_1100_1^6 + 34091339202823563740382/619030104225491811839*c_1100_1^5 + 41444190016978302749424/619030104225491811839*c_1100_1^4 + 27989772898483921841118/619030104225491811839*c_1100_1^3 + 1818922747130227818797/88432872032213115977*c_1100_1^2 + 2413408608208275922418/619030104225491811839*c_1100_1 - 425339158817094911951/619030104225491811839, c_0101_2 - 1164000378867128629/88432872032213115977*c_1100_1^14 - 7050148817832640094/88432872032213115977*c_1100_1^13 - 16913307016961303197/88432872032213115977*c_1100_1^12 - 7454402800842805855/88432872032213115977*c_1100_1^11 + 116612424705524118008/88432872032213115977*c_1100_1^10 + 459663499657685569001/88432872032213115977*c_1100_1^9 + 789535952010675896897/88432872032213115977*c_1100_1^8 + 467745576156394022665/88432872032213115977*c_1100_1^7 - 1159033124051066519643/88432872032213115977*c_1100_1^6 - 3616888352811305426949/88432872032213115977*c_1100_1^5 - 4724414706568401073361/88432872032213115977*c_1100_1^4 - 3555813986543095240017/88432872032213115977*c_1100_1^3 - 1553484049809473177433/88432872032213115977*c_1100_1^2 - 100546606775279287780/88432872032213115977*c_1100_1 + 106071369541314002051/88432872032213115977, c_0101_6 + 174700121512721025/88432872032213115977*c_1100_1^14 + 1372871705449470891/88432872032213115977*c_1100_1^13 + 4276622949505118053/88432872032213115977*c_1100_1^12 + 4880006669674833575/88432872032213115977*c_1100_1^11 - 17053239511768050794/88432872032213115977*c_1100_1^10 - 100067358935313772444/88432872032213115977*c_1100_1^9 - 226925759898097049620/88432872032213115977*c_1100_1^8 - 235767356642926083440/88432872032213115977*c_1100_1^7 + 111602224558563163068/88432872032213115977*c_1100_1^6 + 863314652979230177852/88432872032213115977*c_1100_1^5 + 1524268732530451684478/88432872032213115977*c_1100_1^4 + 1489535480676195400061/88432872032213115977*c_1100_1^3 + 855020107377779481435/88432872032213115977*c_1100_1^2 + 242387063777443711998/88432872032213115977*c_1100_1 - 37225126564760057113/88432872032213115977, c_1001_11 - 28660048283660022/88432872032213115977*c_1100_1^14 + 836178507398610435/88432872032213115977*c_1100_1^13 + 5334821879916506367/88432872032213115977*c_1100_1^12 + 12475939306289174945/88432872032213115977*c_1100_1^11 + 5014479131717591405/88432872032213115977*c_1100_1^10 - 90273542636188950792/88432872032213115977*c_1100_1^9 - 343087427335372150555/88432872032213115977*c_1100_1^8 - 548831200053163352233/88432872032213115977*c_1100_1^7 - 245483490490033230381/88432872032213115977*c_1100_1^6 + 983984437298909079362/88432872032213115977*c_1100_1^5 + 2648689895803899905935/88432872032213115977*c_1100_1^4 + 3092432408486860529467/88432872032213115977*c_1100_1^3 + 1966229440051656477436/88432872032213115977*c_1100_1^2 + 642535206174722576498/88432872032213115977*c_1100_1 - 78585662205155213367/88432872032213115977, c_1001_4 - 174700121512721025/88432872032213115977*c_1100_1^14 - 1372871705449470891/88432872032213115977*c_1100_1^13 - 4276622949505118053/88432872032213115977*c_1100_1^12 - 4880006669674833575/88432872032213115977*c_1100_1^11 + 17053239511768050794/88432872032213115977*c_1100_1^10 + 100067358935313772444/88432872032213115977*c_1100_1^9 + 226925759898097049620/88432872032213115977*c_1100_1^8 + 235767356642926083440/88432872032213115977*c_1100_1^7 - 111602224558563163068/88432872032213115977*c_1100_1^6 - 863314652979230177852/88432872032213115977*c_1100_1^5 - 1524268732530451684478/88432872032213115977*c_1100_1^4 - 1489535480676195400061/88432872032213115977*c_1100_1^3 - 855020107377779481435/88432872032213115977*c_1100_1^2 - 242387063777443711998/88432872032213115977*c_1100_1 + 37225126564760057113/88432872032213115977, c_1001_6 - 1164000378867128629/88432872032213115977*c_1100_1^14 - 7050148817832640094/88432872032213115977*c_1100_1^13 - 16913307016961303197/88432872032213115977*c_1100_1^12 - 7454402800842805855/88432872032213115977*c_1100_1^11 + 116612424705524118008/88432872032213115977*c_1100_1^10 + 459663499657685569001/88432872032213115977*c_1100_1^9 + 789535952010675896897/88432872032213115977*c_1100_1^8 + 467745576156394022665/88432872032213115977*c_1100_1^7 - 1159033124051066519643/88432872032213115977*c_1100_1^6 - 3616888352811305426949/88432872032213115977*c_1100_1^5 - 4724414706568401073361/88432872032213115977*c_1100_1^4 - 3555813986543095240017/88432872032213115977*c_1100_1^3 - 1553484049809473177433/88432872032213115977*c_1100_1^2 - 100546606775279287780/88432872032213115977*c_1100_1 + 194504241573527118028/88432872032213115977, c_1100_1^15 + 7*c_1100_1^14 + 20*c_1100_1^13 + 19*c_1100_1^12 - 96*c_1100_1^11 - 488*c_1100_1^10 - 1028*c_1100_1^9 - 979*c_1100_1^8 + 686*c_1100_1^7 + 4028*c_1100_1^6 + 6748*c_1100_1^5 + 6459*c_1100_1^4 + 3891*c_1100_1^3 + 1256*c_1100_1^2 + 23*c_1100_1 - 113 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB