Magma V2.19-8 Tue Aug 20 2013 16:18:00 on localhost [Seed = 1292685699] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2234 geometric_solution 5.66966435 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 0 0 0 0 0 -1 1 0 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 1 -1 -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.854064144467 1.640748911915 0 4 5 2 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 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 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.583548794207 0.653168034353 4 0 1 5 2310 0132 2031 0132 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 -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.583548794207 0.653168034353 3 0 3 0 2031 2310 1302 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 1 0 -1 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.751589903901 0.670061288319 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 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 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.309977928233 0.666159099328 6 6 2 1 0132 3201 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 -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.128298552812 0.585312816493 5 6 5 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.006526842687 0.809796314998 ==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' : 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_0011_5'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_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' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 2040514177186386913/169484084622401942*c_0101_4^34 - 30694349462215039868/84742042311200971*c_0101_4^33 - 23877525548703268257/169484084622401942*c_0101_4^32 + 1435481454824533639897/169484084622401942*c_0101_4^31 + 146343332259501303323/169484084622401942*c_0101_4^30 - 15349343230722169089613/169484084622401942*c_0101_4^29 - 672558756047818791829/84742042311200971*c_0101_4^28 + 49303826848987645778380/84742042311200971*c_0101_4^27 + 661343295423831774785/8920214980126418*c_0101_4^26 - 210574647345549148673263/84742042311200971*c_0101_4^25 - 74282629842216733419171/169484084622401942*c_0101_4^24 + 1253846735279362845985811/169484084622401942*c_0101_4^23 + 277417574509541615241233/169484084622401942*c_0101_4^22 - 70137880619914865071556/4460107490063209*c_0101_4^21 - 344935109000072897275247/84742042311200971*c_0101_4^20 + 2047972168052555552432724/84742042311200971*c_0101_4^19 + 1188457331827970842759653/169484084622401942*c_0101_4^18 - 2292286847418317928691157/84742042311200971*c_0101_4^17 - 1463000159062903287189933/169484084622401942*c_0101_4^16 + 3755928154733112900259591/169484084622401942*c_0101_4^15 + 1330634079879208066507775/169484084622401942*c_0101_4^14 - 2247319168440937260197665/169484084622401942*c_0101_4^13 - 466975604631005125252212/84742042311200971*c_0101_4^12 + 950512561757064676686225/169484084622401942*c_0101_4^11 + 262707170134488611072772/84742042311200971*c_0101_4^10 - 245349023910227214900183/169484084622401942*c_0101_4^9 - 232433262234677282418771/169484084622401942*c_0101_4^8 + 4506695926639923625199/84742042311200971*c_0101_4^7 + 72554633143170860568641/169484084622401942*c_0101_4^6 + 19977367580918859914993/169484084622401942*c_0101_4^5 - 12720477965152132384151/169484084622401942*c_0101_4^4 - 3639093606254573246548/84742042311200971*c_0101_4^3 + 457126910234664306937/169484084622401942*c_0101_4^2 + 903747595391543211109/169484084622401942*c_0101_4 + 133315408600225198743/169484084622401942, c_0011_0 - 1, c_0011_3 - 854897854767069477/84742042311200971*c_0101_4^34 - 2902401769253709775/169484084622401942*c_0101_4^33 + 20121329123224042095/84742042311200971*c_0101_4^32 + 36800279043782952050/84742042311200971*c_0101_4^31 - 211158753624382522773/84742042311200971*c_0101_4^30 - 420324619782443479294/84742042311200971*c_0101_4^29 + 1289464101888402093569/84742042311200971*c_0101_4^28 + 5666166472356005778061/169484084622401942*c_0101_4^27 - 529123116850237137597/8920214980126418*c_0101_4^26 - 24955913685570056632009/169484084622401942*c_0101_4^25 + 25808684525171485491403/169484084622401942*c_0101_4^24 + 75467105478098525204083/169484084622401942*c_0101_4^23 - 21547061722964974040796/84742042311200971*c_0101_4^22 - 8468597105092047911937/8920214980126418*c_0101_4^21 + 21394002555157175494279/84742042311200971*c_0101_4^20 + 245664900457400760696219/169484084622401942*c_0101_4^19 - 14395334966977138617147/169484084622401942*c_0101_4^18 - 271628499816275375630763/169484084622401942*c_0101_4^17 - 23682687331500413311169/169484084622401942*c_0101_4^16 + 219732529728526660297211/169484084622401942*c_0101_4^15 + 22005693347053106752971/84742042311200971*c_0101_4^14 - 130611077888561396968325/169484084622401942*c_0101_4^13 - 40993487953973035842279/169484084622401942*c_0101_4^12 + 55555199710909648901479/169484084622401942*c_0101_4^11 + 26694843121980428475119/169484084622401942*c_0101_4^10 - 14730456297280633095479/169484084622401942*c_0101_4^9 - 12606330289518341394831/169484084622401942*c_0101_4^8 + 402031208846647563347/84742042311200971*c_0101_4^7 + 1985104076328420598166/84742042311200971*c_0101_4^6 + 1037879163987325356363/169484084622401942*c_0101_4^5 - 673091651618989353841/169484084622401942*c_0101_4^4 - 189125401326177093094/84742042311200971*c_0101_4^3 + 10169990449495792793/84742042311200971*c_0101_4^2 + 44594403472243546533/169484084622401942*c_0101_4 + 6545575450687727145/169484084622401942, c_0011_5 - 1473564328819359443/169484084622401942*c_0101_4^34 - 396013146557340025/169484084622401942*c_0101_4^33 + 17558893706991861873/84742042311200971*c_0101_4^32 + 7037847963452555452/84742042311200971*c_0101_4^31 - 190163006003459655412/84742042311200971*c_0101_4^30 - 99791464488850116559/84742042311200971*c_0101_4^29 + 2456725152887509964019/169484084622401942*c_0101_4^28 + 780023064559129481504/84742042311200971*c_0101_4^27 - 275522316731292154728/4460107490063209*c_0101_4^26 - 3827921931244435841850/84742042311200971*c_0101_4^25 + 15424566083180676190478/84742042311200971*c_0101_4^24 + 25188055801254938103903/169484084622401942*c_0101_4^23 - 64274256394544173483253/169484084622401942*c_0101_4^22 - 3031999082626746639749/8920214980126418*c_0101_4^21 + 95592913656405002079963/169484084622401942*c_0101_4^20 + 46791822727490183109319/84742042311200971*c_0101_4^19 - 50811462096512739979552/84742042311200971*c_0101_4^18 - 54824303421756585705109/84742042311200971*c_0101_4^17 + 38312336188598450391246/84742042311200971*c_0101_4^16 + 94099158275643259323509/169484084622401942*c_0101_4^15 - 39442723349062659193275/169484084622401942*c_0101_4^14 - 30106103844198861829265/84742042311200971*c_0101_4^13 + 5642856722543031377465/84742042311200971*c_0101_4^12 + 14490570918091955453914/84742042311200971*c_0101_4^11 + 674133967777971632863/84742042311200971*c_0101_4^10 - 5040222937164622867609/84742042311200971*c_0101_4^9 - 3298344889579873173607/169484084622401942*c_0101_4^8 + 1050000159768376175003/84742042311200971*c_0101_4^7 + 1655404014827996470517/169484084622401942*c_0101_4^6 - 19626123511716801521/84742042311200971*c_0101_4^5 - 391880088756655646941/169484084622401942*c_0101_4^4 - 48705305232248203793/84742042311200971*c_0101_4^3 + 31265557042365862307/169484084622401942*c_0101_4^2 + 8438186217989747812/84742042311200971*c_0101_4 + 1878420764725418619/169484084622401942, c_0101_0 - 1086889976057942169/84742042311200971*c_0101_4^34 - 527372538145151919/169484084622401942*c_0101_4^33 + 51379433496295679827/169484084622401942*c_0101_4^32 + 18923888649028253021/169484084622401942*c_0101_4^31 - 551375915704876156125/169484084622401942*c_0101_4^30 - 267305755304716366349/169484084622401942*c_0101_4^29 + 3525866187943205000593/169484084622401942*c_0101_4^28 + 1032332681017777690842/84742042311200971*c_0101_4^27 - 782221371980441248773/8920214980126418*c_0101_4^26 - 4973791280764157682220/84742042311200971*c_0101_4^25 + 43289862600326280401279/169484084622401942*c_0101_4^24 + 15969301181955093522756/84742042311200971*c_0101_4^23 - 44597993948536721009990/84742042311200971*c_0101_4^22 - 3730219574381286554393/8920214980126418*c_0101_4^21 + 131495689021924531165903/169484084622401942*c_0101_4^20 + 55573610564274749197240/84742042311200971*c_0101_4^19 - 139396943533363877134423/169484084622401942*c_0101_4^18 - 62672411849394518867672/84742042311200971*c_0101_4^17 + 106113315411250048213851/169484084622401942*c_0101_4^16 + 51826503654762957806912/84742042311200971*c_0101_4^15 - 28304073825487772386777/84742042311200971*c_0101_4^14 - 64347059803029848020003/169484084622401942*c_0101_4^13 + 9261718668569260931597/84742042311200971*c_0101_4^12 + 30413874496246631542185/169484084622401942*c_0101_4^11 - 360641805535365490033/84742042311200971*c_0101_4^10 - 10574728083156330096225/169484084622401942*c_0101_4^9 - 1449292298929872871502/84742042311200971*c_0101_4^8 + 1148956509486526878136/84742042311200971*c_0101_4^7 + 786323869210628460224/84742042311200971*c_0101_4^6 - 120047881903739691755/169484084622401942*c_0101_4^5 - 184664797390426034649/84742042311200971*c_0101_4^4 - 35787162112592485863/84742042311200971*c_0101_4^3 + 14621355756029739755/84742042311200971*c_0101_4^2 + 12627311399448617051/169484084622401942*c_0101_4 + 747904320481790854/84742042311200971, c_0101_1 + 986514430443327199/169484084622401942*c_0101_4^34 + 461308902145148412/84742042311200971*c_0101_4^33 - 11608602219170838748/84742042311200971*c_0101_4^32 - 12485519072246176417/84742042311200971*c_0101_4^31 + 122935393074031542688/84742042311200971*c_0101_4^30 + 150078032601693375092/84742042311200971*c_0101_4^29 - 1533031875170019922037/169484084622401942*c_0101_4^28 - 2104897263954118089301/169484084622401942*c_0101_4^27 + 326285118944947977589/8920214980126418*c_0101_4^26 + 9567597161643159402745/169484084622401942*c_0101_4^25 - 16920748423942875044847/169484084622401942*c_0101_4^24 - 14851794506996589562501/84742042311200971*c_0101_4^23 + 31466184708588267706765/169484084622401942*c_0101_4^22 + 1705915904189114071072/4460107490063209*c_0101_4^21 - 39136045125169064424655/169484084622401942*c_0101_4^20 - 101169522239246471359743/169484084622401942*c_0101_4^19 + 30220392415346844409701/169484084622401942*c_0101_4^18 + 114318171971488319444995/169484084622401942*c_0101_4^17 - 9939674955030513884913/169484084622401942*c_0101_4^16 - 47302373985907327851500/84742042311200971*c_0101_4^15 - 6764515338388229227433/169484084622401942*c_0101_4^14 + 57777033943023268561335/169484084622401942*c_0101_4^13 + 12412274523712758737613/169484084622401942*c_0101_4^12 - 25601592990588340278967/169484084622401942*c_0101_4^11 - 10050753899171953104081/169484084622401942*c_0101_4^10 + 7388378214734977637059/169484084622401942*c_0101_4^9 + 2659254933203706798341/84742042311200971*c_0101_4^8 - 363768356075388593202/84742042311200971*c_0101_4^7 - 1806549028621033840035/169484084622401942*c_0101_4^6 - 384893886416044265897/169484084622401942*c_0101_4^5 + 164278035811440053033/84742042311200971*c_0101_4^4 + 83153783680726503193/84742042311200971*c_0101_4^3 - 12353602469296217921/169484084622401942*c_0101_4^2 - 21060709609843995879/169484084622401942*c_0101_4 - 1632940920514291552/84742042311200971, c_0101_2 + c_0101_4^2 - 1, c_0101_4^35 - 24*c_0101_4^33 - 3*c_0101_4^32 + 263*c_0101_4^31 + 63*c_0101_4^30 - 1730*c_0101_4^29 - 582*c_0101_4^28 + 7572*c_0101_4^27 + 3131*c_0101_4^26 - 23180*c_0101_4^25 - 10934*c_0101_4^24 + 50992*c_0101_4^23 + 26186*c_0101_4^22 - 81915*c_0101_4^21 - 44448*c_0101_4^20 + 97148*c_0101_4^19 + 54815*c_0101_4^18 - 85700*c_0101_4^17 - 50354*c_0101_4^16 + 56196*c_0101_4^15 + 35463*c_0101_4^14 - 26643*c_0101_4^13 - 19670*c_0101_4^12 + 8139*c_0101_4^11 + 8626*c_0101_4^10 - 776*c_0101_4^9 - 2853*c_0101_4^8 - 597*c_0101_4^7 + 627*c_0101_4^6 + 318*c_0101_4^5 - 65*c_0101_4^4 - 69*c_0101_4^3 - 3*c_0101_4^2 + 6*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB