Magma V2.19-8 Tue Aug 20 2013 16:17:01 on localhost [Seed = 543276273] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1270 geometric_solution 5.16782323 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 0 0 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 -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 0.822644740095 0.130911201093 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 -1 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 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.815590343382 0.258685410812 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 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 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 1.191125619664 0.595452743809 2 5 4 6 0132 0132 3012 0132 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 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.244965855799 0.796364413446 6 3 5 2 1023 1230 1023 0132 0 0 0 0 0 0 -1 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 0 0 0 0 -1 0 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 1.244965855799 0.796364413446 5 3 4 5 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427040516999 0.508060718000 6 4 3 6 3012 1023 0132 1230 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 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.947865175439 0.710999751721 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], '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_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 285594640536077111956099/1536625713005680270932*c_0101_4^14 + 789038067469709775526797/341472380667928949096*c_0101_4^13 + 50802512138212988025238073/3073251426011360541864*c_0101_4^12 + 62043820962219332386220677/768312856502840135466*c_0101_4^11 + 136364430257054315113714361/439035918001622934552*c_0101_4^10 + 294902319002723992752140530/384156428251420067733*c_0101_4^9 + 167205425079770589887350741/219517959000811467276*c_0101_4^8 - 3987282383614113982478715791/3073251426011360541864*c_0101_4^7 - 8363179512208216298226404903/1536625713005680270932*c_0101_4^6 - 2022983844694907049316134761/256104285500946711822*c_0101_4^5 - 37153409501443958215094543/6968824095263856104*c_0101_4^4 - 275104111839483556790445499/439035918001622934552*c_0101_4^3 + 1068342837167673487155821789/768312856502840135466*c_0101_4^2 + 2529313487265295428151166555/3073251426011360541864*c_0101_4 + 223575626674321762857987311/1536625713005680270932, c_0011_0 - 1, c_0011_4 + 63927443713525/7641471408408*c_0101_4^14 + 793011336413825/7641471408408*c_0101_4^13 + 78681373144446/106131547339*c_0101_4^12 + 3070337079032153/849052378712*c_0101_4^11 + 17694237513100885/1273578568068*c_0101_4^10 + 32694930223386676/955183926051*c_0101_4^9 + 256443334999386427/7641471408408*c_0101_4^8 - 112391767536740369/1910367852102*c_0101_4^7 - 928645657567401115/3820735704204*c_0101_4^6 - 2675558245460376295/7641471408408*c_0101_4^5 - 1787965152159985801/7641471408408*c_0101_4^4 - 5481941667897789/212263094678*c_0101_4^3 + 471304095715916561/7641471408408*c_0101_4^2 + 34352301215083940/955183926051*c_0101_4 + 6012845579977259/955183926051, c_0101_0 - 252204596585025975181/41812944571583136624*c_0101_4^14 - 9352092698111462433959/125438833714749409872*c_0101_4^13 - 16662727809548436782399/31359708428687352468*c_0101_4^12 - 324297843378510883355443/125438833714749409872*c_0101_4^11 - 621777097760099311083463/62719416857374704936*c_0101_4^10 - 190452432682565213712967/7839927107171838117*c_0101_4^9 - 975058119555014906953411/41812944571583136624*c_0101_4^8 + 674097872196942674079053/15679854214343676234*c_0101_4^7 + 3617187637727607564878335/20906472285791568312*c_0101_4^6 + 30846811601287666495328677/125438833714749409872*c_0101_4^5 + 20223632802561408393301879/125438833714749409872*c_0101_4^4 + 121181905232723589745033/7839927107171838117*c_0101_4^3 - 5446601967641742090091051/125438833714749409872*c_0101_4^2 - 256541147193260730049861/10453236142895784156*c_0101_4 - 32920957710233195944565/7839927107171838117, c_0101_1 + 316230581946963607249/13937648190527712208*c_0101_4^14 + 35220624515830773524533/125438833714749409872*c_0101_4^13 + 15701495776215721432201/7839927107171838117*c_0101_4^12 + 1223464961175997244986205/125438833714749409872*c_0101_4^11 + 2347471318318586582259071/62719416857374704936*c_0101_4^10 + 1440932287647294592131493/15679854214343676234*c_0101_4^9 + 1239657442986072679382879/13937648190527712208*c_0101_4^8 - 5040992542106759567619065/31359708428687352468*c_0101_4^7 - 4554719801351830696427187/6968824095263856104*c_0101_4^6 - 117176234880720477599942963/125438833714749409872*c_0101_4^5 - 77480845679682722326553213/125438833714749409872*c_0101_4^4 - 1991460516502651137653063/31359708428687352468*c_0101_4^3 + 20649669205238795447783333/125438833714749409872*c_0101_4^2 + 82328760378991467653268/871103011907982013*c_0101_4 + 128343789709572157572997/7839927107171838117, c_0101_2 - 37108278690712301261/15679854214343676234*c_0101_4^14 - 457864299769354120355/15679854214343676234*c_0101_4^13 - 1629618502892734277132/7839927107171838117*c_0101_4^12 - 15838041243160842199115/15679854214343676234*c_0101_4^11 - 30336086722429376357585/7839927107171838117*c_0101_4^10 - 24709812164404326695501/2613309035723946039*c_0101_4^9 - 140722327945285057140317/15679854214343676234*c_0101_4^8 + 44403562716805498881296/2613309035723946039*c_0101_4^7 + 528901834296805709747174/7839927107171838117*c_0101_4^6 + 1492531118924282451462169/15679854214343676234*c_0101_4^5 + 967731755381638877314237/15679854214343676234*c_0101_4^4 + 41997218671905904586155/7839927107171838117*c_0101_4^3 - 88109501409451359909661/5226618071447892078*c_0101_4^2 - 73161107175728990030251/7839927107171838117*c_0101_4 - 4093274720020645504453/2613309035723946039, c_0101_3 + 1732741844870721214793/125438833714749409872*c_0101_4^14 + 21470176422303244705717/125438833714749409872*c_0101_4^13 + 1064329854567816528610/871103011907982013*c_0101_4^12 + 83000466436013829463861/13937648190527712208*c_0101_4^11 + 478042091201080702285157/20906472285791568312*c_0101_4^10 + 881827238921052394464509/15679854214343676234*c_0101_4^9 + 6871698423148712401633463/125438833714749409872*c_0101_4^8 - 3059297170248306900142333/31359708428687352468*c_0101_4^7 - 25070573681449843637086307/62719416857374704936*c_0101_4^6 - 71930988195066681324596963/125438833714749409872*c_0101_4^5 - 47786468476243780168595885/125438833714749409872*c_0101_4^4 - 140559140860308269431227/3484412047631928052*c_0101_4^3 + 12682328173659538102608613/125438833714749409872*c_0101_4^2 + 457662453156885509383145/7839927107171838117*c_0101_4 + 79510832495606054454662/7839927107171838117, c_0101_4^15 + 13*c_0101_4^14 + 96*c_0101_4^13 + 485*c_0101_4^12 + 1918*c_0101_4^11 + 5080*c_0101_4^10 + 6447*c_0101_4^9 - 4644*c_0101_4^8 - 33238*c_0101_4^7 - 59147*c_0101_4^6 - 52885*c_0101_4^5 - 19740*c_0101_4^4 + 5533*c_0101_4^3 + 8688*c_0101_4^2 + 3312*c_0101_4 + 448 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB