Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1562165691] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0764 geometric_solution 4.70651530 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 -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 1.490635701452 0.338941882057 0 2 2 0 3201 0132 1023 0132 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 0 -1 1 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.999299111156 0.380206765444 3 1 1 4 0132 0132 1023 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 0 0 1 -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.647796032718 0.248830466899 2 4 5 4 0132 0321 0132 3201 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475708532795 1.298431309306 5 3 2 3 1023 2310 0132 0321 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 -1 0 1 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.475708532795 1.298431309306 6 4 6 3 0132 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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.272749379777 1.050177004646 5 5 6 6 0132 3201 2031 1302 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 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.435862502280 0.085707981214 ==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' : 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' : negation(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_3'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], '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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 6047692771513955293156418225644652503178391/35513328933078412050957\ 525353489897533120*c_0101_5^19 + 4454119012294291448569205657701699\ 8208110179/17756664466539206025478762676744948766560*c_0101_5^18 + 211732303354124754645111165505745182807098403/355133289330784120509\ 57525353489897533120*c_0101_5^17 - 2731393016761300960180382698550765894181480453/35513328933078412050\ 957525353489897533120*c_0101_5^16 + 4303514913413179042619598725231484269963174499/88783322332696030127\ 39381338372474383280*c_0101_5^15 - 38611328018232921297499860785108683363053302463/3551332893307841205\ 0957525353489897533120*c_0101_5^14 + 14957620481594827294147571949135465043253123087/1775666446653920602\ 5478762676744948766560*c_0101_5^13 + 12523198719362518330107934888472241616146069847/3551332893307841205\ 0957525353489897533120*c_0101_5^12 - 29250507913343777682115819477232157343295801499/1775666446653920602\ 5478762676744948766560*c_0101_5^11 + 7119802092326830578359432486969474701177398663/35513328933078412050\ 95752535348989753312*c_0101_5^10 - 16565628275114464193056508824490647756057820201/3551332893307841205\ 0957525353489897533120*c_0101_5^9 - 22408106309591229239810880264372357755634031917/1775666446653920602\ 5478762676744948766560*c_0101_5^8 + 31195163059660045841223162567138003777796116141/3551332893307841205\ 0957525353489897533120*c_0101_5^7 - 236757415914530502965383301511579621340015777/710266578661568241019\ 1505070697979506624*c_0101_5^6 - 3342037477952949559421439831959795\ 681044966469/35513328933078412050957525353489897533120*c_0101_5^5 + 1603024480661127919782666178801411600468877801/17756664466539206025\ 478762676744948766560*c_0101_5^4 - 1829583476386697859940762249486351758377182189/35513328933078412050\ 957525353489897533120*c_0101_5^3 + 34614242332284860908189959239873284988451403/8878332233269603012739\ 381338372474383280*c_0101_5^2 + 63642825104190504572695564546539677\ 091949021/17756664466539206025478762676744948766560*c_0101_5 - 24786712188109982007620829387395496833524043/3551332893307841205095\ 7525353489897533120, c_0011_0 - 1, c_0011_1 - 237813071209176471391581132097751993763/22195830583174007531\ 8484533459311859582*c_0101_5^19 - 176951139680415274561935873479848\ 7517455/110979152915870037659242266729655929791*c_0101_5^18 - 4435199149040186898680022037848955607891/11097915291587003765924226\ 6729655929791*c_0101_5^17 + 529691781757680519844674451162406589819\ 64/110979152915870037659242266729655929791*c_0101_5^16 - 661199515161657673234778862132247879236857/221958305831740075318484\ 533459311859582*c_0101_5^15 + 7108033052459328340941887518550487823\ 24731/110979152915870037659242266729655929791*c_0101_5^14 - 491040811809408874478786857090737786088705/110979152915870037659242\ 266729655929791*c_0101_5^13 - 6014568654441681310275050818560896919\ 51325/221958305831740075318484533459311859582*c_0101_5^12 + 1097591150698607640201592815072612448828802/11097915291587003765924\ 2266729655929791*c_0101_5^11 - 250347907730130590704656801901459570\ 1514383/221958305831740075318484533459311859582*c_0101_5^10 + 172156828195043937443915951955960842138269/110979152915870037659242\ 266729655929791*c_0101_5^9 + 87659536730496498552127657234437167507\ 0101/110979152915870037659242266729655929791*c_0101_5^8 - 982422256192329626542287866503486223542405/221958305831740075318484\ 533459311859582*c_0101_5^7 - 31377453979323815613435105546076717029\ 955/221958305831740075318484533459311859582*c_0101_5^6 + 53706506755811448445013627797139813798380/1109791529158700376592422\ 66729655929791*c_0101_5^5 - 596806658704759486394833112205347085145\ 16/110979152915870037659242266729655929791*c_0101_5^4 + 58342594732289707969272987435947332367329/2219583058317400753184845\ 33459311859582*c_0101_5^3 - 935547999701103065240965068612200497166\ /110979152915870037659242266729655929791*c_0101_5^2 - 3687142994799202328816705836401355123645/22195830583174007531848453\ 3459311859582*c_0101_5 + 341415068046282735272158536011276369068/11\ 0979152915870037659242266729655929791, c_0011_4 - 99889132539693766682519361496670570785/221958305831740075318\ 484533459311859582*c_0101_5^19 - 7428526407964547573891971550031180\ 22032/110979152915870037659242266729655929791*c_0101_5^18 - 1854996999913586359116172879240304519526/11097915291587003765924226\ 6729655929791*c_0101_5^17 + 222950328050731317892731022872343447676\ 57/110979152915870037659242266729655929791*c_0101_5^16 - 277878574828804689316303972698577777188677/221958305831740075318484\ 533459311859582*c_0101_5^15 + 2988563559668833670595278318482400503\ 28821/110979152915870037659242266729655929791*c_0101_5^14 - 203860703664113090204693263077414840950236/110979152915870037659242\ 266729655929791*c_0101_5^13 - 2637918534126563694804529624731744279\ 36587/221958305831740075318484533459311859582*c_0101_5^12 + 461044610995129672204267291232767644387435/110979152915870037659242\ 266729655929791*c_0101_5^11 - 1038712329536510244752137554816625991\ 608647/221958305831740075318484533459311859582*c_0101_5^10 + 62999016202950566816361440407860513081978/1109791529158700376592422\ 66729655929791*c_0101_5^9 + 374715361809411915814867881276659581797\ 672/110979152915870037659242266729655929791*c_0101_5^8 - 395523638194390303594439508874984633881249/221958305831740075318484\ 533459311859582*c_0101_5^7 - 38603452104666345514699384135348150445\ 885/221958305831740075318484533459311859582*c_0101_5^6 + 19933695125911326691902624600673439795882/1109791529158700376592422\ 66729655929791*c_0101_5^5 - 219609433060035662132644035053649603409\ 11/110979152915870037659242266729655929791*c_0101_5^4 + 24594147895577675380742908281968517131575/2219583058317400753184845\ 33459311859582*c_0101_5^3 + 473419377041904007222814247727119735185\ /110979152915870037659242266729655929791*c_0101_5^2 - 1385799111105767161010574845953371812453/22195830583174007531848453\ 3459311859582*c_0101_5 + 27876460368014413758175648299484167660/110\ 979152915870037659242266729655929791, c_0101_0 + 379042029704931647258995147843085337885/22195830583174007531\ 8484533459311859582*c_0101_5^19 + 281048400393413679041877326963447\ 5544129/110979152915870037659242266729655929791*c_0101_5^18 + 6921903370207819381009112030274465391937/11097915291587003765924226\ 6729655929791*c_0101_5^17 - 847965245320351799263712082574445246393\ 26/110979152915870037659242266729655929791*c_0101_5^16 + 1062667574350734735727759710657158393145847/22195830583174007531848\ 4533459311859582*c_0101_5^15 - 116028108479021982294618496017503424\ 5049194/110979152915870037659242266729655929791*c_0101_5^14 + 840935936505573361227364918489376658971913/110979152915870037659242\ 266729655929791*c_0101_5^13 + 8822971805973207131334210688916291346\ 58823/221958305831740075318484533459311859582*c_0101_5^12 - 1777996449210564594716468983211191048461227/11097915291587003765924\ 2266729655929791*c_0101_5^11 + 417474551550779602395396607113857138\ 0239465/221958305831740075318484533459311859582*c_0101_5^10 - 375248755657166722814999621452120611152900/110979152915870037659242\ 266729655929791*c_0101_5^9 - 13892112124616107419730033343533925922\ 88510/110979152915870037659242266729655929791*c_0101_5^8 + 1720273605094995394339534636564221175793619/22195830583174007531848\ 4533459311859582*c_0101_5^7 - 2772226275479794913161438774620447841\ 8433/221958305831740075318484533459311859582*c_0101_5^6 - 91338792167451729188517308144036208036234/1109791529158700376592422\ 66729655929791*c_0101_5^5 + 100960922922593576716588664287540772508\ 708/110979152915870037659242266729655929791*c_0101_5^4 - 101858398259326481871626435229178601863849/221958305831740075318484\ 533459311859582*c_0101_5^3 + 30390304470291810655516391155923381149\ 41/110979152915870037659242266729655929791*c_0101_5^2 + 6315854448697064594335016331778723368269/22195830583174007531848453\ 3459311859582*c_0101_5 - 698239320935078392207816582288468292809/11\ 0979152915870037659242266729655929791, c_0101_2 - 273816433480250692189173751603227096941/22195830583174007531\ 8484533459311859582*c_0101_5^19 - 405212234959670891364528081276907\ 0851747/221958305831740075318484533459311859582*c_0101_5^18 - 4937614062400534469992135697115791455312/11097915291587003765924226\ 6729655929791*c_0101_5^17 + 614141500118247410842924561010636859085\ 73/110979152915870037659242266729655929791*c_0101_5^16 - 771418139406573095683404730503259305196443/221958305831740075318484\ 533459311859582*c_0101_5^15 + 1699597125811982149953835511439947609\ 397875/221958305831740075318484533459311859582*c_0101_5^14 - 632081059086879594774442005953397203938519/110979152915870037659242\ 266729655929791*c_0101_5^13 - 6069576420190124336786331688769254661\ 15347/221958305831740075318484533459311859582*c_0101_5^12 + 2596974393768057027371845960509294605678039/22195830583174007531848\ 4533459311859582*c_0101_5^11 - 309639156531935320908786545774389716\ 1786017/221958305831740075318484533459311859582*c_0101_5^10 + 626634221514020505652385626576933972153169/221958305831740075318484\ 533459311859582*c_0101_5^9 + 10023281955508191209751302348764200538\ 08071/110979152915870037659242266729655929791*c_0101_5^8 - 1313823145364173102690736027961267734659451/22195830583174007531848\ 4533459311859582*c_0101_5^7 + 2688311098585272270488441607160068795\ 1563/110979152915870037659242266729655929791*c_0101_5^6 + 138556881772006631121628898564427531846279/221958305831740075318484\ 533459311859582*c_0101_5^5 - 74747502091917145671715364141920474884\ 095/110979152915870037659242266729655929791*c_0101_5^4 + 77652898695516548488815897937052124084211/2219583058317400753184845\ 33459311859582*c_0101_5^3 - 696475497185780677753604339992438420932\ 1/221958305831740075318484533459311859582*c_0101_5^2 - 4733204809911867577409227285505470178949/22195830583174007531848453\ 3459311859582*c_0101_5 + 1100035397742066610474937062111207941257/2\ 21958305831740075318484533459311859582, c_0101_3 - 228217536042585124247231848524696649213/22195830583174007531\ 8484533459311859582*c_0101_5^19 - 339169860611422596178791212048603\ 4360297/221958305831740075318484533459311859582*c_0101_5^18 - 4222110564811731703605578202248337242752/11097915291587003765924226\ 6729655929791*c_0101_5^17 + 509240961878260700757773718688130037977\ 90/110979152915870037659242266729655929791*c_0101_5^16 - 636471101667853938858090241303564383675495/221958305831740075318484\ 533459311859582*c_0101_5^15 + 1376516527590584661534255990131354207\ 096717/221958305831740075318484533459311859582*c_0101_5^14 - 484066474989263948922799007415850108402396/110979152915870037659242\ 266729655929791*c_0101_5^13 - 5569069094295604339202878375522403649\ 88677/221958305831740075318484533459311859582*c_0101_5^12 + 2105222832948692890646284218832420847867057/22195830583174007531848\ 4533459311859582*c_0101_5^11 - 242599345821708845773192949103222664\ 2976145/221958305831740075318484533459311859582*c_0101_5^10 + 368401719565826734729645952592063911350767/221958305831740075318484\ 533459311859582*c_0101_5^9 + 83355648630299258914985910866886855963\ 2811/110979152915870037659242266729655929791*c_0101_5^8 - 947976544513942755398706838988942048336351/221958305831740075318484\ 533459311859582*c_0101_5^7 - 16588111068512852667779552262415255186\ 855/110979152915870037659242266729655929791*c_0101_5^6 + 99296002049915345553226364130055981531901/2219583058317400753184845\ 33459311859582*c_0101_5^5 - 541859109328839048832273834159435603567\ 55/110979152915870037659242266729655929791*c_0101_5^4 + 55707368929225771568359155996790578028445/2219583058317400753184845\ 33459311859582*c_0101_5^3 - 797292906755589126129141596749329523937\ /221958305831740075318484533459311859582*c_0101_5^2 - 3522776996040196274317712611153663707821/22195830583174007531848453\ 3459311859582*c_0101_5 + 465783728678179732793910443332640639605/22\ 1958305831740075318484533459311859582, c_0101_5^20 + 15*c_0101_5^19 + 39*c_0101_5^18 - 442*c_0101_5^17 + 2725*c_0101_5^16 - 5621*c_0101_5^15 + 3253*c_0101_5^14 + 3355*c_0101_5^13 - 9109*c_0101_5^12 + 9224*c_0101_5^11 + 339*c_0101_5^10 - 8081*c_0101_5^9 + 3213*c_0101_5^8 + 1092*c_0101_5^7 - 594*c_0101_5^6 + 399*c_0101_5^5 - 165*c_0101_5^4 - 51*c_0101_5^3 + 26*c_0101_5^2 + c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB