Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 880126164] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1970 geometric_solution 5.54598295 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0.575673749700 0.125717061544 2 0 2 0 0132 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 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.766303831269 0.236365987411 1 3 1 4 0132 0132 1023 0132 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.029528011554 0.876669742276 5 2 4 6 0132 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.081730837400 0.961018519542 6 3 2 5 0132 3201 0132 3201 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 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.081730837400 0.961018519542 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 -1 1 0 -1 0 0 1 1 0 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 -1 0 0 1 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.721490979695 1.373537007186 4 6 3 6 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.087860275565 1.033090503372 ==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' : 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' : d['c_0011_4'], 'c_1100_5' : d['c_0101_5'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 2157646763506166301102375585/2847239724256355239003124*c_0101_3*c_0\ 101_5^19 - 1711058597492030770197873057/1423619862128177619501562*c\ _0101_3*c_0101_5^18 - 39276738246627640312332160565/284723972425635\ 5239003124*c_0101_3*c_0101_5^17 + 2065743348856372895959499529/7118\ 09931064088809750781*c_0101_3*c_0101_5^16 + 200914110250410323122660035137/1423619862128177619501562*c_0101_3*c\ _0101_5^15 - 10100908664779890176033113359/711809931064088809750781\ *c_0101_3*c_0101_5^14 - 447499287015889823284056234206/711809931064\ 088809750781*c_0101_3*c_0101_5^13 + 27001537125503818647251862567/2847239724256355239003124*c_0101_3*c_\ 0101_5^12 + 297775619160250712333397828843/167484689662138543470772\ *c_0101_3*c_0101_5^11 + 89906121379779482592052474901/2847239724256\ 355239003124*c_0101_3*c_0101_5^10 - 8636183208191753501598977063163/2847239724256355239003124*c_0101_3*\ c_0101_5^9 - 1008321197064818417978054349339/2847239724256355239003\ 124*c_0101_3*c_0101_5^8 + 2227552245930855910655494387860/711809931\ 064088809750781*c_0101_3*c_0101_5^7 + 785508395984139715384105839407/1423619862128177619501562*c_0101_3*c\ _0101_5^6 - 3372298583333597891895483017445/28472397242563552390031\ 24*c_0101_3*c_0101_5^5 - 120052542555138006439720883627/14236198621\ 28177619501562*c_0101_3*c_0101_5^4 + 274028855813580396584601875381/1423619862128177619501562*c_0101_3*c\ _0101_5^3 - 10443222248423074242439925343/711809931064088809750781*\ c_0101_3*c_0101_5^2 - 8067887950461671801076665161/7118099310640888\ 09750781*c_0101_3*c_0101_5 + 6594443793029138687594728795/284723972\ 4256355239003124*c_0101_3, c_0011_0 - 1, c_0011_1 - 7709966408362553636425533/1423619862128177619501562*c_0101_5\ ^19 + 11480830879881731052513255/1423619862128177619501562*c_0101_5\ ^18 + 140911351433007969995112339/1423619862128177619501562*c_0101_\ 5^17 - 7487387825803032437008107/711809931064088809750781*c_0101_5^\ 16 - 1427450453023576636436084901/1423619862128177619501562*c_0101_\ 5^15 + 3799522796543023091764717/1423619862128177619501562*c_0101_5\ ^14 + 3148185835546580065545649168/711809931064088809750781*c_0101_\ 5^13 + 526316759951171395853116631/1423619862128177619501562*c_0101\ _5^12 - 517766436960053448330215770/41871172415534635867693*c_0101_\ 5^11 - 1019762735353028544551521034/711809931064088809750781*c_0101\ _5^10 + 14733547810663618512560375421/711809931064088809750781*c_01\ 01_5^9 + 3222708828849036980156136999/711809931064088809750781*c_01\ 01_5^8 - 14636614683894767050144269363/711809931064088809750781*c_0\ 101_5^7 - 4093361075753221577129172906/711809931064088809750781*c_0\ 101_5^6 + 4698075767373910577830286139/711809931064088809750781*c_0\ 101_5^5 + 1371424731217681826497766541/1423619862128177619501562*c_\ 0101_5^4 - 680044959496166063705561162/711809931064088809750781*c_0\ 101_5^3 + 42086697966558361391902212/711809931064088809750781*c_010\ 1_5^2 + 42815870381475064634247797/711809931064088809750781*c_0101_\ 5 - 16256892484218725332094771/1423619862128177619501562, c_0011_4 + 21866363147402191909236161/1423619862128177619501562*c_0101_\ 3*c_0101_5^19 - 15763609551817253337777917/711809931064088809750781\ *c_0101_3*c_0101_5^18 - 200607000778541858476875282/711809931064088\ 809750781*c_0101_3*c_0101_5^17 + 23779835447723741851044519/1423619\ 862128177619501562*c_0101_3*c_0101_5^16 + 4050777285056026802824785497/1423619862128177619501562*c_0101_3*c_0\ 101_5^15 + 177841962359180566725253039/1423619862128177619501562*c_\ 0101_3*c_0101_5^14 - 8931572062838069992503355972/71180993106408880\ 9750781*c_0101_3*c_0101_5^13 - 2309273279765279083671424829/1423619\ 862128177619501562*c_0101_3*c_0101_5^12 + 1467004106461477550754971545/41871172415534635867693*c_0101_3*c_010\ 1_5^11 + 4014283061262105048677228927/711809931064088809750781*c_01\ 01_3*c_0101_5^10 - 83361321747591330172292038085/142361986212817761\ 9501562*c_0101_3*c_0101_5^9 - 10957795725400643332880991822/7118099\ 31064088809750781*c_0101_3*c_0101_5^8 + 82259673953129345694878709909/1423619862128177619501562*c_0101_3*c_\ 0101_5^7 + 13325390848918031202257498781/711809931064088809750781*c\ _0101_3*c_0101_5^6 - 12848765107632145715389184035/7118099310640888\ 09750781*c_0101_3*c_0101_5^5 - 4689018396027208846962829927/1423619\ 862128177619501562*c_0101_3*c_0101_5^4 + 1880905921602794334590266736/711809931064088809750781*c_0101_3*c_01\ 01_5^3 - 84977027932179290091192651/711809931064088809750781*c_0101\ _3*c_0101_5^2 - 244806765301707682661898969/14236198621281776195015\ 62*c_0101_3*c_0101_5 + 44545462857322067418731643/14236198621281776\ 19501562*c_0101_3, c_0101_0 - 18233682644252403004450435/1423619862128177619501562*c_0101_\ 3*c_0101_5^19 + 13220935840724732903758978/711809931064088809750781\ *c_0101_3*c_0101_5^18 + 334117746104423507171160209/142361986212817\ 7619501562*c_0101_3*c_0101_5^17 - 22306380741333663476617869/142361\ 9862128177619501562*c_0101_3*c_0101_5^16 - 3373555593801007420163733991/1423619862128177619501562*c_0101_3*c_0\ 101_5^15 - 120283191209278120262693455/1423619862128177619501562*c_\ 0101_3*c_0101_5^14 + 14855421140777508604710101767/1423619862128177\ 619501562*c_0101_3*c_0101_5^13 + 1798970090326234701106946793/14236\ 19862128177619501562*c_0101_3*c_0101_5^12 - 2436764081265517697963746659/83742344831069271735386*c_0101_3*c_010\ 1_5^11 - 3161597933827642596646432992/711809931064088809750781*c_01\ 01_3*c_0101_5^10 + 34528519379209714486926772402/711809931064088809\ 750781*c_0101_3*c_0101_5^9 + 17613079502552522686885174315/14236198\ 62128177619501562*c_0101_3*c_0101_5^8 - 67890233971819077863705077097/1423619862128177619501562*c_0101_3*c_\ 0101_5^7 - 21436881193916043816620301755/1423619862128177619501562*\ c_0101_3*c_0101_5^6 + 20772643191236059938033594863/142361986212817\ 7619501562*c_0101_3*c_0101_5^5 + 3478570187804220659498959259/14236\ 19862128177619501562*c_0101_3*c_0101_5^4 - 2911537107064158006025102097/1423619862128177619501562*c_0101_3*c_0\ 101_5^3 + 95748513609957138955598162/711809931064088809750781*c_010\ 1_3*c_0101_5^2 + 89573056546392286954997917/71180993106408880975078\ 1*c_0101_3*c_0101_5 - 16897352659535893808545158/711809931064088809\ 750781*c_0101_3, c_0101_1 + 438751175713417438669236/711809931064088809750781*c_0101_5^1\ 9 - 1366514945612893203166083/1423619862128177619501562*c_0101_5^18 - 8012615484805358389700508/711809931064088809750781*c_0101_5^17 + 1453441028773302430133552/711809931064088809750781*c_0101_5^16 + 163746503049696018295742321/1423619862128177619501562*c_0101_5^15 - 5775736822117605786806756/711809931064088809750781*c_0101_5^14 - 365306203485950065573454440/711809931064088809750781*c_0101_5^13 - 5976724365901516839943845/711809931064088809750781*c_0101_5^12 + 60839517563878303543987423/41871172415534635867693*c_0101_5^11 + 52391435505152770420385603/711809931064088809750781*c_0101_5^10 - 3536988817782479824456569913/1423619862128177619501562*c_0101_5^9 - 535385680141771157911312239/1423619862128177619501562*c_0101_5^8 + 3653731519705146108244743717/1423619862128177619501562*c_0101_5^7 + 783242229367558093966490873/1423619862128177619501562*c_0101_5^6 - 694440185574019161757892642/711809931064088809750781*c_0101_5^5 - 85762573052531618047053608/711809931064088809750781*c_0101_5^4 + 112636549557517043581499345/711809931064088809750781*c_0101_5^3 - 6806996079904033157928138/711809931064088809750781*c_0101_5^2 - 16084572074110666510577557/1423619862128177619501562*c_0101_5 + 3931497066435601443654691/1423619862128177619501562, c_0101_3^2 - 1885432235759588708043861/711809931064088809750781*c_0101_\ 5^19 + 2789005162940274548486394/711809931064088809750781*c_0101_5^\ 18 + 68944540510143940328994945/1423619862128177619501562*c_0101_5^\ 17 - 6603298931858339939064237/1423619862128177619501562*c_0101_5^1\ 6 - 697696499549172850370062687/1423619862128177619501562*c_0101_5^\ 15 - 2519540934658181884031704/711809931064088809750781*c_0101_5^14 + 1537118776377070576178803640/711809931064088809750781*c_0101_5^13 + 143737151729760887907794531/711809931064088809750781*c_0101_5^12 - 252494360000515935937980659/41871172415534635867693*c_0101_5^11 - 539499652868157267900969168/711809931064088809750781*c_0101_5^10 + 7170325889623685321745481485/711809931064088809750781*c_0101_5^9 + 3282932605199365791898066983/1423619862128177619501562*c_0101_5^8 - 7093800182780843749324275477/711809931064088809750781*c_0101_5^7 - 4114824545019471914709082173/1423619862128177619501562*c_0101_5^6 + 2232509919956385638138180970/711809931064088809750781*c_0101_5^5 + 340806437528213703702837710/711809931064088809750781*c_0101_5^4 - 319645488667610292303221400/711809931064088809750781*c_0101_5^3 + 18152050954361275647405686/711809931064088809750781*c_0101_5^2 + 19693395854653193120685685/711809931064088809750781*c_0101_5 - 7709966408362553636425533/1423619862128177619501562, c_0101_5^20 - c_0101_5^19 - 19*c_0101_5^18 - 7*c_0101_5^17 + 186*c_0101_5^16 + 90*c_0101_5^15 - 816*c_0101_5^14 - 467*c_0101_5^13 + 2246*c_0101_5^12 + 1378*c_0101_5^11 - 3682*c_0101_5^10 - 2696*c_0101_5^9 + 3371*c_0101_5^8 + 2902*c_0101_5^7 - 685*c_0101_5^6 - 757*c_0101_5^5 + 88*c_0101_5^4 + 72*c_0101_5^3 - 16*c_0101_5^2 - 3*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB