Magma V2.19-8 Tue Aug 20 2013 23:55:54 on localhost [Seed = 1629948252] Type ? for help. Type -D to quit. Loading file "L14n13363__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13363 geometric_solution 10.36296668 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 1 0 0 0 0 2 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 1 0 -1 1 0 0 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.319977196719 1.075277250169 0 3 6 5 0132 1230 0132 0132 0 0 1 1 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 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.710142175895 0.260916130996 4 0 3 7 1230 0132 0213 0132 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 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 -2 0 0 2 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.912119549521 0.574754847273 5 2 1 0 0132 0213 3012 0132 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.033732451511 0.651368837254 8 2 0 6 0132 3012 0132 2031 1 0 1 1 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 2 1 -3 -1 0 1 0 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.924494912367 1.224777452829 3 6 1 8 0132 1023 0132 1023 0 0 1 1 0 0 0 0 1 0 0 -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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.862003532148 0.849611542748 5 4 9 1 1023 1302 0132 0132 0 0 1 1 0 0 0 0 0 0 2 -2 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 -1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522636042326 0.737359920603 10 11 2 11 0132 0132 0132 0213 1 1 0 1 0 0 0 0 0 0 0 0 1 -2 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 -1 0 1 3 -1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259950490123 1.700125607401 4 9 10 5 0132 1023 3012 1023 0 0 1 1 0 0 -1 1 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 0 0 0 1 0 -1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.026159727108 0.861295577138 8 10 11 6 1023 0321 1302 0132 0 0 1 1 0 0 0 0 0 0 2 -2 -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 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.500315338680 1.349051395847 7 8 11 9 0132 1230 1023 0321 0 1 1 0 0 1 -1 0 0 0 0 0 1 0 0 -1 -1 1 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 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589499388634 0.473735417486 9 7 10 7 2031 0132 1023 0213 1 0 1 0 0 0 0 0 0 0 1 -1 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 1 -1 0 0 1 -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.259950490123 1.700125607401 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_0101_8'], '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_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_11'], 'c_1100_8' : negation(d['c_0101_11']), 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_1'], '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' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_8, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 29020395408720949508715797009/72731033633099569948171*c_1001_1^11 - 202637155755257561177744025/103458084826599672757*c_1001_1^10 - 290732828007388525379679771432/72731033633099569948171*c_1001_1^9 - 16109060851317434631483433113/3827949138584187892009*c_1001_1^8 - 162016666435193892808679968517/72731033633099569948171*c_1001_1^7 - 26226721962757562816040484033/72731033633099569948171*c_1001_1^6 + 70754052377256024524426083/546849876940598270287*c_1001_1^5 + 135280555642494438431383697/10390147661871367135453*c_1001_1^4 - 1769608291478104929076568851/72731033633099569948171*c_1001_1^3 - 13433731613338719325574747/3827949138584187892009*c_1001_1^2 - 308644263536540537176305/335166053608753778563*c_1001_1 - 73309371102559135197902170/72731033633099569948171, c_0011_0 - 1, c_0011_10 - 62513674453451160117/15631651405393922*c_1001_1^11 - 300416680204966359401/15631651405393922*c_1001_1^10 - 298855662325435228002/7815825702696961*c_1001_1^9 - 608549910645108474085/15631651405393922*c_1001_1^8 - 153064378853341425789/7815825702696961*c_1001_1^7 - 21294637987434715877/7815825702696961*c_1001_1^6 + 18167717594175762449/15631651405393922*c_1001_1^5 + 607891149937729345/15631651405393922*c_1001_1^4 - 1660385855987289615/7815825702696961*c_1001_1^3 - 205447361963149345/7815825702696961*c_1001_1^2 - 157904765670229065/15631651405393922*c_1001_1 - 58930672316837816/7815825702696961, c_0011_3 + 71678272988167272407/15631651405393922*c_1001_1^11 + 183389732751664070883/7815825702696961*c_1001_1^10 + 391220627467541570424/7815825702696961*c_1001_1^9 + 866842016430778614601/15631651405393922*c_1001_1^8 + 490717738060209392359/15631651405393922*c_1001_1^7 + 93508243775242124365/15631651405393922*c_1001_1^6 - 13273588502329458724/7815825702696961*c_1001_1^5 - 4296718197591083089/15631651405393922*c_1001_1^4 + 5613456071344690555/15631651405393922*c_1001_1^3 + 801409410455317771/15631651405393922*c_1001_1^2 + 39488446861108814/7815825702696961*c_1001_1 + 130213424793037465/7815825702696961, c_0011_4 + 48417207686575503777/7815825702696961*c_1001_1^11 + 241488581601866054527/7815825702696961*c_1001_1^10 + 501830520564187212865/7815825702696961*c_1001_1^9 + 541995032541421362993/7815825702696961*c_1001_1^8 + 302228819774701170066/7815825702696961*c_1001_1^7 + 62649103303993193069/7815825702696961*c_1001_1^6 - 9799927985715876162/7815825702696961*c_1001_1^5 - 1338006941344637094/7815825702696961*c_1001_1^4 + 2632425286973939149/7815825702696961*c_1001_1^3 + 476100269336921314/7815825702696961*c_1001_1^2 + 185333523059540201/7815825702696961*c_1001_1 + 130065111488980582/7815825702696961, c_0101_0 - 1, c_0101_1 - 3167828563263692737/7815825702696961*c_1001_1^11 - 31831756434435254727/15631651405393922*c_1001_1^10 - 32808716664397527438/7815825702696961*c_1001_1^9 - 34266973535014633124/7815825702696961*c_1001_1^8 - 34838346053924692711/15631651405393922*c_1001_1^7 - 4765327403618669815/15631651405393922*c_1001_1^6 + 1918175183493435391/15631651405393922*c_1001_1^5 - 22421141096508695/7815825702696961*c_1001_1^4 - 335395045078269999/15631651405393922*c_1001_1^3 - 37951892121006075/15631651405393922*c_1001_1^2 - 35818449196578345/15631651405393922*c_1001_1 - 7810243643656261/7815825702696961, c_0101_10 + 7834583434179491761/15631651405393922*c_1001_1^11 + 50466092995218301811/15631651405393922*c_1001_1^10 + 64655718078929573909/7815825702696961*c_1001_1^9 + 168714713205606957647/15631651405393922*c_1001_1^8 + 56486743272882963481/7815825702696961*c_1001_1^7 + 14558756548945254708/7815825702696961*c_1001_1^6 - 4324563473487590421/15631651405393922*c_1001_1^5 - 1357390110668758279/15631651405393922*c_1001_1^4 + 678993227890087819/7815825702696961*c_1001_1^3 + 108964094319880310/7815825702696961*c_1001_1^2 - 4131053080758529/15631651405393922*c_1001_1 + 32677419139546475/7815825702696961, c_0101_11 - 4754826795395445045/31263302810787844*c_1001_1^11 - 6246228120424956464/7815825702696961*c_1001_1^10 - 27076251139250657099/15631651405393922*c_1001_1^9 - 60105551658293261115/31263302810787844*c_1001_1^8 - 33280101227516237435/31263302810787844*c_1001_1^7 - 5703476680402673979/31263302810787844*c_1001_1^6 + 458135031019747166/7815825702696961*c_1001_1^5 + 128987662159928893/31263302810787844*c_1001_1^4 - 350373862182991599/31263302810787844*c_1001_1^3 - 27153294744610467/31263302810787844*c_1001_1^2 - 6999651467430218/7815825702696961*c_1001_1 - 3498430218954934/7815825702696961, c_0101_3 + 7398298274104458578/7815825702696961*c_1001_1^11 + 81215585894442975527/15631651405393922*c_1001_1^10 + 93452567595106997604/7815825702696961*c_1001_1^9 + 112941974134076108579/7815825702696961*c_1001_1^8 + 143061517193231071589/15631651405393922*c_1001_1^7 + 34741527330276117061/15631651405393922*c_1001_1^6 - 6147725879859895151/15631651405393922*c_1001_1^5 - 1030149828982586238/7815825702696961*c_1001_1^4 + 1534624640064918297/15631651405393922*c_1001_1^3 + 307299734174919807/15631651405393922*c_1001_1^2 + 20209126027347223/15631651405393922*c_1001_1 + 40491848388457845/7815825702696961, c_0101_8 + 45505055151645703057/7815825702696961*c_1001_1^11 + 462324113696971251969/15631651405393922*c_1001_1^10 + 489029625810458876994/7815825702696961*c_1001_1^9 + 536276157896632032386/7815825702696961*c_1001_1^8 + 599251034043564512701/15631651405393922*c_1001_1^7 + 112196069902342540933/15631651405393922*c_1001_1^6 - 30794951232775350317/15631651405393922*c_1001_1^5 - 2085206118989129074/7815825702696961*c_1001_1^4 + 6517609140827719423/15631651405393922*c_1001_1^3 + 899095126883403257/15631651405393922*c_1001_1^2 + 172208335567353849/15631651405393922*c_1001_1 + 139616293666601312/7815825702696961, c_1001_0 + 43737544335079322983/15631651405393922*c_1001_1^11 + 115719692780594178822/7815825702696961*c_1001_1^10 + 256208223697483664170/7815825702696961*c_1001_1^9 + 594430464218095741573/15631651405393922*c_1001_1^8 + 361017342491590877961/15631651405393922*c_1001_1^7 + 84742762177464687075/15631651405393922*c_1001_1^6 - 6687711472260527765/7815825702696961*c_1001_1^5 - 4275283450851823541/15631651405393922*c_1001_1^4 + 3440369090719521213/15631651405393922*c_1001_1^3 + 810746422639144587/15631651405393922*c_1001_1^2 + 44733600996550536/7815825702696961*c_1001_1 + 68590396452265428/7815825702696961, c_1001_1^12 + 10458/1811*c_1001_1^11 + 25898/1811*c_1001_1^10 + 35069/1811*c_1001_1^9 + 27139/1811*c_1001_1^8 + 10875/1811*c_1001_1^7 + 1082/1811*c_1001_1^6 - 511/1811*c_1001_1^5 + 59/1811*c_1001_1^4 + 111/1811*c_1001_1^3 + 18/1811*c_1001_1^2 + 8/1811*c_1001_1 + 4/1811 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.360 seconds, Total memory usage: 32.09MB