Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 1124261786] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0909 geometric_solution 4.80234518 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.739015943042 3.141741758737 0 0 3 2 0132 3201 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.093687399982 0.309363039103 3 3 1 4 1230 1023 0132 0132 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 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.445588671263 1.341098602647 2 2 4 1 1023 3012 0132 0132 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 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445588671263 1.341098602647 5 5 2 3 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.246974808882 0.919107423409 4 6 4 6 0132 0132 2310 2310 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.086717589995 1.443220314421 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.268732451679 0.152138756366 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : d['c_0011_4'], 'c_1100_4' : d['c_1100_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1100_1'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_0101_0, c_0101_1, c_0110_6, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 707105432409716287560560019372345623284742686717/757256956191792609\ 1263212408644076641122210782928*c_1100_1^17 + 100232923886884250577880392104525404857019052631/841396617990880676\ 807023600960452960124690086992*c_1100_1^16 + 6300726494898739428316303908534470894403514727921/75725695619179260\ 91263212408644076641122210782928*c_1100_1^15 + 3408691963752301395755291112184037607951941392085/25241898539726420\ 30421070802881358880374070260976*c_1100_1^14 - 15883972850666831276842829936836909118899731206671/2524189853972642\ 030421070802881358880374070260976*c_1100_1^13 + 121245578712179666535752373321395474800154342230225/757256956191792\ 6091263212408644076641122210782928*c_1100_1^12 + 82852764456204295304274010777677215263624404834757/3786284780958963\ 045631606204322038320561105391464*c_1100_1^11 - 15125796111933519476544888208154861855440993578643/1577618658732901\ 26901316925180084930023379391311*c_1100_1^10 - 3140851207209618989263662725184248327392168508639899/75725695619179\ 26091263212408644076641122210782928*c_1100_1^9 + 505640147655236982032324719404729859638438870447869/378628478095896\ 3045631606204322038320561105391464*c_1100_1^8 - 2456195467617082348258073788187761346969724099114241/37862847809589\ 63045631606204322038320561105391464*c_1100_1^7 + 92122539697436832416821420916689578542732261215279/1577618658732901\ 26901316925180084930023379391311*c_1100_1^6 - 10243460446867880852709232032195907860584717104818649/7572569561917\ 926091263212408644076641122210782928*c_1100_1^5 + 9508140013487725679815057884481869753203149136931125/75725695619179\ 26091263212408644076641122210782928*c_1100_1^4 + 771432997859102566673370628426428156170216229106717/252418985397264\ 2030421070802881358880374070260976*c_1100_1^3 - 237342029081422685391614559545245697886305559194857/184696818583364\ 051006419814844977479051761238608*c_1100_1^2 + 6522748162691266274642696423362402912485029405550089/75725695619179\ 26091263212408644076641122210782928*c_1100_1 - 1178520404266498379419046123739602722745513839605719/75725695619179\ 26091263212408644076641122210782928, c_0011_0 - 1, c_0011_2 - 21539666326111654943242532129965258076037/442281653695795141\ 29889802405406484447260833*c_1100_1^17 + 14634726083624966725960545779224310484051/4422816536957951412988980\ 2405406484447260833*c_1100_1^16 + 211741008952084054766466776117228\ 485761516/44228165369579514129889802405406484447260833*c_1100_1^15 + 425212875987718137084319093957716855334404/442281653695795141298898\ 02405406484447260833*c_1100_1^14 - 1298448204636867482077712388290514675972132/44228165369579514129889\ 802405406484447260833*c_1100_1^13 + 2743597606232186301677156433832970655597053/44228165369579514129889\ 802405406484447260833*c_1100_1^12 + 7407138999160207292239093162492193133359179/44228165369579514129889\ 802405406484447260833*c_1100_1^11 - 19496665195040212161365219100985667297314582/4422816536957951412988\ 9802405406484447260833*c_1100_1^10 - 110140634542509900917387268630793151137133255/442281653695795141298\ 89802405406484447260833*c_1100_1^9 - 23955886129415568301929939944178944150067517/4422816536957951412988\ 9802405406484447260833*c_1100_1^8 - 112934912686962720036759344228260322614333534/442281653695795141298\ 89802405406484447260833*c_1100_1^7 + 58504228650421897511788448734506855451964006/4422816536957951412988\ 9802405406484447260833*c_1100_1^6 - 201534308508251374023895436251905766088837379/442281653695795141298\ 89802405406484447260833*c_1100_1^5 + 108517143810680193975628195924114734998302550/442281653695795141298\ 89802405406484447260833*c_1100_1^4 + 288428453083860161139483145324608467853811028/442281653695795141298\ 89802405406484447260833*c_1100_1^3 - 267347803914865439587138207578305282252508866/442281653695795141298\ 89802405406484447260833*c_1100_1^2 + 7875450880619496158943962719177909636309088/44228165369579514129889\ 802405406484447260833*c_1100_1 + 7844573409872748973717627459773199\ 2773713337/44228165369579514129889802405406484447260833, c_0011_4 - 153936840574325640524454913745065220966852/44228165369579514\ 129889802405406484447260833*c_1100_1^17 + 223661600411962382590694675934411316850113/442281653695795141298898\ 02405406484447260833*c_1100_1^16 + 1347208121026024327046514681395870924709197/44228165369579514129889\ 802405406484447260833*c_1100_1^15 + 1976283035092547304921546055780079058368590/44228165369579514129889\ 802405406484447260833*c_1100_1^14 - 10863180088144651474046480300268227407418861/4422816536957951412988\ 9802405406484447260833*c_1100_1^13 + 28022201729322838855311967899039358766516121/4422816536957951412988\ 9802405406484447260833*c_1100_1^12 + 31955206336415714750590586039077354281313452/4422816536957951412988\ 9802405406484447260833*c_1100_1^11 - 165885737033592667505027694991537305143530403/442281653695795141298\ 89802405406484447260833*c_1100_1^10 - 658925942226758830469610113223076941087357331/442281653695795141298\ 89802405406484447260833*c_1100_1^9 + 349619048618653267670854531135837874529361591/442281653695795141298\ 89802405406484447260833*c_1100_1^8 - 1057467784418264430088549833724877509463353538/44228165369579514129\ 889802405406484447260833*c_1100_1^7 + 1170232189229700625293353490080633154898326438/44228165369579514129\ 889802405406484447260833*c_1100_1^6 - 2313217539376916790542362854374029194609694913/44228165369579514129\ 889802405406484447260833*c_1100_1^5 + 2442265508788718127420254738784767046480075543/44228165369579514129\ 889802405406484447260833*c_1100_1^4 + 287838755888660213257899702331136184168955435/442281653695795141298\ 89802405406484447260833*c_1100_1^3 - 2273454851953141654142692821977903330704863047/44228165369579514129\ 889802405406484447260833*c_1100_1^2 + 1778301293286300515971336953896409341415003069/44228165369579514129\ 889802405406484447260833*c_1100_1 - 429411443108053320844249640067144505628492459/442281653695795141298\ 89802405406484447260833, c_0101_0 + 95990512923025099450387225/46620182673063829476588324073*c_1\ 100_1^17 - 163911986085240867650642374/4662018267306382947658832407\ 3*c_1100_1^16 - 815887006286215413917787589/46620182673063829476588\ 324073*c_1100_1^15 - 1006411307314029778932942738/46620182673063829\ 476588324073*c_1100_1^14 + 7192977901945699654199143631/46620182673\ 063829476588324073*c_1100_1^13 - 19013886171915409613155598663/4662\ 0182673063829476588324073*c_1100_1^12 - 16216679735469744084296392892/46620182673063829476588324073*c_1100_\ 1^11 + 110262768701467202816085877867/46620182673063829476588324073\ *c_1100_1^10 + 387677906018930354848165074390/466201826730638294765\ 88324073*c_1100_1^9 - 333843166703705262906072975718/46620182673063\ 829476588324073*c_1100_1^8 + 661777269387011937161509220303/4662018\ 2673063829476588324073*c_1100_1^7 - 891194972388224187812913392568/46620182673063829476588324073*c_1100\ _1^6 + 1560236129737688380013986345028/4662018267306382947658832407\ 3*c_1100_1^5 - 1833273938945963047948804406828/46620182673063829476\ 588324073*c_1100_1^4 + 72962493682937842805418164059/46620182673063\ 829476588324073*c_1100_1^3 + 1576739336544480687387609890223/466201\ 82673063829476588324073*c_1100_1^2 - 1390406326678476259877537737137/46620182673063829476588324073*c_110\ 0_1 + 361610423639076392935834387009/46620182673063829476588324073, c_0101_1 - 78846188046365638626214345551516759075024/442281653695795141\ 29889802405406484447260833*c_1100_1^17 + 133688914603743408501187963963923408483516/442281653695795141298898\ 02405406484447260833*c_1100_1^16 + 672486082888447710593431284595524049134987/442281653695795141298898\ 02405406484447260833*c_1100_1^15 + 832981448751620565080381760567335028541049/442281653695795141298898\ 02405406484447260833*c_1100_1^14 - 5904028430650600303816302657579623448510423/44228165369579514129889\ 802405406484447260833*c_1100_1^13 + 15545555691541119840761752765669190157419433/4422816536957951412988\ 9802405406484447260833*c_1100_1^12 + 13571019445456429268919971334991129286904893/4422816536957951412988\ 9802405406484447260833*c_1100_1^11 - 90588418039336646978918854973810343218448803/4422816536957951412988\ 9802405406484447260833*c_1100_1^10 - 319588943688263869573590292932618411192280397/442281653695795141298\ 89802405406484447260833*c_1100_1^9 + 271464896015570817939330284283610931198757394/442281653695795141298\ 89802405406484447260833*c_1100_1^8 - 537969424107322523801887114677236042759448589/442281653695795141298\ 89802405406484447260833*c_1100_1^7 + 720161164543600291071214698805469810053561335/442281653695795141298\ 89802405406484447260833*c_1100_1^6 - 1267356752100557531274858459799541354052405189/44228165369579514129\ 889802405406484447260833*c_1100_1^5 + 1484059178806728978725680509938030123813084090/44228165369579514129\ 889802405406484447260833*c_1100_1^4 - 33773888923687837923457935660864716832721617/4422816536957951412988\ 9802405406484447260833*c_1100_1^3 - 1319442610798827961074901771247986009239760517/44228165369579514129\ 889802405406484447260833*c_1100_1^2 + 1121965188522614447144480471379281362603615144/44228165369579514129\ 889802405406484447260833*c_1100_1 - 296118900809735641452004857605111963493727917/442281653695795141298\ 89802405406484447260833, c_0110_6 + 180073509154476981069709429904882098192528/44228165369579514\ 129889802405406484447260833*c_1100_1^17 - 253587253935637924092490831453146750860164/442281653695795141298898\ 02405406484447260833*c_1100_1^16 - 1589979076997552804305880357498103380932019/44228165369579514129889\ 802405406484447260833*c_1100_1^15 - 2379319926033664725506751556527684439556550/44228165369579514129889\ 802405406484447260833*c_1100_1^14 + 12629983450804802890243864441094578410002464/4422816536957951412988\ 9802405406484447260833*c_1100_1^13 - 32177771475356396546135524057285809299266801/4422816536957951412988\ 9802405406484447260833*c_1100_1^12 - 39049883739589240964683460485602299243308295/4422816536957951412988\ 9802405406484447260833*c_1100_1^11 + 192643938920589951824633922498680007976139948/442281653695795141298\ 89802405406484447260833*c_1100_1^10 + 780217150586071970338986174012799417132697365/442281653695795141298\ 89802405406484447260833*c_1100_1^9 - 377373254597723375740633517023682381189761468/442281653695795141298\ 89802405406484447260833*c_1100_1^8 + 1206501272046832528624954326893773893330264607/44228165369579514129\ 889802405406484447260833*c_1100_1^7 - 1307940743986079755161106464799241481865346821/44228165369579514129\ 889802405406484447260833*c_1100_1^6 + 2655336587028598547089632233990522331503669745/44228165369579514129\ 889802405406484447260833*c_1100_1^5 - 2694713262343952149073495978596895663141918736/44228165369579514129\ 889802405406484447260833*c_1100_1^4 - 445443507314126218107489122328955658679621291/442281653695795141298\ 89802405406484447260833*c_1100_1^3 + 2677986544490752824236704259077535940911015757/44228165369579514129\ 889802405406484447260833*c_1100_1^2 - 1866946607792969157167807306125497962192912577/44228165369579514129\ 889802405406484447260833*c_1100_1 + 378637919811929397922620830617630578769066059/442281653695795141298\ 89802405406484447260833, c_1100_1^18 - 2*c_1100_1^17 - 8*c_1100_1^16 - 8*c_1100_1^15 + 78*c_1100_1^14 - 220*c_1100_1^13 - 111*c_1100_1^12 + 1198*c_1100_1^11 + 3703*c_1100_1^10 - 4659*c_1100_1^9 + 7912*c_1100_1^8 - 11302*c_1100_1^7 + 18973*c_1100_1^6 - 23860*c_1100_1^5 + 6364*c_1100_1^4 + 16154*c_1100_1^3 - 19056*c_1100_1^2 + 8238*c_1100_1 - 1189 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB