Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 172725994] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0665 geometric_solution 4.64135993 oriented_manifold CS_known 0.0000000000000004 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 0 0 0 0 0 0 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.659703193211 0.136965933958 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 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 1.563685837624 0.484241001875 3 1 1 3 0132 0132 1023 3201 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 -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.020802201431 0.555280004953 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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.595666383673 0.414616807203 5 5 3 6 1302 1023 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -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.226868211069 0.769530631233 4 4 6 3 1023 2031 0132 0132 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 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226868211069 0.769530631233 6 6 4 5 1302 2031 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812568205135 1.980511346734 ==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_1100_3'], 'c_1100_5' : d['c_1100_3'], 'c_1100_4' : d['c_1100_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_1100_3'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), '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' : d['c_0011_6'], '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_0011_6'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], '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' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0011_4']), '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_6, c_0101_0, c_0101_3, c_1100_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 116063503474608399183210313356709621023459323077879313744396293/415\ 6761403565151333336619678582475608853898994153676447181715*c_1100_3\ ^18 - 5507268695775174352339247856225407349761541047221802796133652\ 42/4156761403565151333336619678582475608853898994153676447181715*c_\ 1100_3^17 + 2604725409167895997590951558990677373489151604396779525\ 427525255/831352280713030266667323935716495121770779798830735289436\ 343*c_1100_3^16 + 2017645739875502343147879062958971180621548640486\ 41929881198625831/4156761403565151333336619678582475608853898994153\ 676447181715*c_1100_3^15 + 1501542937104881626145858430235557973547\ 26896408500951686337259233/8313522807130302666673239357164951217707\ 79798830735289436343*c_1100_3^14 + 1487041801314223169625087515098033454032870511426181587776707553847\ /4156761403565151333336619678582475608853898994153676447181715*c_11\ 00_3^13 - 677626896615412826860046223836203741765006957785537028486\ 698095961/415676140356515133333661967858247560885389899415367644718\ 1715*c_1100_3^12 - 527012496819590397836348656736372545504516973565\ 6039734823046322406/41567614035651513333366196785824756088538989941\ 53676447181715*c_1100_3^11 - 85361549494866157675627136395473694659\ 82744458418435109539494406622/4156761403565151333336619678582475608\ 853898994153676447181715*c_1100_3^10 + 2717787146086022417927743452558385341513705875804394353488639975403\ /4156761403565151333336619678582475608853898994153676447181715*c_11\ 00_3^9 + 3012759475569910294910015802020078860785952946183527066394\ 552806578/831352280713030266667323935716495121770779798830735289436\ 343*c_1100_3^8 - 77386615215770366212015970274532967637331176015758\ 94079894026012066/4156761403565151333336619678582475608853898994153\ 676447181715*c_1100_3^7 - 26913350723296146480976592422223798891362\ 4580358544684777702436745/83135228071303026666732393571649512177077\ 9798830735289436343*c_1100_3^6 + 3303795615301391182674877738995243\ 997328149826251869916828565871546/831352280713030266667323935716495\ 121770779798830735289436343*c_1100_3^5 - 1370806476490159623663642206406337408435477868183700636304892698788\ /831352280713030266667323935716495121770779798830735289436343*c_110\ 0_3^4 - 66146766861421205773251633530015759448805815764219458668402\ 41675147/4156761403565151333336619678582475608853898994153676447181\ 715*c_1100_3^3 - 83661155337325941445989937710741614362140853050301\ 42589806396669/4156761403565151333336619678582475608853898994153676\ 447181715*c_1100_3^2 + 40695478009719107096794816269851413051277717\ 6497712402731685770066/41567614035651513333366196785824756088538989\ 94153676447181715*c_1100_3 + 38947977972972815443159198783058739852\ 115876526898969452211265007/415676140356515133333661967858247560885\ 3898994153676447181715, c_0011_0 - 1, c_0011_1 - 1358005488211737531447340360908433143914261198814566917700/9\ 341036861944160299632853210297697997424492121693654937487*c_1100_3^\ 18 - 6407482698544282939178970554796197549998042261993122281364/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^17 + 152543682273880889901414773254561786111864526018364558330274/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^16 + 2356625428984584348787705652622182686203219380598205926087262/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^15 + 8722670265256497122101141943265152922721019007302020485415662/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^14 + 17184840247050390872488859765519297203311239776742057236954156/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^13 - 8322456625078755190890340555335254129846678415469998792201945/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^12 - 61320000866973814981198083160765702115909082561697882803634821/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^11 - 98343065294727720209436545954936378672828205228162144802469707/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^10 + 33958066309004554237511744233196513280057219575378661281268188/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^9 + 174685106506615116641113477946616676689330143849032204175804831/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^8 - 94733331769074945567574267507557894502330797699931684479277396/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^7 - 11919453684366096500283114672126221941087513515320879080683815/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^6 + 192424924863893627808277306484894126300302917924548558795365998/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^5 - 85103746513242198485451398578552451923957911114573135467962826/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^4 - 73605669363731034532653698173294053331974420439247411351180308/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^3 + 720802329702368030625591559600312071299181539693412243625880/934103\ 6861944160299632853210297697997424492121693654937487*c_1100_3^2 + 4463387037450193372978672038796064054476398617344272585491464/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3 + 435908530208661970484240054796098366666465289334649904842210/934103\ 6861944160299632853210297697997424492121693654937487, c_0011_4 + 1805499059517988925389984172198287314187251209167872979311/9\ 341036861944160299632853210297697997424492121693654937487*c_1100_3^\ 18 + 8536266913171781169963468077601122067845007240597022295036/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^17 - 202731983679156345476684261008542515656916658719514500827102/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^16 - 3135154029679372839230598831856972867391115031743022596211066/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^15 - 11626715836159183600089908057984170134857283335290676231850692/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^14 - 22953045468899236277645991035947315855632440215735958052726602/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^13 + 10865611008487992784949447651342318055664030754348935888922389/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^12 + 81668106908480790508419315799587694364005624690797592927436091/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^11 + 131488609414228577034850671295044283495275096380116299446500331/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^10 - 44047659960433438740284287329531064295643953620257374631154301/93\ 41036861944160299632853210297697997424492121693654937487*c_1100_3^9 - 232877742319063651506978087997398620562644331505779712914510664/9\ 341036861944160299632853210297697997424492121693654937487*c_1100_3^\ 8 + 123930549785268155523100261295604370154132101648423559758188807\ /9341036861944160299632853210297697997424492121693654937487*c_1100_\ 3^7 + 1749954396804806894912110274430292077113322444996554641484086\ 3/9341036861944160299632853210297697997424492121693654937487*c_1100\ _3^6 - 256118881381009127986043390131496529736474418591287439458598\ 330/9341036861944160299632853210297697997424492121693654937487*c_11\ 00_3^5 + 1107926756635924357069506739474470245436548556925369298144\ 43425/9341036861944160299632853210297697997424492121693654937487*c_\ 1100_3^4 + 99447843855909854025146690217495552038033079049036788268\ 859503/9341036861944160299632853210297697997424492121693654937487*c\ _1100_3^3 - 4542265466357873803249527161766790447445664062890204063\ 98033/9341036861944160299632853210297697997424492121693654937487*c_\ 1100_3^2 - 60473367966652882192148687452544133053658869248312206755\ 54020/9341036861944160299632853210297697997424492121693654937487*c_\ 1100_3 - 5933167842759836310528604453990897359694027953348063088091\ 27/9341036861944160299632853210297697997424492121693654937487, c_0011_6 - 1357799268001456344339659964398504489328827935593178721573/9\ 341036861944160299632853210297697997424492121693654937487*c_1100_3^\ 18 - 6402127913117381538793589664395374756727203566937367834799/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^17 + 152539554979131482824299762584694986961531928624055957922292/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^16 + 2355768308640011113809682005272181817363149392677442671352823/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^15 + 8713928887265773111571282391272009423688779025921310813819882/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^14 + 17156852335097388293070648881309313768207440763641692727051068/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^13 - 8367297133558801604812520156870635176479626409357776763607048/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^12 - 61267592003186116289825229381289046812895053242455449782440067/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^11 - 98149946408242244234764053911302685482913279474549043570263918/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^10 + 34196594875966671176178930527412867511382203645962215780949912/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^9 + 174453955181882229788439658455834171863708452596704626579817737/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^8 - 95193665124435151781655960779057229961464034736126375481511591/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^7 - 11401915167857435406460237010993221697620846006075576095726494/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^6 + 192266518777867787963945496530641427169998603256923142057337344/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^5 - 85671825384683625620609495935065813969439214929584210904251937/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^4 - 73098310646373797954097611334773063073207881483458456430148666/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^3 + 774214499966809853357651400984363879920819169337880289909236/934103\ 6861944160299632853210297697997424492121693654937487*c_1100_3^2 + 4416702875201242630452207142068281624580319019508649353647236/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3 + 426212882288270363530561199711067742882093051196011567328492/934103\ 6861944160299632853210297697997424492121693654937487, c_0101_0 + 1338054328651262531098355251341289425243498675993458261046/9\ 341036861944160299632853210297697997424492121693654937487*c_1100_3^\ 18 + 6265330726441705171663193980601811249185016971871053071810/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^17 - 150518179202819284183921106656032893493054229276651757772748/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^16 - 2316560820765293864227003968191627157707776150148912568346694/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^15 - 8512441076284951340349229215749431666661057963866798628996562/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^14 - 16642618440822696103651474762513638845169108518466604340848969/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^13 + 8742809987666457481513252845919422887304891056171021581922520/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^12 + 60005569709945000946911076955663492800804383362559415017212175/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^11 + 94834630433316987076814097055619144957382876005593957720439617/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^10 - 36464030130317403628268446096044730298887807740815467810834233/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^9 - 170256836555464574155613778618815004868421083176756011378391328/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^8 + 99042099754598888680952618896085403561819536155153897520119961/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^7 + 7085755991715380908976268387340787595147978525016413056889197/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^6 - 188893589717115994959899169867696202657210866317537121094466439/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^5 + 90451146788329464574523263255610587477829002150512770250291238/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^4 + 67999325829657596189334131460847229721168141326800910058834882/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^3 - 2181303720249287425506292409018646939504239831662017782897132/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^2 - 4071402985752896689557086896920507048600771552884823698845808/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3 - 357742269953973404155665997442610363800971580289939416631061/934103\ 6861944160299632853210297697997424492121693654937487, c_0101_3 + 1216947575522795107601436245762542730664372290465049320895/9\ 341036861944160299632853210297697997424492121693654937487*c_1100_3^\ 18 + 5741836001315462808215891406291808200685763469521748871568/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^17 - 136699250765160272509198272402182537938952607229813990350080/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^16 - 2111829358791436004712085670695254566042330641673805175802346/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^15 - 7816467638347968817101257233859384396684118412786248517652963/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^14 - 15399134312367037423370624395169782361503564731694707356211943/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^13 + 7459554772402110577924168824022433599938471937664547847381717/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3^12 + 54950919747688351003633394339717964072679783327383666571697354/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^11 + 88124055724228052274411498776650573201112172232773323248920996/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^10 - 30439198151223448032048271903498039616239007722561689018487988/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^9 - 156541631417044896951761954005322281661721066241606932628115687/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^8 + 84904931887084787380070374102944678172234265057345981212425753/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^7 + 10677846489148920161708029724512545625176201158794458016769411/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^6 - 172447089049592990196376959837659389890971402531205008158343434/934\ 1036861944160299632853210297697997424492121693654937487*c_1100_3^5 + 76272986371008977918533872542110380965777454132379230248316491/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^4 + 65965227638709166733421732137795610990251373692457943154224605/9341\ 036861944160299632853210297697997424492121693654937487*c_1100_3^3 - 645893092470954850571580645986694749769470973623980759080355/934103\ 6861944160299632853210297697997424492121693654937487*c_1100_3^2 - 4003745326401635552631273035606984337981527853199271809481313/93410\ 36861944160299632853210297697997424492121693654937487*c_1100_3 - 388155397095541327508987555889275710740608146101193511065857/934103\ 6861944160299632853210297697997424492121693654937487, c_1100_3^19 + 5*c_1100_3^18 - 111*c_1100_3^17 - 1767*c_1100_3^16 - 6912*c_1100_3^15 - 14464*c_1100_3^14 + 2563*c_1100_3^13 + 46879*c_1100_3^12 + 85136*c_1100_3^11 - 4602*c_1100_3^10 - 135666*c_1100_3^9 + 33532*c_1100_3^8 + 28417*c_1100_3^7 - 139235*c_1100_3^6 + 22755*c_1100_3^5 + 71844*c_1100_3^4 + 14732*c_1100_3^3 - 3434*c_1100_3^2 - 1241*c_1100_3 - 89 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB