Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 2766485634] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s102 geometric_solution 3.95521855 oriented_manifold CS_known 0.0000000000000000 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.594660499940 0.130029468893 0 2 2 0 3201 0132 1023 0132 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 1 0 -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 0 0 0 1.429913907636 0.333387700549 3 1 1 4 0132 0132 1023 0132 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 -1 0 1 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.233548739023 0.887059973321 2 4 4 5 0132 2310 3201 0132 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 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.007219173347 0.586952103869 3 5 2 3 2310 1023 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.007219173347 0.586952103869 4 5 3 5 1023 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 -1 0 1 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.468666273009 0.929276981529 ==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' : 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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : 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_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : 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' : d['c_0101_2'], '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' : negation(d['c_0101_3']), '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' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], '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: 13 Groebner basis: [ t - 21816174054146/1065158271189*c_0101_3^12 + 158311047192511/1065158271189*c_0101_3^11 + 178005679216984/1065158271189*c_0101_3^10 - 48480428294902/1065158271189*c_0101_3^9 - 409703884560355/1065158271189*c_0101_3^8 - 1078381962843881/1065158271189*c_0101_3^7 - 310863609410/355052757063*c_0101_3^6 - 56921789145686/1065158271189*c_0101_3^5 + 51400240570141/355052757063*c_0101_3^4 + 450972323553260/355052757063*c_0101_3^3 - 354028031789303/1065158271189*c_0101_3^2 - 55971628269751/1065158271189*c_0101_3 - 68002290061475/1065158271189, c_0011_0 - 1, c_0011_1 - 495727433/2886607781*c_0101_3^12 + 3752925977/2886607781*c_0101_3^11 + 2975352897/2886607781*c_0101_3^10 - 2802259265/2886607781*c_0101_3^9 - 9505996528/2886607781*c_0101_3^8 - 21317271737/2886607781*c_0101_3^7 + 9119782894/2886607781*c_0101_3^6 + 1272380816/2886607781*c_0101_3^5 + 4006080952/2886607781*c_0101_3^4 + 29841074685/2886607781*c_0101_3^3 - 16896280540/2886607781*c_0101_3^2 - 2232112258/2886607781*c_0101_3 - 620417470/2886607781, c_0011_4 + 13154691631/118350919021*c_0101_3^12 - 92001611112/118350919021*c_0101_3^11 - 129920755670/118350919021*c_0101_3^10 - 15077082246/118350919021*c_0101_3^9 + 220702850817/118350919021*c_0101_3^8 + 696677140789/118350919021*c_0101_3^7 + 223978138337/118350919021*c_0101_3^6 + 199523422263/118350919021*c_0101_3^5 + 35665044405/118350919021*c_0101_3^4 - 866853504420/118350919021*c_0101_3^3 - 18744646038/118350919021*c_0101_3^2 - 30559925294/118350919021*c_0101_3 - 20304554214/118350919021, c_0101_0 - 12878547013/118350919021*c_0101_3^12 + 93926407419/118350919021*c_0101_3^11 + 102759938384/118350919021*c_0101_3^10 - 46730539107/118350919021*c_0101_3^9 - 202860712672/118350919021*c_0101_3^8 - 591594741315/118350919021*c_0101_3^7 + 55785884637/118350919021*c_0101_3^6 - 79279458845/118350919021*c_0101_3^5 - 143271957554/118350919021*c_0101_3^4 + 776530919007/118350919021*c_0101_3^3 - 379035571720/118350919021*c_0101_3^2 - 28342634850/118350919021*c_0101_3 + 97243805974/118350919021, c_0101_2 + 1284821892/118350919021*c_0101_3^12 - 11215023565/118350919021*c_0101_3^11 + 280282747/118350919021*c_0101_3^10 + 37738017845/118350919021*c_0101_3^9 + 55582099246/118350919021*c_0101_3^8 + 64886521887/118350919021*c_0101_3^7 - 140994861735/118350919021*c_0101_3^6 - 197866458892/118350919021*c_0101_3^5 - 188029220577/118350919021*c_0101_3^4 - 167808435430/118350919021*c_0101_3^3 + 143888650827/118350919021*c_0101_3^2 + 75100635174/118350919021*c_0101_3 + 84331903422/118350919021, c_0101_3^13 - 7*c_0101_3^12 - 10*c_0101_3^11 + 19*c_0101_3^9 + 54*c_0101_3^8 + 13*c_0101_3^7 + 4*c_0101_3^6 - 5*c_0101_3^5 - 63*c_0101_3^4 + c_0101_3^3 + 6*c_0101_3^2 + 3*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB