Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 3018993516] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1440 geometric_solution 5.26535554 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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.242361542909 0.144554596429 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 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 2.249232224597 1.722805931336 3 1 1 4 0132 3201 0132 0132 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 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.487961928539 0.555841712976 2 5 4 6 0132 0132 3201 0132 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 -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.049381992041 1.091208854227 3 6 2 5 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 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.049381992041 1.091208854227 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.414668533077 0.347034150591 6 4 3 6 3201 0132 0132 2310 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 0 0.041387036919 0.914541906259 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 580382998870771564144116/7311492105560614859317*c_0110_5^25 + 4637767982094706610743129/7311492105560614859317*c_0110_5^23 - 4601495385210367090391556/7311492105560614859317*c_0110_5^21 - 72003778673155519083921456/7311492105560614859317*c_0110_5^19 + 326094856249226317681096550/7311492105560614859317*c_0110_5^17 - 235656086043185932974881651/7311492105560614859317*c_0110_5^15 - 1939084304101647207106180813/7311492105560614859317*c_0110_5^13 + 5481275982352792710564918135/7311492105560614859317*c_0110_5^11 - 5504477987263824044439620244/7311492105560614859317*c_0110_5^9 + 2778263756534468674574528737/7311492105560614859317*c_0110_5^7 - 1585453315742647083158721592/7311492105560614859317*c_0110_5^5 + 660683838713317488396074029/7311492105560614859317*c_0110_5^3 - 92783844744719825070047694/7311492105560614859317*c_0110_5, c_0011_0 - 1, c_0011_2 - 188181229543504545194/7311492105560614859317*c_0110_5^24 + 1439440690014539472771/7311492105560614859317*c_0110_5^22 - 1017805213257703713965/7311492105560614859317*c_0110_5^20 - 23586630150348582141169/7311492105560614859317*c_0110_5^18 + 97746683811446290971381/7311492105560614859317*c_0110_5^16 - 45124630421553208764756/7311492105560614859317*c_0110_5^14 - 638238997104333207895400/7311492105560614859317*c_0110_5^12 + 1564345434856459282936882/7311492105560614859317*c_0110_5^10 - 1303204000578353540510764/7311492105560614859317*c_0110_5^8 + 520991682588407949338133/7311492105560614859317*c_0110_5^6 - 350397109908104358038089/7311492105560614859317*c_0110_5^4 + 107005127390560308323376/7311492105560614859317*c_0110_5^2 - 2544218753349504968945/7311492105560614859317, c_0011_4 + 72539202770710974670/7311492105560614859317*c_0110_5^25 - 625247921405749958631/7311492105560614859317*c_0110_5^23 + 932652798931677655044/7311492105560614859317*c_0110_5^21 + 8697232805416261964045/7311492105560614859317*c_0110_5^19 - 46494798746068793244574/7311492105560614859317*c_0110_5^17 + 54193202977805353953238/7311492105560614859317*c_0110_5^15 + 228229684952334480644610/7311492105560614859317*c_0110_5^13 - 841561884610325414772401/7311492105560614859317*c_0110_5^11 + 1093945057607357996271402/7311492105560614859317*c_0110_5^9 - 701986246562226771004923/7311492105560614859317*c_0110_5^7 + 338543197132293301921485/7311492105560614859317*c_0110_5^5 - 169097159403690795176981/7311492105560614859317*c_0110_5^3 + 45569752955564720769048/7311492105560614859317*c_0110_5, c_0101_0 + 74938331349172165180/7311492105560614859317*c_0110_5^25 - 500481276566295387111/7311492105560614859317*c_0110_5^23 - 162796463320541076445/7311492105560614859317*c_0110_5^21 + 9859514376502558991600/7311492105560614859317*c_0110_5^19 - 29769698193411355895473/7311492105560614859317*c_0110_5^17 - 21223646010026058436908/7311492105560614859317*c_0110_5^15 + 275705547422863536184246/7311492105560614859317*c_0110_5^13 - 373382111245418968273457/7311492105560614859317*c_0110_5^11 - 121018473506694817765159/7311492105560614859317*c_0110_5^9 + 343346598763938828044162/7311492105560614859317*c_0110_5^7 - 78372393374221384367231/7311492105560614859317*c_0110_5^5 + 113296244586945759082771/7311492105560614859317*c_0110_5^3 - 49038454905739136960339/7311492105560614859317*c_0110_5, c_0101_1 - 228144194791487513686/7311492105560614859317*c_0110_5^24 + 1773269614032355585068/7311492105560614859317*c_0110_5^22 - 1410558267240934650797/7311492105560614859317*c_0110_5^20 - 28677724627918111916673/7311492105560614859317*c_0110_5^18 + 121869051177086941260195/7311492105560614859317*c_0110_5^16 - 64729304057794687846376/7311492105560614859317*c_0110_5^14 - 779863293667438464937518/7311492105560614859317*c_0110_5^12 + 1980901614459954488187807/7311492105560614859317*c_0110_5^10 - 1699668011238494761075916/7311492105560614859317*c_0110_5^8 + 684104933491806569600969/7311492105560614859317*c_0110_5^6 - 460147259078301370230201/7311492105560614859317*c_0110_5^4 + 148123550220417646911109/7311492105560614859317*c_0110_5^2 - 6228344480330069040245/7311492105560614859317, c_0101_3 + 112700099455703797925/7311492105560614859317*c_0110_5^24 - 889695256419720423082/7311492105560614859317*c_0110_5^22 + 792604625996005925124/7311492105560614859317*c_0110_5^20 + 14151414743478023735169/7311492105560614859317*c_0110_5^18 - 61898739660479692928660/7311492105560614859317*c_0110_5^16 + 37973132764880173384438/7311492105560614859317*c_0110_5^14 + 385340019535254404869117/7311492105560614859317*c_0110_5^12 - 1022969223620242482331846/7311492105560614859317*c_0110_5^10 + 924499459721981215985322/7311492105560614859317*c_0110_5^8 - 393066909561874355879734/7311492105560614859317*c_0110_5^6 + 257869998822567578468746/7311492105560614859317*c_0110_5^4 - 94613941474818460146911/7311492105560614859317*c_0110_5^2 + 2632483095081090410981/7311492105560614859317, c_0110_5^26 - 8*c_0110_5^24 + 8*c_0110_5^22 + 124*c_0110_5^20 - 563*c_0110_5^18 + 411*c_0110_5^16 + 3338*c_0110_5^14 - 9475*c_0110_5^12 + 9566*c_0110_5^10 - 4863*c_0110_5^8 + 2767*c_0110_5^6 - 1160*c_0110_5^4 + 168*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB