Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 2429619312] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1978 geometric_solution 5.54941210 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 -1 0 1 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 -1 0 0 1 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.573470018720 1.125500620584 0 3 2 4 0132 0132 0132 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 1 0 -1 0 -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.038238862636 0.942229131575 3 0 4 1 3201 0132 3201 0132 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 0 0 -1 0 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.038238862636 0.942229131575 5 1 5 2 0132 0132 2310 2310 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 -1 0 0 1 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.819934154190 1.004971018554 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.184386755829 1.579330081072 3 3 5 5 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 -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.497062981645 0.181588841898 4 4 6 6 3201 0132 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.423093291984 0.137195727425 ==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_2'], 'c_1100_5' : negation(d['c_0101_2']), '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_0'], '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' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_0']), '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_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), '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' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], '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_2'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_1']), '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_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 8971464028282676206655729913632240/28748677216957573997714226842897\ *c_0110_6^23 - 30366399638476547166713173785625984/2874867721695757\ 3997714226842897*c_0110_6^22 + 47911029569369404720526192446063344/\ 28748677216957573997714226842897*c_0110_6^21 + 149638340470994206574848390938573412/287486772169575739977142268428\ 97*c_0110_6^20 - 190618331799356022521416097820026544/2874867721695\ 7573997714226842897*c_0110_6^19 + 521745810089003411650242676078441\ 72/28748677216957573997714226842897*c_0110_6^18 + 947184216844530881966277528707564447/287486772169575739977142268428\ 97*c_0110_6^17 - 1521610573370953374829944827840200963/287486772169\ 57573997714226842897*c_0110_6^16 - 2661201849570066149138939573023855535/28748677216957573997714226842\ 897*c_0110_6^15 + 3907018642163639567714482784753997947/28748677216\ 957573997714226842897*c_0110_6^14 + 3903919458302351420972331391515980420/28748677216957573997714226842\ 897*c_0110_6^13 - 4822579306098587993506791557355566470/28748677216\ 957573997714226842897*c_0110_6^12 - 3080870473144047494558958719663887546/28748677216957573997714226842\ 897*c_0110_6^11 + 3213098343920377887211785210449253219/28748677216\ 957573997714226842897*c_0110_6^10 + 1182224786311301557927327197030099385/28748677216957573997714226842\ 897*c_0110_6^9 - 1173734308370705206286355211130081016/287486772169\ 57573997714226842897*c_0110_6^8 - 564209546424657962187760759736623\ 92/28748677216957573997714226842897*c_0110_6^7 + 297097115026197402166033214361220334/287486772169575739977142268428\ 97*c_0110_6^6 - 115601829037484020837163482348658425/28748677216957\ 573997714226842897*c_0110_6^5 - 72559683983291505170435421294635712\ /28748677216957573997714226842897*c_0110_6^4 + 29218785180124548313820328176682978/2874867721695757399771422684289\ 7*c_0110_6^3 + 250394883092764773451488364138520/221143670899673646\ 1362632834069*c_0110_6^2 + 4228225758496055956395414517948301/28748\ 677216957573997714226842897*c_0110_6 - 155375488291557259329901455291639/28748677216957573997714226842897, c_0011_0 - 1, c_0011_4 - 179662025713237313353865459077024/22114367089967364613626328\ 34069*c_0110_6^23 - 422810366533757674773601001979904/2211436708996\ 736461362632834069*c_0110_6^22 + 1428834424595720454575605198853168\ /2211436708996736461362632834069*c_0110_6^21 + 1636442170346443024204152581645384/2211436708996736461362632834069*\ c_0110_6^20 - 5663802937532773596460884708481312/221143670899673646\ 1362632834069*c_0110_6^19 + 6376278604165287948178874976630476/2211\ 436708996736461362632834069*c_0110_6^18 + 12992226503511650368537665675335590/2211436708996736461362632834069\ *c_0110_6^17 - 44256630112670646363723163953624386/2211436708996736\ 461362632834069*c_0110_6^16 - 10816707245484985816955150072112291/2\ 211436708996736461362632834069*c_0110_6^15 + 94611326747222903199130452973936200/2211436708996736461362632834069\ *c_0110_6^14 - 10744493528256446707412413221069461/2211436708996736\ 461362632834069*c_0110_6^13 - 96761862383514041214112695887817260/2\ 211436708996736461362632834069*c_0110_6^12 + 26225012817410117373119988754033678/2211436708996736461362632834069\ *c_0110_6^11 + 48791935569428693604045680005632643/2211436708996736\ 461362632834069*c_0110_6^10 - 17969349204126276581087908585269914/2\ 211436708996736461362632834069*c_0110_6^9 - 11004303954523789828138625743472874/2211436708996736461362632834069\ *c_0110_6^8 + 7172169990881782115773467176761221/221143670899673646\ 1362632834069*c_0110_6^7 + 426235789884480138362611617318885/221143\ 6708996736461362632834069*c_0110_6^6 - 2640686580768721955465828778919014/2211436708996736461362632834069*\ c_0110_6^5 + 605387665242528691704841269315010/22114367089967364613\ 62632834069*c_0110_6^4 + 131968359827916204475094903295065/22114367\ 08996736461362632834069*c_0110_6^3 + 80205687236703677675097148896409/2211436708996736461362632834069*c_\ 0110_6^2 - 6516804427829493590963839975142/221143670899673646136263\ 2834069*c_0110_6 - 2385968689202803926204685275507/2211436708996736\ 461362632834069, c_0101_0 - 69807343227417325647526370694512/221143670899673646136263283\ 4069*c_0110_6^23 - 58760576750160847144865187419584/221143670899673\ 6461362632834069*c_0110_6^22 + 826681091432517529617833191748384/22\ 11436708996736461362632834069*c_0110_6^21 - 151060237865326349113520453183644/2211436708996736461362632834069*c\ _0110_6^20 - 3355493322735784604614292131433856/2211436708996736461\ 362632834069*c_0110_6^19 + 5596405448713789303140739187715432/22114\ 36708996736461362632834069*c_0110_6^18 + 2070342130151104224443870473703807/2211436708996736461362632834069*\ c_0110_6^17 - 25662354529545343181875304484747415/22114367089967364\ 61362632834069*c_0110_6^16 + 20131827822900109897131291396049174/22\ 11436708996736461362632834069*c_0110_6^15 + 49050807281720912166899544392098644/2211436708996736461362632834069\ *c_0110_6^14 - 58526710947956126155358279794310226/2211436708996736\ 461362632834069*c_0110_6^13 - 44196453434646304991214053532736853/2\ 211436708996736461362632834069*c_0110_6^12 + 68636006920813658444089420867865551/2211436708996736461362632834069\ *c_0110_6^11 + 16975532031121304176219967856786319/2211436708996736\ 461362632834069*c_0110_6^10 - 39078702431998116722060044183750623/2\ 211436708996736461362632834069*c_0110_6^9 - 609261626530055039823814433053194/2211436708996736461362632834069*c\ _0110_6^8 + 11477364566106712431905923706052313/2211436708996736461\ 362632834069*c_0110_6^7 - 2494600739044736826696105742125132/221143\ 6708996736461362632834069*c_0110_6^6 - 2165737249877115453525911087482681/2211436708996736461362632834069*\ c_0110_6^5 + 1743612002920228540530426615547103/2211436708996736461\ 362632834069*c_0110_6^4 + 55603718741000518637955111072418/22114367\ 08996736461362632834069*c_0110_6^3 - 120855596981562218626906080259282/2211436708996736461362632834069*c\ _0110_6^2 - 66828726008343125568333791934661/2211436708996736461362\ 632834069*c_0110_6 - 11649926285273160256550140942930/2211436708996\ 736461362632834069, c_0101_1 + 89114114616717461238221322064544/221143670899673646136263283\ 4069*c_0110_6^23 + 141144856388107358775256264692864/22114367089967\ 36461362632834069*c_0110_6^22 - 885621550583858267627400715483712/2\ 211436708996736461362632834069*c_0110_6^21 - 300739213202569630646346716290312/2211436708996736461362632834069*c\ _0110_6^20 + 3565109461609855314308751551141984/2211436708996736461\ 362632834069*c_0110_6^19 - 5190384445695023592470373346006784/22114\ 36708996736461362632834069*c_0110_6^18 - 4529522573364618420964625865402278/2211436708996736461362632834069*\ c_0110_6^17 + 27490368620343221041159804177456594/22114367089967364\ 61362632834069*c_0110_6^16 - 10441447927482999420711821741036424/22\ 11436708996736461362632834069*c_0110_6^15 - 55075758336997493843307389577538581/2211436708996736461362632834069\ *c_0110_6^14 + 40784357481027476648790380415285303/2211436708996736\ 461362632834069*c_0110_6^13 + 52555585608768998974180295034388575/2\ 211436708996736461362632834069*c_0110_6^12 - 51339957802812947358569869148939955/2211436708996736461362632834069\ *c_0110_6^11 - 23083619741580758953007784098880310/2211436708996736\ 461362632834069*c_0110_6^10 + 30129442317465058607709214289845752/2\ 211436708996736461362632834069*c_0110_6^9 + 3049606762393371912620484198601969/2211436708996736461362632834069*\ c_0110_6^8 - 9355535012421656969066182010982122/2211436708996736461\ 362632834069*c_0110_6^7 + 1590407488755214436403322474831417/221143\ 6708996736461362632834069*c_0110_6^6 + 2073800433448834144777187884488360/2211436708996736461362632834069*\ c_0110_6^5 - 1314317856415778411539573150023363/2211436708996736461\ 362632834069*c_0110_6^4 - 75821211537763445792648116846335/22114367\ 08996736461362632834069*c_0110_6^3 + 70831577400797751500580924336260/2211436708996736461362632834069*c_\ 0110_6^2 + 45191752793772063995266825336070/22114367089967364613626\ 32834069*c_0110_6 + 9385151996951662690678015751414/221143670899673\ 6461362632834069, c_0101_2 - 103400507554734334861797837220176/22114367089967364613626328\ 34069*c_0110_6^23 - 232376872543105324259145367710176/2211436708996\ 736461362632834069*c_0110_6^22 + 848595014881055818191777897494656/\ 2211436708996736461362632834069*c_0110_6^21 + 857778041575801299737325017781196/2211436708996736461362632834069*c\ _0110_6^20 - 3357389489114815445667905080238680/2211436708996736461\ 362632834069*c_0110_6^19 + 3999081176331619536309238905803776/22114\ 36708996736461362632834069*c_0110_6^18 + 7082053263911148899328807369560213/2211436708996736461362632834069*\ c_0110_6^17 - 26235880847840799345339777178077447/22114367089967364\ 61362632834069*c_0110_6^16 - 3620490227285119873055884257155834/221\ 1436708996736461362632834069*c_0110_6^15 + 55083703625753600054919431172100044/2211436708996736461362632834069\ *c_0110_6^14 - 11554229271713503291294108312515985/2211436708996736\ 461362632834069*c_0110_6^13 - 55045029044514317710020011721382960/2\ 211436708996736461362632834069*c_0110_6^12 + 20359033766830437595343293414461182/2211436708996736461362632834069\ *c_0110_6^11 + 26562020424670846711846629059503750/2211436708996736\ 461362632834069*c_0110_6^10 - 12836094008492357024890697927711592/2\ 211436708996736461362632834069*c_0110_6^9 - 5324135717862779589997875843526165/2211436708996736461362632834069*\ c_0110_6^8 + 4628499398931136506384015796801035/2211436708996736461\ 362632834069*c_0110_6^7 - 134955143324668345478547019224709/2211436\ 708996736461362632834069*c_0110_6^6 - 1518506945695394615662478703558761/2211436708996736461362632834069*\ c_0110_6^5 + 477112213945167566837446678910542/22114367089967364613\ 62632834069*c_0110_6^4 + 37297025292958148267294782259747/221143670\ 8996736461362632834069*c_0110_6^3 + 42552832630759113105976003353221/2211436708996736461362632834069*c_\ 0110_6^2 - 8347211602386516851019775556087/221143670899673646136263\ 2834069*c_0110_6 - 1462027906797553570508695049037/2211436708996736\ 461362632834069, c_0101_3 - 161618729973824381145834163979344/22114367089967364613626328\ 34069*c_0110_6^23 - 429880308200601557046155239386128/2211436708996\ 736461362632834069*c_0110_6^22 + 1163076589876983358383616222988512\ /2211436708996736461362632834069*c_0110_6^21 + 1849774323063304764523280955344892/2211436708996736461362632834069*\ c_0110_6^20 - 4606796819472175211823394900333412/221143670899673646\ 1362632834069*c_0110_6^19 + 4245639344531084486474427581089304/2211\ 436708996736461362632834069*c_0110_6^18 + 13304845540511021659594315077425377/2211436708996736461362632834069\ *c_0110_6^17 - 36105179917676663603727370238949756/2211436708996736\ 461362632834069*c_0110_6^16 - 21466489764354519474721047375644107/2\ 211436708996736461362632834069*c_0110_6^15 + 80990452418058756922987462576307903/2211436708996736461362632834069\ *c_0110_6^14 + 15460753821397557487098724256783876/2211436708996736\ 461362632834069*c_0110_6^13 - 87560349825641640800084498319872923/2\ 211436708996736461362632834069*c_0110_6^12 - 1976994660160327427035083702624086/2211436708996736461362632834069*\ c_0110_6^11 + 48624605857821049358316560895645144/22114367089967364\ 61362632834069*c_0110_6^10 - 3488130057084523241955922892397103/221\ 1436708996736461362632834069*c_0110_6^9 - 13555397392569134586977274499420601/2211436708996736461362632834069\ *c_0110_6^8 + 3742056954236109872185706490732312/221143670899673646\ 1362632834069*c_0110_6^7 + 2010196312082797942309237615619343/22114\ 36708996736461362632834069*c_0110_6^6 - 2280588378990974655208860550902469/2211436708996736461362632834069*\ c_0110_6^5 - 103159323376709173357640375199911/22114367089967364613\ 62632834069*c_0110_6^4 + 253948418856882781749978930283205/22114367\ 08996736461362632834069*c_0110_6^3 + 85507412494439011838083344669895/2211436708996736461362632834069*c_\ 0110_6^2 + 17562715737171726359203714846841/22114367089967364613626\ 32834069*c_0110_6 + 664898588347406513883536576778/2211436708996736\ 461362632834069, c_0110_6^24 + 3*c_0110_6^23 - 7*c_0110_6^22 - 63/4*c_0110_6^21 + 119/4*c_0110_6^20 - 35/4*c_0110_6^19 - 1785/16*c_0110_6^18 + 1721/8*c_0110_6^17 + 2125/8*c_0110_6^16 - 9849/16*c_0110_6^15 - 2813/8*c_0110_6^14 + 13783/16*c_0110_6^13 + 1973/8*c_0110_6^12 - 5359/8*c_0110_6^11 - 1159/16*c_0110_6^10 + 1167/4*c_0110_6^9 - 137/8*c_0110_6^8 - 1169/16*c_0110_6^7 + 429/16*c_0110_6^6 + 99/8*c_0110_6^5 - 171/16*c_0110_6^4 - 17/16*c_0110_6^3 + 1/2*c_0110_6^2 + 3/8*c_0110_6 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB