Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 2833855621] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s211 geometric_solution 4.35005135 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.668655411807 0.264167806213 0 2 2 0 3201 0132 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 1 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.214902015708 0.689263685108 3 1 1 4 0132 0132 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 1 0 -1 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314818467720 0.309079696474 2 4 5 4 0132 2310 0132 3201 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 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.248070944520 1.223568058014 5 3 2 3 1023 2310 0132 3201 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 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.248070944520 1.223568058014 5 4 5 3 2310 1023 3201 0132 0 0 0 0 0 0 0 0 1 0 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 0 0 1 0 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.159156753266 0.785013818888 ==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' : negation(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' : negation(d['1']), 's_2_5' : 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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_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_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : 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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 8191848415745628235373444/468452769961502056033009*c_0101_3^15 + 35659257041582772808590663/468452769961502056033009*c_0101_3^14 + 3986923653928732877160889619/936905539923004112066018*c_0101_3^13 + 27534929178463009097075322513/936905539923004112066018*c_0101_3^12 + 5124440000996353997183481701/66921824280214579433287*c_0101_3^11 + 45330069162853015960172313577/468452769961502056033009*c_0101_3^10 + 18984830577914367837009407695/468452769961502056033009*c_0101_3^9 - 28082627851962235455392876105/468452769961502056033009*c_0101_3^8 - 88167942276439432306851847011/936905539923004112066018*c_0101_3^7 - 49048644981117025829241837849/936905539923004112066018*c_0101_3^6 - 275747855408917396684048967/66921824280214579433287*c_0101_3^5 + 6085460827081883322917335859/468452769961502056033009*c_0101_3^4 + 3066544308200484887229526659/468452769961502056033009*c_0101_3^3 + 27011156866313461056981947/133843648560429158866574*c_0101_3^2 - 508468630664552914902215843/936905539923004112066018*c_0101_3 - 62057176289239571656886627/468452769961502056033009, c_0011_0 - 1, c_0011_1 - 1505151851094225422/7872229653007243787*c_0101_3^15 + 4099177732671958048/7872229653007243787*c_0101_3^14 + 378927256880147544561/7872229653007243787*c_0101_3^13 + 3117321175103435451905/7872229653007243787*c_0101_3^12 + 10234879499023992028729/7872229653007243787*c_0101_3^11 + 15882082291758605906578/7872229653007243787*c_0101_3^10 + 9277994793759530951480/7872229653007243787*c_0101_3^9 - 8399705109647082819193/7872229653007243787*c_0101_3^8 - 19052705675168016434476/7872229653007243787*c_0101_3^7 - 10864732837555989149220/7872229653007243787*c_0101_3^6 + 622715635603259535979/7872229653007243787*c_0101_3^5 + 4316857308822350865115/7872229653007243787*c_0101_3^4 + 2312327142689400274385/7872229653007243787*c_0101_3^3 - 91181367224641231710/7872229653007243787*c_0101_3^2 - 314949568944471001972/7872229653007243787*c_0101_3 - 40945990530694356863/7872229653007243787, c_0011_4 - 10723261510145376168366/66921824280214579433287*c_0101_3^15 + 53583121991994814072118/66921824280214579433287*c_0101_3^14 + 2569590561043731962378094/66921824280214579433287*c_0101_3^13 + 16386034517882425577075712/66921824280214579433287*c_0101_3^12 + 37734868392177013435037732/66921824280214579433287*c_0101_3^11 + 45227937222497421178410647/66921824280214579433287*c_0101_3^10 + 27238971292739102842034584/66921824280214579433287*c_0101_3^9 - 3435767112022939170073135/66921824280214579433287*c_0101_3^8 - 14874723051316435038859606/66921824280214579433287*c_0101_3^7 - 25542623865409823860640652/66921824280214579433287*c_0101_3^6 - 26073047883514369975779501/66921824280214579433287*c_0101_3^5 - 14830888767383369376650946/66921824280214579433287*c_0101_3^4 - 4690732519392368066478470/66921824280214579433287*c_0101_3^3 + 1614431845613227104678342/66921824280214579433287*c_0101_3^2 + 1423472487141570485803766/66921824280214579433287*c_0101_3 + 172760829820522120690280/66921824280214579433287, c_0101_0 + 34678336369498253739534/66921824280214579433287*c_0101_3^15 - 145246456781474779695692/66921824280214579433287*c_0101_3^14 - 8462305077484992761681560/66921824280214579433287*c_0101_3^13 - 59677778148542981320014162/66921824280214579433287*c_0101_3^12 - 161785992822576185849288796/66921824280214579433287*c_0101_3^11 - 219054568104243498818665344/66921824280214579433287*c_0101_3^10 - 116901877523269633828561507/66921824280214579433287*c_0101_3^9 + 99944052188482804513360674/66921824280214579433287*c_0101_3^8 + 203482094484723949905252115/66921824280214579433287*c_0101_3^7 + 136637234664409478788951718/66921824280214579433287*c_0101_3^6 + 28802454001605513142337422/66921824280214579433287*c_0101_3^5 - 20796613647943683830432120/66921824280214579433287*c_0101_3^4 - 15065705608055337669322674/66921824280214579433287*c_0101_3^3 - 2097583114847175723393845/66921824280214579433287*c_0101_3^2 + 970485446887119373072455/66921824280214579433287*c_0101_3 + 222854138045621965083277/66921824280214579433287, c_0101_2 - 101779684144171029988272/66921824280214579433287*c_0101_3^15 + 460870661008529413491969/66921824280214579433287*c_0101_3^14 + 24689870450823752638910661/66921824280214579433287*c_0101_3^13 + 166716436228609069435034961/66921824280214579433287*c_0101_3^12 + 415819618266016934749754086/66921824280214579433287*c_0101_3^11 + 486217457056300037766327698/66921824280214579433287*c_0101_3^10 + 141851791280949106142791670/66921824280214579433287*c_0101_3^9 - 381453572362423123355853556/66921824280214579433287*c_0101_3^8 - 479228709409370739817226228/66921824280214579433287*c_0101_3^7 - 210022702821943736280228049/66921824280214579433287*c_0101_3^6 + 20097408585982743165158802/66921824280214579433287*c_0101_3^5 + 72699906333092284470921731/66921824280214579433287*c_0101_3^4 + 23233916718541915419265853/66921824280214579433287*c_0101_3^3 - 4284367160011716939458870/66921824280214579433287*c_0101_3^2 - 2421721577618885943242420/66921824280214579433287*c_0101_3 - 179811896100188150040218/66921824280214579433287, c_0101_3^16 - 4*c_0101_3^15 - 245*c_0101_3^14 - 1766*c_0101_3^13 - 4944*c_0101_3^12 - 6891*c_0101_3^11 - 3809*c_0101_3^10 + 3138*c_0101_3^9 + 6731*c_0101_3^8 + 4466*c_0101_3^7 + 782*c_0101_3^6 - 876*c_0101_3^5 - 614*c_0101_3^4 - 71*c_0101_3^3 + 48*c_0101_3^2 + 14*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB