Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 3515895063] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0307 geometric_solution 4.34664018 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.416926547834 0.083330637224 0 2 2 0 3201 0132 1023 0132 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 -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.192020649331 0.099419694005 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 0 -1 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.305502564311 0.397006204018 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 -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 1 0 -1 0 0 -1 1 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.318366433927 0.538966703128 6 3 5 5 0132 0132 2103 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199818357938 1.190195894766 4 4 6 3 2103 2310 2310 0132 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 -1 1 -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.199818357938 1.190195894766 4 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -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.386535650020 0.255559290844 ==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_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_0101_6'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], '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' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 6424188551163528803761798353999867609886/70380526717956437095552821\ 834616123897*c_0101_6^23 - 7936071322929824181448408503093267272822\ /70380526717956437095552821834616123897*c_0101_6^22 + 216143441687781101568920072784730358567049/703805267179564370955528\ 21834616123897*c_0101_6^21 - 61768503460351162868844760894342029989\ 4249/70380526717956437095552821834616123897*c_0101_6^20 - 1114390525299385510320327012281228439927249/70380526717956437095552\ 821834616123897*c_0101_6^19 + 8118704798236467596252982100975244599\ 00681/10054360959708062442221831690659446271*c_0101_6^18 - 94162019034429142721987105826051289637749/1005436095970806244222183\ 1690659446271*c_0101_6^17 - 203410637576003898394470772402053274609\ 16676/70380526717956437095552821834616123897*c_0101_6^16 + 2114742740480324022004842060120941454781497/10054360959708062442221\ 831690659446271*c_0101_6^15 + 5246026083299755612844054202829272694\ 132140/10054360959708062442221831690659446271*c_0101_6^14 - 39936446079559565388371492799610977264748129/7038052671795643709555\ 2821834616123897*c_0101_6^13 - 422706199213402158054237482476654115\ 47591540/70380526717956437095552821834616123897*c_0101_6^12 + 53034975763049011736467542903745042970957820/7038052671795643709555\ 2821834616123897*c_0101_6^11 + 374615177790748789843155336097121524\ 80340262/70380526717956437095552821834616123897*c_0101_6^10 - 45000025721663039166819662417156165444441641/7038052671795643709555\ 2821834616123897*c_0101_6^9 - 2720973225847223809089272282509807308\ 5292187/70380526717956437095552821834616123897*c_0101_6^8 + 21070143821641901188268355787483027670908121/7038052671795643709555\ 2821834616123897*c_0101_6^7 + 1406149810834741454117489442763436692\ 9632455/70380526717956437095552821834616123897*c_0101_6^6 - 4014656473158694612445835471400246916193234/70380526717956437095552\ 821834616123897*c_0101_6^5 - 30522576065204915665888019825084141190\ 06328/70380526717956437095552821834616123897*c_0101_6^4 + 25721793174617663918722696523767974457122/1005436095970806244222183\ 1690659446271*c_0101_6^3 + 3216683292546177293141837655456163358926\ 03/70380526717956437095552821834616123897*c_0101_6^2 - 15028284078785067105550301882035785771222/7038052671795643709555282\ 1834616123897*c_0101_6 - 10985694071706026999969481931485130847388/\ 70380526717956437095552821834616123897, c_0011_0 - 1, c_0011_1 + 2677701650403698675727979360637560361/1005436095970806244222\ 1831690659446271*c_0101_6^23 + 504081794764462226301405320330894375\ 9/10054360959708062442221831690659446271*c_0101_6^22 - 87920523328960324993022515982104642009/1005436095970806244222183169\ 0659446271*c_0101_6^21 + 199366128978652352587775180747034464113/10\ 054360959708062442221831690659446271*c_0101_6^20 + 630353948964416059340513625916002461256/100543609597080624422218316\ 90659446271*c_0101_6^19 - 2070991519168190019779991792631718072171/\ 10054360959708062442221831690659446271*c_0101_6^18 - 1238189524098310368547716515771318733774/10054360959708062442221831\ 690659446271*c_0101_6^17 + 8664409805862970971819440798255894151742\ /10054360959708062442221831690659446271*c_0101_6^16 - 823814196585366789226919672526182220729/100543609597080624422218316\ 90659446271*c_0101_6^15 - 19232090476418008089497839489439880465117\ /10054360959708062442221831690659446271*c_0101_6^14 + 7224059778769463314826353686423064677589/10054360959708062442221831\ 690659446271*c_0101_6^13 + 2798158553139532360512508082698879963447\ 0/10054360959708062442221831690659446271*c_0101_6^12 - 11621425977218563688795915154561340172805/1005436095970806244222183\ 1690659446271*c_0101_6^11 - 289250363713984246347260219602265962342\ 29/10054360959708062442221831690659446271*c_0101_6^10 + 9832973783568420807773326726175109912837/10054360959708062442221831\ 690659446271*c_0101_6^9 + 22189692410428020570218793011403738056690\ /10054360959708062442221831690659446271*c_0101_6^8 - 2588397134712086586887498063250463602039/10054360959708062442221831\ 690659446271*c_0101_6^7 - 10496920360348311346790315212353850475078\ /10054360959708062442221831690659446271*c_0101_6^6 - 1227075244190069999632202104033187989800/10054360959708062442221831\ 690659446271*c_0101_6^5 + 1942638981279661436910414552686941914938/\ 10054360959708062442221831690659446271*c_0101_6^4 + 299735227863075297280085557937810960172/100543609597080624422218316\ 90659446271*c_0101_6^3 - 169293953553354229849299401406645980742/10\ 054360959708062442221831690659446271*c_0101_6^2 - 4619982778690763912871527377697234444/10054360959708062442221831690\ 659446271*c_0101_6 + 13863060377060859325893364420058911531/1005436\ 0959708062442221831690659446271, c_0011_5 + 2534445569588064715902595312560154499/1005436095970806244222\ 1831690659446271*c_0101_6^23 + 339399653740010419596718261310668314\ 3/10054360959708062442221831690659446271*c_0101_6^22 - 84861221042700409795664579450215422264/1005436095970806244222183169\ 0659446271*c_0101_6^21 + 234924118606125109068346911935537739887/10\ 054360959708062442221831690659446271*c_0101_6^20 + 462065462007845413425171671286661068643/100543609597080624422218316\ 90659446271*c_0101_6^19 - 2187616086081867292654753048637252435144/\ 10054360959708062442221831690659446271*c_0101_6^18 + 39411580495605992592589407480348201322/1005436095970806244222183169\ 0659446271*c_0101_6^17 + 7977704921265855081815501408705559818949/1\ 0054360959708062442221831690659446271*c_0101_6^16 - 4982512358680010444353839430145555040822/10054360959708062442221831\ 690659446271*c_0101_6^15 - 1485823913821878945816120976827780813398\ 2/10054360959708062442221831690659446271*c_0101_6^14 + 14044827303448503886970074913520984130710/1005436095970806244222183\ 1690659446271*c_0101_6^13 + 179398475304217167002023014246420677105\ 73/10054360959708062442221831690659446271*c_0101_6^12 - 18759595535603986542696637875021699094426/1005436095970806244222183\ 1690659446271*c_0101_6^11 - 165171296557386473435009942553672850467\ 84/10054360959708062442221831690659446271*c_0101_6^10 + 15747176295305103132799319578914974317161/1005436095970806244222183\ 1690659446271*c_0101_6^9 + 1209873317485568454300955042685828196824\ 7/10054360959708062442221831690659446271*c_0101_6^8 - 6819428553205159726435337122158717624079/10054360959708062442221831\ 690659446271*c_0101_6^7 - 6021922891053039519057175849018144195040/\ 10054360959708062442221831690659446271*c_0101_6^6 + 874290264185519349537175369490632264898/100543609597080624422218316\ 90659446271*c_0101_6^5 + 1163985101781578372940192904605104629564/1\ 0054360959708062442221831690659446271*c_0101_6^4 + 42012824374186422790460775192466350218/1005436095970806244222183169\ 0659446271*c_0101_6^3 - 103183073447179808691454435164551727792/100\ 54360959708062442221831690659446271*c_0101_6^2 + 2507379200465250398092176556308511548/10054360959708062442221831690\ 659446271*c_0101_6 + 8118574375327979751827901256931446768/10054360\ 959708062442221831690659446271, c_0101_0 + 8580058651811479770936184734342777197/1005436095970806244222\ 1831690659446271*c_0101_6^23 + 135298913930773353740577389872098650\ 12/10054360959708062442221831690659446271*c_0101_6^22 - 284937708574543596645692529612846062735/100543609597080624422218316\ 90659446271*c_0101_6^21 + 726775768355144097673438002808770237799/1\ 0054360959708062442221831690659446271*c_0101_6^20 + 1766371066401376902668771207965450728585/10054360959708062442221831\ 690659446271*c_0101_6^19 - 7078950161121892351010779236918977150732\ /10054360959708062442221831690659446271*c_0101_6^18 - 1665402421442940172494298364559318258148/10054360959708062442221831\ 690659446271*c_0101_6^17 + 2740084608115154071024394896039854812732\ 2/10054360959708062442221831690659446271*c_0101_6^16 - 10707870674225280370086508219641931651818/1005436095970806244222183\ 1690659446271*c_0101_6^15 - 553527496174763052691811265385465443464\ 95/10054360959708062442221831690659446271*c_0101_6^14 + 37076506532761526061585728114373964129263/1005436095970806244222183\ 1690659446271*c_0101_6^13 + 733016369498000084097450001686238373538\ 26/10054360959708062442221831690659446271*c_0101_6^12 - 52053587350619383293106467411911576045071/1005436095970806244222183\ 1690659446271*c_0101_6^11 - 717995505399815065059692100254050673631\ 13/10054360959708062442221831690659446271*c_0101_6^10 + 43306048059837374543626665468076418952609/1005436095970806244222183\ 1690659446271*c_0101_6^9 + 5419427196617525760692495792449381451251\ 1/10054360959708062442221831690659446271*c_0101_6^8 - 15985063378074896244187873934391129645687/1005436095970806244222183\ 1690659446271*c_0101_6^7 - 2632209780252984390159493058094942670707\ 4/10054360959708062442221831690659446271*c_0101_6^6 - 637595939762203989655572588322962266615/100543609597080624422218316\ 90659446271*c_0101_6^5 + 4996917104597452994055781216364224176779/1\ 0054360959708062442221831690659446271*c_0101_6^4 + 800921483842815751275345232804744264816/100543609597080624422218316\ 90659446271*c_0101_6^3 - 376191552566995115316708150210967872659/10\ 054360959708062442221831690659446271*c_0101_6^2 - 53220006717257145380649762459187453264/1005436095970806244222183169\ 0659446271*c_0101_6 + 22802851021197555022338722415284704510/100543\ 60959708062442221831690659446271, c_0101_2 + 9271756781166369960056179761294808702/1005436095970806244222\ 1831690659446271*c_0101_6^23 + 136101214549670792487022157423730223\ 63/10054360959708062442221831690659446271*c_0101_6^22 - 308977139627608733555296549688400817541/100543609597080624422218316\ 90659446271*c_0101_6^21 + 819620073400998600558389041773066887504/1\ 0054360959708062442221831690659446271*c_0101_6^20 + 1805602449851439067615434843188385277563/10054360959708062442221831\ 690659446271*c_0101_6^19 - 7808715559288985367294188810090697014887\ /10054360959708062442221831690659446271*c_0101_6^18 - 871237278434090434477930881070154953569/100543609597080624422218316\ 90659446271*c_0101_6^17 + 29351124857633474875312094526899331242438\ /10054360959708062442221831690659446271*c_0101_6^16 - 14777409306738128865888547871701361693742/1005436095970806244222183\ 1690659446271*c_0101_6^15 - 569050673152106198420248594659078397005\ 48/10054360959708062442221831690659446271*c_0101_6^14 + 45493455500643964667742462632391537011498/1005436095970806244222183\ 1690659446271*c_0101_6^13 + 718264133509612191345140979270646419130\ 46/10054360959708062442221831690659446271*c_0101_6^12 - 61840822401698583699778889034572665919916/1005436095970806244222183\ 1690659446271*c_0101_6^11 - 679429094099974239894088773891713711387\ 94/10054360959708062442221831690659446271*c_0101_6^10 + 51214030041925370278029666113866542718224/1005436095970806244222183\ 1690659446271*c_0101_6^9 + 5037210211066744970908949808325588332521\ 5/10054360959708062442221831690659446271*c_0101_6^8 - 20284121080202455128152766902692618279539/1005436095970806244222183\ 1690659446271*c_0101_6^7 - 2437293663606263253426950507787625764329\ 2/10054360959708062442221831690659446271*c_0101_6^6 + 922716877011660400672676700157601071476/100543609597080624422218316\ 90659446271*c_0101_6^5 + 4427721261677322892139011490862915239078/1\ 0054360959708062442221831690659446271*c_0101_6^4 + 507217128846892031138312874853247345712/100543609597080624422218316\ 90659446271*c_0101_6^3 - 330783404247114474869307366808233645063/10\ 054360959708062442221831690659446271*c_0101_6^2 - 25412179826524522211600963150931507108/1005436095970806244222183169\ 0659446271*c_0101_6 + 19745873578779832979467888811784131099/100543\ 60959708062442221831690659446271, c_0101_4 + 2773605842455160239440670532690219196/1005436095970806244222\ 1831690659446271*c_0101_6^23 + 343927026256316874393538416576940500\ 5/10054360959708062442221831690659446271*c_0101_6^22 - 93132474213495652147048717079216039684/1005436095970806244222183169\ 0659446271*c_0101_6^21 + 266540030940258632836817968592458953360/10\ 054360959708062442221831690659446271*c_0101_6^20 + 476754501241789044218021171115893324086/100543609597080624422218316\ 90659446271*c_0101_6^19 - 2437759191648495211427658219831814025559/\ 10054360959708062442221831690659446271*c_0101_6^18 + 310439991075896853108397200588230514775/100543609597080624422218316\ 90659446271*c_0101_6^17 + 8646448956113523160822669471552755683945/\ 10054360959708062442221831690659446271*c_0101_6^16 - 6400864601149586677907937981058248370091/10054360959708062442221831\ 690659446271*c_0101_6^15 - 1533534431766812747077853306105039477723\ 4/10054360959708062442221831690659446271*c_0101_6^14 + 17002571115091233508853204400575156580577/1005436095970806244222183\ 1690659446271*c_0101_6^13 + 171904361771520741545323208897141814487\ 06/10054360959708062442221831690659446271*c_0101_6^12 - 22111784757161045994112947532366426382016/1005436095970806244222183\ 1690659446271*c_0101_6^11 - 147790225757978713599177783120946158690\ 44/10054360959708062442221831690659446271*c_0101_6^10 + 18305440017271368815564248684614159915849/1005436095970806244222183\ 1690659446271*c_0101_6^9 + 1047145553750435929610069545586965752463\ 8/10054360959708062442221831690659446271*c_0101_6^8 - 8163483359358722036977849467391599468084/10054360959708062442221831\ 690659446271*c_0101_6^7 - 5183418050896585726451605710292358685549/\ 10054360959708062442221831690659446271*c_0101_6^6 + 1395228081223404558397960281079004104706/10054360959708062442221831\ 690659446271*c_0101_6^5 + 952790399983477035377492756164118742471/1\ 0054360959708062442221831690659446271*c_0101_6^4 - 72974874611326203715040387574096788571/1005436095970806244222183169\ 0659446271*c_0101_6^3 - 107503015064755514193804030922526621244/100\ 54360959708062442221831690659446271*c_0101_6^2 + 11146603310933031437282635248766856867/1005436095970806244222183169\ 0659446271*c_0101_6 + 3515701218147458920773728457968001884/1005436\ 0959708062442221831690659446271, c_0101_6^24 + c_0101_6^23 - 34*c_0101_6^22 + 104*c_0101_6^21 + 153*c_0101_6^20 - 932*c_0101_6^19 + 301*c_0101_6^18 + 3200*c_0101_6^17 - 3067*c_0101_6^16 - 5369*c_0101_6^15 + 7743*c_0101_6^14 + 5435*c_0101_6^13 - 10247*c_0101_6^12 - 4203*c_0101_6^11 + 8933*c_0101_6^10 + 2828*c_0101_6^9 - 4733*c_0101_6^8 - 1575*c_0101_6^7 + 1351*c_0101_6^6 + 406*c_0101_6^5 - 184*c_0101_6^4 - 54*c_0101_6^3 + 18*c_0101_6^2 + 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB