Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 492601812] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0987 geometric_solution 4.87725733 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 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 2 -1 -1 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.396824372944 0.440373377649 0 2 2 4 0132 2031 1230 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 1 -1 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.770465490561 0.669591538081 1 0 4 1 1302 0132 3201 3012 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 -2 1 1 -1 0 0 1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770465490561 0.669591538081 3 0 3 0 2031 2310 1302 0132 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 -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 -1.845706519074 1.391901617831 2 5 1 5 2310 0132 0132 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.039885324301 1.240877599835 6 4 6 4 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638952043122 0.436927873009 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573949283734 0.109504363726 ==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_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' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_0'], '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' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], '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' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 11692497006566443895953939438787/8147594994513026000181179327073*c_\ 0101_6^25 - 14602349481910470541270405007071/1163942142073289428597\ 311332439*c_0101_6^24 + 125220607967024186520956926860979/814759499\ 4513026000181179327073*c_0101_6^23 + 354614745243837668070712047437911/2715864998171008666727059775691*c\ _0101_6^22 - 102087639189905181705595501465262/38798071402442980953\ 2437110813*c_0101_6^21 - 6252831905289059368789639625943763/8147594\ 994513026000181179327073*c_0101_6^20 + 13097231182360039456832181248801284/8147594994513026000181179327073\ *c_0101_6^19 + 26546981937771223096065666232555040/8147594994513026\ 000181179327073*c_0101_6^18 - 15032876525807630438786521003249381/2\ 715864998171008666727059775691*c_0101_6^17 - 9272146069145481161940653338392783/905288332723669555575686591897*c\ _0101_6^16 + 30777227876625243384422475333624262/271586499817100866\ 6727059775691*c_0101_6^15 + 8894776291407205228724896844251991/3879\ 80714024429809532437110813*c_0101_6^14 - 101656313164795520723408405251825777/814759499451302600018117932707\ 3*c_0101_6^13 - 3685049381919605047547609882166113/1058129220066626\ 75327028302949*c_0101_6^12 + 2688600108312253326953170245047203/740\ 690454046638727289198120643*c_0101_6^11 + 30212236106955325311796280943049450/905288332723669555575686591897*\ c_0101_6^10 + 8406200172238848068100815708767648/116394214207328942\ 8597311332439*c_0101_6^9 - 144842140240984805344683715893498590/814\ 7594994513026000181179327073*c_0101_6^8 - 6174391805327185131093832220153444/740690454046638727289198120643*c\ _0101_6^7 + 30078425562751770765929193962496422/8147594994513026000\ 181179327073*c_0101_6^6 + 3548893708759601761004302117292573/116394\ 2142073289428597311332439*c_0101_6^5 + 450308545545908500065541952663191/1163942142073289428597311332439*c\ _0101_6^4 - 2515935891196139527612698134950477/81475949945130260001\ 81179327073*c_0101_6^3 - 278218738802531880573692027757832/27158649\ 98171008666727059775691*c_0101_6^2 - 719599908292818139480467018361/387980714024429809532437110813*c_010\ 1_6 + 33759919433706250162772520832367/8147594994513026000181179327\ 073, c_0011_0 - 1, c_0011_3 - 182978126791147526336930009758/12932690467480993651081237027\ 1*c_0101_6^25 + 144708408355047505472887160995/11756991334073630591\ 892033661*c_0101_6^24 - 1897498605995930542377598214749/12932690467\ 4809936510812370271*c_0101_6^23 - 16711507548701561631274003950015/\ 129326904674809936510812370271*c_0101_6^22 + 33009212367936037465306880249151/129326904674809936510812370271*c_0\ 101_6^21 + 98806334386475757546328082628508/12932690467480993651081\ 2370271*c_0101_6^20 - 202937020529941855971134341393371/12932690467\ 4809936510812370271*c_0101_6^19 - 419767142138193191935897876010115\ /129326904674809936510812370271*c_0101_6^18 + 64017036873968306424061095178071/11756991334073630591892033661*c_01\ 01_6^17 + 1316470960682077778817144827610589/1293269046748099365108\ 12370271*c_0101_6^16 - 1467620217545438271584868103619087/129326904\ 674809936510812370271*c_0101_6^15 - 2947592731150315410556611505970612/129326904674809936510812370271*c\ _0101_6^14 + 1707914610612781110500665717464241/1293269046748099365\ 10812370271*c_0101_6^13 + 4528999760936282423303379518860802/129326\ 904674809936510812370271*c_0101_6^12 - 724420321141855445900799728136529/129326904674809936510812370271*c_\ 0101_6^11 - 4509756695124523463462966760739006/12932690467480993651\ 0812370271*c_0101_6^10 - 641419424316122308229986737814081/12932690\ 4674809936510812370271*c_0101_6^9 + 2664766674190276140904154550003822/129326904674809936510812370271*c\ _0101_6^8 + 969699011588781867788995936443357/129326904674809936510\ 812370271*c_0101_6^7 - 769187247678846721328514843892486/1293269046\ 74809936510812370271*c_0101_6^6 - 445009581294398144096936371472444\ /129326904674809936510812370271*c_0101_6^5 + 32676045098649811022905091956732/129326904674809936510812370271*c_0\ 101_6^4 + 74760182813529114802552941328627/129326904674809936510812\ 370271*c_0101_6^3 + 1558817737820051179421634917667/117569913340736\ 30591892033661*c_0101_6^2 - 2051166028099320274096453079117/1293269\ 04674809936510812370271*c_0101_6 - 1122989108655289560517428216795/129326904674809936510812370271, c_0011_4 - 19510305367299869463956252074/129326904674809936510812370271\ *c_0101_6^25 + 14402917190457619484528147824/1175699133407363059189\ 2033661*c_0101_6^24 - 116830542391742063660071280253/12932690467480\ 9936510812370271*c_0101_6^23 - 1802287366592611148983829431809/1293\ 26904674809936510812370271*c_0101_6^22 + 2465885060998903537549527607853/129326904674809936510812370271*c_01\ 01_6^21 + 11368284265609782962965212533882/129326904674809936510812\ 370271*c_0101_6^20 - 14572819074031850166576854152501/1293269046748\ 09936510812370271*c_0101_6^19 - 49166725779748758079848632334532/12\ 9326904674809936510812370271*c_0101_6^18 + 3988063701803938541966270313892/11756991334073630591892033661*c_010\ 1_6^17 + 147797568687711663564459083859389/129326904674809936510812\ 370271*c_0101_6^16 - 65060852025967404458066173609124/1293269046748\ 09936510812370271*c_0101_6^15 - 298402990741019370190170038027068/1\ 29326904674809936510812370271*c_0101_6^14 + 12582181974660217940280313757612/129326904674809936510812370271*c_0\ 101_6^13 + 387346446344098809055612943337660/1293269046748099365108\ 12370271*c_0101_6^12 + 104433164290142090356682444278786/1293269046\ 74809936510812370271*c_0101_6^11 - 301211153213695178226697951930886/129326904674809936510812370271*c_\ 0101_6^10 - 153324314016506305182487383502088/129326904674809936510\ 812370271*c_0101_6^9 + 123699908190221865880874533480235/1293269046\ 74809936510812370271*c_0101_6^8 + 88836011073314561256278017925276/\ 129326904674809936510812370271*c_0101_6^7 - 19562563828275181754288823721661/129326904674809936510812370271*c_0\ 101_6^6 - 20936804257591227719889405119244/129326904674809936510812\ 370271*c_0101_6^5 - 985515997635074260708469397500/1293269046748099\ 36510812370271*c_0101_6^4 + 2470154351824597085046391540019/1293269\ 04674809936510812370271*c_0101_6^3 + 30918088390565787085912561272/11756991334073630591892033661*c_0101_\ 6^2 - 433057035714233675153102270485/129326904674809936510812370271\ *c_0101_6 - 26100070821885581553610460098/1293269046748099365108123\ 70271, c_0101_0 - 81833695960648237252437727120/129326904674809936510812370271\ *c_0101_6^25 + 68223891530032326765786598415/1175699133407363059189\ 2033661*c_0101_6^24 - 1175985677600524829422721616647/1293269046748\ 09936510812370271*c_0101_6^23 - 7124975475608369721778588002841/129\ 326904674809936510812370271*c_0101_6^22 + 18213087639834529715030265745146/129326904674809936510812370271*c_0\ 101_6^21 + 38068673652587525066860359321420/12932690467480993651081\ 2370271*c_0101_6^20 - 111252840436927371180094553941645/12932690467\ 4809936510812370271*c_0101_6^19 - 151494205482385504132146292875677\ /129326904674809936510812370271*c_0101_6^18 + 36449283039861443950022761634122/11756991334073630591892033661*c_01\ 01_6^17 + 471189576575840520980806775607439/12932690467480993651081\ 2370271*c_0101_6^16 - 915407290605365426773746079186378/12932690467\ 4809936510812370271*c_0101_6^15 - 110015123552060404207291278255104\ 6/129326904674809936510812370271*c_0101_6^14 + 1303264082066017998914123898866485/129326904674809936510812370271*c\ _0101_6^13 + 1827653928050060091192037090460139/1293269046748099365\ 10812370271*c_0101_6^12 - 1069438631947588481787162028018898/129326\ 904674809936510812370271*c_0101_6^11 - 2012855657730922673970357837106209/129326904674809936510812370271*c\ _0101_6^10 + 355531826349614677119539852130029/12932690467480993651\ 0812370271*c_0101_6^9 + 1349834085772887135775776528192087/12932690\ 4674809936510812370271*c_0101_6^8 + 120550218321878208109111262544581/129326904674809936510812370271*c_\ 0101_6^7 - 475260260886753898887104640819346/1293269046748099365108\ 12370271*c_0101_6^6 - 129991267180074453293329572645540/12932690467\ 4809936510812370271*c_0101_6^5 + 55228707173700626567919580752431/1\ 29326904674809936510812370271*c_0101_6^4 + 33620832375827272319557866760696/129326904674809936510812370271*c_0\ 101_6^3 + 192599013692094658806477993996/11756991334073630591892033\ 661*c_0101_6^2 - 1885973237668706596239813904763/129326904674809936\ 510812370271*c_0101_6 - 399946458567835685661851609591/129326904674\ 809936510812370271, c_0101_1 + 14490173793998981020057031085/129326904674809936510812370271\ *c_0101_6^25 - 11351942148131835848723304916/1175699133407363059189\ 2033661*c_0101_6^24 + 135929110782323016935586402447/12932690467480\ 9936510812370271*c_0101_6^23 + 1369663415297770344096548397915/1293\ 26904674809936510812370271*c_0101_6^22 - 2539857303740391496644694806558/129326904674809936510812370271*c_01\ 01_6^21 - 8402477850539964321773253533127/1293269046748099365108123\ 70271*c_0101_6^20 + 16041064692120337258434475352998/12932690467480\ 9936510812370271*c_0101_6^19 + 36761520743971928414761144952779/129\ 326904674809936510812370271*c_0101_6^18 - 5147731106755297369153378117328/11756991334073630591892033661*c_010\ 1_6^17 - 118218488894569761592160192426213/129326904674809936510812\ 370271*c_0101_6^16 + 118900691624925674150162906777155/129326904674\ 809936510812370271*c_0101_6^15 + 271444256341790765823873473097409/\ 129326904674809936510812370271*c_0101_6^14 - 134928326710891359722692690660287/129326904674809936510812370271*c_\ 0101_6^13 - 428560737231955299116523178002014/129326904674809936510\ 812370271*c_0101_6^12 + 38749654369803840006149064011007/1293269046\ 74809936510812370271*c_0101_6^11 + 440159708537077462311115762814825/129326904674809936510812370271*c_\ 0101_6^10 + 94794554869920706246060728974384/1293269046748099365108\ 12370271*c_0101_6^9 - 268431240367056442078798230861570/12932690467\ 4809936510812370271*c_0101_6^8 - 123678311193135241074944257113144/\ 129326904674809936510812370271*c_0101_6^7 + 78466688429449879376212130689953/129326904674809936510812370271*c_0\ 101_6^6 + 59645141082094482661073605839700/129326904674809936510812\ 370271*c_0101_6^5 - 1332844396753000054823132253851/129326904674809\ 936510812370271*c_0101_6^4 - 11736010315330386600118864112869/12932\ 6904674809936510812370271*c_0101_6^3 - 309694828102524533200136752506/11756991334073630591892033661*c_0101\ _6^2 + 922212800981477352109861768448/12932690467480993651081237027\ 1*c_0101_6 + 367226971067390077688011305479/12932690467480993651081\ 2370271, c_0101_5 - 13959543184521459151713038485/129326904674809936510812370271\ *c_0101_6^25 + 10195239101099795012821014917/1175699133407363059189\ 2033661*c_0101_6^24 - 76389768928675156435931983719/129326904674809\ 936510812370271*c_0101_6^23 - 1273512575980344603775656231306/12932\ 6904674809936510812370271*c_0101_6^22 + 1620668888326870000571938331780/129326904674809936510812370271*c_01\ 01_6^21 + 8060549830549944004770580043325/1293269046748099365108123\ 70271*c_0101_6^20 - 9227173384327633831641403188003/129326904674809\ 936510812370271*c_0101_6^19 - 34818157710535669982843986840462/1293\ 26904674809936510812370271*c_0101_6^18 + 2314465837212148264021617298531/11756991334073630591892033661*c_010\ 1_6^17 + 103289691891892320280554075247498/129326904674809936510812\ 370271*c_0101_6^16 - 27926263296931908451941285798154/1293269046748\ 09936510812370271*c_0101_6^15 - 201782534435692725496312091831285/1\ 29326904674809936510812370271*c_0101_6^14 - 27639951699641464587416844728619/129326904674809936510812370271*c_0\ 101_6^13 + 244309475576372305570832425467938/1293269046748099365108\ 12370271*c_0101_6^12 + 116441587538860423882365948827329/1293269046\ 74809936510812370271*c_0101_6^11 - 161995135402681596017524627491229/129326904674809936510812370271*c_\ 0101_6^10 - 131166685526913586612473895921047/129326904674809936510\ 812370271*c_0101_6^9 + 40089326848874281617423995791979/12932690467\ 4809936510812370271*c_0101_6^8 + 60854424542031225440759990683666/1\ 29326904674809936510812370271*c_0101_6^7 + 7240723239102097414672981965540/129326904674809936510812370271*c_01\ 01_6^6 - 7683329820564000724253261295711/12932690467480993651081237\ 0271*c_0101_6^5 - 3342364870387424536155907726296/12932690467480993\ 6510812370271*c_0101_6^4 - 563748927360724739074941118676/129326904\ 674809936510812370271*c_0101_6^3 - 17655422599453261187744759746/11756991334073630591892033661*c_0101_\ 6^2 + 72611674725242736652100701111/129326904674809936510812370271*\ c_0101_6 - 47493208714161699258374643151/12932690467480993651081237\ 0271, c_0101_6^26 - 9*c_0101_6^25 + 13*c_0101_6^24 + 88*c_0101_6^23 - 207*c_0101_6^22 - 485*c_0101_6^21 + 1261*c_0101_6^20 + 1964*c_0101_6^19 - 4474*c_0101_6^18 - 6069*c_0101_6^17 + 9924*c_0101_6^16 + 13785*c_0101_6^15 - 13460*c_0101_6^14 - 21996*c_0101_6^13 + 10083*c_0101_6^12 + 23174*c_0101_6^11 - 2365*c_0101_6^10 - 14892*c_0101_6^9 - 1963*c_0101_6^8 + 5064*c_0101_6^7 + 1500*c_0101_6^6 - 581*c_0101_6^5 - 370*c_0101_6^4 - 19*c_0101_6^3 + 27*c_0101_6^2 + 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB