Magma V2.19-8 Tue Aug 20 2013 23:38:14 on localhost [Seed = 1982861911] Type ? for help. Type -D to quit. Loading file "K11n27__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n27 geometric_solution 9.33367688 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 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 0 -1 1 1 0 -1 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571486524043 0.530620396903 0 5 6 3 0132 0132 0132 2031 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 -13 13 0 -1 0 0 1 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.834266332926 1.001347784853 7 0 4 6 0132 0132 0132 1302 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 1 0 0 -1 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.432394103696 0.857661641329 7 1 8 0 2103 1302 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 -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.580065286070 0.592427980700 9 5 0 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 -12 0 12 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.096804332393 0.837933328300 6 1 8 4 1023 0132 3201 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 13 0 -13 -12 0 0 12 13 -12 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.052816872320 0.982444819445 9 5 2 1 3120 1023 2031 0132 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 12 1 -13 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373949883651 0.484315100721 2 9 3 8 0132 3120 2103 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.755577124859 0.678727099030 5 7 9 3 2310 1302 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 -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.533109915606 0.757160824184 4 7 8 6 0132 3120 1023 3120 0 0 0 0 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 1 0 0 0 0 0 13 0 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402333129828 0.848124351687 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0110_5']), 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_0101_2'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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_1100_9' : negation(d['c_0101_6']), 'c_1100_8' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_6'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : d['c_0110_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0110_5']), 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_0101_0'], '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' : 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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), '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' : d['c_0011_0'], '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_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_3'], '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_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6, c_0110_5, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1840654839722139760/35915103859861409*c_1001_0^15 - 8027504441333576078/35915103859861409*c_1001_0^14 + 2307637919552250877/35915103859861409*c_1001_0^13 - 22229645021401053217/71830207719722818*c_1001_0^12 - 4917091210886961392/35915103859861409*c_1001_0^11 + 29763404062911526717/71830207719722818*c_1001_0^10 - 24041329429213116461/35915103859861409*c_1001_0^9 + 65991464444989082521/71830207719722818*c_1001_0^8 + 6801140862242626271/71830207719722818*c_1001_0^7 + 18753240817522346907/35915103859861409*c_1001_0^6 + 4124308606858794446/35915103859861409*c_1001_0^5 - 10234350996197660356/35915103859861409*c_1001_0^4 + 171451333433139805/35915103859861409*c_1001_0^3 + 2300741910719418735/71830207719722818*c_1001_0^2 + 1861674622602848287/71830207719722818*c_1001_0 - 861639528243244605/71830207719722818, c_0011_0 - 1, c_0011_3 + 621283849764/355943983309*c_1001_0^15 - 2689739071218/355943983309*c_1001_0^14 + 941106633949/355943983309*c_1001_0^13 - 4690143199301/355943983309*c_1001_0^12 - 1992806452667/355943983309*c_1001_0^11 + 3620562299809/355943983309*c_1001_0^10 - 9382814833306/355943983309*c_1001_0^9 + 12495708467371/355943983309*c_1001_0^8 - 721038632994/355943983309*c_1001_0^7 + 9171257782572/355943983309*c_1001_0^6 + 4311460705288/355943983309*c_1001_0^5 - 468434363615/355943983309*c_1001_0^4 + 1670990064356/355943983309*c_1001_0^3 - 132807708621/355943983309*c_1001_0^2 - 267795355462/355943983309*c_1001_0 - 213405360371/355943983309, c_0011_4 + 1020865311840956/875978142923449*c_1001_0^15 - 4135960257409794/875978142923449*c_1001_0^14 + 487314791167749/875978142923449*c_1001_0^13 - 7835557044877028/875978142923449*c_1001_0^12 - 5844648725676082/875978142923449*c_1001_0^11 + 3861253723551166/875978142923449*c_1001_0^10 - 16179844166918119/875978142923449*c_1001_0^9 + 16863322285035442/875978142923449*c_1001_0^8 + 1795805436801856/875978142923449*c_1001_0^7 + 16032949625289249/875978142923449*c_1001_0^6 + 14619251361162919/875978142923449*c_1001_0^5 + 1899330897945711/875978142923449*c_1001_0^4 + 9650925077035451/875978142923449*c_1001_0^3 + 1097325063322531/875978142923449*c_1001_0^2 + 951772056151850/875978142923449*c_1001_0 + 41738758392396/875978142923449, c_0101_0 - 27840135143312/875978142923449*c_1001_0^15 - 18101329701944/875978142923449*c_1001_0^14 + 338362711746368/875978142923449*c_1001_0^13 + 986845637550086/875978142923449*c_1001_0^12 + 676563479259987/875978142923449*c_1001_0^11 + 1792306938246284/875978142923449*c_1001_0^10 + 367296647418193/875978142923449*c_1001_0^9 + 132529977537903/875978142923449*c_1001_0^8 + 1146198985320660/875978142923449*c_1001_0^7 - 4709962611675616/875978142923449*c_1001_0^6 - 2003043522386412/875978142923449*c_1001_0^5 - 3597372123733083/875978142923449*c_1001_0^4 - 1832127722101674/875978142923449*c_1001_0^3 - 530319511078443/875978142923449*c_1001_0^2 - 1866393684609075/875978142923449*c_1001_0 - 47255562485041/875978142923449, c_0101_1 + 52709383305852/875978142923449*c_1001_0^15 - 29773017008550/875978142923449*c_1001_0^14 - 406268113756589/875978142923449*c_1001_0^13 - 2104794655055719/875978142923449*c_1001_0^12 + 681156202484954/875978142923449*c_1001_0^11 - 4064157763224312/875978142923449*c_1001_0^10 + 2131804557371042/875978142923449*c_1001_0^9 + 800391468243814/875978142923449*c_1001_0^8 - 4176495626096350/875978142923449*c_1001_0^7 + 14302567452438922/875978142923449*c_1001_0^6 - 5789364422910637/875978142923449*c_1001_0^5 + 9119072077182108/875978142923449*c_1001_0^4 - 3367351513372810/875978142923449*c_1001_0^3 - 613532296999190/875978142923449*c_1001_0^2 + 1654361465646408/875978142923449*c_1001_0 - 1196154860037684/875978142923449, c_0101_2 + 582220985614680/875978142923449*c_1001_0^15 - 1847537366771904/875978142923449*c_1001_0^14 - 2383514051352380/875978142923449*c_1001_0^13 - 1486657860561889/875978142923449*c_1001_0^12 - 8991898602402268/875978142923449*c_1001_0^11 + 4128831427795247/875978142923449*c_1001_0^10 - 6575420383840570/875978142923449*c_1001_0^9 - 2018921884089348/875978142923449*c_1001_0^8 + 19555242066081310/875978142923449*c_1001_0^7 - 4279727222843957/875978142923449*c_1001_0^6 + 20784372917948024/875978142923449*c_1001_0^5 - 753718095554400/875978142923449*c_1001_0^4 + 5120177505469220/875978142923449*c_1001_0^3 + 4500589190215871/875978142923449*c_1001_0^2 - 1396364678794647/875978142923449*c_1001_0 + 626380819699451/875978142923449, c_0101_3 - c_1001_0, c_0101_6 + 1394543716146288/875978142923449*c_1001_0^15 - 6333709342623368/875978142923449*c_1001_0^14 + 3576808034515908/875978142923449*c_1001_0^13 - 11638985440951348/875978142923449*c_1001_0^12 - 2377351177462586/875978142923449*c_1001_0^11 + 7377435586774395/875978142923449*c_1001_0^10 - 24201903971148514/875978142923449*c_1001_0^9 + 32558572116117521/875978142923449*c_1001_0^8 - 10428872702655343/875978142923449*c_1001_0^7 + 23828234119797163/875978142923449*c_1001_0^6 + 5738434722016177/875978142923449*c_1001_0^5 + 739502791876608/875978142923449*c_1001_0^4 + 8356881939404368/875978142923449*c_1001_0^3 - 1180124099151879/875978142923449*c_1001_0^2 + 750603860339980/875978142923449*c_1001_0 - 195032256011851/875978142923449, c_0110_5 + 197908038432724/875978142923449*c_1001_0^15 - 268499525295126/875978142923449*c_1001_0^14 - 2194904987164329/875978142923449*c_1001_0^13 - 982534041289584/875978142923449*c_1001_0^12 - 4207344886643888/875978142923449*c_1001_0^11 - 1825408460973409/875978142923449*c_1001_0^10 + 1275759329844650/875978142923449*c_1001_0^9 - 5020143558016278/875978142923449*c_1001_0^8 + 9297717185811042/875978142923449*c_1001_0^7 + 5747822136911525/875978142923449*c_1001_0^6 + 5969345042026904/875978142923449*c_1001_0^5 + 6102088305546875/875978142923449*c_1001_0^4 - 1260158617402996/875978142923449*c_1001_0^3 + 3661260493176646/875978142923449*c_1001_0^2 + 216240579642768/875978142923449*c_1001_0 - 70809215371322/875978142923449, c_1001_0^16 - 9/2*c_1001_0^15 + 9/4*c_1001_0^14 - 31/4*c_1001_0^13 - 2*c_1001_0^12 + 6*c_1001_0^11 - 65/4*c_1001_0^10 + 22*c_1001_0^9 - 19/4*c_1001_0^8 + 61/4*c_1001_0^7 + 15/4*c_1001_0^6 - 1/2*c_1001_0^5 + 4*c_1001_0^4 - 1/4*c_1001_0^3 - 1/4*c_1001_0 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB