Magma V2.19-8 Tue Aug 20 2013 16:19:21 on localhost [Seed = 1494795359] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3459 geometric_solution 6.65430516 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 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 -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.611597206353 0.852683958564 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 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.525083592331 0.816830548590 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 0 -1 0 0 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 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.525083592331 0.816830548590 3 1 3 2 2031 0132 1302 2310 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 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.439434389823 0.968371759291 2 6 1 6 2310 0132 0132 2310 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 -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 1.245571570379 1.050114116315 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445030853910 0.771319083161 4 4 6 6 3201 0132 1230 3012 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 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.355243977250 0.357344814322 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], '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' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 2097192889952249204570523382508251536801892139/10399429314814001149\ 900602703097569731416502*c_0110_6^38 + 350196281841801919700005218636145019470762488439/207988586296280022\ 99801205406195139462833004*c_0110_6^36 - 5605136794830062244602978296415257351163455640683/10399429314814001\ 149900602703097569731416502*c_0110_6^34 + 179561237551575419047886829326968638578429417060455/207988586296280\ 02299801205406195139462833004*c_0110_6^32 - 411201250468354235260650124530250354298648982032384/519971465740700\ 0574950301351548784865708251*c_0110_6^30 + 3162582248240137240504141298639088748139888518452283/69329528765426\ 67433267068468731713154277668*c_0110_6^28 - 3068721229523248840741786661499836728294909791173663/17332382191356\ 66858316767117182928288569417*c_0110_6^26 + 50272965859874516193455915662636045198950963456509953/1039942931481\ 4001149900602703097569731416502*c_0110_6^24 - 198838061377854956275416739335526881302674378580453663/207988586296\ 28002299801205406195139462833004*c_0110_6^22 + 24163054187502294680820598001980399403235174492528318/1733238219135\ 666858316767117182928288569417*c_0110_6^20 - 104880021641940734636358344004767901065240390922402269/693295287654\ 2667433267068468731713154277668*c_0110_6^18 + 63603521073572019823793237749656921826154463707987405/5199714657407\ 000574950301351548784865708251*c_0110_6^16 - 50786469760619333195697499682703924111479265051047255/6932952876542\ 667433267068468731713154277668*c_0110_6^14 + 11106090015766393861272560358964707668258659279073675/3466476438271\ 333716633534234365856577138834*c_0110_6^12 - 5200109240010995685846439958693619379996743036794371/51997146574070\ 00574950301351548784865708251*c_0110_6^10 + 1493168271020093028851566094751727672681349317676517/69329528765426\ 67433267068468731713154277668*c_0110_6^8 - 634079769257674661369689444497678884331662193451507/207988586296280\ 02299801205406195139462833004*c_0110_6^6 + 4568654057939731605107244367429752034368800703983/17332382191356668\ 58316767117182928288569417*c_0110_6^4 - 632531111818426000483081194893409070898383944151/519971465740700057\ 4950301351548784865708251*c_0110_6^2 + 14920212951095893076411742646749539445737179769/6932952876542667433\ 267068468731713154277668, c_0011_0 - 1, c_0011_4 + 1250131785632865490975757669688459546618407/1733238219135666\ 858316767117182928288569417*c_0110_6^39 - 106699450245334056170760330238173139351865826/173323821913566685831\ 6767117182928288569417*c_0110_6^37 + 3534091340463010441112443762229952453022661727/17332382191356668583\ 16767117182928288569417*c_0110_6^35 - 59634308914969679693984324248519373506497430675/1733238219135666858\ 316767117182928288569417*c_0110_6^33 + 586715126972512682832958835767094946904835691309/173323821913566685\ 8316767117182928288569417*c_0110_6^31 - 3691758635684064534193556208712304577931913070560/17332382191356668\ 58316767117182928288569417*c_0110_6^29 + 15808245321695324928679060000621400768638287640242/1733238219135666\ 858316767117182928288569417*c_0110_6^27 - 47998829486330916715595890710383872177886203486640/1733238219135666\ 858316767117182928288569417*c_0110_6^25 + 106122616136248756722920671520713808221201712857136/173323821913566\ 6858316767117182928288569417*c_0110_6^23 - 173588332811786430169941755675629579913936580426898/173323821913566\ 6858316767117182928288569417*c_0110_6^21 + 211624641132188344848200965443319248592984932061791/173323821913566\ 6858316767117182928288569417*c_0110_6^19 - 192224948715060456747943290023617492072618275505891/173323821913566\ 6858316767117182928288569417*c_0110_6^17 + 129037368678406770525665562020432327835711874161608/173323821913566\ 6858316767117182928288569417*c_0110_6^15 - 62931141081858612500314849234047970114660497327032/1733238219135666\ 858316767117182928288569417*c_0110_6^13 + 21678174320231472465466776731610887661636046802367/1733238219135666\ 858316767117182928288569417*c_0110_6^11 - 5054205847546524564757726133554463854013594407784/17332382191356668\ 58316767117182928288569417*c_0110_6^9 + 749404211968614045738267148734024079548601236300/173323821913566685\ 8316767117182928288569417*c_0110_6^7 - 64502527419478604031184006326445456138471598951/1733238219135666858\ 316767117182928288569417*c_0110_6^5 + 2792484835303008080476922714875786297161776332/17332382191356668583\ 16767117182928288569417*c_0110_6^3 - 49734774037371067478452486277706696793885449/1733238219135666858316\ 767117182928288569417*c_0110_6, c_0101_0 + 5374056060979089901230529817432672198184494/1733238219135666\ 858316767117182928288569417*c_0110_6^39 - 450654618459906887134664984263821908350005156/173323821913566685831\ 6767117182928288569417*c_0110_6^37 + 14526350265653899648057668332396044523528375089/1733238219135666858\ 316767117182928288569417*c_0110_6^35 - 235239208816137541556997113543008495372242220566/173323821913566685\ 8316767117182928288569417*c_0110_6^33 + 2189101828225258142615751151555812558523299305076/17332382191356668\ 58316767117182928288569417*c_0110_6^31 - 12888147421763922734486184956055167754002392007147/1733238219135666\ 858316767117182928288569417*c_0110_6^29 + 51278314867646396429349943654032584544099139525803/1733238219135666\ 858316767117182928288569417*c_0110_6^27 - 144113520025160230288084566570227123655045372128375/173323821913566\ 6858316767117182928288569417*c_0110_6^25 + 294476709914373787326163407004952693388330724998969/173323821913566\ 6858316767117182928288569417*c_0110_6^23 - 445259020842115411573400717620230445296275040946967/173323821913566\ 6858316767117182928288569417*c_0110_6^21 + 502452418111897438255565429637039108020991567220070/173323821913566\ 6858316767117182928288569417*c_0110_6^19 - 423317268231225748139518372621420095544027167474503/173323821913566\ 6858316767117182928288569417*c_0110_6^17 + 264177561800700253035127403916687700085982895766322/173323821913566\ 6858316767117182928288569417*c_0110_6^15 - 120018400320148480665862532665999047683045412218350/173323821913566\ 6858316767117182928288569417*c_0110_6^13 + 38553235368286157026223776021040168127910542809980/1733238219135666\ 858316767117182928288569417*c_0110_6^11 - 8374641311069247788834096636160613811414348699054/17332382191356668\ 58316767117182928288569417*c_0110_6^9 + 1153464686554303881235725984112040920900116815736/17332382191356668\ 58316767117182928288569417*c_0110_6^7 - 92445319357130690045423762387075470284357245668/1733238219135666858\ 316767117182928288569417*c_0110_6^5 + 3873653983658751980501106130865404004577923736/17332382191356668583\ 16767117182928288569417*c_0110_6^3 - 69508276181400086861160759156846496925057781/1733238219135666858316\ 767117182928288569417*c_0110_6, c_0101_1 - 7192779960815830019523551759243573243719609/1733238219135666\ 858316767117182928288569417*c_0110_6^38 + 602205331343856592540919313621606934081792245/173323821913566685831\ 6767117182928288569417*c_0110_6^36 - 19362104375148436976639934439734393295705708555/1733238219135666858\ 316767117182928288569417*c_0110_6^34 + 312280491927086584461701467458233221091028414235/173323821913566685\ 8316767117182928288569417*c_0110_6^32 - 2888854112175785605333185313314373434382690675590/17332382191356668\ 58316767117182928288569417*c_0110_6^30 + 16874493577038964199333158815147842208499292967534/1733238219135666\ 858316767117182928288569417*c_0110_6^28 - 66478476329818937056511549122831093314461014085318/1733238219135666\ 858316767117182928288569417*c_0110_6^26 + 184598994475407431299148688707313339828443259991449/173323821913566\ 6858316767117182928288569417*c_0110_6^24 - 371826248016851790398786675972242611559777287502372/173323821913566\ 6858316767117182928288569417*c_0110_6^22 + 552778396023668403484486880828542490071362158715909/173323821913566\ 6858316767117182928288569417*c_0110_6^20 - 611586102416883121476804746499983504360870507680930/173323821913566\ 6858316767117182928288569417*c_0110_6^18 + 503656670376956998835501753819821056161216773759778/173323821913566\ 6858316767117182928288569417*c_0110_6^16 - 306286311209981280947055877993091722159986436478067/173323821913566\ 6858316767117182928288569417*c_0110_6^14 + 135226918827291562693267946523454271992471527557715/173323821913566\ 6858316767117182928288569417*c_0110_6^12 - 42157960479658029201624536979503201594498874422971/1733238219135666\ 858316767117182928288569417*c_0110_6^10 + 8905273923261723234222505003465308620810525761922/17332382191356668\ 58316767117182928288569417*c_0110_6^8 - 1201463275056213256326781952827853558716848164500/17332382191356668\ 58316767117182928288569417*c_0110_6^6 + 94878921493889101472329823422559787886448282596/1733238219135666858\ 316767117182928288569417*c_0110_6^4 - 3791919578110489008059075038394656654823124711/17332382191356668583\ 16767117182928288569417*c_0110_6^2 + 56159999111381693847042110017554368586437415/1733238219135666858316\ 767117182928288569417, c_0101_2 + 7064333793407122146634359772931583593735256/1733238219135666\ 858316767117182928288569417*c_0110_6^39 - 589661845115628644675970877999270331486061827/173323821913566685831\ 6767117182928288569417*c_0110_6^37 + 18868079344314943302860149521274265429009294619/1733238219135666858\ 316767117182928288569417*c_0110_6^35 - 302016106701898195712261892683705091222433599393/173323821913566685\ 8316767117182928288569417*c_0110_6^33 + 2763664382924192316425677926560555450461494282174/17332382191356668\ 58316767117182928288569417*c_0110_6^31 - 15918704025621913390997657209508372679564333882101/1733238219135666\ 858316767117182928288569417*c_0110_6^29 + 61665089511438056208928797871180067318349055370789/1733238219135666\ 858316767117182928288569417*c_0110_6^27 - 167936617130597084502706850478272398930430024004713/173323821913566\ 6858316767117182928288569417*c_0110_6^25 + 330977809342594659105660164060794660718132185913776/173323821913566\ 6858316767117182928288569417*c_0110_6^23 - 480469163616221614785184565458710870963279334045860/173323821913566\ 6858316767117182928288569417*c_0110_6^21 + 518225532507013905205259678546291670884095632087653/173323821913566\ 6858316767117182928288569417*c_0110_6^19 - 415634598277279742789799984851244790890021997063370/173323821913566\ 6858316767117182928288569417*c_0110_6^17 + 246185797298610381439640450214788391890511539610580/173323821913566\ 6858316767117182928288569417*c_0110_6^15 - 106085802624326158981820436906760841047327734959982/173323821913566\ 6858316767117182928288569417*c_0110_6^13 + 32467474821303126302563697682889341845740295175687/1733238219135666\ 858316767117182928288569417*c_0110_6^11 - 6819955006727282397026141535544779728593700403371/17332382191356668\ 58316767117182928288569417*c_0110_6^9 + 939150484923097140958343359439974835365188559693/173323821913566685\ 8316767117182928288569417*c_0110_6^7 - 79533692659866962431009465861201128577473051420/1733238219135666858\ 316767117182928288569417*c_0110_6^5 + 3689100712695339803621651008367918904505549676/17332382191356668583\ 16767117182928288569417*c_0110_6^3 - 67489682804892539206847494531185550619955210/1733238219135666858316\ 767117182928288569417*c_0110_6, c_0101_5 - 1688380252173354928796685984342537435919638/1733238219135666\ 858316767117182928288569417*c_0110_6^38 + 139983542469780633113261689025784783953686722/173323821913566685831\ 6767117182928288569417*c_0110_6^36 - 4430989524993605343476817070416376846921814369/17332382191356668583\ 16767117182928288569417*c_0110_6^34 + 69694373992971603133641809041029666831221253098/1733238219135666858\ 316767117182928288569417*c_0110_6^32 - 621309956991183601807997796190479085482443637860/173323821913566685\ 8316767117182928288569417*c_0110_6^30 + 3453965465729236392239069969330222537408381434768/17332382191356668\ 58316767117182928288569417*c_0110_6^28 - 12780285589272890540668127367205997772591234967585/1733238219135666\ 858316767117182928288569417*c_0110_6^26 + 32849529378517411034857180015209607621535122435106/1733238219135666\ 858316767117182928288569417*c_0110_6^24 - 60220048072840385718817276024167756802056718198629/1733238219135666\ 858316767117182928288569417*c_0110_6^22 + 79826779845341534612504331819239498179685025669973/1733238219135666\ 858316767117182928288569417*c_0110_6^20 - 76721931438177017387235660720849637308175541773980/1733238219135666\ 858316767117182928288569417*c_0110_6^18 + 52993244805168757721767169967327366558849109257006/1733238219135666\ 858316767117182928288569417*c_0110_6^16 - 25697405998600762912647511115212683624028949236896/1733238219135666\ 858316767117182928288569417*c_0110_6^14 + 8352365798246873208504395409140350289887565162506/17332382191356668\ 58316767117182928288569417*c_0110_6^12 - 1655531318140377899120009617582924242220822362013/17332382191356668\ 58316767117182928288569417*c_0110_6^10 + 153068847849595814963993176654574483539781965974/173323821913566685\ 8316767117182928288569417*c_0110_6^8 + 3989692851774830488395804880445865501657683765/17332382191356668583\ 16767117182928288569417*c_0110_6^6 - 1974267663315108036613641279646309954094209559/17332382191356668583\ 16767117182928288569417*c_0110_6^4 + 123550437732094434399836820361494711444122114/173323821913566685831\ 6767117182928288569417*c_0110_6^2 - 767025352130064123634748222193990804667397/173323821913566685831676\ 7117182928288569417, c_0110_6^40 - 84*c_0110_6^38 + 2715*c_0110_6^36 - 44158*c_0110_6^34 + 413573*c_0110_6^32 - 2456100*c_0110_6^30 + 9882382*c_0110_6^28 - 28171865*c_0110_6^26 + 58612290*c_0110_6^24 - 90685067*c_0110_6^22 + 105427174*c_0110_6^20 - 92392673*c_0110_6^18 + 60828886*c_0110_6^16 - 29783848*c_0110_6^14 + 10659523*c_0110_6^12 - 2718653*c_0110_6^10 + 477018*c_0110_6^8 - 54788*c_0110_6^6 + 3813*c_0110_6^4 - 140*c_0110_6^2 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB