Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 139039981] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0610 geometric_solution 4.61622906 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 -1 0 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 -1 0 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 2.416651512464 0.167988304302 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 1 0 -1 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 1 0 -1 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.826339919377 0.401873578297 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 -1 2 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 0 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.327813090328 0.362717226769 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 1 -2 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.276375932120 0.517123988601 3 5 6 5 0132 1230 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 -1 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 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671414846849 1.120125721677 4 6 4 3 3201 1023 3012 0132 0 0 0 0 0 -1 0 1 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.671414846849 1.120125721677 5 6 6 4 1023 1230 3012 0132 0 0 0 0 0 1 0 -1 1 0 -1 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.004308426353 0.521618700109 ==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' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 675892820327359504976310153788883848557/512488775124419928139669893\ 5366055054*c_0101_3^20 + 281736453941846917602404556929877212425/92\ 340319842237824890030611448037028*c_0101_3^19 - 64586477057913292519161850883291247487399/2562443875622099640698349\ 467683027527*c_0101_3^18 + 8905682067028569439839199675181620623874\ 57/10249775502488398562793397870732110108*c_0101_3^17 - 303853188973497746578955522158084964978759/512488775124419928139669\ 8935366055054*c_0101_3^16 - 316601797370261833027197782989499210436\ 4517/10249775502488398562793397870732110108*c_0101_3^15 + 222064209455770454088604401648902886422899/113886394472093317364371\ 0874525790012*c_0101_3^14 + 104181449451751292320464583683378621865\ 16593/5124887751244199281396698935366055054*c_0101_3^13 - 1934588509929039476481288377845888919165951/56943197236046658682185\ 5437262895006*c_0101_3^12 - 209189496187559862369730380063883375273\ 2478/2562443875622099640698349467683027527*c_0101_3^11 + 11029450408342285332218223033769821179327407/2562443875622099640698\ 349467683027527*c_0101_3^10 - 4084769173515170648634187524052132417\ 770245/2562443875622099640698349467683027527*c_0101_3^9 - 7930066231991209730977167696447080758993277/10249775502488398562793\ 397870732110108*c_0101_3^8 + 58509761982076285044201684338971959747\ 1918/854147958540699880232783155894342509*c_0101_3^7 - 2340683962732739626837282836095024311384543/10249775502488398562793\ 397870732110108*c_0101_3^6 - 12826600731290486622222044469096368886\ 5507/3416591834162799520931132623577370036*c_0101_3^5 - 160423514464255373527413139021517200309822/256244387562209964069834\ 9467683027527*c_0101_3^4 + 1985413658777835148693216602963650744372\ 09/5124887751244199281396698935366055054*c_0101_3^3 + 211798177662937471680609634939610291422927/102497755024883985627933\ 97870732110108*c_0101_3^2 - 399053110301735275746489303656034080965\ /69255239881678368667522958586027771*c_0101_3 - 11596101220025345489878381951475845429475/1024977550248839856279339\ 7870732110108, c_0011_0 - 1, c_0011_3 - 95812020342929865029422255754488/657542693256889823119925447\ 185791*c_0101_3^20 + 2901701136925430560873392185817965/87672359100\ 9186430826567262914388*c_0101_3^19 - 34795715854827536184769936214219971/1315085386513779646239850894371\ 582*c_0101_3^18 + 223389825697592254395627818253107417/263017077302\ 7559292479701788743164*c_0101_3^17 - 19939325668953998453348670567158978/6575426932568898231199254471857\ 91*c_0101_3^16 - 925839140507556962088921825263360359/2630170773027\ 559292479701788743164*c_0101_3^15 + 19002558023591000053920630524168315/2922411970030621436088557543047\ 96*c_0101_3^14 + 2983499273406437830494473083593701909/131508538651\ 3779646239850894371582*c_0101_3^13 - 408032420344206211631634302014386953/146120598501531071804427877152\ 398*c_0101_3^12 - 1341885184279963401999469944759197741/65754269325\ 6889823119925447185791*c_0101_3^11 + 2502931461960039265535371799678091788/65754269325688982311992544718\ 5791*c_0101_3^10 - 161461189508273880100479151087159589/13150853865\ 13779646239850894371582*c_0101_3^9 - 2187400460112015511985034486283010101/26301707730275592924797017887\ 43164*c_0101_3^8 + 142841706116366541699820345793127571/43836179550\ 4593215413283631457194*c_0101_3^7 - 246172328008770316453180581563812097/263017077302755929247970178874\ 3164*c_0101_3^6 - 64671078161830500717764842501053043/8767235910091\ 86430826567262914388*c_0101_3^5 - 722324052761015041579724044418589\ 95/657542693256889823119925447185791*c_0101_3^4 + 480696178028414566345880013697631/657542693256889823119925447185791\ *c_0101_3^3 + 56748026170175510275933950179998415/26301707730275592\ 92479701788743164*c_0101_3^2 + 5410409692433100643798678111926971/1\ 315085386513779646239850894371582*c_0101_3 - 378313651990068585259019600064835/263017077302755929247970178874316\ 4, c_0011_5 + 364361559811106238456385499568371431/68331836683255990418622\ 65247154740072*c_0101_3^20 - 1421945785403601794179043829053727451/\ 1138863944720933173643710874525790012*c_0101_3^19 + 71961797480143533252938573680206489281/6833183668325599041862265247\ 154740072*c_0101_3^18 - 64670376659892539189917728325662411545/1708\ 295917081399760465566311788685018*c_0101_3^17 + 224048711487256934832876022286712455933/683318366832559904186226524\ 7154740072*c_0101_3^16 + 828799074241653703158448768476947205535/68\ 33183668325599041862265247154740072*c_0101_3^15 - 43253576501984045223118109087372502247/3796213149069777245479036248\ 41930004*c_0101_3^14 - 2783066669862864780037201322562385158569/341\ 6591834162799520931132623577370036*c_0101_3^13 + 303962543312248136134872615171631731875/189810657453488862273951812\ 420965002*c_0101_3^12 + 65668724486531171407368608105781995633/1708\ 295917081399760465566311788685018*c_0101_3^11 - 6535793989957425290859545746422530572135/34165918341627995209311326\ 23577370036*c_0101_3^10 + 6926736349331139155146566299887824061363/\ 6833183668325599041862265247154740072*c_0101_3^9 + 841878729736667699355611495964713310311/341659183416279952093113262\ 3577370036*c_0101_3^8 - 19536611222528347684961333466909218891/6156\ 0213228158549926687074298691352*c_0101_3^7 + 976687287831851455616539534889325240275/683318366832559904186226524\ 7154740072*c_0101_3^6 - 2783481128293821396138105708677319409/28471\ 5986180233293410927718631447503*c_0101_3^5 + 20505379752019207845639837464083153681/8541479585406998802327831558\ 94342509*c_0101_3^4 - 177644299746642948132539747822385146525/68331\ 83668325599041862265247154740072*c_0101_3^3 - 29890129202077915092385371847284072607/3416591834162799520931132623\ 577370036*c_0101_3^2 + 17310986503743174900625819569635876237/68331\ 83668325599041862265247154740072*c_0101_3 + 779378645564021801609018863594984465/170829591708139976046556631178\ 8685018, c_0101_0 + 2279637848119937321737883657719326973/6833183668325599041862\ 265247154740072*c_0101_3^20 - 2194089915759979787763570940499024512\ /284715986180233293410927718631447503*c_0101_3^19 + 433830766501195622425291668432370384295/683318366832559904186226524\ 7154740072*c_0101_3^18 - 743369184132448466881787492337372383209/34\ 16591834162799520931132623577370036*c_0101_3^17 + 973512983982044280572535193004597164079/683318366832559904186226524\ 7154740072*c_0101_3^16 + 5370656093874506778646116656786958641239/6\ 833183668325599041862265247154740072*c_0101_3^15 - 88359272149346362618989201419498414765/1898106574534888622739518124\ 20965002*c_0101_3^14 - 17619645868795702652132754716005372442213/34\ 16591834162799520931132623577370036*c_0101_3^13 + 798429847471442222701121050949806216165/949053287267444311369759062\ 10482501*c_0101_3^12 + 4013954331438487644112451229079439117765/170\ 8295917081399760465566311788685018*c_0101_3^11 - 36874211766228433127823521446311551235265/3416591834162799520931132\ 623577370036*c_0101_3^10 + 2503552450318603215489598103185188632818\ 9/6833183668325599041862265247154740072*c_0101_3^9 + 1768483577290160058581868297374407483946/85414795854069988023278315\ 5894342509*c_0101_3^8 - 3800483197956435443922241095898778170265/22\ 77727889441866347287421749051580024*c_0101_3^7 + 3575082506783638085383566969581689785839/68331836683255990418622652\ 47154740072*c_0101_3^6 + 139299896323733649522696200860653182849/11\ 38863944720933173643710874525790012*c_0101_3^5 + 137763176548500517747583407392177031798/854147958540699880232783155\ 894342509*c_0101_3^4 - 643704940981496984253849644092260536303/6833\ 183668325599041862265247154740072*c_0101_3^3 - 92195999362120701973229243891518571459/1708295917081399760465566311\ 788685018*c_0101_3^2 + 89016352971805499191563240328370204603/68331\ 83668325599041862265247154740072*c_0101_3 + 8769398296114887335238614487862123883/34165918341627995209311326235\ 77370036, c_0101_1 - 658746482523449326300760010637241/52603415460551185849594035\ 77486328*c_0101_3^20 + 5022769691880763917228378730621201/175344718\ 2018372861653134525828776*c_0101_3^19 - 122068042771078877696104264035354865/526034154605511858495940357748\ 6328*c_0101_3^18 + 404361299480925925422941035437887983/52603415460\ 55118584959403577486328*c_0101_3^17 - 208470069040035069375825601972445011/526034154605511858495940357748\ 6328*c_0101_3^16 - 768597789087495783900484933647471241/26301707730\ 27559292479701788743164*c_0101_3^15 + 59422017724181767867794733648475323/5844823940061242872177115086095\ 92*c_0101_3^14 + 1260067158230959482734416057897230556/657542693256\ 889823119925447185791*c_0101_3^13 - 790630798459602508749102017952724837/292241197003062143608855754304\ 796*c_0101_3^12 - 796131397703821489812737633355595496/657542693256\ 889823119925447185791*c_0101_3^11 + 8790391832231758061503997431444483607/26301707730275592924797017887\ 43164*c_0101_3^10 - 3971362859919083283328499441990605823/526034154\ 6055118584959403577486328*c_0101_3^9 - 2206136487200086329192842601279403097/52603415460551185849594035774\ 86328*c_0101_3^8 + 636375361537783451113809246610545379/17534471820\ 18372861653134525828776*c_0101_3^7 - 234144784467826361152432858772325679/131508538651377964623985089437\ 1582*c_0101_3^6 - 46036002726637006443608628180663905/1753447182018\ 372861653134525828776*c_0101_3^5 - 124633791355080206263697198126097199/131508538651377964623985089437\ 1582*c_0101_3^4 + 74978527787031454004659934237963971/5260341546055\ 118584959403577486328*c_0101_3^3 + 50306963090030071499461059816569899/5260341546055118584959403577486\ 328*c_0101_3^2 + 3803827784319397994111335642864535/526034154605511\ 8584959403577486328*c_0101_3 + 3841038806373507442061610466004779/5\ 260341546055118584959403577486328, c_0101_2 - 1897328033087209531172481640305071131/6833183668325599041862\ 265247154740072*c_0101_3^20 + 1447499013854138982787568130568367599\ 7/2277727889441866347287421749051580024*c_0101_3^19 - 351988472439866853902077775253089742167/683318366832559904186226524\ 7154740072*c_0101_3^18 + 31498984754218208664309096135653747339/184\ 680639684475649780061222896074056*c_0101_3^17 - 584592931619825347409293746852160698497/683318366832559904186226524\ 7154740072*c_0101_3^16 - 1131086496309327756161139726074778904357/1\ 708295917081399760465566311788685018*c_0101_3^15 + 184229059917105651249202565812197371111/759242629813955449095807249\ 683860008*c_0101_3^14 + 7351749218674648857305464905620378795521/17\ 08295917081399760465566311788685018*c_0101_3^13 - 2308031297806064244545641120792281751033/37962131490697772454790362\ 4841930004*c_0101_3^12 - 2547904121861575004519301558349779273229/8\ 54147958540699880232783155894342509*c_0101_3^11 + 27353556372055007664160429669933807898341/3416591834162799520931132\ 623577370036*c_0101_3^10 - 1056375541003529918484468973910443569813\ 7/6833183668325599041862265247154740072*c_0101_3^9 - 11028408241340040764585119553313758723797/6833183668325599041862265\ 247154740072*c_0101_3^8 + 2229252231816627688051881910882754527157/\ 2277727889441866347287421749051580024*c_0101_3^7 - 1001689090519377168529485730906425974407/34165918341627995209311326\ 23577370036*c_0101_3^6 - 262431202423004728196208356336211381169/22\ 77727889441866347287421749051580024*c_0101_3^5 - 302524977683464517132145431476125343913/170829591708139976046556631\ 1788685018*c_0101_3^4 + 232509807566160434166016264620633971657/683\ 3183668325599041862265247154740072*c_0101_3^3 + 274576050582703743155333567477590026911/683318366832559904186226524\ 7154740072*c_0101_3^2 - 7842203965607232356678787044518271807/68331\ 83668325599041862265247154740072*c_0101_3 - 5393439906605447756668504701848496493/68331836683255990418622652471\ 54740072, c_0101_3^21 - 23*c_0101_3^20 + 188*c_0101_3^19 - 633*c_0101_3^18 + 360*c_0101_3^17 + 2406*c_0101_3^16 - 1166*c_0101_3^15 - 15625*c_0101_3^14 + 23696*c_0101_3^13 + 9734*c_0101_3^12 - 31938*c_0101_3^11 + 7667*c_0101_3^10 + 7655*c_0101_3^9 - 4466*c_0101_3^8 + 1010*c_0101_3^7 + 542*c_0101_3^6 + 503*c_0101_3^5 - 231*c_0101_3^4 - 199*c_0101_3^3 + 24*c_0101_3^2 + 15*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB