Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 374835759] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0125 geometric_solution 3.63720978 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.852660204919 0.223900560879 0 0 1 1 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.958384364425 0.086909443076 3 0 0 3 0132 0132 1023 3201 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 0 -1 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.352294472979 0.239207294040 2 2 4 5 0132 2310 0132 0132 0 0 0 0 0 -1 1 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 1 -1 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.497009318627 0.636827492974 5 6 6 3 1302 0132 3201 0132 0 0 0 0 0 0 1 -1 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 -1 1 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.748119272189 0.252768982085 6 4 3 6 2310 2031 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.748119272189 0.252768982085 4 4 5 5 2310 0132 3201 1023 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 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.800273026323 0.405354837376 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : 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_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], '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' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 57952183319670992555441/213192766998325510292480*c_0101_6^23 + 870223818242811753661773/106596383499162755146240*c_0101_6^21 + 22365208388234135740070921/213192766998325510292480*c_0101_6^19 + 161224422767946616454436447/213192766998325510292480*c_0101_6^17 + 162330848493240640183245/48124778103459483136*c_0101_6^15 + 1031236706493336792706512323/106596383499162755146240*c_0101_6^13 + 3909325046298878918384911779/213192766998325510292480*c_0101_6^11 + 943566221279955071128528133/42638553399665102058496*c_0101_6^9 + 340463321261007168014280679/21319276699832551029248*c_0101_6^7 + 270520752946870513013309477/42638553399665102058496*c_0101_6^5 + 6864976692738843361566169/5329819174958137757312*c_0101_6^3 + 959993448876888612843081/13324547937395344393280*c_0101_6, c_0011_0 - 1, c_0011_4 - 6587787296928768577/4389262849965525211904*c_0101_6^22 - 98346803581022013893/2194631424982762605952*c_0101_6^20 - 2506190271685998258041/4389262849965525211904*c_0101_6^18 - 17839579138345617992863/4389262849965525211904*c_0101_6^16 - 88096821078899033017/4954021275356123264*c_0101_6^14 - 108597586895197174715459/2194631424982762605952*c_0101_6^12 - 393123298987329544341299/4389262849965525211904*c_0101_6^10 - 438990984515109383458841/4389262849965525211904*c_0101_6^8 - 19671481941863861095213/313518774997537515136*c_0101_6^6 - 92715563512186795200745/4389262849965525211904*c_0101_6^4 - 2774167662428896800359/548657856245690651488*c_0101_6^2 - 101880630171524612333/274328928122845325744, c_0101_0 + 122029581632181890291/8778525699931050423808*c_0101_6^23 + 1825136254799534064167/4389262849965525211904*c_0101_6^21 + 46667812377147279224955/8778525699931050423808*c_0101_6^19 + 334195664629095407341053/8778525699931050423808*c_0101_6^17 + 1667992724942967272643/9908042550712246528*c_0101_6^15 + 2095337594832434947829033/4389262849965525211904*c_0101_6^13 + 7833926862031195023413257/8778525699931050423808*c_0101_6^11 + 9272705385809704850711659/8778525699931050423808*c_0101_6^9 + 466863185365972698476527/627037549995075030272*c_0101_6^7 + 2563803373337806494061963/8778525699931050423808*c_0101_6^5 + 69632836021407234443375/1097315712491381302976*c_0101_6^3 + 2481247985488075739179/548657856245690651488*c_0101_6, c_0101_1 - 6334298059934324241/1097315712491381302976*c_0101_6^22 - 94670450289341206359/548657856245690651488*c_0101_6^20 - 2417516632616847997505/1097315712491381302976*c_0101_6^18 - 17271379241350924726643/1097315712491381302976*c_0101_6^16 - 85830408764735952235/1238505318839030816*c_0101_6^14 - 106946604389670709429943/548657856245690651488*c_0101_6^12 - 393806859150200492764475/1097315712491381302976*c_0101_6^10 - 451774889681462374548405/1097315712491381302976*c_0101_6^8 - 21101604172726674310451/78379693749384378784*c_0101_6^6 - 95467635685002058110753/1097315712491381302976*c_0101_6^4 - 3452967626282439372327/274328928122845325744*c_0101_6^2 - 10188971118732624675/34291116015355665718, c_0101_2 - 191014867153379415/627037549995075030272*c_0101_6^22 - 2628559702750137235/313518774997537515136*c_0101_6^20 - 59865929294466179551/627037549995075030272*c_0101_6^18 - 362387232129236787849/627037549995075030272*c_0101_6^16 - 1393470099815718655/707717325050874752*c_0101_6^14 - 1103145873336058952261/313518774997537515136*c_0101_6^12 - 1471764151208460504981/627037549995075030272*c_0101_6^10 + 2098267852985679057409/627037549995075030272*c_0101_6^8 + 1718979266646725587795/313518774997537515136*c_0101_6^6 + 400611892565833547793/627037549995075030272*c_0101_6^4 - 60595627699024338137/78379693749384378784*c_0101_6^2 + 20367710654867266757/39189846874692189392, c_0101_3 - 1904099974570438381/274328928122845325744*c_0101_6^23 - 112916553607599310413/548657856245690651488*c_0101_6^21 - 44595468869046324561/17145558007677832859*c_0101_6^19 - 10063568817953164971871/548657856245690651488*c_0101_6^17 - 98388879567937619085/1238505318839030816*c_0101_6^15 - 60045360170222308925651/274328928122845325744*c_0101_6^13 - 54040849515792931854523/137164464061422662872*c_0101_6^11 - 241321086650307741008269/548657856245690651488*c_0101_6^9 - 22257082873700406718359/78379693749384378784*c_0101_6^7 - 13772010472887997805271/137164464061422662872*c_0101_6^5 - 12140253180987566310761/548657856245690651488*c_0101_6^3 - 141672116082423518801/137164464061422662872*c_0101_6, c_0101_6^24 + 30*c_0101_6^22 + 385*c_0101_6^20 + 2771*c_0101_6^18 + 12338*c_0101_6^16 + 35326*c_0101_6^14 + 66923*c_0101_6^12 + 80981*c_0101_6^10 + 59370*c_0101_6^8 + 25185*c_0101_6^6 + 6380*c_0101_6^4 + 816*c_0101_6^2 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB