Magma V2.19-8 Wed Aug 21 2013 01:07:11 on localhost [Seed = 1764716948] Type ? for help. Type -D to quit. Loading file "L14n32956__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32956 geometric_solution 11.69690909 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 0 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.896144175287 0.841213289263 0 5 3 6 0132 0132 3012 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687194486673 0.425414558962 7 0 5 8 0132 0132 3120 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 1 0 -1 1 0 -5 4 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.675241209502 0.740810128890 6 1 7 0 0132 1230 3012 0132 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.199997226400 0.688544785239 8 6 0 9 1023 3120 0132 0132 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 -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.408151458626 0.824067230554 10 1 2 9 0132 0132 3120 3201 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 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.675241209502 0.740810128890 3 4 1 10 0132 3120 0132 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 1.515017142891 1.011109833502 2 3 9 11 0132 1230 1230 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 -1 0 0 1 -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.592398983480 0.333738908329 10 4 2 12 2103 1023 0132 0132 1 0 1 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 0 1 -1 5 0 -4 -1 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.595002545978 1.477288415915 11 5 4 7 0213 2310 0132 3012 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 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.595002545978 1.477288415915 5 6 8 12 0132 2310 2103 2103 1 0 1 1 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 0 -1 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592398983480 0.333738908329 9 12 7 12 0213 2103 0132 3120 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 0 0 0 0 0 -1 1 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.394296146125 1.404026258064 11 11 8 10 3120 2103 0132 2103 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 -1 -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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259050735841 0.600481626401 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0011_4'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_1001_2']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : d['c_0101_1'], 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : negation(d['c_0011_12']), '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_9'], '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_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_5']), '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' : negation(d['c_0101_5']), '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_9'], 'c_0011_8' : 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_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_12'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_12'], 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0011_9'], 'c_0110_6' : d['c_0011_12']})} 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_11, c_0011_12, c_0011_3, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_5, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 29823734599664522492680662729125/176913763901208929333756263899136*\ c_1001_7^14 - 14837023104680346559544825831435/88456881950604464666\ 878131949568*c_1001_7^13 + 115378855524726226490005163562873/884568\ 81950604464666878131949568*c_1001_7^12 + 432389895963594722016247669676837/176913763901208929333756263899136\ *c_1001_7^11 - 462506946922637577620709647423567/176913763901208929\ 333756263899136*c_1001_7^10 - 1725285050494706527007861556216093/17\ 6913763901208929333756263899136*c_1001_7^9 - 158530089681847299179601606648709/44228440975302232333439065974784*\ c_1001_7^8 + 2728680772825367317598635991210905/1769137639012089293\ 33756263899136*c_1001_7^7 + 4203588199140082767737225344572273/1769\ 13763901208929333756263899136*c_1001_7^6 + 2833449198852065003889181580601/1005191840347778007578160590336*c_1\ 001_7^5 - 5855714219877657648760560464342223/1769137639012089293337\ 56263899136*c_1001_7^4 - 1717626379212430151237622210859537/4422844\ 0975302232333439065974784*c_1001_7^3 - 473356185809169469506219790453267/176913763901208929333756263899136\ *c_1001_7^2 + 3928322234053112162058912160297897/176913763901208929\ 333756263899136*c_1001_7 + 1897379145656912306562603119331655/17691\ 3763901208929333756263899136, c_0011_0 - 1, c_0011_11 - 135532284394204354375/1013418267185327976166*c_1001_7^14 - 4542161885058824881225/8107346137482623809328*c_1001_7^13 - 683024549977314348583/8107346137482623809328*c_1001_7^12 + 17504620980270497179467/8107346137482623809328*c_1001_7^11 + 4556182624909678745295/2026836534370655952332*c_1001_7^10 - 26835620505176170012855/8107346137482623809328*c_1001_7^9 - 3886946568402541386364/506709133592663988083*c_1001_7^8 - 7216866290966282438197/2026836534370655952332*c_1001_7^7 + 57954059777471471949729/8107346137482623809328*c_1001_7^6 + 52978101543390638846179/4053673068741311904664*c_1001_7^5 + 14012540868362065760723/4053673068741311904664*c_1001_7^4 - 83075701023323362548893/8107346137482623809328*c_1001_7^3 - 57053647872920162864369/8107346137482623809328*c_1001_7^2 + 1154929568806393020670/506709133592663988083*c_1001_7 + 14944639644367112819917/8107346137482623809328, c_0011_12 + 313405949489633796525/4053673068741311904664*c_1001_7^14 + 274008752302069016231/8107346137482623809328*c_1001_7^13 - 3312188824713310722189/8107346137482623809328*c_1001_7^12 - 4210295872313409646239/8107346137482623809328*c_1001_7^11 + 436784369679490813262/506709133592663988083*c_1001_7^10 + 15230425796349878352993/8107346137482623809328*c_1001_7^9 + 263968522330405660381/2026836534370655952332*c_1001_7^8 - 12665124534188118273121/4053673068741311904664*c_1001_7^7 - 30094766911550128839977/8107346137482623809328*c_1001_7^6 + 289855659812089217462/506709133592663988083*c_1001_7^5 + 22565167905487856529235/4053673068741311904664*c_1001_7^4 + 29376716237645384754825/8107346137482623809328*c_1001_7^3 - 22360546611900394166927/8107346137482623809328*c_1001_7^2 - 2710346290345987235731/1013418267185327976166*c_1001_7 + 522186022569347555545/8107346137482623809328, c_0011_3 - 2979904955095908150175/16214692274965247618656*c_1001_7^14 - 334958075225881225721/1013418267185327976166*c_1001_7^13 + 325823177268014800297/506709133592663988083*c_1001_7^12 + 31657688142011632741657/16214692274965247618656*c_1001_7^11 - 4444147719496252976633/16214692274965247618656*c_1001_7^10 - 77801703439348683022157/16214692274965247618656*c_1001_7^9 - 17267196900990205610615/4053673068741311904664*c_1001_7^8 + 55190598781920076361427/16214692274965247618656*c_1001_7^7 + 168506401342893888825953/16214692274965247618656*c_1001_7^6 + 13014865783168157657443/2026836534370655952332*c_1001_7^5 - 120065314047713134235469/16214692274965247618656*c_1001_7^4 - 95916833707485785674327/8107346137482623809328*c_1001_7^3 - 20966335734179143120519/16214692274965247618656*c_1001_7^2 + 93222364933127046985351/16214692274965247618656*c_1001_7 + 28935665862438440370343/16214692274965247618656, c_0011_4 + c_1001_7, c_0011_9 - 1, c_0101_0 - 7100362181304181499325/16214692274965247618656*c_1001_7^14 - 4402488936895860032951/4053673068741311904664*c_1001_7^13 + 1190523806543450502465/2026836534370655952332*c_1001_7^12 + 71308259022127086065967/16214692274965247618656*c_1001_7^11 + 37321571831596658470385/16214692274965247618656*c_1001_7^10 - 125978020390517508983167/16214692274965247618656*c_1001_7^9 - 53332582929447442844693/4053673068741311904664*c_1001_7^8 - 54332890010919637925847/16214692274965247618656*c_1001_7^7 + 242765802573698140410495/16214692274965247618656*c_1001_7^6 + 79188591101210928916433/4053673068741311904664*c_1001_7^5 - 7045060447555427292691/16214692274965247618656*c_1001_7^4 - 139376186402015211346785/8107346137482623809328*c_1001_7^3 - 123091767535937296753489/16214692274965247618656*c_1001_7^2 + 74935306551204805366241/16214692274965247618656*c_1001_7 + 34197228916794737225085/16214692274965247618656, c_0101_1 - 2979904955095908150175/16214692274965247618656*c_1001_7^14 - 334958075225881225721/1013418267185327976166*c_1001_7^13 + 325823177268014800297/506709133592663988083*c_1001_7^12 + 31657688142011632741657/16214692274965247618656*c_1001_7^11 - 4444147719496252976633/16214692274965247618656*c_1001_7^10 - 77801703439348683022157/16214692274965247618656*c_1001_7^9 - 17267196900990205610615/4053673068741311904664*c_1001_7^8 + 55190598781920076361427/16214692274965247618656*c_1001_7^7 + 168506401342893888825953/16214692274965247618656*c_1001_7^6 + 13014865783168157657443/2026836534370655952332*c_1001_7^5 - 120065314047713134235469/16214692274965247618656*c_1001_7^4 - 95916833707485785674327/8107346137482623809328*c_1001_7^3 - 20966335734179143120519/16214692274965247618656*c_1001_7^2 + 93222364933127046985351/16214692274965247618656*c_1001_7 + 28935665862438440370343/16214692274965247618656, c_0101_10 - 17111391223806236891225/32429384549930495237312*c_1001_7^14 - 26466683988256940088951/16214692274965247618656*c_1001_7^13 - 2294477998877971194687/16214692274965247618656*c_1001_7^12 + 176057416192156108434361/32429384549930495237312*c_1001_7^11 + 183959211311278974736797/32429384549930495237312*c_1001_7^10 - 223857537703226556670633/32429384549930495237312*c_1001_7^9 - 160661878847260900830273/8107346137482623809328*c_1001_7^8 - 456852059039049969228803/32429384549930495237312*c_1001_7^7 + 374779731936437983139925/32429384549930495237312*c_1001_7^6 + 122047299074605311626549/4053673068741311904664*c_1001_7^5 + 453177441234626040474429/32429384549930495237312*c_1001_7^4 - 122453209812317191072351/8107346137482623809328*c_1001_7^3 - 518645444863762608437343/32429384549930495237312*c_1001_7^2 - 54795446130401402529195/32429384549930495237312*c_1001_7 + 29582122560294321845515/32429384549930495237312, c_0101_12 + 95456529946087524425/1013418267185327976166*c_1001_7^14 + 3366581849172133840593/8107346137482623809328*c_1001_7^13 + 3834991608994716232717/8107346137482623809328*c_1001_7^12 - 5575058689317525720955/8107346137482623809328*c_1001_7^11 - 9141379153918549836739/4053673068741311904664*c_1001_7^10 - 7774898545100551787427/8107346137482623809328*c_1001_7^9 + 4279377143600256402607/1013418267185327976166*c_1001_7^8 + 17036549603120288297501/2026836534370655952332*c_1001_7^7 + 35463735676847758123879/8107346137482623809328*c_1001_7^6 - 12609160431230287905379/2026836534370655952332*c_1001_7^5 - 6078902998750077154721/506709133592663988083*c_1001_7^4 - 44049602965514973693921/8107346137482623809328*c_1001_7^3 + 38030186730697542472633/8107346137482623809328*c_1001_7^2 + 26679724255589559061399/4053673068741311904664*c_1001_7 + 19292932489291360585809/8107346137482623809328, c_0101_5 - 1, c_1001_2 - 1490871098292034385725/8107346137482623809328*c_1001_7^14 - 2917083693082643118767/8107346137482623809328*c_1001_7^13 + 4469821352011028656185/8107346137482623809328*c_1001_7^12 + 1854493932866275304403/1013418267185327976166*c_1001_7^11 - 692334739201567908037/8107346137482623809328*c_1001_7^10 - 16993249351808966884803/4053673068741311904664*c_1001_7^9 - 8168877099076590721123/2026836534370655952332*c_1001_7^8 + 16983248322730287735581/8107346137482623809328*c_1001_7^7 + 33637446058754540434577/4053673068741311904664*c_1001_7^6 + 5577188487671416962629/1013418267185327976166*c_1001_7^5 - 41900100177321699053235/8107346137482623809328*c_1001_7^4 - 70458130184758836055991/8107346137482623809328*c_1001_7^3 - 607830369072847576719/2026836534370655952332*c_1001_7^2 + 31345757820334500469343/8107346137482623809328*c_1001_7 + 2683709974212675209081/4053673068741311904664, c_1001_7^15 + 73/25*c_1001_7^14 - 16/25*c_1001_7^13 - 59/5*c_1001_7^12 - 48/5*c_1001_7^11 + 482/25*c_1001_7^10 + 1031/25*c_1001_7^9 + 399/25*c_1001_7^8 - 1084/25*c_1001_7^7 - 1727/25*c_1001_7^6 - 293/25*c_1001_7^5 + 1477/25*c_1001_7^4 + 1083/25*c_1001_7^3 - 256/25*c_1001_7^2 - 82/5*c_1001_7 - 121/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.390 seconds, Total memory usage: 32.09MB