Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 1848636064] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0322 geometric_solution 4.35501026 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 0 -1 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.119761503588 0.330958193898 0 4 4 0 0132 0132 1023 1023 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 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 1.443569291141 0.608191055322 5 0 3 5 0132 0132 2103 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 -1 1 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.392873749983 0.804074616411 2 5 5 0 2103 3201 2310 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 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.392873749983 0.804074616411 6 1 1 6 0132 0132 1023 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 1.242920875546 0.104717218993 2 3 3 2 0132 3201 2310 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.509450955893 1.003981646747 4 4 6 6 0132 2310 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 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.454528531389 0.074040298886 ==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' : negation(d['1']), 's_3_4' : negation(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' : 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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], '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_0101_1'], 'c_0101_0' : d['c_0011_3'], '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' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_3']})} 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_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 113419993050932768104689/19276123301807414851*c_0101_6^29 + 1755964598826595074530652/19276123301807414851*c_0101_6^27 - 75438228012631303813627/84916842739239713*c_0101_6^25 + 185536005618513270509545304/19276123301807414851*c_0101_6^23 - 5622579517066809380546227289/77104493207229659404*c_0101_6^21 + 11330009137618256561278852899/38552246603614829702*c_0101_6^19 - 12749266926382328925854319801/19276123301807414851*c_0101_6^17 + 69007618484814815743809339507/77104493207229659404*c_0101_6^15 - 14624776236045217154239833675/19276123301807414851*c_0101_6^13 + 7812370703222853228408894043/19276123301807414851*c_0101_6^11 - 5074139939653610567443206045/38552246603614829702*c_0101_6^9 + 447922735024510004390952925/19276123301807414851*c_0101_6^7 - 29881019033984039059865460/19276123301807414851*c_0101_6^5 - 1792153031764760823228337/77104493207229659404*c_0101_6^3 - 110743298022076309427494/19276123301807414851*c_0101_6, c_0011_0 - 1, c_0011_3 - 20411446784241958710236/19276123301807414851*c_0101_6^28 + 317129022598631655473640/19276123301807414851*c_0101_6^26 - 13649917214263222798268/84916842739239713*c_0101_6^24 + 33550021559218347534433876/19276123301807414851*c_0101_6^22 - 254712764097366645311139827/19276123301807414851*c_0101_6^20 + 1032459955327384274209204792/19276123301807414851*c_0101_6^18 - 2343576028338630925064303158/19276123301807414851*c_0101_6^16 + 3204966262411290116149826028/19276123301807414851*c_0101_6^14 - 2750014520234793372668917267/19276123301807414851*c_0101_6^12 + 1488788086721577980628690137/19276123301807414851*c_0101_6^10 - 490532856546987971083694712/19276123301807414851*c_0101_6^8 + 87971189417332172136011678/19276123301807414851*c_0101_6^6 - 5974531045799696846639931/19276123301807414851*c_0101_6^4 - 91518537320777975201931/19276123301807414851*c_0101_6^2 - 21992463187986637660387/19276123301807414851, c_0101_1 + 33004396273061022372452/19276123301807414851*c_0101_6^29 - 512693765373493375199412/19276123301807414851*c_0101_6^27 + 22065536066767046079736/84916842739239713*c_0101_6^25 - 54236499493949190766332216/19276123301807414851*c_0101_6^23 + 411723401190109422411437693/19276123301807414851*c_0101_6^21 - 1668450095678775626828189051/19276123301807414851*c_0101_6^19 + 3785857252563417208076138331/19276123301807414851*c_0101_6^17 - 5175428673213202410522908378/19276123301807414851*c_0101_6^15 + 4439251355283117896747241759/19276123301807414851*c_0101_6^13 - 2402646070883249949177630641/19276123301807414851*c_0101_6^11 + 791503917283867344279390318/19276123301807414851*c_0101_6^9 - 141945168389500668536125015/19276123301807414851*c_0101_6^7 + 9642609164152544937057320/19276123301807414851*c_0101_6^5 + 147577593721218167864801/19276123301807414851*c_0101_6^3 + 35560384414044125177362/19276123301807414851*c_0101_6, c_0101_2 + 18718820039744099308664/19276123301807414851*c_0101_6^29 - 290733284568484778013412/19276123301807414851*c_0101_6^27 + 12511326279154819658764/84916842739239713*c_0101_6^25 - 30753135407887728096697172/19276123301807414851*c_0101_6^23 + 233431031739087596150654130/19276123301807414851*c_0101_6^21 - 945634077073687826548770505/19276123301807414851*c_0101_6^19 + 2144380962613783710262437881/19276123301807414851*c_0101_6^17 - 2928434056233257608199202096/19276123301807414851*c_0101_6^15 + 2507949076579372649261155105/19276123301807414851*c_0101_6^13 - 1354313266808066578737628856/19276123301807414851*c_0101_6^11 + 444743970554064010798092533/19276123301807414851*c_0101_6^9 - 79408330975917479484395395/19276123301807414851*c_0101_6^7 + 5360055345490491853948890/19276123301807414851*c_0101_6^5 + 81334118279646553775062/19276123301807414851*c_0101_6^3 + 19685754355208067036467/19276123301807414851*c_0101_6, c_0101_4 - 15376574995482982759820/19276123301807414851*c_0101_6^28 + 238822320260583097119796/19276123301807414851*c_0101_6^26 - 10277690388006174361456/84916842739239713*c_0101_6^24 + 25263056564286779055419900/19276123301807414851*c_0101_6^22 - 191760189261626246639136799/19276123301807414851*c_0101_6^20 + 776885016800313421337047087/19276123301807414851*c_0101_6^18 - 1762202687672111940489212491/19276123301807414851*c_0101_6^16 + 2408071726300033231798257325/19276123301807414851*c_0101_6^14 - 2064729995449470856090354723/19276123301807414851*c_0101_6^12 + 1117074310394705457474763938/19276123301807414851*c_0101_6^10 - 367873740840472944051141029/19276123301807414851*c_0101_6^8 + 65953960499293726807043986/19276123301807414851*c_0101_6^6 - 4479404604560477354249126/19276123301807414851*c_0101_6^4 - 68545504563803340134963/19276123301807414851*c_0101_6^2 - 16521474259832318601077/19276123301807414851, c_0101_5 + 33227885233366726401180/19276123301807414851*c_0101_6^28 - 516822934856822671901444/19276123301807414851*c_0101_6^26 + 22257518333094860060820/84916842739239713*c_0101_6^24 - 54695398787762303364150972/19276123301807414851*c_0101_6^22 + 415514343051011429191215847/19276123301807414851*c_0101_6^20 - 1687103015134456918070700791/19276123301807414851*c_0101_6^18 + 3838496161713203170757388870/19276123301807414851*c_0101_6^16 - 5262746296363543660478628759/19276123301807414851*c_0101_6^14 + 4526758346721747395641175189/19276123301807414851*c_0101_6^12 - 2455821610676639915645203438/19276123301807414851*c_0101_6^10 + 810400375313478884087848182/19276123301807414851*c_0101_6^8 - 145451112013511742305564564/19276123301807414851*c_0101_6^6 + 9877762332881356929965270/19276123301807414851*c_0101_6^4 + 150695501531472637398503/19276123301807414851*c_0101_6^2 + 36371936356648623567507/19276123301807414851, c_0101_6^30 - 16*c_0101_6^28 + 159*c_0101_6^26 - 1714*c_0101_6^24 + 52961/4*c_0101_6^22 - 112725/2*c_0101_6^20 + 276493/2*c_0101_6^18 - 840813/4*c_0101_6^16 + 207467*c_0101_6^14 - 135357*c_0101_6^12 + 57828*c_0101_6^10 - 15447*c_0101_6^8 + 4581/2*c_0101_6^6 - 525/4*c_0101_6^4 - c_0101_6^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB