Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 795784182] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0912 geometric_solution 4.80833192 oriented_manifold CS_known -0.0000000000000003 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.480472352016 0.344242733981 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 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.989190925178 0.368639484324 3 1 3 4 2103 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730951937484 0.772753448108 2 4 2 1 2031 2310 2103 0132 0 0 0 0 0 0 1 -1 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 1 -1 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.730951937484 0.772753448108 5 5 2 3 0132 2310 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 -1 0 0 1 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.341176545938 0.483500615136 4 6 6 4 0132 0132 1023 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 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.110000261055 0.734457601750 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.223041719693 0.544412234649 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_3']), '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_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_6'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), '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_4, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 85637623873176144834481779217992347139/2690251985320006302762151408\ 145460173*c_0101_6^23 - 1392123563345149399021364418240603069131/26\ 90251985320006302762151408145460173*c_0101_6^22 - 297205379620308050644397790299211967940/384321712188572328966021629\ 735065739*c_0101_6^21 + 6787142319715939597888228189955854747919/38\ 4321712188572328966021629735065739*c_0101_6^20 + 102089109377271318287031539590192948323556/269025198532000630276215\ 1408145460173*c_0101_6^19 - 639380904648773298098594480287151702930\ 924/2690251985320006302762151408145460173*c_0101_6^18 - 972189448725637526538573530785509902192471/269025198532000630276215\ 1408145460173*c_0101_6^17 + 363106522322101560556240529340829035487\ 1784/2690251985320006302762151408145460173*c_0101_6^16 + 4977593473293063108264422964743822153692796/26902519853200063027621\ 51408145460173*c_0101_6^15 - 10089685873165926085978819200561828041\ 381842/2690251985320006302762151408145460173*c_0101_6^14 - 2106683196735524090650569034591734604935423/38432171218857232896602\ 1629735065739*c_0101_6^13 + 135395469337516719837385082397228792092\ 71022/2690251985320006302762151408145460173*c_0101_6^12 + 23904844535109838378126647017457145908218427/2690251985320006302762\ 151408145460173*c_0101_6^11 - 1024155994248931001237766713672073224\ 210845/384321712188572328966021629735065739*c_0101_6^10 - 20534716267550543386014211127741587975728576/2690251985320006302762\ 151408145460173*c_0101_6^9 - 94588972123395806596594092896618645219\ 5332/2690251985320006302762151408145460173*c_0101_6^8 + 9142035291063661917840322352493503286587475/26902519853200063027621\ 51408145460173*c_0101_6^7 + 238316715215275182274195182086168712569\ 3278/2690251985320006302762151408145460173*c_0101_6^6 - 2002233711717313748078404250998974160539852/26902519853200063027621\ 51408145460173*c_0101_6^5 - 109792228528999024951381583538368046221\ 879/384321712188572328966021629735065739*c_0101_6^4 + 176842325350827741994187579756051659545217/269025198532000630276215\ 1408145460173*c_0101_6^3 + 8435144187377472789891619127080272820677\ 9/2690251985320006302762151408145460173*c_0101_6^2 - 1953345534440647710376590305972553497888/26902519853200063027621514\ 08145460173*c_0101_6 - 3605051734257370156799901221355834618999/269\ 0251985320006302762151408145460173, c_0011_0 - 1, c_0011_1 + 5740245884264971003331642616255804829/3843217121885723289660\ 21629735065739*c_0101_6^23 + 62740274097022789026133394564440653559\ /384321712188572328966021629735065739*c_0101_6^22 - 187306240302340110145913165397916132926/384321712188572328966021629\ 735065739*c_0101_6^21 - 2108221597513437208784741801462812534403/38\ 4321712188572328966021629735065739*c_0101_6^20 + 4120595133247975634466567871022524080109/38432171218857232896602162\ 9735065739*c_0101_6^19 + 18266622416124375102658023668656225696609/\ 384321712188572328966021629735065739*c_0101_6^18 - 26025153239607732083967630686931482720817/3843217121885723289660216\ 29735065739*c_0101_6^17 - 82910921528330290072377134980692317596367\ /384321712188572328966021629735065739*c_0101_6^16 + 67812999086838599761504271904811392932572/3843217121885723289660216\ 29735065739*c_0101_6^15 + 21910500647861665100643615505821203995271\ 6/384321712188572328966021629735065739*c_0101_6^14 - 62095871690443549672064167952787175074655/3843217121885723289660216\ 29735065739*c_0101_6^13 - 32444831231023270042964032037229536248686\ 9/384321712188572328966021629735065739*c_0101_6^12 - 29490138933526633299123037820644140503186/3843217121885723289660216\ 29735065739*c_0101_6^11 + 25499930805570007580781865918716975126313\ 7/384321712188572328966021629735065739*c_0101_6^10 + 90365093328068648194032119607959412824129/3843217121885723289660216\ 29735065739*c_0101_6^9 - 98362539582771049278445335683211927126552/\ 384321712188572328966021629735065739*c_0101_6^8 - 59307761372258116840154925105302567126434/3843217121885723289660216\ 29735065739*c_0101_6^7 + 14641217032046099066054170966566176857670/\ 384321712188572328966021629735065739*c_0101_6^6 + 15480258288689245754099161517266557295461/3843217121885723289660216\ 29735065739*c_0101_6^5 + 443958343841343837711072798088840769070/38\ 4321712188572328966021629735065739*c_0101_6^4 - 1542735049408882673729030580780565990372/38432171218857232896602162\ 9735065739*c_0101_6^3 - 244934605255940102460162743661000700461/384\ 321712188572328966021629735065739*c_0101_6^2 + 47536157434173370774129616393099576073/3843217121885723289660216297\ 35065739*c_0101_6 + 11094618527123676193555476663884528406/38432171\ 2188572328966021629735065739, c_0011_3 + 10947335327752822677816455919579385066/384321712188572328966\ 021629735065739*c_0101_6^23 + 1227440790647531624719454609416645186\ 66/384321712188572328966021629735065739*c_0101_6^22 - 324209006198704035300378701277227272704/384321712188572328966021629\ 735065739*c_0101_6^21 - 4129811063377558136108642361678491573862/38\ 4321712188572328966021629735065739*c_0101_6^20 + 6750333539253690552603201509412069753234/38432171218857232896602162\ 9735065739*c_0101_6^19 + 37334474588522700913703227086920997372080/\ 384321712188572328966021629735065739*c_0101_6^18 - 40412488942364006018920593880531271461459/3843217121885723289660216\ 29735065739*c_0101_6^17 - 17446207331163626139034022882512064421711\ 0/384321712188572328966021629735065739*c_0101_6^16 + 88676550999149708383216362975139688500908/3843217121885723289660216\ 29735065739*c_0101_6^15 + 46462377560319547929494647719766752278680\ 1/384321712188572328966021629735065739*c_0101_6^14 - 11692276532149096058220729149541696285838/3843217121885723289660216\ 29735065739*c_0101_6^13 - 67890866463460112971755618954417586783887\ 3/384321712188572328966021629735065739*c_0101_6^12 - 216983219191633771003698592496206137615141/384321712188572328966021\ 629735065739*c_0101_6^11 + 5100541455154932951313318966931381220351\ 78/384321712188572328966021629735065739*c_0101_6^10 + 304832540846613508292099564334300295843964/384321712188572328966021\ 629735065739*c_0101_6^9 - 17091241176814943719007847149677200519774\ 7/384321712188572328966021629735065739*c_0101_6^8 - 170514070632823887125557966525655024339123/384321712188572328966021\ 629735065739*c_0101_6^7 + 9616742380785908037719042147495307219952/\ 384321712188572328966021629735065739*c_0101_6^6 + 41817672038947146580381385342912499730060/3843217121885723289660216\ 29735065739*c_0101_6^5 + 6248602345446740564919574833033768056337/3\ 84321712188572328966021629735065739*c_0101_6^4 - 3990154340113831588907242196295135261421/38432171218857232896602162\ 9735065739*c_0101_6^3 - 1039865698181867614247523584270331309861/38\ 4321712188572328966021629735065739*c_0101_6^2 + 98216981642970559812285504206459079154/3843217121885723289660216297\ 35065739*c_0101_6 + 45208451748551773608742309714195941210/38432171\ 2188572328966021629735065739, c_0011_4 - 2943646310927848850100687334701359430/3843217121885723289660\ 21629735065739*c_0101_6^23 - 33535239931685544135894766072840770926\ /384321712188572328966021629735065739*c_0101_6^22 + 81439048977702157431175525079037896071/3843217121885723289660216297\ 35065739*c_0101_6^21 + 1128352144554076131692396366834265976346/384\ 321712188572328966021629735065739*c_0101_6^20 - 1623048997332617485549477634681522648949/38432171218857232896602162\ 9735065739*c_0101_6^19 - 10439301609882427911482584208242309697301/\ 384321712188572328966021629735065739*c_0101_6^18 + 9248059663830188721876345512787121925502/38432171218857232896602162\ 9735065739*c_0101_6^17 + 49461724975675564830300480972660668338343/\ 384321712188572328966021629735065739*c_0101_6^16 - 16687045392725508577211448983882387122156/3843217121885723289660216\ 29735065739*c_0101_6^15 - 13181135810176723004885262653318272540394\ 3/384321712188572328966021629735065739*c_0101_6^14 - 15352088071783439537752707663602802924049/3843217121885723289660216\ 29735065739*c_0101_6^13 + 19007574124336677079634501823419695647848\ 2/384321712188572328966021629735065739*c_0101_6^12 + 85092399159598189521373526213824773443647/3843217121885723289660216\ 29735065739*c_0101_6^11 - 13784485222939855992969312810065294716766\ 9/384321712188572328966021629735065739*c_0101_6^10 - 102536516122824890957846375458044451993005/384321712188572328966021\ 629735065739*c_0101_6^9 + 41399121145952535314155681244857877692937\ /384321712188572328966021629735065739*c_0101_6^8 + 53922654333278669838299456184373275421537/3843217121885723289660216\ 29735065739*c_0101_6^7 + 718529869981305338568744346941688444119/38\ 4321712188572328966021629735065739*c_0101_6^6 - 12749964306377822206260581423168118477352/3843217121885723289660216\ 29735065739*c_0101_6^5 - 2513992273844417574676189855689584080843/3\ 84321712188572328966021629735065739*c_0101_6^4 + 1167424958673850634631211791457473951690/38432171218857232896602162\ 9735065739*c_0101_6^3 + 356090476837161425634489093371162373029/384\ 321712188572328966021629735065739*c_0101_6^2 - 24166324356010101624193553720666591253/3843217121885723289660216297\ 35065739*c_0101_6 - 15029543492820555377566602270968464763/38432171\ 2188572328966021629735065739, c_0101_0 - 4514433776365721297756468917327225988/3843217121885723289660\ 21629735065739*c_0101_6^23 - 52645438480300426193069208895984735156\ /384321712188572328966021629735065739*c_0101_6^22 + 111797936571168968530457171853240300050/384321712188572328966021629\ 735065739*c_0101_6^21 + 1771930579796401214123585857990271222163/38\ 4321712188572328966021629735065739*c_0101_6^20 - 2050841776158293075901013314454860229920/38432171218857232896602162\ 9735065739*c_0101_6^19 - 16944146547574951981798737594372789832317/\ 384321712188572328966021629735065739*c_0101_6^18 + 10514302559990933421494852475024097990178/3843217121885723289660216\ 29735065739*c_0101_6^17 + 81840294316573670503831675302320094078973\ /384321712188572328966021629735065739*c_0101_6^16 - 9450029903495249939210593274114179977257/38432171218857232896602162\ 9735065739*c_0101_6^15 - 218552348873846429777178235508431150552598\ /384321712188572328966021629735065739*c_0101_6^14 - 65192147863261985242880806882966400516587/3843217121885723289660216\ 29735065739*c_0101_6^13 + 31052957064007873796213317310681272118377\ 4/384321712188572328966021629735065739*c_0101_6^12 + 190909547700786934577215089154208248091766/384321712188572328966021\ 629735065739*c_0101_6^11 - 2158824420794643411254824570757535139949\ 63/384321712188572328966021629735065739*c_0101_6^10 - 204327354753269309773418911007156325336669/384321712188572328966021\ 629735065739*c_0101_6^9 + 55560275197402286466031054578979070253338\ /384321712188572328966021629735065739*c_0101_6^8 + 101976455287606928601708404419405240168066/384321712188572328966021\ 629735065739*c_0101_6^7 + 7649761751010303432635604623019553870332/\ 384321712188572328966021629735065739*c_0101_6^6 - 23615051103240847542647823995134963210868/3843217121885723289660216\ 29735065739*c_0101_6^5 - 5645855472667845985919548378139165994517/3\ 84321712188572328966021629735065739*c_0101_6^4 + 2160364780397793346770364865956643811011/38432171218857232896602162\ 9735065739*c_0101_6^3 + 736150184264673654805308142266839631520/384\ 321712188572328966021629735065739*c_0101_6^2 - 41002829132169998124392813822909597030/3843217121885723289660216297\ 35065739*c_0101_6 - 31478087104051397438973288929980399900/38432171\ 2188572328966021629735065739, c_0101_5 + 3569216354510063637549778658867051477/3843217121885723289660\ 21629735065739*c_0101_6^23 + 41227020669902349344015090788328758453\ /384321712188572328966021629735065739*c_0101_6^22 - 92721343613049032556719287063729275914/3843217121885723289660216297\ 35065739*c_0101_6^21 - 1388200676272812423471925637162221416287/384\ 321712188572328966021629735065739*c_0101_6^20 + 1765696468278493988359152519961567715555/38432171218857232896602162\ 9735065739*c_0101_6^19 + 13117700245108551123296514476288916904669/\ 384321712188572328966021629735065739*c_0101_6^18 - 9534403630123362100541895879580387513381/38432171218857232896602162\ 9735065739*c_0101_6^17 - 62988148519513385526528067546756005224388/\ 384321712188572328966021629735065739*c_0101_6^16 + 12842579614419153502837147134541112758739/3843217121885723289660216\ 29735065739*c_0101_6^15 + 16849852475069321168154304347813192702296\ 2/384321712188572328966021629735065739*c_0101_6^14 + 38022025967776131942523093010898438101802/3843217121885723289660216\ 29735065739*c_0101_6^13 - 24180230035516209808310661317165473637515\ 4/384321712188572328966021629735065739*c_0101_6^12 - 132466572332400938562432901854626911456059/384321712188572328966021\ 629735065739*c_0101_6^11 + 1719853078272232672468422591598358123534\ 04/384321712188572328966021629735065739*c_0101_6^10 + 148592584042750277757350444744041431934493/384321712188572328966021\ 629735065739*c_0101_6^9 - 47556261086009845996415996874772869869094\ /384321712188572328966021629735065739*c_0101_6^8 - 76010952972811081693572825362270916954006/3843217121885723289660216\ 29735065739*c_0101_6^7 - 4055744023389497330315257480724303077047/3\ 84321712188572328966021629735065739*c_0101_6^6 + 17795045696554570058527617421197933772089/3843217121885723289660216\ 29735065739*c_0101_6^5 + 4014077253304982337171188418972100591971/3\ 84321712188572328966021629735065739*c_0101_6^4 - 1628809402917138385662833589325481400866/38432171218857232896602162\ 9735065739*c_0101_6^3 - 537819519405719015249267793492154179218/384\ 321712188572328966021629735065739*c_0101_6^2 + 31786786405918406401540990842161175733/3843217121885723289660216297\ 35065739*c_0101_6 + 22833213495753107339142210227730920890/38432171\ 2188572328966021629735065739, c_0101_6^24 + 11*c_0101_6^23 - 32*c_0101_6^22 - 371*c_0101_6^21 + 697*c_0101_6^20 + 3281*c_0101_6^19 - 4424*c_0101_6^18 - 15162*c_0101_6^17 + 11550*c_0101_6^16 + 40758*c_0101_6^15 - 10334*c_0101_6^14 - 61928*c_0101_6^13 - 6123*c_0101_6^12 + 51178*c_0101_6^11 + 17404*c_0101_6^10 - 22052*c_0101_6^9 - 12047*c_0101_6^8 + 4522*c_0101_6^7 + 3646*c_0101_6^6 - 333*c_0101_6^5 - 506*c_0101_6^4 - 8*c_0101_6^3 + 32*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