Magma V2.19-8 Tue Aug 20 2013 16:16:40 on localhost [Seed = 1242289792] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0952 geometric_solution 4.85090489 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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.379085988667 0.209232129472 2 0 3 0 0132 2310 0132 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 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.598952451383 0.906766181058 1 4 3 3 0132 0132 3012 1230 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.338572107139 1.350679126631 2 2 4 1 3012 1230 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.338572107139 1.350679126631 3 2 5 5 2310 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 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 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.329073386926 0.429157902249 6 4 4 6 0132 3201 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.174506593168 0.719608588835 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.050105457360 1.438978981421 ==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' : negation(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' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 1/2, c_0011_0 - 1, c_0011_1 + 1, c_0011_3 + 1, c_0011_5 + 1, c_0101_0 + c_0101_3, c_0101_3^2 - 2, c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 433250596063450496723/5068836598470760076*c_0101_6^13 - 87569552794253277954/1267209149617690019*c_0101_6^12 - 15201048333666846356931/5068836598470760076*c_0101_6^11 + 8311004068310520452349/5068836598470760076*c_0101_6^10 + 147002227904672125135115/5068836598470760076*c_0101_6^9 - 13347072028182367700738/1267209149617690019*c_0101_6^8 - 141087740994986016590237/2534418299235380038*c_0101_6^7 + 75208366978800251875357/5068836598470760076*c_0101_6^6 - 40961175187453112315167/2534418299235380038*c_0101_6^5 - 322180630677445658368151/2534418299235380038*c_0101_6^4 - 20992914657668958314025/194955253787336926*c_0101_6^3 - 101631643064327729115065/2534418299235380038*c_0101_6^2 - 21767217007340884550451/2534418299235380038*c_0101_6 - 4174924427412181251923/5068836598470760076, c_0011_0 - 1, c_0011_1 + 13791509414842325/97477626893668463*c_0101_6^13 - 19130415048935696/97477626893668463*c_0101_6^12 - 474184695776719935/97477626893668463*c_0101_6^11 + 539887584575356203/97477626893668463*c_0101_6^10 + 4415910602573686964/97477626893668463*c_0101_6^9 - 4276935191497660721/97477626893668463*c_0101_6^8 - 7001724521617775029/97477626893668463*c_0101_6^7 + 6604459304080948507/97477626893668463*c_0101_6^6 - 5269976693043741985/97477626893668463*c_0101_6^5 - 17937317770370630747/97477626893668463*c_0101_6^4 - 543431039586393245/7498278991820651*c_0101_6^3 + 66430848535681408/97477626893668463*c_0101_6^2 + 89345622126494999/97477626893668463*c_0101_6 - 92378785750946329/97477626893668463, c_0011_3 + 21655369651645644/97477626893668463*c_0101_6^13 - 24990764783395131/97477626893668463*c_0101_6^12 - 755960209295121971/97477626893668463*c_0101_6^11 + 683957736591022480/97477626893668463*c_0101_6^10 + 7274149921798545588/97477626893668463*c_0101_6^9 - 5390619706138253153/97477626893668463*c_0101_6^8 - 13714774501374121839/97477626893668463*c_0101_6^7 + 10125506176416777498/97477626893668463*c_0101_6^6 - 5647456650580201116/97477626893668463*c_0101_6^5 - 32269283495279512577/97477626893668463*c_0101_6^4 - 1076426804718621567/7498278991820651*c_0101_6^3 + 76944749947848802/97477626893668463*c_0101_6^2 + 190181450237195907/97477626893668463*c_0101_6 - 60578200878179490/97477626893668463, c_0011_5 - 8494357799144899/97477626893668463*c_0101_6^13 + 12569721783115772/97477626893668463*c_0101_6^12 + 291298303390650854/97477626893668463*c_0101_6^11 - 359936293774062829/97477626893668463*c_0101_6^10 - 2700943320733870211/97477626893668463*c_0101_6^9 + 2896307757911120898/97477626893668463*c_0101_6^8 + 4188758352898049940/97477626893668463*c_0101_6^7 - 4559624063088393100/97477626893668463*c_0101_6^6 + 3364490079924176020/97477626893668463*c_0101_6^5 + 11024372030276714685/97477626893668463*c_0101_6^4 + 234606913938122539/7498278991820651*c_0101_6^3 - 862733079289954758/97477626893668463*c_0101_6^2 - 15856838863360108/97477626893668463*c_0101_6 + 18373901960690969/97477626893668463, c_0101_0 - 32636230726122176/97477626893668463*c_0101_3*c_0101_6^13 + 35276351439040295/97477626893668463*c_0101_3*c_0101_6^12 + 1137893149243714611/97477626893668463*c_0101_3*c_0101_6^11 - 938710720061441942/97477626893668463*c_0101_3*c_0101_6^10 - 10901524676563059780/97477626893668463*c_0101_3*c_0101_6^9 + 7061350077287557743/97477626893668463*c_0101_3*c_0101_6^8 + 20115644678980056182/97477626893668463*c_0101_3*c_0101_6^7 - 11634731015920342514/97477626893668463*c_0101_3*c_0101_6^6 + 8056634267952354702/97477626893668463*c_0101_3*c_0101_6^5 + 46817366321576214141/97477626893668463*c_0101_3*c_0101_6^4 + 2136825044053477018/7498278991820651*c_0101_3*c_0101_6^3 + 4569357146038567078/97477626893668463*c_0101_3*c_0101_6^2 - 504918540611774229/97477626893668463*c_0101_3*c_0101_6 - 292993444172385569/97477626893668463*c_0101_3, c_0101_3^2 - 4075363983970873/97477626893668463*c_0101_6^13 + 6004219579420611/97477626893668463*c_0101_6^12 + 139082990996295455/97477626893668463*c_0101_6^11 - 170149615377105651/97477626893668463*c_0101_6^10 - 1273885418274445189/97477626893668463*c_0101_6^9 + 1332574216546134410/97477626893668463*c_0101_6^8 + 1832935209562880521/97477626893668463*c_0101_6^7 - 1793033887082369705/97477626893668463*c_0101_6^6 + 1632221090449184825/97477626893668463*c_0101_6^5 + 5019750027992061043/97477626893668463*c_0101_6^4 + 153921309567336248/7498278991820651*c_0101_6^3 - 200541797218336941/97477626893668463*c_0101_6^2 - 9879544161546070/97477626893668463*c_0101_6 + 8494357799144899/97477626893668463, c_0101_6^14 - c_0101_6^13 - 35*c_0101_6^12 + 26*c_0101_6^11 + 338*c_0101_6^10 - 191*c_0101_6^9 - 650*c_0101_6^8 + 321*c_0101_6^7 - 185*c_0101_6^6 - 1490*c_0101_6^5 - 950*c_0101_6^4 - 134*c_0101_6^3 + 14*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB