Magma V2.19-8 Tue Aug 20 2013 16:18:58 on localhost [Seed = 4155927195] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3116 geometric_solution 6.27227307 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 0 0 0 0 0 1 -1 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 -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.191584800348 1.226335759358 0 4 5 0 0132 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 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.449841245393 0.837448784130 4 0 6 3 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 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 0 1 0 -1 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.215072663004 0.673261294160 6 2 5 0 1023 2310 1023 0132 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 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.215072663004 0.673261294160 2 1 5 5 0132 0132 2103 3201 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 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.034474228125 1.198627716325 4 4 3 1 2103 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.034474228125 1.198627716325 6 3 6 2 2031 1023 1302 0132 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 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 0.722100271257 1.725453283122 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : 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' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_2'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_4']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_2, c_0101_4, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 281433592736874420/25246039789656071*c_0101_4^17 - 1537383532099820831/25246039789656071*c_0101_4^16 - 3151808320383281262/25246039789656071*c_0101_4^15 - 2143383696455527020/25246039789656071*c_0101_4^14 + 192242717149638443/25246039789656071*c_0101_4^13 - 2617609600710462929/25246039789656071*c_0101_4^12 - 4244503661927649715/25246039789656071*c_0101_4^11 + 5729779705566326369/25246039789656071*c_0101_4^10 + 15114525638187433797/25246039789656071*c_0101_4^9 + 12164405186113202790/25246039789656071*c_0101_4^8 + 3176125739870833641/25246039789656071*c_0101_4^7 - 3031762821157716559/25246039789656071*c_0101_4^6 - 694405439566266685/25246039789656071*c_0101_4^5 + 3570744548119956720/25246039789656071*c_0101_4^4 + 2239431516043147518/25246039789656071*c_0101_4^3 + 556781389444924057/25246039789656071*c_0101_4^2 + 335356284711983009/25246039789656071*c_0101_4 + 30163567297166599/25246039789656071, c_0011_0 - 1, c_0011_3 - 54740648436416790/25246039789656071*c_0101_4^17 - 238478557642589592/25246039789656071*c_0101_4^16 - 355145642030804895/25246039789656071*c_0101_4^15 - 45417776547675980/25246039789656071*c_0101_4^14 + 69298481994823358/25246039789656071*c_0101_4^13 - 556253319304638837/25246039789656071*c_0101_4^12 - 187208409486654058/25246039789656071*c_0101_4^11 + 1261091985759630444/25246039789656071*c_0101_4^10 + 1567065735220792862/25246039789656071*c_0101_4^9 + 810361957567778981/25246039789656071*c_0101_4^8 - 179472134785203521/25246039789656071*c_0101_4^7 - 464455692092016117/25246039789656071*c_0101_4^6 + 253919320791129167/25246039789656071*c_0101_4^5 + 381863161512159334/25246039789656071*c_0101_4^4 + 67771546875123753/25246039789656071*c_0101_4^3 + 36222721346387960/25246039789656071*c_0101_4^2 - 39307555294212162/25246039789656071*c_0101_4 - 6466666646087070/25246039789656071, c_0011_5 - 77854981015788200/25246039789656071*c_0101_4^17 - 348713817508680420/25246039789656071*c_0101_4^16 - 531859906566759553/25246039789656071*c_0101_4^15 - 65416939910124892/25246039789656071*c_0101_4^14 + 185828094186929140/25246039789656071*c_0101_4^13 - 739050436614934404/25246039789656071*c_0101_4^12 - 332830751730665910/25246039789656071*c_0101_4^11 + 1890345486677310368/25246039789656071*c_0101_4^10 + 2468744270591071119/25246039789656071*c_0101_4^9 + 1194879097900473337/25246039789656071*c_0101_4^8 - 531451405795525674/25246039789656071*c_0101_4^7 - 1062909279454654865/25246039789656071*c_0101_4^6 + 161617493176799005/25246039789656071*c_0101_4^5 + 593538045099726368/25246039789656071*c_0101_4^4 + 187618990466392865/25246039789656071*c_0101_4^3 + 37193068641160805/25246039789656071*c_0101_4^2 - 76362504527034799/25246039789656071*c_0101_4 - 23904807015888764/25246039789656071, c_0101_0 + 40846635932571120/25246039789656071*c_0101_4^17 + 226213848008272366/25246039789656071*c_0101_4^16 + 471580250132787767/25246039789656071*c_0101_4^15 + 322508832169002959/25246039789656071*c_0101_4^14 - 63818726201074236/25246039789656071*c_0101_4^13 + 323433248971144142/25246039789656071*c_0101_4^12 + 650162365877902024/25246039789656071*c_0101_4^11 - 824291113116815512/25246039789656071*c_0101_4^10 - 2359051252237087688/25246039789656071*c_0101_4^9 - 1842743419574273543/25246039789656071*c_0101_4^8 - 337468845516770818/25246039789656071*c_0101_4^7 + 665801275076147896/25246039789656071*c_0101_4^6 + 287123337959371126/25246039789656071*c_0101_4^5 - 583196291494570602/25246039789656071*c_0101_4^4 - 416586762124703766/25246039789656071*c_0101_4^3 - 51595201849781143/25246039789656071*c_0101_4^2 - 14745504671789068/25246039789656071*c_0101_4 + 41443277658882740/25246039789656071, c_0101_2 + 8513302702135770/25246039789656071*c_0101_4^17 + 16273200065765896/25246039789656071*c_0101_4^16 - 25564973353284625/25246039789656071*c_0101_4^15 - 97303476322672636/25246039789656071*c_0101_4^14 - 5769836411357096/25246039789656071*c_0101_4^13 + 82331731953788140/25246039789656071*c_0101_4^12 - 164757619270219613/25246039789656071*c_0101_4^11 - 177299525258237540/25246039789656071*c_0101_4^10 + 156574062863434336/25246039789656071*c_0101_4^9 + 319255647086529759/25246039789656071*c_0101_4^8 + 278893112668396063/25246039789656071*c_0101_4^7 - 5137524811672945/25246039789656071*c_0101_4^6 - 132065687610035501/25246039789656071*c_0101_4^5 + 32856361477434485/25246039789656071*c_0101_4^4 + 55809732432674548/25246039789656071*c_0101_4^3 + 16176345025342610/25246039789656071*c_0101_4^2 + 2077216736337682/25246039789656071*c_0101_4 - 23730944219677702/25246039789656071, c_0101_4^18 + 24/5*c_0101_4^17 + 8*c_0101_4^16 + 2*c_0101_4^15 - 16/5*c_0101_4^14 + 48/5*c_0101_4^13 + 8*c_0101_4^12 - 129/5*c_0101_4^11 - 194/5*c_0101_4^10 - 92/5*c_0101_4^9 + 6*c_0101_4^8 + 76/5*c_0101_4^7 - 7/5*c_0101_4^6 - 56/5*c_0101_4^5 - 14/5*c_0101_4^4 + 3/5*c_0101_4^2 + 4/5*c_0101_4 - 1/5, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB