Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 3903419871] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2505 geometric_solution 5.82521852 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489980275506 0.231932246781 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 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.842701258531 0.557293232777 1 4 3 5 0132 0132 3012 0132 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 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 0.879967127944 1.015922283489 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 -1 1 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 -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.879967127944 1.015922283489 6 2 3 6 0132 0132 1023 1023 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 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.416161974194 0.552069340914 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0.561465654389 0.958774933909 4 6 6 4 0132 1230 3012 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 0 0 0 0 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.803603948609 0.718653772813 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), '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_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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_1'], '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' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], '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: 34 Groebner basis: [ t + 180008330022886046872005543866709646029356186559/913999398186369583\ 725451133646350703970262936*c_0101_6^33 - 6115887990395526752825459735776863709599094641065/91399939818636958\ 3725451133646350703970262936*c_0101_6^31 + 81214415875591798344637517549009995535040569318593/9139993981863695\ 83725451133646350703970262936*c_0101_6^29 - 758011531519293460702771586894735146012451873684127/913999398186369\ 583725451133646350703970262936*c_0101_6^27 + 8053416745810870843319770316048203356649695530450329/91399939818636\ 9583725451133646350703970262936*c_0101_6^25 - 15952165666697488901178304779596280059726353212329559/2284998495465\ 92395931362783411587675992565734*c_0101_6^23 + 258687284937309869009359897804572705573325995878341939/913999398186\ 369583725451133646350703970262936*c_0101_6^21 - 142949844686334459868714787963443460216708241538825841/228499849546\ 592395931362783411587675992565734*c_0101_6^19 + 194254326035282008647857832057922074546909532846025527/228499849546\ 592395931362783411587675992565734*c_0101_6^17 - 350898142551321001461381614604911014829968827529085013/456999699093\ 184791862725566823175351985131468*c_0101_6^15 + 438486806100966498233530938971007932284265958706845061/913999398186\ 369583725451133646350703970262936*c_0101_6^13 - 48049794527793776585067035614692119301149203329202607/2284998495465\ 92395931362783411587675992565734*c_0101_6^11 + 58702208949455644867386324789937708940373510096962395/9139993981863\ 69583725451133646350703970262936*c_0101_6^9 - 6064929075425455237898079906215756918554771109035981/45699969909318\ 4791862725566823175351985131468*c_0101_6^7 + 814257672073597854489535456823905821944839544757377/456999699093184\ 791862725566823175351985131468*c_0101_6^5 - 17539549170363869008287100079364539765834737070229/1142499247732961\ 97965681391705793837996282867*c_0101_6^3 + 7022173972370509018693833098734783406795737075861/91399939818636958\ 3725451133646350703970262936*c_0101_6, c_0011_0 - 1, c_0011_1 + 202057215688149409381010029970611844825647/11424992477329619\ 7965681391705793837996282867*c_0101_6^32 - 3894329392451266133818548041089824231019890/11424992477329619796568\ 1391705793837996282867*c_0101_6^30 - 7955347815530503643050801088719648519362451/11424992477329619796568\ 1391705793837996282867*c_0101_6^28 + 428653972730364775936935176902043442133623028/114249924773296197965\ 681391705793837996282867*c_0101_6^26 - 2679491668800596873768124676848849009301612858/11424992477329619796\ 5681391705793837996282867*c_0101_6^24 + 54010129240482818128615738606184884484673172062/1142499247732961979\ 65681391705793837996282867*c_0101_6^22 - 684900714386205911965647955289991823383160830051/114249924773296197\ 965681391705793837996282867*c_0101_6^20 + 3020421083747262431679338645033668130413106458980/11424992477329619\ 7965681391705793837996282867*c_0101_6^18 - 6238983314757903779895004198544913059803186812064/11424992477329619\ 7965681391705793837996282867*c_0101_6^16 + 7359563483514542282354173290709396139066826573621/11424992477329619\ 7965681391705793837996282867*c_0101_6^14 - 5473275077128721042754852370422901426966588295468/11424992477329619\ 7965681391705793837996282867*c_0101_6^12 + 2653721573923042930638914959170027197431412319504/11424992477329619\ 7965681391705793837996282867*c_0101_6^10 - 834191317246447137190178381444490690958500102875/114249924773296197\ 965681391705793837996282867*c_0101_6^8 + 163514616496500890906496716568491707889842187523/114249924773296197\ 965681391705793837996282867*c_0101_6^6 - 18506059789634496909340967403903567289607294077/1142499247732961979\ 65681391705793837996282867*c_0101_6^4 + 1776126153389324029490306371952566705066031542/11424992477329619796\ 5681391705793837996282867*c_0101_6^2 - 98750104928485005998409796812694004791350524/1142499247732961979656\ 81391705793837996282867, c_0011_3 + 5665323341488182454156161204078653109330983/1142499247732961\ 97965681391705793837996282867*c_0101_6^32 - 188854154414433383056949255995009169264381102/114249924773296197965\ 681391705793837996282867*c_0101_6^30 + 2434706472165214099451597081714775575397285729/11424992477329619796\ 5681391705793837996282867*c_0101_6^28 - 22285135127698496758436254747976411304992706616/1142499247732961979\ 65681391705793837996282867*c_0101_6^26 + 239033720359061514654982792193710351484505420911/114249924773296197\ 965681391705793837996282867*c_0101_6^24 - 1853713668014785288254941413567085616386460019961/11424992477329619\ 7965681391705793837996282867*c_0101_6^22 + 6939119559869425955515686577369749175577307241402/11424992477329619\ 7965681391705793837996282867*c_0101_6^20 - 13434339806925871920367520446802399016385722466157/1142499247732961\ 97965681391705793837996282867*c_0101_6^18 + 15416846933538665701258961207603387928851488161886/1142499247732961\ 97965681391705793837996282867*c_0101_6^16 - 11398070332735232538343497586494474632034927373989/1142499247732961\ 97965681391705793837996282867*c_0101_6^14 + 5615843876980562302435510732274957587465675209017/11424992477329619\ 7965681391705793837996282867*c_0101_6^12 - 1861233956936073581884360825109739413151058882474/11424992477329619\ 7965681391705793837996282867*c_0101_6^10 + 413207079518846834504685371091504698321203935797/114249924773296197\ 965681391705793837996282867*c_0101_6^8 - 61250069376390675753118732880710524902097132957/1142499247732961979\ 65681391705793837996282867*c_0101_6^6 + 6547505107927716859099048065726729108302936819/11424992477329619796\ 5681391705793837996282867*c_0101_6^4 + 86304398908880587037129284242216674118683092/1142499247732961979656\ 81391705793837996282867*c_0101_6^2 - 63318338345669112103235815605553262880145166/1142499247732961979656\ 81391705793837996282867, c_0011_5 + 18677318688704981282433227942255285268401633/114249924773296\ 197965681391705793837996282867*c_0101_6^32 - 628448643353071588549573435358041948304605183/114249924773296197965\ 681391705793837996282867*c_0101_6^30 + 8220871529805408275548303334404750119014274825/11424992477329619796\ 5681391705793837996282867*c_0101_6^28 - 75963689231256332981692362886357217384907254160/1142499247732961979\ 65681391705793837996282867*c_0101_6^26 + 810820486102285504090545015486211920657880095096/114249924773296197\ 965681391705793837996282867*c_0101_6^24 - 6355912122743076802366280451179229431246733389527/11424992477329619\ 7965681391705793837996282867*c_0101_6^22 + 24768752529440662841088464854732234051395114111866/1142499247732961\ 97965681391705793837996282867*c_0101_6^20 - 51299569450414711392643020184114994285074228945379/1142499247732961\ 97965681391705793837996282867*c_0101_6^18 + 64144939240502545775559719951566960844427500509431/1142499247732961\ 97965681391705793837996282867*c_0101_6^16 - 52447694299035994141309385405797100880068766951247/1142499247732961\ 97965681391705793837996282867*c_0101_6^14 + 29063233991608183792198237650797211886199413901021/1142499247732961\ 97965681391705793837996282867*c_0101_6^12 - 10986241040885075106468441961190706143226966614388/1142499247732961\ 97965681391705793837996282867*c_0101_6^10 + 2781568233037356742751825401258559129147203806695/11424992477329619\ 7965681391705793837996282867*c_0101_6^8 - 451234287971497665749936375398080264829650492427/114249924773296197\ 965681391705793837996282867*c_0101_6^6 + 47753514806991076850338440212220044656022902207/1142499247732961979\ 65681391705793837996282867*c_0101_6^4 - 3798412653160274823523047280744915853072772911/11424992477329619796\ 5681391705793837996282867*c_0101_6^2 + 55913953046846410465447164026552338941542519/1142499247732961979656\ 81391705793837996282867, c_0101_0 + 4359879058921321526139349086432273810080736/1142499247732961\ 97965681391705793837996282867*c_0101_6^33 - 145372464994017807242574963036633211995123894/114249924773296197965\ 681391705793837996282867*c_0101_6^31 + 1872420911281185598717262168091703361739741555/11424992477329619796\ 5681391705793837996282867*c_0101_6^29 - 17083679076894790109026452965197196133694164834/1142499247732961979\ 65681391705793837996282867*c_0101_6^27 + 183039491726675258375650722050163952863035005550/114249924773296197\ 965681391705793837996282867*c_0101_6^25 - 1418407924464101537777241661329551876456244249292/11424992477329619\ 7965681391705793837996282867*c_0101_6^23 + 5248270847442484898010368279122560545912353474164/11424992477329619\ 7965681391705793837996282867*c_0101_6^21 - 9578470667392458127682017708762989209433441986714/11424992477329619\ 7965681391705793837996282867*c_0101_6^19 + 8926183927089937990482902657079699175291868297651/11424992477329619\ 7965681391705793837996282867*c_0101_6^17 - 2986589907275502134356856485081262588670004318569/11424992477329619\ 7965681391705793837996282867*c_0101_6^15 - 2357283038320514742866832056395287888168038173882/11424992477329619\ 7965681391705793837996282867*c_0101_6^13 + 3471980945607678707769482299822976281026632281763/11424992477329619\ 7965681391705793837996282867*c_0101_6^11 - 2032633715132174017072292885662720004552764321387/11424992477329619\ 7965681391705793837996282867*c_0101_6^9 + 678416628580385831168294757405684494658282069749/114249924773296197\ 965681391705793837996282867*c_0101_6^7 - 130193527130746005977500199759466261189893967399/114249924773296197\ 965681391705793837996282867*c_0101_6^5 + 12574175132487050781764746332333643911453142087/1142499247732961979\ 65681391705793837996282867*c_0101_6^3 - 725400890505917741454875942879620822428649992/114249924773296197965\ 681391705793837996282867*c_0101_6, c_0101_3 + 4176469203883723158361133533620617762179518/1142499247732961\ 97965681391705793837996282867*c_0101_6^33 - 138958763752825160936666380332656433801107845/114249924773296197965\ 681391705793837996282867*c_0101_6^31 + 1786427947657910676495835890605385295694746672/11424992477329619796\ 5681391705793837996282867*c_0101_6^29 - 16327297339509271946647478487247021841537218519/1142499247732961979\ 65681391705793837996282867*c_0101_6^27 + 175330125893818606391604836766771549759603188137/114249924773296197\ 965681391705793837996282867*c_0101_6^25 - 1356792216363118120882926175800674332685770065500/11424992477329619\ 7965681391705793837996282867*c_0101_6^23 + 5044061873447563751062296911439620968930329073856/11424992477329619\ 7965681391705793837996282867*c_0101_6^21 - 9694183152784867819541949787976934445299252045874/11424992477329619\ 7965681391705793837996282867*c_0101_6^19 + 11131288644361143770928782818664189149306197267159/1142499247732961\ 97965681391705793837996282867*c_0101_6^17 - 8327897883619151136978891383211757109023334426387/11424992477329619\ 7965681391705793837996282867*c_0101_6^15 + 4173366207801280552210690769366011059825706417415/11424992477329619\ 7965681391705793837996282867*c_0101_6^13 - 1376881008644176598075955797181989468360045633964/11424992477329619\ 7965681391705793837996282867*c_0101_6^11 + 267970310058677679425419004661560335614943717487/114249924773296197\ 965681391705793837996282867*c_0101_6^9 - 17609026032606492255187946429600138610162444261/1142499247732961979\ 65681391705793837996282867*c_0101_6^7 - 2572496048058222415220751993365890879497363616/11424992477329619796\ 5681391705793837996282867*c_0101_6^5 + 245429285167050989120033184455403990046731149/114249924773296197965\ 681391705793837996282867*c_0101_6^3 + 214473261150490257206659586468028789597812844/114249924773296197965\ 681391705793837996282867*c_0101_6, c_0101_6^34 - 34*c_0101_6^32 + 452*c_0101_6^30 - 4222*c_0101_6^28 + 44842*c_0101_6^26 - 355569*c_0101_6^24 + 1445745*c_0101_6^22 - 3211643*c_0101_6^20 + 4394280*c_0101_6^18 - 4004450*c_0101_6^16 + 2531661*c_0101_6^14 - 1127741*c_0101_6^12 + 352545*c_0101_6^10 - 75517*c_0101_6^8 + 10744*c_0101_6^6 - 1010*c_0101_6^4 + 59*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB