Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 2749513679] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s807 geometric_solution 5.36343518 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 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.327408541921 0.210930555615 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -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 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.514158171626 1.179624283601 1 4 5 3 0132 0132 0132 1230 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 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.750504655585 1.250313778169 2 5 4 1 3012 1023 3201 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750504655585 1.250313778169 3 2 4 4 2310 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 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.173200416057 0.708292181889 3 5 5 2 1023 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627438376519 0.625415943072 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], '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_3'], 'c_0011_4' : d['c_0011_1'], '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' : d['c_0101_4'], 'c_1001_4' : 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_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 3957133528058155137792394794848867902768/27666142986142167131525692\ 7250638191093*c_0101_4^21 - 383888269885429994227765850014093513152\ 54/276661429861421671315256927250638191093*c_0101_4^20 - 64153376490470018926997079552785788170116/2766614298614216713152569\ 27250638191093*c_0101_4^19 + 21666934932919795020369577624430209329\ 2223/276661429861421671315256927250638191093*c_0101_4^18 + 596235681790143432801480591167020779668363/276661429861421671315256\ 927250638191093*c_0101_4^17 + 7734905760187306015085170865165850909\ 63888/276661429861421671315256927250638191093*c_0101_4^16 + 206969954064032858614040787949756193640011/276661429861421671315256\ 927250638191093*c_0101_4^15 - 1163874634337392233695799806748855559\ 174108/276661429861421671315256927250638191093*c_0101_4^14 - 3630607106782222410437559420952223551149552/27666142986142167131525\ 6927250638191093*c_0101_4^13 - 726294998755621229798181637302773463\ 7516098/276661429861421671315256927250638191093*c_0101_4^12 - 3349274051322088028599435885980109010959804/27666142986142167131525\ 6927250638191093*c_0101_4^11 + 911105326999890366595775772494218501\ 309422/276661429861421671315256927250638191093*c_0101_4^10 + 813005006886573782895503208485472065087294/251510390783110610286597\ 20659148926463*c_0101_4^9 + 570733819431727453256749968081127675913\ 7029/276661429861421671315256927250638191093*c_0101_4^8 + 2883615814496512638245252632404444523781219/27666142986142167131525\ 6927250638191093*c_0101_4^7 - 5785254034791033301141752485845960202\ 988787/276661429861421671315256927250638191093*c_0101_4^6 - 1626712852130789222318322383806877325141318/27666142986142167131525\ 6927250638191093*c_0101_4^5 + 2048391494821386943328465219721072363\ 856726/276661429861421671315256927250638191093*c_0101_4^4 - 64143013637522507267037404756061317931784/2766614298614216713152569\ 27250638191093*c_0101_4^3 - 244944666151061270078259786281009340322\ 716/276661429861421671315256927250638191093*c_0101_4^2 - 10068178994393353960875898250136903360227/2766614298614216713152569\ 27250638191093*c_0101_4 - 6330235007552940008814969783068998885541/\ 276661429861421671315256927250638191093, c_0011_0 - 1, c_0011_1 + 4323692357742385888963693394103916516/2515103907831106102865\ 9720659148926463*c_0101_4^21 + 405274453644986957425947836216816368\ 16/25151039078311061028659720659148926463*c_0101_4^20 + 56668630909559693607033632237365690927/2515103907831106102865972065\ 9148926463*c_0101_4^19 - 256624110552147762639338022964958851995/25\ 151039078311061028659720659148926463*c_0101_4^18 - 569019169473778191859032935168828631055/251510390783110610286597206\ 59148926463*c_0101_4^17 - 649964487816925507152399608154144936270/2\ 5151039078311061028659720659148926463*c_0101_4^16 + 4664469637698980303517832160730345996/25151039078311061028659720659\ 148926463*c_0101_4^15 + 1289845522958143721699072617155459257425/25\ 151039078311061028659720659148926463*c_0101_4^14 + 3541085460208060021832329137369744875295/25151039078311061028659720\ 659148926463*c_0101_4^13 + 6728081485754621755374038171482129398577\ /25151039078311061028659720659148926463*c_0101_4^12 + 1332609820799284646494296411884089848226/25151039078311061028659720\ 659148926463*c_0101_4^11 - 1650108682694215201553153242806938906206\ /25151039078311061028659720659148926463*c_0101_4^10 - 9249217500542780971386529080606629343030/25151039078311061028659720\ 659148926463*c_0101_4^9 - 3122015153453751329584383808497428215242/\ 25151039078311061028659720659148926463*c_0101_4^8 - 1756678037819627252850431758157418345641/25151039078311061028659720\ 659148926463*c_0101_4^7 + 7069541692291175913508044559964480895203/\ 25151039078311061028659720659148926463*c_0101_4^6 - 410427714371964079463782963990704293678/251510390783110610286597206\ 59148926463*c_0101_4^5 - 2344388572809114232166982979780477986739/2\ 5151039078311061028659720659148926463*c_0101_4^4 + 800309008932796732829780304402917419727/251510390783110610286597206\ 59148926463*c_0101_4^3 - 11499389647390583526638808007419493966/251\ 51039078311061028659720659148926463*c_0101_4^2 - 40805339705900237327270647059727682074/2515103907831106102865972065\ 9148926463*c_0101_4 + 24532654007276673795185477727603110197/251510\ 39078311061028659720659148926463, c_0011_3 - 2518586502523969408641477546307495607/2515103907831106102865\ 9720659148926463*c_0101_4^21 - 226428285505465705417375110473697283\ 56/25151039078311061028659720659148926463*c_0101_4^20 - 23571192395351167687258915420418002187/2515103907831106102865972065\ 9148926463*c_0101_4^19 + 165894135528740029412506476944865995868/25\ 151039078311061028659720659148926463*c_0101_4^18 + 279845755037135971797207117857996567504/251510390783110610286597206\ 59148926463*c_0101_4^17 + 228410769440523462797173736945118902188/2\ 5151039078311061028659720659148926463*c_0101_4^16 - 204104455836408900260226686540738381159/251510390783110610286597206\ 59148926463*c_0101_4^15 - 815417117869567482734823864396448262379/2\ 5151039078311061028659720659148926463*c_0101_4^14 - 1774179171133264319798824283217675188989/25151039078311061028659720\ 659148926463*c_0101_4^13 - 2996593375009577813760347702397812888668\ /25151039078311061028659720659148926463*c_0101_4^12 + 1077407949809734721181481779291465518188/25151039078311061028659720\ 659148926463*c_0101_4^11 + 1913622796316072805769977242229718839788\ /25151039078311061028659720659148926463*c_0101_4^10 + 5181323922966122588339488448739453999288/25151039078311061028659720\ 659148926463*c_0101_4^9 - 490489056488147758309905812639451096126/2\ 5151039078311061028659720659148926463*c_0101_4^8 - 666761596684013322367441417602451696541/251510390783110610286597206\ 59148926463*c_0101_4^7 - 4969333627031531074383533286108075498964/2\ 5151039078311061028659720659148926463*c_0101_4^6 + 1660875842186100414508972526864087676343/25151039078311061028659720\ 659148926463*c_0101_4^5 + 2010595537479606581597621538017214094349/\ 25151039078311061028659720659148926463*c_0101_4^4 - 855256350209113909374229514732390861323/251510390783110610286597206\ 59148926463*c_0101_4^3 - 11711610899753567584380762800309658473/251\ 51039078311061028659720659148926463*c_0101_4^2 + 58493682254860261581732625714061175022/2515103907831106102865972065\ 9148926463*c_0101_4 - 9068301981692224543450132648100713065/2515103\ 9078311061028659720659148926463, c_0101_0 + 5552509117201322323761800436917687958/2515103907831106102865\ 9720659148926463*c_0101_4^21 + 531787054459555071930329444390831247\ 77/25151039078311061028659720659148926463*c_0101_4^20 + 83614522122465410468798322209421085105/2515103907831106102865972065\ 9148926463*c_0101_4^19 - 313120761590326609073974789704853248254/25\ 151039078311061028659720659148926463*c_0101_4^18 - 799857940087177943767192754613581876066/251510390783110610286597206\ 59148926463*c_0101_4^17 - 1006490705055211528480225166866735403507/\ 25151039078311061028659720659148926463*c_0101_4^16 - 172310564912452065602474063159538880182/251510390783110610286597206\ 59148926463*c_0101_4^15 + 1703068779259876091000177770179397385530/\ 25151039078311061028659720659148926463*c_0101_4^14 + 5013777478994285759643242125991446735774/25151039078311061028659720\ 659148926463*c_0101_4^13 + 9722978140416894027156735543153314957525\ /25151039078311061028659720659148926463*c_0101_4^12 + 3567254861589160573655540946589629943332/25151039078311061028659720\ 659148926463*c_0101_4^11 - 1890697557864913498182710808447763021336\ /25151039078311061028659720659148926463*c_0101_4^10 - 13316388242492761473778033623810447422297/2515103907831106102865972\ 0659148926463*c_0101_4^9 - 7430080088711379261618321350956309961254\ /25151039078311061028659720659148926463*c_0101_4^8 - 3940402284390835592430289077148268204343/25151039078311061028659720\ 659148926463*c_0101_4^7 + 9277106605338803386208083358114583265835/\ 25151039078311061028659720659148926463*c_0101_4^6 + 2285214550038539043005963556090515208576/25151039078311061028659720\ 659148926463*c_0101_4^5 - 1859321970789324748301982222738868231289/\ 25151039078311061028659720659148926463*c_0101_4^4 + 212682641331550120398834017712306067928/251510390783110610286597206\ 59148926463*c_0101_4^3 - 172601251925269491925002934090035364741/25\ 151039078311061028659720659148926463*c_0101_4^2 + 21910195004858523923342499099269169308/2515103907831106102865972065\ 9148926463*c_0101_4 + 8537368348962601682991341444010292118/2515103\ 9078311061028659720659148926463, c_0101_3 - 478029421881537012472711239463804318/25151039078311061028659\ 720659148926463*c_0101_4^21 - 5659149776637226955380681238385769376\ /25151039078311061028659720659148926463*c_0101_4^20 - 17524163852951364581742194868185847475/2515103907831106102865972065\ 9148926463*c_0101_4^19 + 10815687095860925632851062995357863015/251\ 51039078311061028659720659148926463*c_0101_4^18 + 129007859394281537570338742918406297363/251510390783110610286597206\ 59148926463*c_0101_4^17 + 238255532495766537384751486548446854925/2\ 5151039078311061028659720659148926463*c_0101_4^16 + 211713768350088034707438320484111739085/251510390783110610286597206\ 59148926463*c_0101_4^15 - 97590464721976820556974501081143860525/25\ 151039078311061028659720659148926463*c_0101_4^14 - 728443800839382068603933814163402147755/251510390783110610286597206\ 59148926463*c_0101_4^13 - 1776361794756886276049551317885045106682/\ 25151039078311061028659720659148926463*c_0101_4^12 - 2191462576247019725534455155943217203124/25151039078311061028659720\ 659148926463*c_0101_4^11 - 602931849133284683146560371233632607645/\ 25151039078311061028659720659148926463*c_0101_4^10 + 1242308595335683401527251288625687599128/25151039078311061028659720\ 659148926463*c_0101_4^9 + 2942885630224288319255795330738342926293/\ 25151039078311061028659720659148926463*c_0101_4^8 + 1565624394994459222074901808935516154235/25151039078311061028659720\ 659148926463*c_0101_4^7 + 105687116499244142751205610161104480877/2\ 5151039078311061028659720659148926463*c_0101_4^6 - 1741368482139011388031436067259826021845/25151039078311061028659720\ 659148926463*c_0101_4^5 + 58450010543030544457426366846260760496/25\ 151039078311061028659720659148926463*c_0101_4^4 + 371286953707099478460387383288712423836/251510390783110610286597206\ 59148926463*c_0101_4^3 - 80612015948196463958909327738535283227/251\ 51039078311061028659720659148926463*c_0101_4^2 + 27930733543585651240577402540974114358/2515103907831106102865972065\ 9148926463*c_0101_4 - 7938997584358899609365160938245040359/2515103\ 9078311061028659720659148926463, c_0101_4^22 + 10*c_0101_4^21 + 19*c_0101_4^20 - 51*c_0101_4^19 - 169*c_0101_4^18 - 235*c_0101_4^17 - 94*c_0101_4^16 + 304*c_0101_4^15 + 1020*c_0101_4^14 + 2087*c_0101_4^13 + 1294*c_0101_4^12 - 203*c_0101_4^11 - 2485*c_0101_4^10 - 2185*c_0101_4^9 - 963*c_0101_4^8 + 1426*c_0101_4^7 + 1036*c_0101_4^6 - 461*c_0101_4^5 - 145*c_0101_4^4 + 78*c_0101_4^3 - 7*c_0101_4^2 - c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB