Magma V2.19-8 Tue Aug 20 2013 16:18:04 on localhost [Seed = 559988200] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2299 geometric_solution 5.70295498 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 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 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.277657028445 0.766086610974 0 3 2 4 0132 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 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 -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.493714030188 0.612251204185 1 4 0 3 2031 2310 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493714030188 0.612251204185 2 1 5 5 3201 0132 0132 2310 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 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.097575390487 1.531411123564 6 6 1 2 0132 2310 0132 3201 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 1 0 -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.050987040820 0.787966620692 3 5 5 3 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.648050374642 0.332841847207 4 6 6 4 0132 1230 3012 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 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.349460990587 0.743882162617 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : 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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 24301733265517498350670873/34027057681433834386193*c_0101_5^27 - 8730465672890300572915502/1097647021981736593103*c_0101_5^26 + 882582818308825655336162116/34027057681433834386193*c_0101_5^25 + 513025443744521139805082430/34027057681433834386193*c_0101_5^24 - 8850531049043299401058313136/34027057681433834386193*c_0101_5^23 + 15745634012181915808216649127/34027057681433834386193*c_0101_5^22 + 10446120723930250962552843341/34027057681433834386193*c_0101_5^21 - 73124163704242588473767755875/34027057681433834386193*c_0101_5^20 + 83860784114378642216491934499/34027057681433834386193*c_0101_5^19 + 44801225244377196310394833717/34027057681433834386193*c_0101_5^18 - 212136919923524544953585245328/34027057681433834386193*c_0101_5^17 + 192960755056633972775449869102/34027057681433834386193*c_0101_5^16 + 1878455926831050965355011585/1097647021981736593103*c_0101_5^15 - 289865691193106530980602567373/34027057681433834386193*c_0101_5^14 + 243050617280442725286437622492/34027057681433834386193*c_0101_5^13 + 22373059833242160211343271995/34027057681433834386193*c_0101_5^12 - 210755782374709675456725619139/34027057681433834386193*c_0101_5^11 + 162162735185906226782381855004/34027057681433834386193*c_0101_5^10 - 4371781845045439864882298086/34027057681433834386193*c_0101_5^9 - 75760365659988476548112972531/34027057681433834386193*c_0101_5^8 + 51048609533324755774511986079/34027057681433834386193*c_0101_5^7 - 5287946662315301416315280568/34027057681433834386193*c_0101_5^6 - 10586102021497456659468347439/34027057681433834386193*c_0101_5^5 + 197424741342383666461333206/1097647021981736593103*c_0101_5^4 - 902879624328184378984082683/34027057681433834386193*c_0101_5^3 - 353114596043613052852962687/34027057681433834386193*c_0101_5^2 + 179566880909113769261531701/34027057681433834386193*c_0101_5 - 23623343502775815491069615/34027057681433834386193, c_0011_0 - 1, c_0011_2 + 36817980829605622286315612/850114011330367614458359*c_0101_5\ ^27 - 13332821292127263518245654/27423032623560245627689*c_0101_5^2\ 6 + 1373269820434436024400014436/850114011330367614458359*c_0101_5^\ 25 + 662281491122870658797673335/850114011330367614458359*c_0101_5^\ 24 - 13488383034316388157520267082/850114011330367614458359*c_0101_\ 5^23 + 25026642083432064762263547788/850114011330367614458359*c_010\ 1_5^22 + 13838886536372309643864115337/850114011330367614458359*c_0\ 101_5^21 - 112319377901799683865979075311/850114011330367614458359*\ c_0101_5^20 + 136526673953191029033124048645/8501140113303676144583\ 59*c_0101_5^19 + 57614097814336878544709268073/85011401133036761445\ 8359*c_0101_5^18 - 327900349735221609558357203239/85011401133036761\ 4458359*c_0101_5^17 + 319201462047372385974425114986/85011401133036\ 7614458359*c_0101_5^16 + 2109952649157934010131410253/2742303262356\ 0245627689*c_0101_5^15 - 448305044591366401934696337267/85011401133\ 0367614458359*c_0101_5^14 + 404290233022234194805652914608/85011401\ 1330367614458359*c_0101_5^13 + 6277880354225240196947547828/8501140\ 11330367614458359*c_0101_5^12 - 324701742849548287551490064698/8501\ 14011330367614458359*c_0101_5^11 + 271674323771526902572504872725/850114011330367614458359*c_0101_5^10 - 24129253846790452843341881581/850114011330367614458359*c_0101_5^9 - 116415807403089998715781724999/850114011330367614458359*c_0101_5^\ 8 + 86749991815438353862951212961/850114011330367614458359*c_0101_5\ ^7 - 13089141782939833478869041020/850114011330367614458359*c_0101_\ 5^6 - 16235180901461807684505608441/850114011330367614458359*c_0101\ _5^5 + 342758472342125230726014906/27423032623560245627689*c_0101_5\ ^4 - 1903220544090865446222639844/850114011330367614458359*c_0101_5\ ^3 - 531763547520266194212458210/850114011330367614458359*c_0101_5^\ 2 + 319636617197821296605068989/850114011330367614458359*c_0101_5 - 48710131257315691318968230/850114011330367614458359, c_0011_4 - 14732330491817167709772946/850114011330367614458359*c_0101_5\ ^27 + 5353194358398601925581964/27423032623560245627689*c_0101_5^26 - 556236231313742882781471075/850114011330367614458359*c_0101_5^25 - 240172588477912423565707021/850114011330367614458359*c_0101_5^24 + 5399880502520073413559081714/850114011330367614458359*c_0101_5^23 - 10248172990439056538838304282/850114011330367614458359*c_0101_5^22 - 5040062426105446638219824927/850114011330367614458359*c_0101_5^21 + 45123800446738960992113495831/850114011330367614458359*c_0101_5^20 - 56766491121872133223195569287/850114011330367614458359*c_0101_5^19 - 20319382119896700757283621502/850114011330367614458359*c_0101_5^18 + 132354927313509292387893174420/850114011330367614458359*c_0101_5^17 - 134291411677004020260053062979/850114011330367614458359*c_0101_5^\ 16 - 650645634387665510267464246/27423032623560245627689*c_0101_5^1\ 5 + 181322531795530504365479448373/850114011330367614458359*c_0101_\ 5^14 - 170857991952490578488541887696/850114011330367614458359*c_01\ 01_5^13 + 4736882491082887788567445871/850114011330367614458359*c_0\ 101_5^12 + 131187160561817891813885724483/850114011330367614458359*\ c_0101_5^11 - 115460883875322290363686517484/8501140113303676144583\ 59*c_0101_5^10 + 14248732350174681811269908430/85011401133036761445\ 8359*c_0101_5^9 + 47045430900802622502491794309/8501140113303676144\ 58359*c_0101_5^8 - 37160858274131638256038420428/850114011330367614\ 458359*c_0101_5^7 + 6533267066418026041518131357/850114011330367614\ 458359*c_0101_5^6 + 6548583675776595231607136464/850114011330367614\ 458359*c_0101_5^5 - 147906844769882330357942943/2742303262356024562\ 7689*c_0101_5^4 + 889156224994764703063463653/850114011330367614458\ 359*c_0101_5^3 + 211498791142603066660652915/8501140113303676144583\ 59*c_0101_5^2 - 139828890922631742177817562/85011401133036761445835\ 9*c_0101_5 + 21592789236438970882233858/850114011330367614458359, c_0011_5 - 12860110851654666680460/281215352739122598233*c_0101_5^27 + 4679902561680316335351/9071462991584599943*c_0101_5^26 - 487265369262947210969361/281215352739122598233*c_0101_5^25 - 208977465284245659165245/281215352739122598233*c_0101_5^24 + 4737393229072338673515899/281215352739122598233*c_0101_5^23 - 8992200910458880541394401/281215352739122598233*c_0101_5^22 - 4489627186215906270215188/281215352739122598233*c_0101_5^21 + 39729412639943956836519121/281215352739122598233*c_0101_5^20 - 49645024497162224482241061/281215352739122598233*c_0101_5^19 - 18640047583660918180650177/281215352739122598233*c_0101_5^18 + 116769389077396127122610101/281215352739122598233*c_0101_5^17 - 116803422467728223520703872/281215352739122598233*c_0101_5^16 - 644043086187742124578594/9071462991584599943*c_0101_5^15 + 160157417805424802156523650/281215352739122598233*c_0101_5^14 - 148193752207705768469532209/281215352739122598233*c_0101_5^13 + 1228911218174116114866832/281215352739122598233*c_0101_5^12 + 116236435818391593786784985/281215352739122598233*c_0101_5^11 - 99847432532484462364218868/281215352739122598233*c_0101_5^10 + 10499936922808908646649011/281215352739122598233*c_0101_5^9 + 41826603119677507348943779/281215352739122598233*c_0101_5^8 - 31967324124989218330529545/281215352739122598233*c_0101_5^7 + 5133168001358266910375209/281215352739122598233*c_0101_5^6 + 5850019134954349123123995/281215352739122598233*c_0101_5^5 - 126496356769236778947013/9071462991584599943*c_0101_5^4 + 722043185180749490787999/281215352739122598233*c_0101_5^3 + 191622637941730997357466/281215352739122598233*c_0101_5^2 - 118716758284063349651706/281215352739122598233*c_0101_5 + 18227033693569316416933/281215352739122598233, c_0101_0 + 48401316861439214153835589/850114011330367614458359*c_0101_5\ ^27 - 17601764387197893096305991/27423032623560245627689*c_0101_5^2\ 6 + 1830699048780626498950477432/850114011330367614458359*c_0101_5^\ 25 + 790537910407078086863968855/850114011330367614458359*c_0101_5^\ 24 - 17795793430769284801550561500/850114011330367614458359*c_0101_\ 5^23 + 33744819301877633948997448944/850114011330367614458359*c_010\ 1_5^22 + 16837440557071769341448942736/850114011330367614458359*c_0\ 101_5^21 - 148993468273548507317461316668/850114011330367614458359*\ c_0101_5^20 + 186353910855614147992325924176/8501140113303676144583\ 59*c_0101_5^19 + 69245444230392326705536292261/85011401133036761445\ 8359*c_0101_5^18 - 437297210774569656471571055688/85011401133036761\ 4458359*c_0101_5^17 + 438867852409950772079042327217/85011401133036\ 7614458359*c_0101_5^16 + 2343995573992022494831693648/2742303262356\ 0245627689*c_0101_5^15 - 599156927784953929411560619994/85011401133\ 0367614458359*c_0101_5^14 + 556910378292102019497585123572/85011401\ 1330367614458359*c_0101_5^13 - 7486155272249412568042306501/8501140\ 11330367614458359*c_0101_5^12 - 434178495566436331335133716387/8501\ 14011330367614458359*c_0101_5^11 + 375255933574159558192058406717/850114011330367614458359*c_0101_5^10 - 41262944571034926692629862460/850114011330367614458359*c_0101_5^9 - 155989264814466453222401879989/850114011330367614458359*c_0101_5^\ 8 + 120231816622471430066759201547/850114011330367614458359*c_0101_\ 5^7 - 19784282068747990286773098499/850114011330367614458359*c_0101\ _5^6 - 21786893490313242673593449639/850114011330367614458359*c_010\ 1_5^5 + 476472134569251395683968569/27423032623560245627689*c_0101_\ 5^4 - 2754036771478636486828469057/850114011330367614458359*c_0101_\ 5^3 - 712784712752648201823788698/850114011330367614458359*c_0101_5\ ^2 + 446807424210393648662531415/850114011330367614458359*c_0101_5 - 68466360186540220884730767/850114011330367614458359, c_0101_3 - 19039190400034010002708/281215352739122598233*c_0101_5^27 + 6902408398181918316351/9071462991584599943*c_0101_5^26 - 712643495668076482541767/281215352739122598233*c_0101_5^25 - 335905381275610868271230/281215352739122598233*c_0101_5^24 + 6988081504818047409406500/281215352739122598233*c_0101_5^23 - 13027551830483289822231001/281215352739122598233*c_0101_5^22 - 7078041845454498780204666/281215352739122598233*c_0101_5^21 + 58340123737747824802693110/281215352739122598233*c_0101_5^20 - 71235519197251194854803392/281215352739122598233*c_0101_5^19 - 29672520623602154935601574/281215352739122598233*c_0101_5^18 + 170789851041492854399599296/281215352739122598233*c_0101_5^17 - 166584667480934467290762108/281215352739122598233*c_0101_5^16 - 1098385201603021338894195/9071462991584599943*c_0101_5^15 + 233926066919299465964744339/281215352739122598233*c_0101_5^14 - 210818335934097800054931581/281215352739122598233*c_0101_5^13 - 3719156300485540073129681/281215352739122598233*c_0101_5^12 + 169820121639325333409030859/281215352739122598233*c_0101_5^11 - 141572037915570715866065057/281215352739122598233*c_0101_5^10 + 11957413565731877648476675/281215352739122598233*c_0101_5^9 + 61104184261143423436390221/281215352739122598233*c_0101_5^8 - 45078791121136470008594610/281215352739122598233*c_0101_5^7 + 6530524555685559519001849/281215352739122598233*c_0101_5^6 + 8552009794599470805731558/281215352739122598233*c_0101_5^5 - 177048688617335062243441/9071462991584599943*c_0101_5^4 + 952237439969159194324704/281215352739122598233*c_0101_5^3 + 282359773504684716904226/281215352739122598233*c_0101_5^2 - 164168452364410316196843/281215352739122598233*c_0101_5 + 24202003091464648544600/281215352739122598233, c_0101_5^28 - 12*c_0101_5^27 + 46*c_0101_5^26 - 11*c_0101_5^25 - 380*c_0101_5^24 + 964*c_0101_5^23 - 154*c_0101_5^22 - 3339*c_0101_5^21 + 6081*c_0101_5^20 - 1330*c_0101_5^19 - 10115*c_0101_5^18 + 15610*c_0101_5^17 - 4988*c_0101_5^16 - 13558*c_0101_5^15 + 20476*c_0101_5^14 - 8390*c_0101_5^13 - 8961*c_0101_5^12 + 14262*c_0101_5^11 - 6402*c_0101_5^10 - 2665*c_0101_5^9 + 4826*c_0101_5^8 - 2186*c_0101_5^7 - 170*c_0101_5^6 + 633*c_0101_5^5 - 275*c_0101_5^4 + 25*c_0101_5^3 + 20*c_0101_5^2 - 8*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB