Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 3187417446] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1716 geometric_solution 5.42554802 oriented_manifold CS_known -0.0000000000000003 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 1 0 -1 0 1 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.210507792356 0.851230865548 0 3 4 2 0132 0132 0132 0321 0 0 0 0 0 0 1 -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 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.879562172795 0.739057076571 4 1 0 3 1023 0321 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.879562172795 0.739057076571 5 1 5 2 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 1.003794503903 0.417288689046 6 2 6 1 0132 1023 2310 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 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.890788248174 0.492849404964 3 3 5 5 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566910508473 0.274315399461 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496424330105 0.387287482862 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : d['1'], 's_2_1' : 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' : negation(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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_2']), 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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_3']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0110_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : negation(d['c_0011_2']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0110_2'], 'c_1010_3' : d['c_0110_2'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0011_2'])})} 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_0101_1, c_0101_3, c_0101_4, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 3787261054524302323670471916460213363/47467654166006711638695164589\ 00480000*c_0110_2^22 + 22400047976885129743541080847959911557/23733\ 82708300335581934758229450240000*c_0110_2^21 + 84764338463725841535714304612399029071/1582255138866890387956505486\ 300160000*c_0110_2^20 + 302138474419483486700907715592834539693/158\ 2255138866890387956505486300160000*c_0110_2^19 + 698815501770858161195755330268873303759/158225513886689038795650548\ 6300160000*c_0110_2^18 + 572148052818154943472107086619207055011/11\ 86691354150167790967379114725120000*c_0110_2^17 - 4799424782320820539138584675476874016657/47467654166006711638695164\ 58900480000*c_0110_2^16 - 8290301987699985472966909594874835406097/\ 1186691354150167790967379114725120000*c_0110_2^15 - 50257993872023716642931999163817486715573/2373382708300335581934758\ 229450240000*c_0110_2^14 - 2577349402772231543254199114852772029116\ 1/593345677075083895483689557362560000*c_0110_2^13 - 145286143598562997462582822324096713910003/237338270830033558193475\ 8229450240000*c_0110_2^12 - 444122855404634868213338222605659715939\ 13/949353083320134232773903291780096000*c_0110_2^11 + 1420936033482342256532365166295595554037/63290205554675615518260219\ 452006400*c_0110_2^10 + 59280477628157715153980993014919669886377/4\ 74676541660067116386951645890048000*c_0110_2^9 + 876067475864896222404897882012076582701427/474676541660067116386951\ 6458900480000*c_0110_2^8 + 3112009981270970050385077069628698551257\ 03/2373382708300335581934758229450240000*c_0110_2^7 - 68860293381394285252728462142765246051117/4746765416600671163869516\ 458900480000*c_0110_2^6 - 64606469508674941987525902128242502072063\ /474676541660067116386951645890048000*c_0110_2^5 - 628835452809732762427672784953395751859/463551310214909293346632466\ 6895000*c_0110_2^4 - 26078997699966094020922151614316035907377/5933\ 45677075083895483689557362560000*c_0110_2^3 + 61119582408207456242238593024095886098421/2373382708300335581934758\ 229450240000*c_0110_2^2 + 63341517069088318121694920081335057344229\ /2373382708300335581934758229450240000*c_0110_2 + 1990931318643201717485099114699759146747/31645102777337807759130109\ 7260032000, c_0011_0 - 1, c_0011_2 - 659362384239083743121527517753891/34732429877565886564898900\ 91878400*c_0110_2^22 - 3819817655267731295979689787799249/173662149\ 3878294328244945045939200*c_0110_2^21 - 14211706657057131414707226034581847/1157747662585529552163296697292\ 800*c_0110_2^20 - 49889471069661080804596633438893101/1157747662585\ 529552163296697292800*c_0110_2^19 - 113200168607776615010404560974467063/115774766258552955216329669729\ 2800*c_0110_2^18 - 87493795069108276913860898091402127/868310746939\ 147164122472522969600*c_0110_2^17 + 856215136741163056707033232904567249/347324298775658865648989009187\ 8400*c_0110_2^16 + 1385029868142093640312941904970689879/8683107469\ 39147164122472522969600*c_0110_2^15 + 8236026459286648890129196523463656161/17366214938782943282449450459\ 39200*c_0110_2^14 + 2079939426115294227459628805062776701/217077686\ 734786791030618130742400*c_0110_2^13 + 23002115158719182672008045536929978471/1736621493878294328244945045\ 939200*c_0110_2^12 + 6713871069859991197059782632756482721/69464859\ 7551317731297978018375680*c_0110_2^11 - 267209273373576005634161912508474821/463099065034211820865318678917\ 12*c_0110_2^10 - 9659298611258143487139934485282968149/347324298775\ 658865648989009187840*c_0110_2^9 - 138135126382381888552822504526093612939/347324298775658865648989009\ 1878400*c_0110_2^8 - 47026651164854978226375675156325328071/1736621\ 493878294328244945045939200*c_0110_2^7 + 16042130212366314266698887553152833069/3473242987756588656489890091\ 878400*c_0110_2^6 + 10369173802005166220686994755011959131/34732429\ 8775658865648989009187840*c_0110_2^5 + 12378770868870446321252605375661525789/4341553734695735820612362614\ 84800*c_0110_2^4 + 1857250520325117166571115534274223707/2170776867\ 34786791030618130742400*c_0110_2^3 - 9972163987721927785972191249449706097/17366214938782943282449450459\ 39200*c_0110_2^2 - 9588934737105138043829024582374919753/1736621493\ 878294328244945045939200*c_0110_2 - 291654929481994932809320587720689459/231549532517105910432659339458\ 560, c_0101_1 - 77709910053813248247706516262467/173662149387829432824494504\ 5939200*c_0110_2^22 - 458773848068655326599676843200613/86831074693\ 9147164122472522969600*c_0110_2^21 - 1731275088554086815525842072664239/57887383129276477608164834864640\ 0*c_0110_2^20 - 6151389191348471922720157411783837/5788738312927647\ 76081648348646400*c_0110_2^19 - 14164633924040179234066150811982431\ /578873831292764776081648348646400*c_0110_2^18 - 11438322507499202596579807455677399/4341553734695735820612362614848\ 00*c_0110_2^17 + 99738426828760097418948323127135313/17366214938782\ 94328244945045939200*c_0110_2^16 + 169351928859063765531799478343891173/434155373469573582061236261484\ 800*c_0110_2^15 + 1021443477687776862501155611716112757/86831074693\ 9147164122472522969600*c_0110_2^14 + 521626106242209329449830011330312399/217077686734786791030618130742\ 400*c_0110_2^13 + 2923760482854710348562950570520890227/86831074693\ 9147164122472522969600*c_0110_2^12 + 880841237932380750515962561387702457/347324298775658865648989009187\ 840*c_0110_2^11 - 30411476833107272803574023530724453/2315495325171\ 0591043265933945856*c_0110_2^10 - 120580716423097550705561455732088\ 0873/173662149387829432824494504593920*c_0110_2^9 - 17619046196119250613190240815578257843/1736621493878294328244945045\ 939200*c_0110_2^8 - 6163916034999265493321123116658558327/868310746\ 939147164122472522969600*c_0110_2^7 + 1637893719035418417835286288891767453/17366214938782943282449450459\ 39200*c_0110_2^6 + 1309718423713237497932910466063672847/1736621493\ 87829432824494504593920*c_0110_2^5 + 802294915870530153819132881913462809/108538843367393395515309065371\ 200*c_0110_2^4 + 503408128744287313926342900917587393/2170776867347\ 86791030618130742400*c_0110_2^3 - 125300074903105543920781055023988\ 6189/868310746939147164122472522969600*c_0110_2^2 - 1252976520211208649521875410861251461/86831074693914716412247252296\ 9600*c_0110_2 - 38624657736209753801395056816996283/115774766258552\ 955216329669729280, c_0101_3 - 1214126115254368013451071/34821265891107279456247680*c_0110_\ 2^22 - 7161926576876545563256969/17410632945553639728123840*c_0110_\ 2^21 - 26966010812950491529966747/11607088630369093152082560*c_0110\ _2^20 - 95543491019467793392488161/11607088630369093152082560*c_011\ 0_2^19 - 219130664179026632366382283/11607088630369093152082560*c_0\ 110_2^18 - 174726194103961667649698707/8705316472776819864061920*c_\ 0110_2^17 + 1577313417002743132783788389/34821265891107279456247680\ *c_0110_2^16 + 2638104526529011948020126649/87053164727768198640619\ 20*c_0110_2^15 + 15838852866724361831944494361/17410632945553639728\ 123840*c_0110_2^14 + 8057712802135594203922713547/43526582363884099\ 32030960*c_0110_2^13 + 44929856566802596526798398031/17410632945553\ 639728123840*c_0110_2^12 + 13355148334804492102638469933/6964253178\ 221455891249536*c_0110_2^11 - 2461645842599072730888900013/23214177\ 26073818630416512*c_0110_2^10 - 18697741962462232910319744925/34821\ 26589110727945624768*c_0110_2^9 - 270406689013880617181919527279/34\ 821265891107279456247680*c_0110_2^8 - 93276185504447688496477763491/17410632945553639728123840*c_0110_2^7 + 28606708148649454378106613089/34821265891107279456247680*c_0110_2\ ^6 + 20230403476522370934748237723/3482126589110727945624768*c_0110\ _2^5 + 12205583918406469629872030017/2176329118194204966015480*c_01\ 10_2^4 + 7434571154680049698943730389/4352658236388409932030960*c_0\ 110_2^3 - 19495127807864050246770999217/17410632945553639728123840*\ c_0110_2^2 - 18928140981612944757994241993/174106329455536397281238\ 40*c_0110_2 - 578426910330673453171078103/2321417726073818630416512\ , c_0101_4 - 12770457550388111703175226150029/277859439020527092519191207\ 350272*c_0110_2^22 - 73627490946210913397762110500731/1389297195102\ 63546259595603675136*c_0110_2^21 - 272857872278698294635377226131825/92619813006842364173063735783424*\ c_0110_2^20 - 954421821750511550291284718841427/9261981300684236417\ 3063735783424*c_0110_2^19 - 2155721024027002722743391295868081/9261\ 9813006842364173063735783424*c_0110_2^18 - 1642439141332027120005293598571565/69464859755131773129797801837568\ *c_0110_2^17 + 16665202165499381357660055667154863/2778594390205270\ 92519191207350272*c_0110_2^16 + 26567828607775618577201013680344607\ /69464859755131773129797801837568*c_0110_2^15 + 157275497430696700834258339280687819/138929719510263546259595603675\ 136*c_0110_2^14 + 79151494736153920305010343193214511/3473242987756\ 5886564898900918784*c_0110_2^13 + 435651189501386848330772994119491\ 213/138929719510263546259595603675136*c_0110_2^12 + 628567847119468663834351464470124835/277859439020527092519191207350\ 272*c_0110_2^11 - 131270418341343414653904740044663315/926198130068\ 42364173063735783424*c_0110_2^10 - 920716322271337190609786344391002675/138929719510263546259595603675\ 136*c_0110_2^9 - 2613175109930007657580972257138157261/277859439020\ 527092519191207350272*c_0110_2^8 - 880557130911671509302862542524008889/138929719510263546259595603675\ 136*c_0110_2^7 + 325972965586079574782513460363100627/2778594390205\ 27092519191207350272*c_0110_2^6 + 984342416894815183657873900531141\ 189/138929719510263546259595603675136*c_0110_2^5 + 29089072479472034171262807561078575/4341553734695735820612362614848\ *c_0110_2^4 + 68575193359705845183795485207100415/34732429877565886\ 564898900918784*c_0110_2^3 - 189622546414772201691712901802850667/1\ 38929719510263546259595603675136*c_0110_2^2 - 179555828481591622587247560405951643/138929719510263546259595603675\ 136*c_0110_2 - 27230769032768030540612642570996825/9261981300684236\ 4173063735783424, c_0101_5 - 250502695309220374899379841945/46309906503421182086531867891\ 712*c_0110_2^22 - 1666165439911773530614359297283/23154953251710591\ 043265933945856*c_0110_2^21 - 6803243197384115788979522420533/15436\ 635501140394028843955963904*c_0110_2^20 - 25717788259916443733456306286935/15436635501140394028843955963904*c\ _0110_2^19 - 63530044395253345381926650314453/154366355011403940288\ 43955963904*c_0110_2^18 - 61400664991253815673442353563309/11577476\ 625855295521632966972928*c_0110_2^17 + 294590438276184013746444543757763/46309906503421182086531867891712*\ c_0110_2^16 + 677754402077040276652886828385445/1157747662585529552\ 1632966972928*c_0110_2^15 + 4392727091961319594821454161510835/2315\ 4953251710591043265933945856*c_0110_2^14 + 1181580824277285843485327133184475/2894369156463823880408241743232*\ c_0110_2^13 + 14071017292338766858395496262040101/23154953251710591\ 043265933945856*c_0110_2^12 + 24069363614357409567915723666628223/4\ 6309906503421182086531867891712*c_0110_2^11 - 1775865835855449505650929416881287/15436635501140394028843955963904\ *c_0110_2^10 - 26624932391787179987912616071657867/2315495325171059\ 1043265933945856*c_0110_2^9 - 85898153766958319023160270356438673/4\ 6309906503421182086531867891712*c_0110_2^8 - 33607412249819454902778002786154949/2315495325171059104326593394585\ 6*c_0110_2^7 - 929358823752923061834697103341225/463099065034211820\ 86531867891712*c_0110_2^6 + 30407182173962581037532143271525125/231\ 54953251710591043265933945856*c_0110_2^5 + 8362136517745131471479332645021919/5788738312927647760816483486464*\ c_0110_2^4 + 1559296800333360917725435248629545/2894369156463823880\ 408241743232*c_0110_2^3 - 5570511976927375795319425771094083/231549\ 53251710591043265933945856*c_0110_2^2 - 6748857772224807741013546960011755/23154953251710591043265933945856\ *c_0110_2 - 1123205262829750602923312448322861/15436635501140394028\ 843955963904, c_0110_2^23 + 13*c_0110_2^22 + 81*c_0110_2^21 + 318*c_0110_2^20 + 834*c_0110_2^19 + 1253*c_0110_2^18 - 559*c_0110_2^17 - 10241*c_0110_2^16 - 36802*c_0110_2^15 - 85546*c_0110_2^14 - 140522*c_0110_2^13 - 148525*c_0110_2^12 - 40500*c_0110_2^11 + 189665*c_0110_2^10 + 414979*c_0110_2^9 + 435577*c_0110_2^8 + 174311*c_0110_2^7 - 192275*c_0110_2^6 - 370382*c_0110_2^5 - 254552*c_0110_2^4 - 32186*c_0110_2^3 + 71456*c_0110_2^2 + 47145*c_0110_2 + 9225 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB