Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 3751691033] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0308 geometric_solution 4.34704051 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566958173733 0.396994832943 0 0 4 4 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.381774266571 0.110485855304 5 0 3 3 0132 0132 2310 1230 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 -1 1 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.238993131449 1.583188354532 2 2 0 5 3012 3201 0132 3201 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 1 -1 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.238993131449 1.583188354532 1 4 1 4 2310 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.185241288231 0.740449516424 2 3 6 6 0132 2310 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.735138565980 1.912369422141 5 6 6 5 3201 3201 2310 0132 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.395573432096 0.575857632010 ==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_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_6'], '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_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 412314295908497139/192368273975602*c_0101_2^20 + 383767851043791504/96184136987801*c_0101_2^19 - 5835808602011942877/192368273975602*c_0101_2^18 - 16673006209917629465/192368273975602*c_0101_2^17 + 5753748188077810590/96184136987801*c_0101_2^16 + 47144022885805862785/96184136987801*c_0101_2^15 + 53431625103036067045/96184136987801*c_0101_2^14 - 65850879248529974057/192368273975602*c_0101_2^13 - 263647220741146732171/192368273975602*c_0101_2^12 - 212228102538574881937/192368273975602*c_0101_2^11 + 29523418993436699564/96184136987801*c_0101_2^10 + 122685190916344477924/96184136987801*c_0101_2^9 + 188741961105234677489/192368273975602*c_0101_2^8 + 24668043980987993559/192368273975602*c_0101_2^7 - 34125051637659697463/96184136987801*c_0101_2^6 - 63382259934077381275/192368273975602*c_0101_2^5 - 27268112797428560037/192368273975602*c_0101_2^4 - 2691024663674467392/96184136987801*c_0101_2^3 + 122734437535004931/96184136987801*c_0101_2^2 + 173426556047971887/96184136987801*c_0101_2 + 53579722019879549/192368273975602, c_0011_0 - 1, c_0011_3 - 5283808435188207/96184136987801*c_0101_2^20 - 4055044545205107/96184136987801*c_0101_2^19 + 167002730440091287/192368273975602*c_0101_2^18 + 261096474556405595/192368273975602*c_0101_2^17 - 699040652589964077/192368273975602*c_0101_2^16 - 2003601834368300317/192368273975602*c_0101_2^15 - 177316050675923951/96184136987801*c_0101_2^14 + 3996716242342604543/192368273975602*c_0101_2^13 + 4801663843816665279/192368273975602*c_0101_2^12 - 715164970655432833/192368273975602*c_0101_2^11 - 6046253045223812011/192368273975602*c_0101_2^10 - 4779381476697491957/192368273975602*c_0101_2^9 + 269990913860189769/96184136987801*c_0101_2^8 + 3511992298780201219/192368273975602*c_0101_2^7 + 1247629974517409048/96184136987801*c_0101_2^6 + 173676699837338263/96184136987801*c_0101_2^5 - 328430119883212073/96184136987801*c_0101_2^4 - 563460100735497093/192368273975602*c_0101_2^3 - 114355910122614063/96184136987801*c_0101_2^2 - 51350832793355819/192368273975602*c_0101_2 - 5364245144685165/192368273975602, c_0011_4 + 209954817039605301/192368273975602*c_0101_2^20 + 461892015632540661/192368273975602*c_0101_2^19 - 2786873342069717405/192368273975602*c_0101_2^18 - 9417860917450581475/192368273975602*c_0101_2^17 + 1113477960540728571/96184136987801*c_0101_2^16 + 48175932914308540421/192368273975602*c_0101_2^15 + 72623810002848380901/192368273975602*c_0101_2^14 - 4263650650777847969/192368273975602*c_0101_2^13 - 135512277412686904401/192368273975602*c_0101_2^12 - 163099785389435126971/192368273975602*c_0101_2^11 - 17235388926902200473/96184136987801*c_0101_2^10 + 115823596960931227171/192368273975602*c_0101_2^9 + 73374523929423967694/96184136987801*c_0101_2^8 + 34834118731108386174/96184136987801*c_0101_2^7 - 6441782227375021277/96184136987801*c_0101_2^6 - 41910918902732431477/192368273975602*c_0101_2^5 - 15512276761793090875/96184136987801*c_0101_2^4 - 13336076038467809361/192368273975602*c_0101_2^3 - 3611456170963438005/192368273975602*c_0101_2^2 - 290810767867984579/96184136987801*c_0101_2 - 21755156393994213/96184136987801, c_0011_6 - 7274116799030547/96184136987801*c_0101_2^20 - 42747252091936143/192368273975602*c_0101_2^19 + 87322527094283209/96184136987801*c_0101_2^18 + 401758723897542780/96184136987801*c_0101_2^17 + 127000212756204126/96184136987801*c_0101_2^16 - 3640855575805891283/192368273975602*c_0101_2^15 - 7331055137899825539/192368273975602*c_0101_2^14 - 1166567919348388711/96184136987801*c_0101_2^13 + 5376425826869318947/96184136987801*c_0101_2^12 + 8731867492250089829/96184136987801*c_0101_2^11 + 3939714354938016974/96184136987801*c_0101_2^10 - 8584039236102741097/192368273975602*c_0101_2^9 - 15620374345093934353/192368273975602*c_0101_2^8 - 9832349589537455075/192368273975602*c_0101_2^7 - 274407686850552882/96184136987801*c_0101_2^6 + 2039641268703195422/96184136987801*c_0101_2^5 + 3731017011494598425/192368273975602*c_0101_2^4 + 1829057063429328389/192368273975602*c_0101_2^3 + 556846749432128983/192368273975602*c_0101_2^2 + 50440669074165699/96184136987801*c_0101_2 + 8583699364826185/192368273975602, c_0101_0 + 119276980663516398/96184136987801*c_0101_2^20 + 525234880924345299/192368273975602*c_0101_2^19 - 1583606019300419837/96184136987801*c_0101_2^18 - 5353949015565610174/96184136987801*c_0101_2^17 + 1267838843147393146/96184136987801*c_0101_2^16 + 54786201688206843947/192368273975602*c_0101_2^15 + 82533413499689653485/192368273975602*c_0101_2^14 - 2493166148638275776/96184136987801*c_0101_2^13 - 77078888902125796176/96184136987801*c_0101_2^12 - 92623890567063245378/96184136987801*c_0101_2^11 - 19411644072337443206/96184136987801*c_0101_2^10 + 131851803239880303051/192368273975602*c_0101_2^9 + 166647562846614100833/192368273975602*c_0101_2^8 + 78881061907296444889/192368273975602*c_0101_2^7 - 7409209666061332589/96184136987801*c_0101_2^6 - 23812623070994436545/96184136987801*c_0101_2^5 - 35179735891511072531/192368273975602*c_0101_2^4 - 15097375163675740729/192368273975602*c_0101_2^3 - 4081754786628528311/192368273975602*c_0101_2^2 - 328077630037350411/96184136987801*c_0101_2 - 49110388489892293/192368273975602, c_0101_1 + 58845823172542899/192368273975602*c_0101_2^20 + 73709794716615294/96184136987801*c_0101_2^19 - 748959607265049223/192368273975602*c_0101_2^18 - 2890287726406987617/192368273975602*c_0101_2^17 - 38511677928108679/96184136987801*c_0101_2^16 + 6983778645398555447/96184136987801*c_0101_2^15 + 12124859185590153292/96184136987801*c_0101_2^14 + 3449447940283031489/192368273975602*c_0101_2^13 - 40045108053950355947/192368273975602*c_0101_2^12 - 56243054414935091741/192368273975602*c_0101_2^11 - 9729506125670920838/96184136987801*c_0101_2^10 + 16484619239590832544/96184136987801*c_0101_2^9 + 50414821854427012739/192368273975602*c_0101_2^8 + 28433894469712778483/192368273975602*c_0101_2^7 - 393920861018176885/96184136987801*c_0101_2^6 - 13640838824960731767/192368273975602*c_0101_2^5 - 11475739742781559885/192368273975602*c_0101_2^4 - 2696896961447443603/96184136987801*c_0101_2^3 - 797458584202086603/96184136987801*c_0101_2^2 - 141591543576679190/96184136987801*c_0101_2 - 23748599232236491/192368273975602, c_0101_2^21 + 8/3*c_0101_2^20 - 110/9*c_0101_2^19 - 51*c_0101_2^18 - 32/3*c_0101_2^17 + 700/3*c_0101_2^16 + 4081/9*c_0101_2^15 + 1322/9*c_0101_2^14 - 5825/9*c_0101_2^13 - 3241/3*c_0101_2^12 - 4888/9*c_0101_2^11 + 1376/3*c_0101_2^10 + 8608/9*c_0101_2^9 + 6056/9*c_0101_2^8 + 973/9*c_0101_2^7 - 671/3*c_0101_2^6 - 2197/9*c_0101_2^5 - 137*c_0101_2^4 - 445/9*c_0101_2^3 - 35/3*c_0101_2^2 - 5/3*c_0101_2 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB