Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 2446331207] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1088 geometric_solution 4.95353343 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -1 1 0 0 0 -1 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.723802454309 0.434156593587 0 4 3 3 0132 0132 3012 2310 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 0 -1 1 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.599456481638 1.229512781005 5 0 5 0 0132 0132 2310 1023 0 0 0 0 0 1 0 -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 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.813740778806 0.121304628724 1 1 4 0 3201 1230 1023 0132 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 0 0 0 0 1 0 -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.599456481638 1.229512781005 6 1 3 6 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528461084812 0.706986307774 2 2 5 5 0132 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632706354544 0.083347450873 4 6 6 4 0132 3201 2310 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 0 0 0 0 0 0 0 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.406702756758 0.500405926333 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0101_0']), '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_0'], 'c_0011_6' : negation(d['c_0011_0']), '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_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_5']})} 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_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 886902612/41*c_0101_6^35 + 2420686055/41*c_0101_6^34 - 7178066731/41*c_0101_6^33 - 40867256561/41*c_0101_6^32 - 45067561616/41*c_0101_6^31 + 397601807490/41*c_0101_6^30 + 956160673500/41*c_0101_6^29 - 2878663646964/41*c_0101_6^28 - 6341295432144/41*c_0101_6^27 + 15225735942433/41*c_0101_6^26 + 23316865998128/41*c_0101_6^25 - 56480329640631/41*c_0101_6^24 - 53136790767557/41*c_0101_6^23 + 146086378145930/41*c_0101_6^22 + 77173199618062/41*c_0101_6^21 - 267052027292164/41*c_0101_6^20 - 69396779817879/41*c_0101_6^19 + 351366512593573/41*c_0101_6^18 + 32321790183652/41*c_0101_6^17 - 338229634372133/41*c_0101_6^16 + 2474583625320/41*c_0101_6^15 + 241031242603649/41*c_0101_6^14 - 14430131168592/41*c_0101_6^13 - 127903525916010/41*c_0101_6^12 + 10339864193874/41*c_0101_6^11 + 50463416008408/41*c_0101_6^10 - 4096499064358/41*c_0101_6^9 - 14636379721363/41*c_0101_6^8 + 1010581693642/41*c_0101_6^7 + 3040491083767/41*c_0101_6^6 - 154128305890/41*c_0101_6^5 - 429593703097/41*c_0101_6^4 + 13274970233/41*c_0101_6^3 + 37101164549/41*c_0101_6^2 - 490138702/41*c_0101_6 - 1482304894/41, c_0011_0 - 1, c_0011_3 + c_0101_6^35 + 2*c_0101_6^34 - 10*c_0101_6^33 - 40*c_0101_6^32 - 18*c_0101_6^31 + 482*c_0101_6^30 + 749*c_0101_6^29 - 3993*c_0101_6^28 - 4717*c_0101_6^27 + 22067*c_0101_6^26 + 13370*c_0101_6^25 - 81157*c_0101_6^24 - 12346*c_0101_6^23 + 202336*c_0101_6^22 - 34258*c_0101_6^21 - 349982*c_0101_6^20 + 139314*c_0101_6^19 + 429226*c_0101_6^18 - 243657*c_0101_6^17 - 380292*c_0101_6^16 + 266234*c_0101_6^15 + 247090*c_0101_6^14 - 199697*c_0101_6^13 - 118980*c_0101_6^12 + 106880*c_0101_6^11 + 42660*c_0101_6^10 - 41450*c_0101_6^9 - 11345*c_0101_6^8 + 11637*c_0101_6^7 + 2197*c_0101_6^6 - 2321*c_0101_6^5 - 296*c_0101_6^4 + 314*c_0101_6^3 + 25*c_0101_6^2 - 25*c_0101_6 - 1, c_0101_0 - 24*c_0101_6^35 - 49*c_0101_6^34 + 237*c_0101_6^33 + 968*c_0101_6^32 + 482*c_0101_6^31 - 11510*c_0101_6^30 - 18440*c_0101_6^29 + 94601*c_0101_6^28 + 116452*c_0101_6^27 - 520898*c_0101_6^26 - 338230*c_0101_6^25 + 1912331*c_0101_6^24 + 364091*c_0101_6^23 - 4762561*c_0101_6^22 + 632202*c_0101_6^21 + 8231490*c_0101_6^20 - 2959296*c_0101_6^19 - 10090756*c_0101_6^18 + 5279228*c_0101_6^17 + 8941439*c_0101_6^16 - 5765667*c_0101_6^15 - 5816102*c_0101_6^14 + 4279404*c_0101_6^13 + 2808127*c_0101_6^12 - 2246443*c_0101_6^11 - 1011740*c_0101_6^10 + 845260*c_0101_6^9 + 271070*c_0101_6^8 - 226493*c_0101_6^7 - 53020*c_0101_6^6 + 41870*c_0101_6^5 + 7228*c_0101_6^4 - 4919*c_0101_6^3 - 618*c_0101_6^2 + 286*c_0101_6 + 25, c_0101_1 - 92737*c_0101_6^35 - 249553*c_0101_6^34 + 763790*c_0101_6^33 + 4254950*c_0101_6^32 + 4524164*c_0101_6^31 - 41920581*c_0101_6^30 - 98618021*c_0101_6^29 + 306291617*c_0101_6^28 + 655639430*c_0101_6^27 - 1627175274*c_0101_6^26 - 2403494807*c_0101_6^25 + 6048003259*c_0101_6^24 + 5427342188*c_0101_6^23 - 15662813617*c_0101_6^22 - 7715448868*c_0101_6^21 + 28668913961*c_0101_6^20 + 6559881848*c_0101_6^19 - 37781816340*c_0101_6^18 - 2402648531*c_0101_6^17 + 36449230376*c_0101_6^16 - 1238834532*c_0101_6^15 - 26052171939*c_0101_6^14 + 2212929585*c_0101_6^13 + 13879282506*c_0101_6^12 - 1442423530*c_0101_6^11 - 5503555210*c_0101_6^10 + 559422572*c_0101_6^9 + 1606021079*c_0101_6^8 - 138539638*c_0101_6^7 - 335989380*c_0101_6^6 + 21548026*c_0101_6^5 + 47841827*c_0101_6^4 - 1922307*c_0101_6^3 - 4165392*c_0101_6^2 + 75050*c_0101_6 + 167762, c_0101_2 - 2917394*c_0101_6^35 - 7890438*c_0101_6^34 + 23794754*c_0101_6^33 + 133836823*c_0101_6^32 + 145108800*c_0101_6^31 - 1311146656*c_0101_6^30 - 3113436433*c_0101_6^29 + 9539309499*c_0101_6^28 + 20622839323*c_0101_6^27 - 50525201382*c_0101_6^26 - 75456350856*c_0101_6^25 + 187259868918*c_0101_6^24 + 170332602149*c_0101_6^23 - 483350190677*c_0101_6^22 - 242951972255*c_0101_6^21 + 881211125988*c_0101_6^20 + 209796589062*c_0101_6^19 - 1155966501500*c_0101_6^18 - 84228289153*c_0101_6^17 + 1109398635750*c_0101_6^16 - 27067342393*c_0101_6^15 - 788396930942*c_0101_6^14 + 59216930168*c_0101_6^13 + 417391757702*c_0101_6^12 - 39320481463*c_0101_6^11 - 164388103626*c_0101_6^10 + 15211119323*c_0101_6^9 + 47621517427*c_0101_6^8 - 3727024632*c_0101_6^7 - 9885269755*c_0101_6^6 + 570288530*c_0101_6^5 + 1396040130*c_0101_6^4 - 49745117*c_0101_6^3 - 120515199*c_0101_6^2 + 1882865*c_0101_6 + 4811927, c_0101_5 + 921438*c_0101_6^35 + 2370338*c_0101_6^34 - 7776623*c_0101_6^33 - 41142665*c_0101_6^32 - 40905898*c_0101_6^31 + 417500404*c_0101_6^30 + 927214116*c_0101_6^29 - 3110877373*c_0101_6^28 - 6065167047*c_0101_6^27 + 16556360048*c_0101_6^26 + 21421469264*c_0101_6^25 - 60871460732*c_0101_6^24 - 45187301854*c_0101_6^23 + 154694902042*c_0101_6^22 + 56041450152*c_0101_6^21 - 276331355036*c_0101_6^20 - 32130346179*c_0101_6^19 + 354026483208*c_0101_6^18 - 12804791709*c_0101_6^17 - 331291570552*c_0101_6^16 + 40942062783*c_0101_6^15 + 229574314975*c_0101_6^14 - 37913168907*c_0101_6^13 - 118702748102*c_0101_6^12 + 20702569773*c_0101_6^11 + 45777880604*c_0101_6^10 - 7400313637*c_0101_6^9 - 13023531528*c_0101_6^8 + 1759766074*c_0101_6^7 + 2661590700*c_0101_6^6 - 269923710*c_0101_6^5 - 370592762*c_0101_6^4 + 24309521*c_0101_6^3 + 31539066*c_0101_6^2 - 982193*c_0101_6 - 1239280, c_0101_6^36 + 2*c_0101_6^35 - 10*c_0101_6^34 - 40*c_0101_6^33 - 18*c_0101_6^32 + 482*c_0101_6^31 + 749*c_0101_6^30 - 3993*c_0101_6^29 - 4717*c_0101_6^28 + 22067*c_0101_6^27 + 13370*c_0101_6^26 - 81157*c_0101_6^25 - 12346*c_0101_6^24 + 202336*c_0101_6^23 - 34258*c_0101_6^22 - 349982*c_0101_6^21 + 139314*c_0101_6^20 + 429226*c_0101_6^19 - 243657*c_0101_6^18 - 380292*c_0101_6^17 + 266234*c_0101_6^16 + 247090*c_0101_6^15 - 199697*c_0101_6^14 - 118980*c_0101_6^13 + 106880*c_0101_6^12 + 42660*c_0101_6^11 - 41450*c_0101_6^10 - 11345*c_0101_6^9 + 11637*c_0101_6^8 + 2197*c_0101_6^7 - 2321*c_0101_6^6 - 296*c_0101_6^5 + 314*c_0101_6^4 + 25*c_0101_6^3 - 26*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB