Magma V2.19-8 Tue Aug 20 2013 16:19:12 on localhost [Seed = 644332322] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3324 geometric_solution 6.45678617 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 -1 0 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.973386413343 1.095182247196 0 3 4 0 0132 0132 0132 3201 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 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.471732964068 0.280410693362 0 4 3 0 3201 1023 1023 0132 0 0 0 0 0 0 -1 1 -1 0 0 1 -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 -1 0 0 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408395613701 0.833464448812 5 1 2 6 0132 0132 1023 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.731448637698 0.927991007354 2 6 5 1 1023 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -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.731448637698 0.927991007354 3 5 4 5 0132 2310 1023 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 0.365416148501 1.220487664777 6 4 3 6 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575651529867 0.485866565592 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), '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_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 2615571591516540949785515242004275407/64803811268908945216383562275\ 7494685696*c_1001_1^19 - 25018403162568553621402851896842165453/453\ 6266788823626165146849359302462799872*c_1001_1^17 - 54481896824689368989336906246467424443/5670333486029532706433561699\ 12807849984*c_1001_1^15 - 952357530686066282441817515094359397259/2\ 268133394411813082573424679651231399936*c_1001_1^13 + 233651274769035404668090733015461262817/453626678882362616514684935\ 9302462799872*c_1001_1^11 - 230108655127757464272963526079966033894\ 13/4536266788823626165146849359302462799872*c_1001_1^9 - 166931017449870268819900098272073513601519/453626678882362616514684\ 9359302462799872*c_1001_1^7 - 2501098738200217279966120234209031717\ 9657/141758337150738317660839042478201962496*c_1001_1^5 - 8180082734749346953730620255278598217947/17719792143842289707604880\ 309775245312*c_1001_1^3 - 482676609795420531330270863515659141773/1\ 107487008990143106725305019360952832*c_1001_1, c_0011_0 - 1, c_0011_2 - 8813229998176858415442798885431/1265699438845877836257491450\ 698231808*c_1001_1^18 - 6016057288869510604107889699421/12656994388\ 45877836257491450698231808*c_1001_1^16 + 39881064483294366169262516379995/1582124298557347295321864313372789\ 76*c_1001_1^14 + 481236917498943858963732980089301/6328497194229389\ 18128745725349115904*c_1001_1^12 + 598393748202122436595493903009953/126569943884587783625749145069823\ 1808*c_1001_1^10 + 7212138180099451165786773204713227/1265699438845\ 877836257491450698231808*c_1001_1^8 + 120794565236231902929333141310290273/126569943884587783625749145069\ 8231808*c_1001_1^6 + 25715401272503132082407843356808343/7910621492\ 7867364766093215668639488*c_1001_1^4 + 2117733431408864707882584449188115/24720692164958551489404129896449\ 84*c_1001_1^2 + 115687957333853974235402712908230/30900865206198189\ 3617551623705623, c_0101_0 + 119399856360447925273387291411097/12656994388458778362574914\ 50698231808*c_1001_1^19 - 157147545183738479155132318932505/1265699\ 438845877836257491450698231808*c_1001_1^17 - 714094319875565414804863816776067/316424859711469459064372862674557\ 952*c_1001_1^15 - 6266897368061838771869284914730795/63284971942293\ 8918128745725349115904*c_1001_1^13 + 729479797731041919331362588249209/126569943884587783625749145069823\ 1808*c_1001_1^11 - 148464139871155608681642686890927697/12656994388\ 45877836257491450698231808*c_1001_1^9 - 1095436335036043836720531546401358227/12656994388458778362574914506\ 98231808*c_1001_1^7 - 1312711752094104076071542112207398423/3164248\ 59711469459064372862674557952*c_1001_1^5 - 219300608885532442577424334308634529/197765537319668411915233039171\ 59872*c_1001_1^3 - 13466695852308463138625768523717293/123603460824\ 7927574470206494822492*c_1001_1, c_0101_1 + 339511395543031433586928528744307/50627977553835113450299658\ 02792927232*c_1001_1^19 - 249369762930949865009740747674719/5062797\ 755383511345029965802792927232*c_1001_1^17 - 1089444845613045592656916288565557/63284971942293891812874572534911\ 5904*c_1001_1^15 - 19669005730446152400482872019782025/253139887769\ 1755672514982901396463616*c_1001_1^13 - 12457792044397038546861226357594597/5062797755383511345029965802792\ 927232*c_1001_1^11 - 395179982339090418867002038603896295/506279775\ 5383511345029965802792927232*c_1001_1^9 - 3439728956466352809567632209016189557/50627977553835113450299658027\ 92927232*c_1001_1^7 - 15918149776994792361076922545251005/494413843\ 2991710297880825979289968*c_1001_1^5 - 89130053785106262917631561824771229/9888276865983420595761651958579\ 936*c_1001_1^3 - 2912289622650479391666918665812523/309008652061981\ 893617551623705623*c_1001_1, c_0101_3 + 140293680969725261350333676845445/25313988776917556725149829\ 01396463616*c_1001_1^19 - 113426469443760908187338965620497/2531398\ 877691755672514982901396463616*c_1001_1^17 - 114333042733796063817285543975757/791062149278673647660932156686394\ 88*c_1001_1^15 - 7874002740613319867620484365187391/126569943884587\ 7836257491450698231808*c_1001_1^13 - 2877527366707500171389077576801875/25313988776917556725149829013964\ 63616*c_1001_1^11 - 159158269763751945054183170396087305/2531398877\ 691755672514982901396463616*c_1001_1^9 - 1404988502258122988073450541623149979/25313988776917556725149829013\ 96463616*c_1001_1^7 - 816649193204860922711999318430654347/31642485\ 9711469459064372862674557952*c_1001_1^5 - 4445529657414377088201141429805037/61801730412396378723510324741124\ 6*c_1001_1^3 - 2187556059333171535267168530745199/30900865206198189\ 3617551623705623*c_1001_1, c_0101_5 - 118080766388099602927549892001701/50627977553835113450299658\ 02792927232*c_1001_1^19 + 92108550572815961001316008537593/50627977\ 55383511345029965802792927232*c_1001_1^17 + 381184799121751002848472749897223/632849719422938918128745725349115\ 904*c_1001_1^15 + 6625767004586613698588992114570175/25313988776917\ 55672514982901396463616*c_1001_1^13 + 2684050295135812858468369736695427/50627977553835113450299658027929\ 27232*c_1001_1^11 + 151563444779518534321116029123148209/5062797755\ 383511345029965802792927232*c_1001_1^9 + 1188033250522172670429485277823292755/50627977553835113450299658027\ 92927232*c_1001_1^7 + 172258819848401447660879973251226231/15821242\ 9855734729532186431337278976*c_1001_1^5 + 7572888375676261028207501657210365/24720692164958551489404129896449\ 84*c_1001_1^3 + 4871411912390830135785805086868343/1236034608247927\ 574470206494822492*c_1001_1, c_1001_1^20 - 69/49*c_1001_1^18 - 1160/49*c_1001_1^16 - 5062/49*c_1001_1^14 + 111/7*c_1001_1^12 - 61853/49*c_1001_1^10 - 443543/49*c_1001_1^8 - 2129264/49*c_1001_1^6 - 5536000/49*c_1001_1^4 - 5169152/49*c_1001_1^2 + 65536/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB