Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 3035965550] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0925 geometric_solution 4.82183475 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1302 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 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 0 0.653598435635 0.637800554370 0 3 0 2 0132 1230 2031 2103 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 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.657578501527 1.210744915613 4 0 4 1 0132 0132 1023 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.866188843741 0.286740386967 5 5 1 0 0132 2310 3012 0132 0 0 0 0 0 1 0 -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 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 -1.033493765013 1.592319654680 2 4 2 4 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.834701898963 0.157487650339 3 6 6 3 0132 0132 1023 3201 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 1 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.011760532747 0.317075822970 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 1 -1 1 0 0 -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 0 -1 1 -1 0 0 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 2.049209915552 1.016481676303 ==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' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0101_4']})} 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_0101_1, c_0101_2, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 63845615291/768*c_0101_6^28 + 21305345803/12*c_0101_6^27 - 11914914443393/768*c_0101_6^26 + 51241292746123/768*c_0101_6^25 - 83143598571329/768*c_0101_6^24 - 169315655757305/768*c_0101_6^23 + 151619057689175/128*c_0101_6^22 - 55530919641181/64*c_0101_6^21 - 735742175728831/192*c_0101_6^20 + 1675121075274989/256*c_0101_6^19 + 5096688485898029/768*c_0101_6^18 - 14303788212795755/768*c_0101_6^17 - 6735634449192169/768*c_0101_6^16 + 25106230351794575/768*c_0101_6^15 + 2740720418524813/192*c_0101_6^14 - 1811116709991203/48*c_0101_6^13 - 4770729726922805/192*c_0101_6^12 + 18462603890031811/768*c_0101_6^11 + 5375140421478709/192*c_0101_6^10 - 270979205267689/192*c_0101_6^9 - 5633538911846639/384*c_0101_6^8 - 5601089192535685/768*c_0101_6^7 + 634998602252279/768*c_0101_6^6 + 626035217273851/256*c_0101_6^5 + 486605645334005/384*c_0101_6^4 + 68281430587349/192*c_0101_6^3 + 11420360595791/192*c_0101_6^2 + 538698268211/96*c_0101_6 + 59288601723/256, c_0011_0 - 1, c_0011_3 - 23588359*c_0101_6^28 + 503186042*c_0101_6^27 - 4389302109*c_0101_6^26 + 18816947719*c_0101_6^25 - 30201767468*c_0101_6^24 - 63522999061*c_0101_6^23 + 334925238973*c_0101_6^22 - 237366405627*c_0101_6^21 - 1096906389104*c_0101_6^20 + 1833369103369*c_0101_6^19 + 1938394458127*c_0101_6^18 - 5259544734516*c_0101_6^17 - 2629963992460*c_0101_6^16 + 9269327808192*c_0101_6^15 + 4283730674546*c_0101_6^14 - 10696963115672*c_0101_6^13 - 7320403583631*c_0101_6^12 + 6751693804127*c_0101_6^11 + 8140551482373*c_0101_6^10 - 280066299665*c_0101_6^9 - 4219858471724*c_0101_6^8 - 2150521063942*c_0101_6^7 + 214906919083*c_0101_6^6 + 707415370986*c_0101_6^5 + 371518425353*c_0101_6^4 + 105175600562*c_0101_6^3 + 17720462812*c_0101_6^2 + 1683068059*c_0101_6 + 69914749, c_0101_1 + 72711180*c_0101_6^28 - 1553239559*c_0101_6^27 + 13577227039*c_0101_6^26 - 58427465189*c_0101_6^25 + 95013556021*c_0101_6^24 + 192188135941*c_0101_6^23 - 1036650367228*c_0101_6^22 + 764356403484*c_0101_6^21 + 3344946893636*c_0101_6^20 - 5736250142600*c_0101_6^19 - 5768808328578*c_0101_6^18 + 16299611502403*c_0101_6^17 + 7583888346482*c_0101_6^16 - 28582707577303*c_0101_6^15 - 12345837417199*c_0101_6^14 + 32985655823653*c_0101_6^13 + 21572801170062*c_0101_6^12 - 21043696919789*c_0101_6^11 - 24365682491977*c_0101_6^10 + 1288495465278*c_0101_6^9 + 12789997392884*c_0101_6^8 + 6336778518639*c_0101_6^7 - 729124820393*c_0101_6^6 - 2130312234406*c_0101_6^5 - 1102496282525*c_0101_6^4 - 309251349341*c_0101_6^3 - 51716820226*c_0101_6^2 - 4879797562*c_0101_6 - 201492503, c_0101_2 + 71690*c_0101_6^28 - 1517375*c_0101_6^27 + 13083823*c_0101_6^26 - 54927752*c_0101_6^25 + 81898120*c_0101_6^24 + 210001261*c_0101_6^23 - 988669456*c_0101_6^22 + 547068586*c_0101_6^21 + 3483487898*c_0101_6^20 - 5042509081*c_0101_6^19 - 6909824572*c_0101_6^18 + 15178038433*c_0101_6^17 + 10796621431*c_0101_6^16 - 27322886467*c_0101_6^15 - 17867780847*c_0101_6^14 + 31182226971*c_0101_6^13 + 27914033518*c_0101_6^12 - 17799250293*c_0101_6^11 - 28659586126*c_0101_6^10 - 2592961930*c_0101_6^9 + 13589851633*c_0101_6^8 + 8551292208*c_0101_6^7 + 75872823*c_0101_6^6 - 2395610827*c_0101_6^5 - 1446035775*c_0101_6^4 - 450406785*c_0101_6^3 - 82840847*c_0101_6^2 - 8594101*c_0101_6 - 391530, c_0101_3 - c_0101_6^28 + 21*c_0101_6^27 - 179*c_0101_6^26 + 736*c_0101_6^25 - 1016*c_0101_6^24 - 3116*c_0101_6^23 + 13301*c_0101_6^22 - 5354*c_0101_6^21 - 49808*c_0101_6^20 + 62249*c_0101_6^19 + 107886*c_0101_6^18 - 195476*c_0101_6^17 - 185414*c_0101_6^16 + 355396*c_0101_6^15 + 312027*c_0101_6^14 - 392284*c_0101_6^13 - 460844*c_0101_6^12 + 182149*c_0101_6^11 + 439855*c_0101_6^10 + 103464*c_0101_6^9 - 182366*c_0101_6^8 - 150781*c_0101_6^7 - 21472*c_0101_6^6 + 32938*c_0101_6^5 + 25759*c_0101_6^4 + 9734*c_0101_6^3 + 2248*c_0101_6^2 + 325*c_0101_6 + 26, c_0101_4 + 29765364*c_0101_6^28 - 635648806*c_0101_6^27 + 5553906809*c_0101_6^26 - 23881781728*c_0101_6^25 + 38736835256*c_0101_6^24 + 78941849397*c_0101_6^23 - 423878438124*c_0101_6^22 + 310076861518*c_0101_6^21 + 1371636499888*c_0101_6^20 - 2339443390781*c_0101_6^19 - 2378032498179*c_0101_6^18 + 6658751458162*c_0101_6^17 + 3150697705852*c_0101_6^16 - 11686088843403*c_0101_6^15 - 5134495533347*c_0101_6^14 + 13481100950887*c_0101_6^13 + 8925924694786*c_0101_6^12 - 8570371672508*c_0101_6^11 - 10040938010524*c_0101_6^10 + 471421572033*c_0101_6^9 + 5250205638111*c_0101_6^8 + 2627307387328*c_0101_6^7 - 287433241003*c_0101_6^6 - 876539771514*c_0101_6^5 - 456421308542*c_0101_6^4 - 128591130581*c_0101_6^3 - 21591532193*c_0101_6^2 - 2045446265*c_0101_6 - 84803833, c_0101_6^29 - 21*c_0101_6^28 + 179*c_0101_6^27 - 736*c_0101_6^26 + 1016*c_0101_6^25 + 3116*c_0101_6^24 - 13301*c_0101_6^23 + 5354*c_0101_6^22 + 49808*c_0101_6^21 - 62249*c_0101_6^20 - 107886*c_0101_6^19 + 195476*c_0101_6^18 + 185414*c_0101_6^17 - 355396*c_0101_6^16 - 312027*c_0101_6^15 + 392284*c_0101_6^14 + 460844*c_0101_6^13 - 182149*c_0101_6^12 - 439855*c_0101_6^11 - 103464*c_0101_6^10 + 182366*c_0101_6^9 + 150781*c_0101_6^8 + 21472*c_0101_6^7 - 32938*c_0101_6^6 - 25759*c_0101_6^5 - 9734*c_0101_6^4 - 2248*c_0101_6^3 - 324*c_0101_6^2 - 27*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB