Magma V2.19-8 Tue Aug 20 2013 16:18:15 on localhost [Seed = 3532869610] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2461 geometric_solution 5.80092185 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 -1 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.312897109146 0.474570836281 2 0 0 3 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.647096419879 0.613040891460 1 4 5 3 0132 0132 0132 2031 0 0 0 0 0 -1 1 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 1 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.457197701572 0.406261165758 6 2 1 5 0132 1302 0132 3201 0 0 0 0 0 0 -1 1 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.457197701572 0.406261165758 5 2 6 6 0132 0132 0132 3012 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 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.128604509522 1.285906717783 4 3 6 2 0132 2310 2310 0132 0 0 0 0 0 1 0 -1 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 1 -1 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.777800735041 1.086033670912 3 5 4 4 0132 3201 1230 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437259349023 0.321106006925 ==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' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(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_0101_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(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_2'], '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_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_6']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 17322912908919892923075483255612563/1761509877260975664835841470971\ 1360*c_0101_6^17 + 47058481186067275303606026362510875/193766086498\ 70732313194256180682496*c_0101_6^16 - 848957078366707184077393856890616873/968830432493536615659712809034\ 12480*c_0101_6^15 + 3245310590787900775104974337427277069/193766086\ 498707323131942561806824960*c_0101_6^14 - 1653678274308610015604003702456767889/38753217299741464626388512361\ 364992*c_0101_6^13 + 2659012915720472373635206982017198189/19376608\ 6498707323131942561806824960*c_0101_6^12 - 1824417388759487130588717350687807409/96883043249353661565971280903\ 41248*c_0101_6^11 + 30893565179137054465376797799385472887/19376608\ 6498707323131942561806824960*c_0101_6^10 - 97612883271322149581569983380128661081/1937660864987073231319425618\ 06824960*c_0101_6^9 + 16982169542085312213639312099668523341/387532\ 17299741464626388512361364992*c_0101_6^8 - 78094067526029495921863637244588237283/9688304324935366156597128090\ 3412480*c_0101_6^7 + 58601590475043399433660372402664686627/9688304\ 3249353661565971280903412480*c_0101_6^6 - 1544777465201194876307749324674309001/22018873465762195810448018387\ 13920*c_0101_6^5 + 1211140029035454616222696735605119021/2422076081\ 233841539149282022585312*c_0101_6^4 - 2350478765218605748375465669097319837/60551902030846038478732050564\ 63280*c_0101_6^3 + 1483523848438260341029014230457116371/6055190203\ 084603847873205056463280*c_0101_6^2 - 172858112197571802482744722648530739/151379755077115096196830126411\ 5820*c_0101_6 + 80017892568937497656286936025463167/151379755077115\ 0961968301264115820, c_0011_0 - 1, c_0011_3 - 138838246619251170602036327341/18159895641865728503462283205\ 888*c_0101_6^17 - 11408649629896616833871068551/2837483694041520078\ 66598175092*c_0101_6^16 + 39700375841235572333757730977/45399739104\ 66432125865570801472*c_0101_6^15 + 861181324039079672396142646835/18159895641865728503462283205888*c_0\ 101_6^14 + 773864427283979070371096099119/1815989564186572850346228\ 3205888*c_0101_6^13 + 12247550572827103362196364074223/181598956418\ 65728503462283205888*c_0101_6^12 + 3357971239274669034750633040163/2269986955233216062932785400736*c_0\ 101_6^11 + 47865179105231504215579653028267/18159895641865728503462\ 283205888*c_0101_6^10 + 30277224217263918849959711970287/1815989564\ 1865728503462283205888*c_0101_6^9 + 103089101861939210267377722433739/18159895641865728503462283205888*\ c_0101_6^8 + 3342372958010085569173540018837/9079947820932864251731\ 141602944*c_0101_6^7 + 40112237861731345199650643317785/45399739104\ 66432125865570801472*c_0101_6^6 - 200733920194400539800627182813/14\ 1874184702076003933299087546*c_0101_6^5 + 6414759339337295285028722573925/1134993477616608031466392700368*c_0\ 101_6^4 - 1057331126279756687155759787515/5674967388083040157331963\ 50184*c_0101_6^3 + 336648613452108382062047560417/14187418470207600\ 3933299087546*c_0101_6^2 - 108510287273590827426164282465/141874184\ 702076003933299087546*c_0101_6 + 32466038148763708875175407000/7093\ 7092351038001966649543773, c_0101_0 - 26148712870374180175848096283/113499347761660803146639270036\ 8*c_0101_6^17 - 16465145257080853384979629817/283748369404152007866\ 598175092*c_0101_6^16 + 492868053981572765338121673865/226998695523\ 3216062932785400736*c_0101_6^15 - 97487968464218531166946069577/283\ 748369404152007866598175092*c_0101_6^14 + 121135833118736607006317561085/141874184702076003933299087546*c_010\ 1_6^13 - 107896370177437942047525186937/226998695523321606293278540\ 0736*c_0101_6^12 + 8714698965492694359157305088083/2269986955233216\ 062932785400736*c_0101_6^11 - 8024124628407194427635211031361/22699\ 86955233216062932785400736*c_0101_6^10 + 10251226566269960250415292818127/1134993477616608031466392700368*c_\ 0101_6^9 - 18104497536790437689511623445103/22699869552332160629327\ 85400736*c_0101_6^8 + 26751194046484757247789980464699/226998695523\ 3216062932785400736*c_0101_6^7 - 20488779574226376551673171198143/2\ 269986955233216062932785400736*c_0101_6^6 + 8450201581167036523025086126193/1134993477616608031466392700368*c_0\ 101_6^5 - 6632775515089800728019806170473/1134993477616608031466392\ 700368*c_0101_6^4 + 934082934758859651910923102957/2837483694041520\ 07866598175092*c_0101_6^3 - 215265353869648779142448463241/14187418\ 4702076003933299087546*c_0101_6^2 + 45453327739046767852512472552/70937092351038001966649543773*c_0101_\ 6 + 82221039031025971660963444882/70937092351038001966649543773, c_0101_1 + 545898059668946405489610726437/18159895641865728503462283205\ 888*c_0101_6^17 + 657160049055457240413612364475/907994782093286425\ 1731141602944*c_0101_6^16 - 1341608248423506659244822605025/4539973\ 910466432125865570801472*c_0101_6^15 + 8364318154131600565225661800117/18159895641865728503462283205888*c_\ 0101_6^14 - 20919439539254960260494243083537/1815989564186572850346\ 2283205888*c_0101_6^13 + 4233411964458059498458724724887/1815989564\ 1865728503462283205888*c_0101_6^12 - 45320831080235623260501869325937/9079947820932864251731141602944*c_\ 0101_6^11 + 97479493917560119275767610784437/1815989564186572850346\ 2283205888*c_0101_6^10 - 209204143999331180470719574174617/18159895\ 641865728503462283205888*c_0101_6^9 + 224845687871295645455167404517131/18159895641865728503462283205888*\ c_0101_6^8 - 75533606340287591892500857770747/453997391046643212586\ 5570801472*c_0101_6^7 + 32735910618822706057678724144525/2269986955\ 233216062932785400736*c_0101_6^6 - 689199803459973238718478789664/70937092351038001966649543773*c_0101\ _6^5 + 11025157056821508884973545011367/113499347761660803146639270\ 0368*c_0101_6^4 - 304135594470629805832555767259/709370923510380019\ 66649543773*c_0101_6^3 + 420400239986297657757362474101/14187418470\ 2076003933299087546*c_0101_6^2 - 57329671231516627132308965115/7093\ 7092351038001966649543773*c_0101_6 + 341266703390181073534134183/70937092351038001966649543773, c_0101_2 + 86435281508647605234289304859/907994782093286425173114160294\ 4*c_0101_6^17 + 107551289364666820948362506835/45399739104664321258\ 65570801472*c_0101_6^16 - 200349709320771582326571849637/2269986955\ 233216062932785400736*c_0101_6^15 + 1358479711022869216863311205163/9079947820932864251731141602944*c_0\ 101_6^14 - 3454269907412936008257414254387/907994782093286425173114\ 1602944*c_0101_6^13 + 547637722943244191433885359933/90799478209328\ 64251731141602944*c_0101_6^12 - 7588867171917590763331307215613/453\ 9973910466432125865570801472*c_0101_6^11 + 13936793184283138826623473806211/9079947820932864251731141602944*c_\ 0101_6^10 - 37395031628045978738410184420283/9079947820932864251731\ 141602944*c_0101_6^9 + 35671647731703309360336859570377/90799478209\ 32864251731141602944*c_0101_6^8 - 1589262174733273350621780891369/2\ 83748369404152007866598175092*c_0101_6^7 + 5929497320176121331356590471579/1134993477616608031466392700368*c_0\ 101_6^6 - 2264672468485994349303168982993/5674967388083040157331963\ 50184*c_0101_6^5 + 2511680989087378022183187711087/5674967388083040\ 15733196350184*c_0101_6^4 - 508989474046396985917452280835/28374836\ 9404152007866598175092*c_0101_6^3 + 498595379888581842715041684229/141874184702076003933299087546*c_010\ 1_6^2 - 26501707694041996559142965009/70937092351038001966649543773\ *c_0101_6 + 55906127155025515549924069193/7093709235103800196664954\ 3773, c_0101_5 - 188771640032545607862681249437/18159895641865728503462283205\ 888*c_0101_6^17 - 15254727946607835008604173301/5674967388083040157\ 33196350184*c_0101_6^16 + 392142773589068160807791085393/4539973910\ 466432125865570801472*c_0101_6^15 - 3014479234343341110903411867301/18159895641865728503462283205888*c_\ 0101_6^14 + 8908668050406070751087331216207/18159895641865728503462\ 283205888*c_0101_6^13 - 3562266139906721497346268515649/18159895641\ 865728503462283205888*c_0101_6^12 + 2451947882144743868452272827145/1134993477616608031466392700368*c_0\ 101_6^11 - 30798004867808694878562494748829/18159895641865728503462\ 283205888*c_0101_6^10 + 98742693926995873835639870374151/1815989564\ 1865728503462283205888*c_0101_6^9 - 109196372698315793794075314897557/18159895641865728503462283205888*\ c_0101_6^8 + 82865497269637066026953990643233/907994782093286425173\ 1141602944*c_0101_6^7 - 42812155581120919765454541105213/4539973910\ 466432125865570801472*c_0101_6^6 + 19214063101636101996784901126033/2269986955233216062932785400736*c_\ 0101_6^5 - 9983848782443871659135601619375/113499347761660803146639\ 2700368*c_0101_6^4 + 1900111931266900032401631613997/56749673880830\ 4015733196350184*c_0101_6^3 - 1313742919574605242917327409717/28374\ 8369404152007866598175092*c_0101_6^2 + 53084884121606066005014752032/70937092351038001966649543773*c_0101_\ 6 - 76385515828217299624523009648/70937092351038001966649543773, c_0101_6^18 + 34/11*c_0101_6^17 - 72/11*c_0101_6^16 + 155/11*c_0101_6^15 - 423/11*c_0101_6^14 - 27/11*c_0101_6^13 - 2338/11*c_0101_6^12 + 399/11*c_0101_6^11 - 6351/11*c_0101_6^10 + 1697/11*c_0101_6^9 - 10552/11*c_0101_6^8 + 2380/11*c_0101_6^7 - 10584/11*c_0101_6^6 + 2096/11*c_0101_6^5 - 6848/11*c_0101_6^4 + 1152/11*c_0101_6^3 - 2688/11*c_0101_6^2 + 256/11*c_0101_6 - 512/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB