Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 3229703201] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0565 geometric_solution 4.58705374 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 -2 2 0 0 0 0 0 0 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.396767515939 0.199556322698 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 0 0 0 1 -1 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 1.097915877581 0.197031660381 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 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 -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.930538048449 0.335401375972 2 4 5 5 0132 0321 2310 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 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.323096821590 0.935119486522 6 6 2 3 0132 2310 0132 0321 0 0 0 0 0 0 1 -1 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 -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.323096821590 0.935119486522 6 3 3 6 1230 3201 0132 3012 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 -0.421341073735 0.518447716539 4 5 5 4 0132 3012 1230 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 -0.421341073735 0.518447716539 ==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' : 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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_5'], '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' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], '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_5'], '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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_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' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), '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_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 171977497150959691081835308849/6591303659753008988255441901931*c_01\ 01_3^18 - 24880528686821835592954595261652/659130365975300898825544\ 1901931*c_0101_3^17 + 66166385119794480768714395345917/659130365975\ 3008988255441901931*c_0101_3^16 - 11552080080953343204245902420174/\ 6591303659753008988255441901931*c_0101_3^15 - 605386403491926412044996988542759/6591303659753008988255441901931*c\ _0101_3^14 + 415567204768090200805338730874826/94161480853614414117\ 9348843133*c_0101_3^13 - 1280190060444002540992664514704136/9416148\ 08536144141179348843133*c_0101_3^12 + 9979637576358730175546318366056782/6591303659753008988255441901931*\ c_0101_3^11 - 3949643496035233206094432174336769/659130365975300898\ 8255441901931*c_0101_3^10 - 7956045463130739131035416656151023/6591\ 303659753008988255441901931*c_0101_3^9 - 1037846835097596729114036120412214/6591303659753008988255441901931*\ c_0101_3^8 - 93811024705551876573925302199253/941614808536144141179\ 348843133*c_0101_3^7 + 2518945138765470158043551904478162/659130365\ 9753008988255441901931*c_0101_3^6 - 5786390291322467381376083036284023/6591303659753008988255441901931*\ c_0101_3^5 + 13330043683586627517781606105719541/659130365975300898\ 8255441901931*c_0101_3^4 + 3964773127441727279561304499589139/65913\ 03659753008988255441901931*c_0101_3^3 + 107834219398773446905100436729960/941614808536144141179348843133*c_\ 0101_3^2 - 2436075819576081886009988308133037/659130365975300898825\ 5441901931*c_0101_3 - 2085807177318565265404360118244015/6591303659\ 753008988255441901931, c_0011_0 - 1, c_0011_1 + 4780603789486380532486884/61547474249045306306251967*c_0101_\ 3^18 - 13018139545486540725978626/61547474249045306306251967*c_0101\ _3^17 + 3025283005447223191545267/61547474249045306306251967*c_0101\ _3^16 + 115341825614160750302441495/61547474249045306306251967*c_01\ 01_3^15 - 559782554019882696903286663/61547474249045306306251967*c_\ 0101_3^14 + 1744573129067520751356365083/61547474249045306306251967\ *c_0101_3^13 - 1946163545121477356598998220/61547474249045306306251\ 967*c_0101_3^12 + 710537918218549965813764112/615474742490453063062\ 51967*c_0101_3^11 + 1688323126826064620932814376/615474742490453063\ 06251967*c_0101_3^10 + 72090218606360448180599761/61547474249045306\ 306251967*c_0101_3^9 + 66509021150669037012543597/61547474249045306\ 306251967*c_0101_3^8 - 455046251268221493110049597/6154747424904530\ 6306251967*c_0101_3^7 + 1045585858106543055695249662/61547474249045\ 306306251967*c_0101_3^6 - 2633777474661955159125466093/615474742490\ 45306306251967*c_0101_3^5 - 767516929967839034115149067/61547474249\ 045306306251967*c_0101_3^4 + 55790495779437746976326888/61547474249\ 045306306251967*c_0101_3^3 + 495905748463034849302894572/6154747424\ 9045306306251967*c_0101_3^2 + 470524637100529956864789505/615474742\ 49045306306251967*c_0101_3 + 21711636809801184493760854/61547474249\ 045306306251967, c_0011_4 - 32842539902176776269611413558/941614808536144141179348843133\ *c_0101_3^18 + 87376499655110088150659193321/9416148085361441411793\ 48843133*c_0101_3^17 - 14715001056665644327973996989/94161480853614\ 4141179348843133*c_0101_3^16 - 795498659955092320832850911776/94161\ 4808536144141179348843133*c_0101_3^15 + 3799185443172546841082200092949/941614808536144141179348843133*c_01\ 01_3^14 - 11738067252625164182130208451822/941614808536144141179348\ 843133*c_0101_3^13 + 12555862881781954711635632158110/9416148085361\ 44141179348843133*c_0101_3^12 - 3780177743124419761231394363276/941\ 614808536144141179348843133*c_0101_3^11 - 12476357801201744267198960440723/941614808536144141179348843133*c_0\ 101_3^10 - 296436634671298980615353829256/9416148085361441411793488\ 43133*c_0101_3^9 - 1395648054588287647120865122490/9416148085361441\ 41179348843133*c_0101_3^8 + 3731293524061648008592073472351/9416148\ 08536144141179348843133*c_0101_3^7 - 6836587631473039869822301669291/941614808536144141179348843133*c_01\ 01_3^6 + 16992562053622884990045234108002/9416148085361441411793488\ 43133*c_0101_3^5 + 6832450661593432247671244294377/9416148085361441\ 41179348843133*c_0101_3^4 - 306697248178177914297045220883/94161480\ 8536144141179348843133*c_0101_3^3 - 3576871389210974602969733995467/941614808536144141179348843133*c_01\ 01_3^2 - 4116184865542293637847809792245/94161480853614414117934884\ 3133*c_0101_3 - 394692723657419732094198118509/94161480853614414117\ 9348843133, c_0011_5 + 32842539902176776269611413558/941614808536144141179348843133\ *c_0101_3^18 - 87376499655110088150659193321/9416148085361441411793\ 48843133*c_0101_3^17 + 14715001056665644327973996989/94161480853614\ 4141179348843133*c_0101_3^16 + 795498659955092320832850911776/94161\ 4808536144141179348843133*c_0101_3^15 - 3799185443172546841082200092949/941614808536144141179348843133*c_01\ 01_3^14 + 11738067252625164182130208451822/941614808536144141179348\ 843133*c_0101_3^13 - 12555862881781954711635632158110/9416148085361\ 44141179348843133*c_0101_3^12 + 3780177743124419761231394363276/941\ 614808536144141179348843133*c_0101_3^11 + 12476357801201744267198960440723/941614808536144141179348843133*c_0\ 101_3^10 + 296436634671298980615353829256/9416148085361441411793488\ 43133*c_0101_3^9 + 1395648054588287647120865122490/9416148085361441\ 41179348843133*c_0101_3^8 - 3731293524061648008592073472351/9416148\ 08536144141179348843133*c_0101_3^7 + 6836587631473039869822301669291/941614808536144141179348843133*c_01\ 01_3^6 - 16992562053622884990045234108002/9416148085361441411793488\ 43133*c_0101_3^5 - 6832450661593432247671244294377/9416148085361441\ 41179348843133*c_0101_3^4 + 306697248178177914297045220883/94161480\ 8536144141179348843133*c_0101_3^3 + 3576871389210974602969733995467/941614808536144141179348843133*c_01\ 01_3^2 + 4116184865542293637847809792245/94161480853614414117934884\ 3133*c_0101_3 + 394692723657419732094198118509/94161480853614414117\ 9348843133, c_0101_0 + 165483814686437022577684281348/94161480853614414117934884313\ 3*c_0101_3^18 - 384897703762325212870570106429/94161480853614414117\ 9348843133*c_0101_3^17 - 18063284495999345164255995063/941614808536\ 144141179348843133*c_0101_3^16 + 3928032175740675271071916084849/94\ 1614808536144141179348843133*c_0101_3^15 - 17830547198665000053548632402221/941614808536144141179348843133*c_0\ 101_3^14 + 53986046258406440314318618757849/94161480853614414117934\ 8843133*c_0101_3^13 - 48891857605943024692868211778526/941614808536\ 144141179348843133*c_0101_3^12 + 14088824615969185416566864317126/9\ 41614808536144141179348843133*c_0101_3^11 + 57442784337317837143459418260366/941614808536144141179348843133*c_0\ 101_3^10 + 29289721113735786196791653429952/94161480853614414117934\ 8843133*c_0101_3^9 + 23058735790983455006110418496918/9416148085361\ 44141179348843133*c_0101_3^8 + 1944158399710632497861753168737/9416\ 14808536144141179348843133*c_0101_3^7 + 51295472221499775512970821271210/941614808536144141179348843133*c_0\ 101_3^6 - 61472024541554233037063952193234/941614808536144141179348\ 843133*c_0101_3^5 - 36891476308340320942762893183840/94161480853614\ 4141179348843133*c_0101_3^4 - 15775601021083657809710529581870/9416\ 14808536144141179348843133*c_0101_3^3 + 7489257592973897317164925468713/941614808536144141179348843133*c_01\ 01_3^2 + 11492082114166218154106776228657/9416148085361441411793488\ 43133*c_0101_3 + 860676595663065867950845176154/9416148085361441411\ 79348843133, c_0101_2 + 134338479591364377927897321592/94161480853614414117934884313\ 3*c_0101_3^18 - 346717253972225331233394636365/94161480853614414117\ 9348843133*c_0101_3^17 + 53708795893281735911776235669/941614808536\ 144141179348843133*c_0101_3^16 + 3211258164535221998241152040650/94\ 1614808536144141179348843133*c_0101_3^15 - 15275990036459975168733377335848/941614808536144141179348843133*c_0\ 101_3^14 + 47262441997128596412483822740995/94161480853614414117934\ 8843133*c_0101_3^13 - 49822188538460264314074210327761/941614808536\ 144141179348843133*c_0101_3^12 + 18522085708512203340676261696588/9\ 41614808536144141179348843133*c_0101_3^11 + 45274801146992176934528294408186/941614808536144141179348843133*c_0\ 101_3^10 + 11154146852151026118462608861437/94161480853614414117934\ 8843133*c_0101_3^9 + 9430484037732799761644117569547/94161480853614\ 4141179348843133*c_0101_3^8 - 8146760348852994680346240830168/94161\ 4808536144141179348843133*c_0101_3^7 + 35780277563009890242841123605731/941614808536144141179348843133*c_0\ 101_3^6 - 63716118760168145312069387850505/941614808536144141179348\ 843133*c_0101_3^5 - 23172342691376326154883571107004/94161480853614\ 4141179348843133*c_0101_3^4 - 4790035759249688633373579423849/94161\ 4808536144141179348843133*c_0101_3^3 + 11367984012668010550341197665964/941614808536144141179348843133*c_0\ 101_3^2 + 11533621314028151940262024673138/941614808536144141179348\ 843133*c_0101_3 + 188404406208079301407071713090/941614808536144141\ 179348843133, c_0101_3^19 - 2*c_0101_3^18 - c_0101_3^17 + 24*c_0101_3^16 - 100*c_0101_3^15 + 288*c_0101_3^14 - 175*c_0101_3^13 - 54*c_0101_3^12 + 413*c_0101_3^11 + 276*c_0101_3^10 + 150*c_0101_3^9 + 34*c_0101_3^8 + 284*c_0101_3^7 - 289*c_0101_3^6 - 393*c_0101_3^5 - 128*c_0101_3^4 + 36*c_0101_3^3 + 100*c_0101_3^2 + 34*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB