Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 3069651562] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1774 geometric_solution 5.45607726 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.699184522286 0.255024502512 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -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 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 1.254858003309 0.776678434018 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 -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 -1 0 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.259660820908 0.280005137094 2 5 6 4 0132 0132 0132 0321 0 0 0 0 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 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.820362324790 1.280031090304 6 3 2 5 0132 0321 0132 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 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.820362324790 1.280031090304 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151981267555 0.778087368120 4 6 6 3 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 -1 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.618564314159 0.542560491190 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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' : negation(d['1']), 's_0_6' : 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' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 56453537422721397446778578859/36931825606599031411253339015*c_0110_\ 5^17 + 56998657830269945539879061946/7386365121319806282250667803*c\ _0110_5^16 - 2492684799135233318676154877237/3693182560659903141125\ 3339015*c_0110_5^15 - 13135229555764074713454805312386/369318256065\ 99031411253339015*c_0110_5^14 - 2471362837297540646148090196070/738\ 6365121319806282250667803*c_0110_5^13 + 30264379600618688116176254205677/36931825606599031411253339015*c_01\ 10_5^12 + 60507157460901095416473897343907/369318256065990314112533\ 39015*c_0110_5^11 - 11353423393122194115700352122648/36931825606599\ 031411253339015*c_0110_5^10 - 72365523074450051819495325626673/3693\ 1825606599031411253339015*c_0110_5^9 + 11202545907423753695292772000668/36931825606599031411253339015*c_01\ 10_5^8 + 61058837812195603350354799445092/3693182560659903141125333\ 9015*c_0110_5^7 + 919702608243395913476999248159/369318256065990314\ 11253339015*c_0110_5^6 - 19477777596195434322015483423332/369318256\ 06599031411253339015*c_0110_5^5 - 6184407151171230114178322266866/3\ 6931825606599031411253339015*c_0110_5^4 + 744958114246702878843495489352/7386365121319806282250667803*c_0110_\ 5^3 + 4219771060217419652008779479279/36931825606599031411253339015\ *c_0110_5^2 - 2605558126886001188293151415178/369318256065990314112\ 53339015*c_0110_5 - 18884682359841979361067374236/36931825606599031\ 411253339015, c_0011_0 - 1, c_0011_1 - 141218023142957035608206/1630616168775620619508735*c_0110_5^\ 17 - 114053940436657201319153/326123233755124123901747*c_0110_5^16 + 6629985189837922144208503/1630616168775620619508735*c_0110_5^15 + 25298026736982239050165339/1630616168775620619508735*c_0110_5^14 + 2693321410595092637851096/326123233755124123901747*c_0110_5^13 - 50137407244560283702199128/1630616168775620619508735*c_0110_5^12 - 65229622963862655818069653/1630616168775620619508735*c_0110_5^11 + 17308447264655966661001742/1630616168775620619508735*c_0110_5^10 + 9568659147391880390219757/1630616168775620619508735*c_0110_5^9 - 29535219015029609630936262/1630616168775620619508735*c_0110_5^8 + 5662980387350643639416187/1630616168775620619508735*c_0110_5^7 - 31239054196979337957663251/1630616168775620619508735*c_0110_5^6 - 18498146521511737225378517/1630616168775620619508735*c_0110_5^5 - 1501461473829913029176986/1630616168775620619508735*c_0110_5^4 - 134811285304290473565685/326123233755124123901747*c_0110_5^3 + 4514661004837649922464174/1630616168775620619508735*c_0110_5^2 - 2402104715107761177867148/1630616168775620619508735*c_0110_5 - 886008276236563385195191/1630616168775620619508735, c_0011_4 + 259411130119954203045208/1630616168775620619508735*c_0110_5^\ 17 + 227681840539583216297594/326123233755124123901747*c_0110_5^16 - 11916102760483809861688909/1630616168775620619508735*c_0110_5^15 - 51182551594155222128157017/1630616168775620619508735*c_0110_5^14 - 7233504453998574597033249/326123233755124123901747*c_0110_5^13 + 103583560598605948639169114/1630616168775620619508735*c_0110_5^12 + 163515386136620146350848224/1630616168775620619508735*c_0110_5^11 - 37654937876193155271411176/1630616168775620619508735*c_0110_5^10 - 94428867216377658702869861/1630616168775620619508735*c_0110_5^9 + 80053162797614429954705236/1630616168775620619508735*c_0110_5^8 + 66516695509120257951543769/1630616168775620619508735*c_0110_5^7 + 18569240435013889825943053/1630616168775620619508735*c_0110_5^6 + 10126681985726640807665626/1630616168775620619508735*c_0110_5^5 + 4385879121330794452903763/1630616168775620619508735*c_0110_5^4 + 1843806053696489004189055/326123233755124123901747*c_0110_5^3 - 1383514999594991994480572/1630616168775620619508735*c_0110_5^2 - 1519938281887410914876311/1630616168775620619508735*c_0110_5 + 608194452507893606192088/1630616168775620619508735, c_0101_0 + 363483203089202312330804/1630616168775620619508735*c_0110_5^\ 17 + 346828753452685016571921/326123233755124123901747*c_0110_5^16 - 16305588697741501220094372/1630616168775620619508735*c_0110_5^15 - 79140109267045987745105831/1630616168775620619508735*c_0110_5^14 - 13676183460643389775258856/326123233755124123901747*c_0110_5^13 + 172575876545159918909214107/1630616168775620619508735*c_0110_5^12 + 330464694726705906528190872/1630616168775620619508735*c_0110_5^11 - 45556125935871922499481263/1630616168775620619508735*c_0110_5^10 - 334691884909352665415042418/1630616168775620619508735*c_0110_5^9 + 37108924347162548467143738/1630616168775620619508735*c_0110_5^8 + 255956602317606890580008287/1630616168775620619508735*c_0110_5^7 + 65334979756797812359689029/1630616168775620619508735*c_0110_5^6 - 64685547969213698304129872/1630616168775620619508735*c_0110_5^5 - 50964327229178655367433741/1630616168775620619508735*c_0110_5^4 + 2719568149466362882098820/326123233755124123901747*c_0110_5^3 + 13585664232594539157536174/1630616168775620619508735*c_0110_5^2 - 3143805430244202486593518/1630616168775620619508735*c_0110_5 - 931320311464661453414001/1630616168775620619508735, c_0101_3 + 1109157414773654345268311/1630616168775620619508735*c_0110_5\ ^17 + 975128008674179870723477/326123233755124123901747*c_0110_5^16 - 51251686521018241375599983/1630616168775620619508735*c_0110_5^15 - 220769418873113847953693999/1630616168775620619508735*c_0110_5^14 - 28194810317968421522754905/326123233755124123901747*c_0110_5^13 + 512016121834054232047650358/1630616168775620619508735*c_0110_5^12 + 761417299612518202464654828/1630616168775620619508735*c_0110_5^11 - 295999119954837269754561252/1630616168775620619508735*c_0110_5^10 - 672485079087170277110759377/1630616168775620619508735*c_0110_5^9 + 352508615741923494369532507/1630616168775620619508735*c_0110_5^8 + 493436708082620609037268653/1630616168775620619508735*c_0110_5^7 + 58173684073232082387389836/1630616168775620619508735*c_0110_5^6 - 97348336886766057457958298/1630616168775620619508735*c_0110_5^5 - 48261163994188098754399084/1630616168775620619508735*c_0110_5^4 + 10434450869262853213366164/326123233755124123901747*c_0110_5^3 + 16238221386970005399406136/1630616168775620619508735*c_0110_5^2 - 5300256599254906701528352/1630616168775620619508735*c_0110_5 + 1118089466167599825638631/1630616168775620619508735, c_0101_5 + 109213626011758658794114/1630616168775620619508735*c_0110_5^\ 17 + 73983053306566439378703/326123233755124123901747*c_0110_5^16 - 5507921460721044583141442/1630616168775620619508735*c_0110_5^15 - 16575218668235375229932266/1630616168775620619508735*c_0110_5^14 + 1376079791165727944435465/326123233755124123901747*c_0110_5^13 + 61217433935280501399686422/1630616168775620619508735*c_0110_5^12 + 26117500973594546199628242/1630616168775620619508735*c_0110_5^11 - 92925218287162708591575503/1630616168775620619508735*c_0110_5^10 - 33660192653914571958150688/1630616168775620619508735*c_0110_5^9 + 84067983263346707202287678/1630616168775620619508735*c_0110_5^8 + 11816834822473198749989117/1630616168775620619508735*c_0110_5^7 - 30406398418885910050860286/1630616168775620619508735*c_0110_5^6 - 20406509399361593949614567/1630616168775620619508735*c_0110_5^5 + 3883193582962674548318569/1630616168775620619508735*c_0110_5^4 + 1873415149283103349663677/326123233755124123901747*c_0110_5^3 - 4243299718571646288388341/1630616168775620619508735*c_0110_5^2 - 1515351727477772391471658/1630616168775620619508735*c_0110_5 - 484692567715160491078896/1630616168775620619508735, c_0110_5^18 + 4*c_0110_5^17 - 48*c_0110_5^16 - 181*c_0110_5^15 - 46*c_0110_5^14 + 523*c_0110_5^13 + 515*c_0110_5^12 - 555*c_0110_5^11 - 540*c_0110_5^10 + 549*c_0110_5^9 + 336*c_0110_5^8 - 127*c_0110_5^7 - 124*c_0110_5^6 - 26*c_0110_5^5 + 59*c_0110_5^4 - 4*c_0110_5^3 - 13*c_0110_5^2 + 3*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB