Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 4240269504] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0197 geometric_solution 4.01219696 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.541766422838 0.676023376393 0 3 3 0 0132 0132 1023 3201 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 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 1.307533117846 0.875676434827 2 0 2 0 2031 2310 1302 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.821698610694 0.139523115438 4 1 1 5 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 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.147678397501 0.171504560184 3 5 6 5 0132 2310 0132 3201 0 0 0 0 0 -1 1 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 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.015920666801 1.731197943857 6 4 3 4 0132 2310 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.015920666801 1.731197943857 5 6 6 4 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.489394974981 0.289291662528 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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' : 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' : negation(d['1']), 's_1_6' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 16676610153509641146328795358531/576568979695082862923816147920*c_0\ 101_4^14 + 222906231643353208517299456523887/5765689796950828629238\ 16147920*c_0101_4^13 - 516764500378333118444133938088777/2882844898\ 47541431461908073960*c_0101_4^12 + 688215049690579286634259373536157/288284489847541431461908073960*c_\ 0101_4^11 + 1820490003973473554664913641528491/28828448984754143146\ 1908073960*c_0101_4^10 - 6697180065038817356246876726173581/2882844\ 89847541431461908073960*c_0101_4^9 + 4727103938467009700719506841268147/288284489847541431461908073960*c\ _0101_4^8 + 3990305844713226627187050411478969/14414224492377071573\ 0954036980*c_0101_4^7 - 27695609561759882575168354760197701/5765689\ 79695082862923816147920*c_0101_4^6 + 3728062247226510468247828740020719/576568979695082862923816147920*c\ _0101_4^5 + 2297317484590817596152530382742479/72071122461885357865\ 477018490*c_0101_4^4 - 1330396102762242723513123043018179/720711224\ 61885357865477018490*c_0101_4^3 - 260030844765364039216905326090505\ 3/576568979695082862923816147920*c_0101_4^2 + 207577891186455541391139318033047/36035561230942678932738509245*c_0\ 101_4 - 436528497472376610772932999617927/5765689796950828629238161\ 47920, c_0011_0 - 1, c_0011_2 + 58210693665358975635279/197017912200009179261029*c_0101_4^14 - 3077184931529898291673727/788071648800036717044116*c_0101_4^13 + 3510870796832594701577724/197017912200009179261029*c_0101_4^12 - 9025340829733202751275777/394035824400018358522058*c_0101_4^11 - 12442607595421583109229523/197017912200009179261029*c_0101_4^10 + 88582693919472042895291253/394035824400018358522058*c_0101_4^9 - 31240305375680529556346665/197017912200009179261029*c_0101_4^8 - 100094954181161519081133221/394035824400018358522058*c_0101_4^7 + 179515267466877251429155447/394035824400018358522058*c_0101_4^6 - 72821142727376609706607879/788071648800036717044116*c_0101_4^5 - 55958439258864570101338449/197017912200009179261029*c_0101_4^4 + 38800742735179424392155829/197017912200009179261029*c_0101_4^3 + 5032391372406765492580510/197017912200009179261029*c_0101_4^2 - 47643094860105914006880225/788071648800036717044116*c_0101_4 + 7541512289079068017285911/788071648800036717044116, c_0011_5 - 209068876183030222433197453/494908995446423058303704848*c_01\ 01_4^14 + 2777549697421800951651047653/494908995446423058303704848*\ c_0101_4^13 - 6364485618378198251613911183/247454497723211529151852\ 424*c_0101_4^12 + 8088330817225869304629388831/24745449772321152915\ 1852424*c_0101_4^11 + 23627768282635188937116545389/247454497723211\ 529151852424*c_0101_4^10 - 82446608123046567080443439575/2474544977\ 23211529151852424*c_0101_4^9 + 52680149859528406550786605557/247454\ 497723211529151852424*c_0101_4^8 + 53128052800879991509081403921/123727248861605764575926212*c_0101_4^\ 7 - 338249836804185201454674641939/494908995446423058303704848*c_01\ 01_4^6 + 22925413368782562787343767989/494908995446423058303704848*\ c_0101_4^5 + 30083777853772428951203099035/618636244308028822879631\ 06*c_0101_4^4 - 15677818322702242251233818939/618636244308028822879\ 63106*c_0101_4^3 - 40116318975847817095525351875/494908995446423058\ 303704848*c_0101_4^2 + 10513254315323867799722705119/12372724886160\ 5764575926212*c_0101_4 - 4797449252652681694318969165/4949089954464\ 23058303704848, c_0101_0 + 20986430158330891224773209/247454497723211529151852424*c_010\ 1_4^14 - 285785549728314304885308235/247454497723211529151852424*c_\ 0101_4^13 + 681653379373261861341389783/123727248861605764575926212\ *c_0101_4^12 - 982750056821142673514021765/123727248861605764575926\ 212*c_0101_4^11 - 2247226869572106250993650077/12372724886160576457\ 5926212*c_0101_4^10 + 9047287154257906596018179501/1237272488616057\ 64575926212*c_0101_4^9 - 7007417661852964747616527845/1237272488616\ 05764575926212*c_0101_4^8 - 2576066057187943330531187372/3093181221\ 5401441143981553*c_0101_4^7 + 37934681729437224315276570459/2474544\ 97723211529151852424*c_0101_4^6 - 5419174209292563868770227571/2474\ 54497723211529151852424*c_0101_4^5 - 2974682032876293688052954403/30931812215401441143981553*c_0101_4^4 + 1567409710406640158581280238/30931812215401441143981553*c_0101_4^3 + 3412937981619021183948338239/247454497723211529151852424*c_0101_4^2 - 1468712235586102469559148545/123727248861605764575926212*c_0101_4 + 424800952626273153995547475/247454497723211529151852424, c_0101_1 - 528722074144498496762027/3152286595200146868176464*c_0101_4^\ 14 + 7120870023170439086358831/3152286595200146868176464*c_0101_4^1\ 3 - 16720721988016156272271833/1576143297600073434088232*c_0101_4^1\ 2 + 23177501008007606631789677/1576143297600073434088232*c_0101_4^1\ 1 + 57008358387409569096964931/1576143297600073434088232*c_0101_4^1\ 0 - 220613260548735185291923565/1576143297600073434088232*c_0101_4^\ 9 + 167393365024581983030687643/1576143297600073434088232*c_0101_4^\ 8 + 128595078048591563882132217/788071648800036717044116*c_0101_4^7 - 967334080084696639644968029/3152286595200146868176464*c_0101_4^6 + 177981891527363007714375279/3152286595200146868176464*c_0101_4^5 + 80986829946807475350007225/394035824400018358522058*c_0101_4^4 - 53164057088783241657812919/394035824400018358522058*c_0101_4^3 - 80930902728593781196379237/3152286595200146868176464*c_0101_4^2 + 17497735220006017007469207/394035824400018358522058*c_0101_4 - 22503956625682247881679895/3152286595200146868176464, c_0101_3 - 20855557153868161356651129/61863624430802882287963106*c_0101\ _4^14 + 556405515097344061663918051/123727248861605764575926212*c_0\ 101_4^13 - 641861747477371073702806432/30931812215401441143981553*c\ _0101_4^12 + 1669462789568066696764901727/6186362443080288228796310\ 6*c_0101_4^11 + 2339145946311445217550089677/3093181221540144114398\ 1553*c_0101_4^10 - 16736469778108202489469223559/618636244308028822\ 87963106*c_0101_4^9 + 5567036257338452239889982649/3093181221540144\ 1143981553*c_0101_4^8 + 21203550883479522097328673649/6186362443080\ 2882287963106*c_0101_4^7 - 17442571485732552231111466998/3093181221\ 5401441143981553*c_0101_4^6 + 6141190601208098675693551939/12372724\ 8861605764575926212*c_0101_4^5 + 12301633894889210941037739534/3093\ 1812215401441143981553*c_0101_4^4 - 6643709440496414623541272430/30931812215401441143981553*c_0101_4^3 - 4031111863068517212005413305/61863624430802882287963106*c_0101_4^2 + 8878840305261840830270283387/123727248861605764575926212*c_0101_4 - 992981640771485140389207895/123727248861605764575926212, c_0101_4^15 - 138/11*c_0101_4^14 + 51*c_0101_4^13 - 348/11*c_0101_4^12 - 3148/11*c_0101_4^11 + 624*c_0101_4^10 + 1024/11*c_0101_4^9 - 15662/11*c_0101_4^8 + 9617/11*c_0101_4^7 + 12580/11*c_0101_4^6 - 14153/11*c_0101_4^5 - 2976/11*c_0101_4^4 + 7501/11*c_0101_4^3 - 765/11*c_0101_4^2 - 1521/11*c_0101_4 + 233/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB