Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3970789591] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0108 geometric_solution 3.63465443 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.021574121869 0.646704951431 0 0 3 3 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 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.406108200651 0.092152516565 0 0 2 2 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.144072652076 0.013837303399 1 4 1 4 2310 0132 0132 1023 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 1 -1 0 0 0 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.666642270729 0.241057157306 5 3 6 3 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -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 0.945662886555 1.965088134669 4 6 6 6 0132 3201 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 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 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.010042291789 1.002339862246 5 5 5 4 3201 0213 2310 0132 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 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.010042291789 1.002339862246 ==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_3'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), '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' : d['c_0101_4'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_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_6, c_0101_0, c_0101_1, c_0101_4, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 58884752099/7*c_0110_2^26 + 858658222437/7*c_0110_2^25 - 701009868413/7*c_0110_2^24 - 23375945060109/7*c_0110_2^23 + 16609573068553/7*c_0110_2^22 + 265155307515485/7*c_0110_2^21 - 105217532357849/7*c_0110_2^20 - 1429160710473409/7*c_0110_2^19 + 631964978386030/7*c_0110_2^18 + 4371256888055024/7*c_0110_2^17 - 2886067948201576/7*c_0110_2^16 - 7760373271763011/7*c_0110_2^15 + 7753063462659678/7*c_0110_2^14 + 1004771525841857*c_0110_2^13 - 11650615701068892/7*c_0110_2^12 - 874398562725479/7*c_0110_2^11 + 9121871223119030/7*c_0110_2^10 - 4014993833250032/7*c_0110_2^9 - 2596240339022137/7*c_0110_2^8 + 3029668019470545/7*c_0110_2^7 - 101959985581290*c_0110_2^6 - 452184779181860/7*c_0110_2^5 + 400835958249196/7*c_0110_2^4 - 142780363656387/7*c_0110_2^3 + 4029524723007*c_0110_2^2 - 434611908780*c_0110_2 + 140774805942/7, c_0011_0 - 1, c_0011_3 + 22*c_0110_2^26 - 329*c_0110_2^25 + 381*c_0110_2^24 + 8642*c_0110_2^23 - 9464*c_0110_2^22 - 96918*c_0110_2^21 + 76333*c_0110_2^20 + 521175*c_0110_2^19 - 435771*c_0110_2^18 - 1555267*c_0110_2^17 + 1691157*c_0110_2^16 + 2528487*c_0110_2^15 - 3997185*c_0110_2^14 - 1603351*c_0110_2^13 + 5386571*c_0110_2^12 - 1245391*c_0110_2^11 - 3612071*c_0110_2^10 + 2763668*c_0110_2^9 + 475572*c_0110_2^8 - 1521742*c_0110_2^7 + 670048*c_0110_2^6 + 91031*c_0110_2^5 - 217765*c_0110_2^4 + 105945*c_0110_2^3 - 27575*c_0110_2^2 + 4050*c_0110_2 - 275, c_0011_6 - 252*c_0110_2^26 + 3759*c_0110_2^25 - 4222*c_0110_2^24 - 99147*c_0110_2^23 + 104646*c_0110_2^22 + 1114036*c_0110_2^21 - 832055*c_0110_2^20 - 6000460*c_0110_2^19 + 4763352*c_0110_2^18 + 17990634*c_0110_2^17 - 18684810*c_0110_2^16 - 29656952*c_0110_2^15 + 44643554*c_0110_2^14 + 20036968*c_0110_2^13 - 60899332*c_0110_2^12 + 11964692*c_0110_2^11 + 41774720*c_0110_2^10 - 30050917*c_0110_2^9 - 6555372*c_0110_2^8 + 17149258*c_0110_2^7 - 7023652*c_0110_2^6 - 1293883*c_0110_2^5 + 2435862*c_0110_2^4 - 1120544*c_0110_2^3 + 275562*c_0110_2^2 - 37422*c_0110_2 + 2252, c_0101_0 + c_0110_2^26 - 15*c_0110_2^25 + 18*c_0110_2^24 + 392*c_0110_2^23 - 448*c_0110_2^22 - 4385*c_0110_2^21 + 3669*c_0110_2^20 + 23523*c_0110_2^19 - 20877*c_0110_2^18 - 69745*c_0110_2^17 + 80041*c_0110_2^16 + 111293*c_0110_2^15 - 186749*c_0110_2^14 - 64391*c_0110_2^13 + 247771*c_0110_2^12 - 67871*c_0110_2^11 - 161100*c_0110_2^10 + 132944*c_0110_2^9 + 15574*c_0110_2^8 - 69878*c_0110_2^7 + 33633*c_0110_2^6 + 2609*c_0110_2^5 - 10017*c_0110_2^4 + 5271*c_0110_2^3 - 1493*c_0110_2^2 + 253*c_0110_2 - 23, c_0101_1 - 176056853*c_0110_2^26 + 2580144822*c_0110_2^25 - 2279050645*c_0110_2^24 - 69804216799*c_0110_2^23 + 54805415545*c_0110_2^22 + 791021744407*c_0110_2^21 - 373229302507*c_0110_2^20 - 4271386445769*c_0110_2^19 + 2202691463059*c_0110_2^18 + 13045575381054*c_0110_2^17 - 9593801493863*c_0110_2^16 - 22923455813401*c_0110_2^15 + 24979816499525*c_0110_2^14 + 19990012306864*c_0110_2^13 - 36751245474357*c_0110_2^12 - 766210818893*c_0110_2^11 + 28138866766740*c_0110_2^10 - 13683180737381*c_0110_2^9 - 7497000126555*c_0110_2^8 + 9722821946897*c_0110_2^7 - 2553984887716*c_0110_2^6 - 1349111311862*c_0110_2^5 + 1298347887745*c_0110_2^4 - 478104331588*c_0110_2^3 + 96882133154*c_0110_2^2 - 10689501329*c_0110_2 + 505379873, c_0101_4 - 243978066*c_0110_2^26 + 3562356886*c_0110_2^25 - 2970589332*c_0110_2^24 - 96825972108*c_0110_2^23 + 70682720323*c_0110_2^22 + 1098084291672*c_0110_2^21 - 457189774374*c_0110_2^20 - 5921996203539*c_0110_2^19 + 2731523535503*c_0110_2^18 + 18108675572493*c_0110_2^17 - 12305833296745*c_0110_2^16 - 32070417323218*c_0110_2^15 + 32774316742222*c_0110_2^14 + 28799196533883*c_0110_2^13 - 48974896924521*c_0110_2^12 - 2992683080753*c_0110_2^11 + 38130107938781*c_0110_2^10 - 17219668520594*c_0110_2^9 - 10684666928208*c_0110_2^8 + 12790521951427*c_0110_2^7 - 3097740807989*c_0110_2^6 - 1876540966883*c_0110_2^5 + 1695657053986*c_0110_2^4 - 608685768938*c_0110_2^3 + 120935020514*c_0110_2^2 - 13107353297*c_0110_2 + 609169308, c_0110_2^27 - 15*c_0110_2^26 + 18*c_0110_2^25 + 392*c_0110_2^24 - 448*c_0110_2^23 - 4385*c_0110_2^22 + 3669*c_0110_2^21 + 23523*c_0110_2^20 - 20877*c_0110_2^19 - 69745*c_0110_2^18 + 80041*c_0110_2^17 + 111293*c_0110_2^16 - 186749*c_0110_2^15 - 64391*c_0110_2^14 + 247771*c_0110_2^13 - 67871*c_0110_2^12 - 161100*c_0110_2^11 + 132944*c_0110_2^10 + 15574*c_0110_2^9 - 69878*c_0110_2^8 + 33633*c_0110_2^7 + 2609*c_0110_2^6 - 10017*c_0110_2^5 + 5271*c_0110_2^4 - 1493*c_0110_2^3 + 252*c_0110_2^2 - 24*c_0110_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB