Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 2244221283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0759 geometric_solution 4.70155763 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.740398582893 0.124934462075 0 2 0 2 0132 0132 1023 1023 0 0 0 0 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 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.637757333985 0.360414917074 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 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 0 0 0 -1 0 0 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 1.918752031119 1.417198965191 2 4 4 5 0132 3201 2310 0132 0 0 0 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 1 0 -1 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.190832181145 0.737872755092 5 3 3 2 1023 3201 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.190832181145 0.737872755092 6 4 3 6 0132 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.349925406880 0.857091835540 5 5 6 6 0132 2310 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 1.936401877050 0.533982220364 ==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' : d['c_0101_2'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], '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' : d['c_0101_1'], '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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 37526513765714939745798263922095138266/4019101121064273724918178187\ 45337131*c_0101_6^21 - 177674178948727179238935983053836998396/4019\ 10112106427372491817818745337131*c_0101_6^20 - 378409232163833007751052869991426851894/133970037368809124163939272\ 915112377*c_0101_6^19 + 1475397340884018989981202586824114698775/13\ 3970037368809124163939272915112377*c_0101_6^18 + 10700507242304522350495065126918222272249/4019101121064273724918178\ 18745337131*c_0101_6^17 - 21868124808902932593500666160530338723931\ /401910112106427372491817818745337131*c_0101_6^16 - 46163943633995184328302104838803000694764/4019101121064273724918178\ 18745337131*c_0101_6^15 + 6893382965024095539519941118369936072427/\ 36537282918766124771983438067757921*c_0101_6^14 + 119555348944451798623683645364793394277394/401910112106427372491817\ 818745337131*c_0101_6^13 - 9683376456928225645731931590960204459014\ 5/401910112106427372491817818745337131*c_0101_6^12 - 126592102936279819653732234973436552019775/401910112106427372491817\ 818745337131*c_0101_6^11 + 1134272287645191399656802842302670654630\ 8/133970037368809124163939272915112377*c_0101_6^10 + 70771176590921833270961816945844895124515/4019101121064273724918178\ 18745337131*c_0101_6^9 + 2522928173334024177472136232985219341010/3\ 6537282918766124771983438067757921*c_0101_6^8 - 49546031578290561969985883345254924585927/4019101121064273724918178\ 18745337131*c_0101_6^7 - 27283059283821236083865526528121930198747/\ 401910112106427372491817818745337131*c_0101_6^6 + 28144779611811495085842007583690647985476/4019101121064273724918178\ 18745337131*c_0101_6^5 + 3732257297877915541229948751955364424883/4\ 01910112106427372491817818745337131*c_0101_6^4 - 6966120980885284823198860631296667556098/40191011210642737249181781\ 8745337131*c_0101_6^3 + 1005065448612344101401388437737486677205/40\ 1910112106427372491817818745337131*c_0101_6^2 + 566996064029797778749515581127011774395/401910112106427372491817818\ 745337131*c_0101_6 - 134163324387716316864272911030850004251/401910\ 112106427372491817818745337131, c_0011_0 - 1, c_0011_4 + 12151086769040535962832105424499668/121790943062553749239944\ 79355919307*c_0101_6^21 - 55665764482005519420716675936979564/12179\ 094306255374923994479355919307*c_0101_6^20 - 375873446860951464052373408169929616/121790943062553749239944793559\ 19307*c_0101_6^19 + 1374369757250629122517353188437421916/121790943\ 06255374923994479355919307*c_0101_6^18 + 3667474692632701640139786757628969980/12179094306255374923994479355\ 919307*c_0101_6^17 - 6489590126859143210186111741892979786/12179094\ 306255374923994479355919307*c_0101_6^16 - 15857122004493699093064808449362212436/1217909430625537492399447935\ 5919307*c_0101_6^15 + 21980525573801566061787225604883889265/121790\ 94306255374923994479355919307*c_0101_6^14 + 41687028541636995143691058674011685450/1217909430625537492399447935\ 5919307*c_0101_6^13 - 24490152989225697321280164248097137072/121790\ 94306255374923994479355919307*c_0101_6^12 - 43626692282376814815620152288431065759/1217909430625537492399447935\ 5919307*c_0101_6^11 + 3772210142148918442934568454699231898/1217909\ 4306255374923994479355919307*c_0101_6^10 + 22088289594832761942050334040047279872/1217909430625537492399447935\ 5919307*c_0101_6^9 + 12394709484590010031310817790757772166/1217909\ 4306255374923994479355919307*c_0101_6^8 - 13352957465598093158168694659803988714/1217909430625537492399447935\ 5919307*c_0101_6^7 - 10439749129023823607577426376718712486/1217909\ 4306255374923994479355919307*c_0101_6^6 + 7192118141091785165418253946122646188/12179094306255374923994479355\ 919307*c_0101_6^5 + 1938956229418863849885213154511166781/121790943\ 06255374923994479355919307*c_0101_6^4 - 1774505609455234866914023067303028771/12179094306255374923994479355\ 919307*c_0101_6^3 + 181007433086930709305264561659847799/1217909430\ 6255374923994479355919307*c_0101_6^2 + 155064256949168782745356054457339089/121790943062553749239944793559\ 19307*c_0101_6 - 28229695356091816446381146465364469/12179094306255\ 374923994479355919307, c_0101_0 - 15473829327219419480781640602830913/121790943062553749239944\ 79355919307*c_0101_6^21 + 77255422643788925069442643874556527/12179\ 094306255374923994479355919307*c_0101_6^20 + 449796031924303121677592460355564523/121790943062553749239944793559\ 19307*c_0101_6^19 - 1948155825599070354062831454710135048/121790943\ 06255374923994479355919307*c_0101_6^18 - 3962059085161750597506944488791302728/12179094306255374923994479355\ 919307*c_0101_6^17 + 10209507638769645698885973101824991184/1217909\ 4306255374923994479355919307*c_0101_6^16 + 16944553152583363263274187191353529889/1217909430625537492399447935\ 5919307*c_0101_6^15 - 36379108741179576823653363511817206155/121790\ 94306255374923994479355919307*c_0101_6^14 - 42274985900059168981075408745565334490/1217909430625537492399447935\ 5919307*c_0101_6^13 + 53246133662025425826382017779739013104/121790\ 94306255374923994479355919307*c_0101_6^12 + 44854683976176414028364688602764105842/1217909430625537492399447935\ 5919307*c_0101_6^11 - 27561383484715286335649795437588636426/121790\ 94306255374923994479355919307*c_0101_6^10 - 28743774993227497677978892827495766087/1217909430625537492399447935\ 5919307*c_0101_6^9 - 4701536238463071322513796338055982229/12179094\ 306255374923994479355919307*c_0101_6^8 + 24718647574656823716331126612561300981/1217909430625537492399447935\ 5919307*c_0101_6^7 + 7093803953816068187528453551047003234/12179094\ 306255374923994479355919307*c_0101_6^6 - 14928118603495579401433758059908986098/1217909430625537492399447935\ 5919307*c_0101_6^5 + 452874070910701676016864146727501725/121790943\ 06255374923994479355919307*c_0101_6^4 + 3501190360712949547464345854944584551/12179094306255374923994479355\ 919307*c_0101_6^3 - 840476654415883963839107679159810622/1217909430\ 6255374923994479355919307*c_0101_6^2 - 245433821537306766940750380078653455/121790943062553749239944793559\ 19307*c_0101_6 + 85813888569390163734775526104454680/12179094306255\ 374923994479355919307, c_0101_1 + 94261755923214808379597586030190408/121790943062553749239944\ 79355919307*c_0101_6^21 - 446689134687214388036086833047953766/1217\ 9094306255374923994479355919307*c_0101_6^20 - 2850829697319300291303991371581570857/12179094306255374923994479355\ 919307*c_0101_6^19 + 11134874244471864413340433284361891009/1217909\ 4306255374923994479355919307*c_0101_6^18 + 26868990211770940097270844740676257406/1217909430625537492399447935\ 5919307*c_0101_6^17 - 55161393981606232423045639435382073027/121790\ 94306255374923994479355919307*c_0101_6^16 - 116113352001599744587567750109944746144/121790943062553749239944793\ 55919307*c_0101_6^15 + 191457186262101249006512112393434069605/1217\ 9094306255374923994479355919307*c_0101_6^14 + 301157688535410473614989940984125585576/121790943062553749239944793\ 55919307*c_0101_6^13 - 246114306178760738042847593919153657664/1217\ 9094306255374923994479355919307*c_0101_6^12 - 321348799244148309212724649470120345842/121790943062553749239944793\ 55919307*c_0101_6^11 + 87957570315744046074203466866743722930/12179\ 094306255374923994479355919307*c_0101_6^10 + 181591336684649005176743849945885182655/121790943062553749239944793\ 55919307*c_0101_6^9 + 69581928862550229259849738650069944772/121790\ 94306255374923994479355919307*c_0101_6^8 - 126253306139343671851827477062085131569/121790943062553749239944793\ 55919307*c_0101_6^7 - 69492136627385614259263872516743253433/121790\ 94306255374923994479355919307*c_0101_6^6 + 71724351996387597324935218665317502703/1217909430625537492399447935\ 5919307*c_0101_6^5 + 10164732163241045406954086560598106292/1217909\ 4306255374923994479355919307*c_0101_6^4 - 17967094755773643233618356089826724317/1217909430625537492399447935\ 5919307*c_0101_6^3 + 2466017880163428341240118608055597184/12179094\ 306255374923994479355919307*c_0101_6^2 + 1529994809741298939211504087893883861/12179094306255374923994479355\ 919307*c_0101_6 - 366874327482723239459534232653366114/121790943062\ 55374923994479355919307, c_0101_2 - 13405740306862337555043674920319162/121790943062553749239944\ 79355919307*c_0101_6^21 + 61090359108082291182875825099248224/12179\ 094306255374923994479355919307*c_0101_6^20 + 415998970014218258775699372198403005/121790943062553749239944793559\ 19307*c_0101_6^19 - 1505561837551423790368418396175859045/121790943\ 06255374923994479355919307*c_0101_6^18 - 4077531525053778622435648158458461816/12179094306255374923994479355\ 919307*c_0101_6^17 + 7045026794634831975998170579701739451/12179094\ 306255374923994479355919307*c_0101_6^16 + 17616283888775841421967824914765871633/1217909430625537492399447935\ 5919307*c_0101_6^15 - 23762681336568356289394353077649871360/121790\ 94306255374923994479355919307*c_0101_6^14 - 46372021109034309709153743804265322674/1217909430625537492399447935\ 5919307*c_0101_6^13 + 25708362296190092018894112532173619356/121790\ 94306255374923994479355919307*c_0101_6^12 + 48279180610204956990374315781279234193/1217909430625537492399447935\ 5919307*c_0101_6^11 - 2955033982306263301289249618151429277/1217909\ 4306255374923994479355919307*c_0101_6^10 - 24126836977942785299692826246725704247/1217909430625537492399447935\ 5919307*c_0101_6^9 - 14063173418772809181924564283921547314/1217909\ 4306255374923994479355919307*c_0101_6^8 + 14367978566533408837792627787641955063/1217909430625537492399447935\ 5919307*c_0101_6^7 + 11686443479164687366388883450678816897/1217909\ 4306255374923994479355919307*c_0101_6^6 - 7609720974328632983917572556166888929/12179094306255374923994479355\ 919307*c_0101_6^5 - 2235237716634952123526975017364769259/121790943\ 06255374923994479355919307*c_0101_6^4 + 1905414597573586995729944277554430634/12179094306255374923994479355\ 919307*c_0101_6^3 - 137320438321639939439895930877723185/1217909430\ 6255374923994479355919307*c_0101_6^2 - 180613901935248157479541286049088936/121790943062553749239944793559\ 19307*c_0101_6 + 29744417402854949920622477286480561/12179094306255\ 374923994479355919307, c_0101_3 - 3149193594384734504959572311354477/1217909430625537492399447\ 9355919307*c_0101_6^21 + 14225220416610243828545179206132038/121790\ 94306255374923994479355919307*c_0101_6^20 + 98177896522833721958452808752182859/1217909430625537492399447935591\ 9307*c_0101_6^19 - 349518699982426968697266306699676561/12179094306\ 255374923994479355919307*c_0101_6^18 - 966977982169243460537508178679308690/121790943062553749239944793559\ 19307*c_0101_6^17 + 1612017964576878887488341266245796633/121790943\ 06255374923994479355919307*c_0101_6^16 + 4136315502165361489628264773183918982/12179094306255374923994479355\ 919307*c_0101_6^15 - 5435471934564407070780194195485332112/12179094\ 306255374923994479355919307*c_0101_6^14 - 10822799988674649740269335985777236459/1217909430625537492399447935\ 5919307*c_0101_6^13 + 5725030626901470263547555941275072924/1217909\ 4306255374923994479355919307*c_0101_6^12 + 10726031268383480714582320700281192144/1217909430625537492399447935\ 5919307*c_0101_6^11 - 828904293071443179324933456572165424/12179094\ 306255374923994479355919307*c_0101_6^10 - 4939861208503104344654084544974978971/12179094306255374923994479355\ 919307*c_0101_6^9 - 2895820451817732362259959040691235719/121790943\ 06255374923994479355919307*c_0101_6^8 + 3178634271024375340279227659699772953/12179094306255374923994479355\ 919307*c_0101_6^7 + 2520091840286906269728152007004952767/121790943\ 06255374923994479355919307*c_0101_6^6 - 1815653787525162861142139828510077554/12179094306255374923994479355\ 919307*c_0101_6^5 - 289940785724515846284281660196714942/1217909430\ 6255374923994479355919307*c_0101_6^4 + 503631321376618872143625325539842656/121790943062553749239944793559\ 19307*c_0101_6^3 - 102140241134161423727964771285909756/12179094306\ 255374923994479355919307*c_0101_6^2 - 40103738455646027432465375281503682/1217909430625537492399447935591\ 9307*c_0101_6 + 5191154309629847045486627891364279/1217909430625537\ 4923994479355919307, c_0101_6^22 - 5*c_0101_6^21 - 29*c_0101_6^20 + 126*c_0101_6^19 + 254*c_0101_6^18 - 659*c_0101_6^17 - 1077*c_0101_6^16 + 2350*c_0101_6^15 + 2656*c_0101_6^14 - 3436*c_0101_6^13 - 2705*c_0101_6^12 + 1815*c_0101_6^11 + 1662*c_0101_6^10 + 234*c_0101_6^9 - 1525*c_0101_6^8 - 380*c_0101_6^7 + 949*c_0101_6^6 - 96*c_0101_6^5 - 216*c_0101_6^4 + 76*c_0101_6^3 + 9*c_0101_6^2 - 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB