Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 2715827614] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0201 geometric_solution 4.01479422 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 1 0 -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 2.367531718242 0.106425174100 0 2 2 0 0132 0132 3201 1023 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 1 0 -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 -1.044416326291 0.353985076348 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 0 0 0 -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 -1 0 1 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.218127387627 0.128089501584 4 2 5 2 0132 2310 0132 0132 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 0 0 0 0 0 0 0 1 -1 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.299687964500 1.117688735605 3 5 6 5 0132 3201 0132 2310 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.006041556430 1.718218256838 4 6 4 3 3201 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 -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 0 0 0.006041556430 1.718218256838 5 6 6 4 1023 1230 3012 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 1 -1 0 1 0 -1 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.496001664892 0.297868047954 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_5' : negation(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_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_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_3']), 'c_0011_6' : 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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 4430857258632785423593242253307074888/35711833640602504162395397414\ 7500011*c_0101_3^20 - 17531338815831142194977691598054546954/119039\ 445468675013874651324715833337*c_0101_3^19 + 12212630125955358227461065326431020788/1190394454686750138746513247\ 15833337*c_0101_3^18 - 279814850137166196338607985123879169975/3571\ 18336406025041623953974147500011*c_0101_3^17 - 759475282195703213439080400807332186134/357118336406025041623953974\ 147500011*c_0101_3^16 + 1874104829991049877987105327013165973064/35\ 7118336406025041623953974147500011*c_0101_3^15 + 2998278666972168906674759873544951742994/35711833640602504162395397\ 4147500011*c_0101_3^14 + 400137763748017558905318545549014888187/35\ 7118336406025041623953974147500011*c_0101_3^13 - 724960654075478270268784716389543368018/357118336406025041623953974\ 147500011*c_0101_3^12 - 7210669870112637194806247431391744115482/35\ 7118336406025041623953974147500011*c_0101_3^11 - 8143685528418957476351019836614871476750/35711833640602504162395397\ 4147500011*c_0101_3^10 - 411965211146470276344342373692223567906/35\ 7118336406025041623953974147500011*c_0101_3^9 + 309845680785271716030297564060376579919/396798151562250046248837749\ 05277779*c_0101_3^8 + 7606391459738115868770928750558062504880/3571\ 18336406025041623953974147500011*c_0101_3^7 + 6245348543636498048054104417956120531841/35711833640602504162395397\ 4147500011*c_0101_3^6 + 129540154922123413864929705545126341447/396\ 79815156225004624883774905277779*c_0101_3^5 - 773803500139671703673938934742995442392/357118336406025041623953974\ 147500011*c_0101_3^4 - 252324288599360195278505450443330417708/3967\ 9815156225004624883774905277779*c_0101_3^3 - 1724688767442185984962134863209585990645/35711833640602504162395397\ 4147500011*c_0101_3^2 - 455559868142218193175794179877644670663/357\ 118336406025041623953974147500011*c_0101_3 - 58220247882251513036703701036659720624/3571183364060250416239539741\ 47500011, c_0011_0 - 1, c_0011_3 + 149267528902203326885438901379/50847655148722828531310633768\ 67*c_0101_3^20 + 1679672243698288951522645249375/508476551487228285\ 3131063376867*c_0101_3^19 - 2302358759331183871654933937987/5084765\ 514872282853131063376867*c_0101_3^18 + 10497286574926377124117822344244/5084765514872282853131063376867*c_\ 0101_3^17 + 19652077122511833496451202594119/5084765514872282853131\ 063376867*c_0101_3^16 - 77299111979803921056657193665139/5084765514\ 872282853131063376867*c_0101_3^15 - 57359540262975201159079234973525/5084765514872282853131063376867*c_\ 0101_3^14 + 39772400138479029528154917907819/5084765514872282853131\ 063376867*c_0101_3^13 + 13563776500842123969434868173048/5084765514\ 872282853131063376867*c_0101_3^12 + 215692311704967782041784603456380/5084765514872282853131063376867*c\ _0101_3^11 + 41360558768834839053622061696177/169492183829076095104\ 3687792289*c_0101_3^10 - 103044769136091880645141265583394/50847655\ 14872282853131063376867*c_0101_3^9 - 13679452786422720709619999850529/1694921838290760951043687792289*c_\ 0101_3^8 - 180125281594595932989236402884373/5084765514872282853131\ 063376867*c_0101_3^7 - 62641489304732732714893908048664/50847655148\ 72282853131063376867*c_0101_3^6 + 22716876791163425760447463673416/\ 5084765514872282853131063376867*c_0101_3^5 + 1559960473429852255967691355682/5084765514872282853131063376867*c_0\ 101_3^4 + 52914607283260640447858923931168/508476551487228285313106\ 3376867*c_0101_3^3 + 3990908797994585654802961724726/16949218382907\ 60951043687792289*c_0101_3^2 - 75718702913638046064746398493/169492\ 1838290760951043687792289*c_0101_3 + 2258289617719555294635493300942/5084765514872282853131063376867, c_0011_5 + 57645245226562956832508123708986/967800369664024503045945729\ 397019*c_0101_3^20 + 1842844297474608252281743380441041/29034011089\ 92073509137837188191057*c_0101_3^19 - 1254227656988111640817468210207633/96780036966402450304594572939701\ 9*c_0101_3^18 + 14427256572626973110691086559844415/290340110899207\ 3509137837188191057*c_0101_3^17 + 138108079509892692367744929765485\ 44/2903401108992073509137837188191057*c_0101_3^16 - 32424217469368426809631263174919118/9678003696640245030459457293970\ 19*c_0101_3^15 - 9519074578153097065511314796525504/290340110899207\ 3509137837188191057*c_0101_3^14 + 152836513359983546504501471940928\ 34/967800369664024503045945729397019*c_0101_3^13 - 2848254095703925825080702024713695/29034011089920735091378371881910\ 57*c_0101_3^12 + 268218145456748904758659233824070125/2903401108992\ 073509137837188191057*c_0101_3^11 - 4019555342171951226825772491486718/96780036966402450304594572939701\ 9*c_0101_3^10 - 116322619339171992579703502279431766/29034011089920\ 73509137837188191057*c_0101_3^9 - 150341183290125890461780494409880\ 09/2903401108992073509137837188191057*c_0101_3^8 - 233088913040989885660112428543978088/290340110899207350913783718819\ 1057*c_0101_3^7 + 59387178974305481442208394237353388/2903401108992\ 073509137837188191057*c_0101_3^6 + 8630191711716021854317159911187550/29034011089920735091378371881910\ 57*c_0101_3^5 + 28455111851696667976803699430238374/290340110899207\ 3509137837188191057*c_0101_3^4 + 5662619205811639463810489904984548\ 8/2903401108992073509137837188191057*c_0101_3^3 - 2798750015932689868152607080724545/96780036966402450304594572939701\ 9*c_0101_3^2 + 329232715342846128769389480137071/290340110899207350\ 9137837188191057*c_0101_3 - 86501349967940930855086124209019/290340\ 1108992073509137837188191057, c_0101_0 + 84576143475829545024270973067948/290340110899207350913783718\ 8191057*c_0101_3^20 + 256972181965430829942507334008473/96780036966\ 4024503045945729397019*c_0101_3^19 - 3260813477697810234057304717650376/29034011089920735091378371881910\ 57*c_0101_3^18 + 3181483900230118897348657354962039/967800369664024\ 503045945729397019*c_0101_3^17 - 1184231933910597475987188180973412\ /967800369664024503045945729397019*c_0101_3^16 - 60509655846604938517670396564208593/2903401108992073509137837188191\ 057*c_0101_3^15 + 65353210767148994993450009008255672/2903401108992\ 073509137837188191057*c_0101_3^14 + 45968290160397555012823457571731642/2903401108992073509137837188191\ 057*c_0101_3^13 - 30329688304663950061589611925755561/2903401108992\ 073509137837188191057*c_0101_3^12 + 43462462410158474111399806411553844/9678003696640245030459457293970\ 19*c_0101_3^11 - 68313271440415008938825242011021543/96780036966402\ 4503045945729397019*c_0101_3^10 - 332876429006171692880849295574632\ 34/967800369664024503045945729397019*c_0101_3^9 + 72281344869965631918141798109289438/2903401108992073509137837188191\ 057*c_0101_3^8 - 92759782169908031742495471184408247/29034011089920\ 73509137837188191057*c_0101_3^7 + 198305442614163638724524485578959\ 810/2903401108992073509137837188191057*c_0101_3^6 + 2456239562378926085678977295828004/96780036966402450304594572939701\ 9*c_0101_3^5 - 229404380341982631768934986622472/967800369664024503\ 045945729397019*c_0101_3^4 + 2687068509232536235461072283111697/967\ 800369664024503045945729397019*c_0101_3^3 - 13863533737601985583019361148427882/9678003696640245030459457293970\ 19*c_0101_3^2 - 3286424359572469577419339312081438/2903401108992073\ 509137837188191057*c_0101_3 + 1896039683408901490022947033282867/29\ 03401108992073509137837188191057, c_0101_1 + 46995018505979519242766212039/169492183829076095104368779228\ 9*c_0101_3^20 + 1332728464152942350766268338661/5084765514872282853\ 131063376867*c_0101_3^19 - 1646446131664257957663099434632/16949218\ 38290760951043687792289*c_0101_3^18 + 4917742218890427639144425634736/1694921838290760951043687792289*c_0\ 101_3^17 - 1672535820827732036232408982564/508476551487228285313106\ 3376867*c_0101_3^16 - 32597649509076800258382046821236/169492183829\ 0760951043687792289*c_0101_3^15 + 27028823660501601661193600023921/\ 1694921838290760951043687792289*c_0101_3^14 + 27208729015235444773021354546731/1694921838290760951043687792289*c_\ 0101_3^13 - 33841910898792946675170227209733/5084765514872282853131\ 063376867*c_0101_3^12 + 202932818778367171659160740678211/508476551\ 4872282853131063376867*c_0101_3^11 - 278219826738629583016408223629246/5084765514872282853131063376867*c\ _0101_3^10 - 177104520502376702965049112096215/50847655148722828531\ 31063376867*c_0101_3^9 + 27051972986985574374331103315560/169492183\ 8290760951043687792289*c_0101_3^8 - 128627894434160240267249851516031/5084765514872282853131063376867*c\ _0101_3^7 + 300632406961530235195690727261239/508476551487228285313\ 1063376867*c_0101_3^6 + 8091469473911700853605125440291/16949218382\ 90760951043687792289*c_0101_3^5 + 10130040015335371609691493051265/\ 5084765514872282853131063376867*c_0101_3^4 + 9579854871423011508490217707241/5084765514872282853131063376867*c_0\ 101_3^3 - 74986022271839888940043580656480/508476551487228285313106\ 3376867*c_0101_3^2 - 2355404938128090405982455811770/16949218382907\ 60951043687792289*c_0101_3 + 66112926407451170998975106318/16949218\ 38290760951043687792289, c_0101_2 + 60921636266910390573008263798199/290340110899207350913783718\ 8191057*c_0101_3^20 + 574921821571873517160051884355685/29034011089\ 92073509137837188191057*c_0101_3^19 - 714320776655250800122759397420707/967800369664024503045945729397019\ *c_0101_3^18 + 6406492699972741388885483206482128/29034011089920735\ 09137837188191057*c_0101_3^17 - 926509559948680102082966684760628/2\ 903401108992073509137837188191057*c_0101_3^16 - 14007638156339429092051153746396493/9678003696640245030459457293970\ 19*c_0101_3^15 + 34999005451124347722595784211102173/29034011089920\ 73509137837188191057*c_0101_3^14 + 33742991489840513729423121087620915/2903401108992073509137837188191\ 057*c_0101_3^13 - 3587571810837198967958290204708705/96780036966402\ 4503045945729397019*c_0101_3^12 + 878373961861874866568351949579422\ 57/2903401108992073509137837188191057*c_0101_3^11 - 121816249758155631538366433577611095/290340110899207350913783718819\ 1057*c_0101_3^10 - 70462930972706787406736436881737378/290340110899\ 2073509137837188191057*c_0101_3^9 + 24624678993722948529880979823397291/2903401108992073509137837188191\ 057*c_0101_3^8 - 56410508746129320623594728543730234/29034011089920\ 73509137837188191057*c_0101_3^7 + 125765175902479812693769388753228\ 896/2903401108992073509137837188191057*c_0101_3^6 - 39154147048251912646089977008720/967800369664024503045945729397019*\ c_0101_3^5 + 4430963566037531041377489879821301/9678003696640245030\ 45945729397019*c_0101_3^4 + 864135313172810631242140259016974/96780\ 0369664024503045945729397019*c_0101_3^3 - 8180912132266658564634427794319874/96780036966402450304594572939701\ 9*c_0101_3^2 - 983452493354982607581612569721538/290340110899207350\ 9137837188191057*c_0101_3 - 58548864145266284716837104519799/290340\ 1108992073509137837188191057, c_0101_3^21 + 11*c_0101_3^20 - 18*c_0101_3^19 + 77*c_0101_3^18 + 107*c_0101_3^17 - 528*c_0101_3^16 - 237*c_0101_3^15 + 198*c_0101_3^14 + 45*c_0101_3^13 + 1564*c_0101_3^12 + 467*c_0101_3^11 - 567*c_0101_3^10 - 259*c_0101_3^9 - 1417*c_0101_3^8 - 126*c_0101_3^7 + 82*c_0101_3^6 + 167*c_0101_3^5 + 361*c_0101_3^4 + 52*c_0101_3^3 - 5*c_0101_3^2 - c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB