Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 2050746029] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1556 geometric_solution 5.34326683 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 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 0.242882820253 0.980335991472 0 1 2 1 0132 2310 3201 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 -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.238108571819 0.961065927138 1 0 3 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.242882820253 0.980335991472 2 5 5 0 2310 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511580040257 0.176934488008 6 6 0 2 0132 3201 0132 1023 0 0 0 0 0 -1 0 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 -1 1 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.914993985679 1.904107809417 5 3 3 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.326939527509 0.923459549130 4 6 4 6 0132 1302 2310 2031 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.681393022805 0.619627209974 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_3']), '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_1']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_3'])})} 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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 67301336647409320400258552768864/1909435730088087641613818839*c_010\ 1_3*c_0101_5^16 + 31796958047371559615989413215336/1909435730088087\ 641613818839*c_0101_3*c_0101_5^15 + 1144542711571033900324532538829516/1909435730088087641613818839*c_0\ 101_3*c_0101_5^14 + 241915192057572864534679874486088/1909435730088\ 087641613818839*c_0101_3*c_0101_5^13 - 5832382930853709650192782562873031/1909435730088087641613818839*c_0\ 101_3*c_0101_5^12 - 4625826409603885885025829126498303/190943573008\ 8087641613818839*c_0101_3*c_0101_5^11 + 9201613522974324997075755235965554/1909435730088087641613818839*c_0\ 101_3*c_0101_5^10 + 12125882657990950938666375495236331/19094357300\ 88087641613818839*c_0101_3*c_0101_5^9 - 3293998304017527927254248315438924/1909435730088087641613818839*c_0\ 101_3*c_0101_5^8 - 6937997191245643004299997669549800/1909435730088\ 087641613818839*c_0101_3*c_0101_5^7 + 866698937737999977123030000449748/1909435730088087641613818839*c_01\ 01_3*c_0101_5^6 + 2367853219686076163053185824289359/19094357300880\ 87641613818839*c_0101_3*c_0101_5^5 - 219369949235822350594735325854892/1909435730088087641613818839*c_01\ 01_3*c_0101_5^4 - 435372143067133241094501017710312/190943573008808\ 7641613818839*c_0101_3*c_0101_5^3 + 123189520903214669748749863449757/1909435730088087641613818839*c_01\ 01_3*c_0101_5^2 + 17855273354019128823626851286221/1909435730088087\ 641613818839*c_0101_3*c_0101_5 - 7566637942810101151584692420035/19\ 09435730088087641613818839*c_0101_3, c_0011_0 - 1, c_0011_3 - 3578845970991615269380892768/1909435730088087641613818839*c_\ 0101_3*c_0101_5^16 - 4259366194863735344892495800/19094357300880876\ 41613818839*c_0101_3*c_0101_5^15 + 63280913026497071470555830036/1909435730088087641613818839*c_0101_3\ *c_0101_5^14 + 113607985823813726217754198372/190943573008808764161\ 3818839*c_0101_3*c_0101_5^13 - 281735138398694065722709159959/19094\ 35730088087641613818839*c_0101_3*c_0101_5^12 - 749556172827733315120379560970/1909435730088087641613818839*c_0101_\ 3*c_0101_5^11 + 47911241949201916164034644229/190943573008808764161\ 3818839*c_0101_3*c_0101_5^10 + 1377668645503696956757385248912/1909\ 435730088087641613818839*c_0101_3*c_0101_5^9 + 910822404431795937994242361568/1909435730088087641613818839*c_0101_\ 3*c_0101_5^8 - 507224260967051540551540486400/190943573008808764161\ 3818839*c_0101_3*c_0101_5^7 - 483138876303906819569608110280/190943\ 5730088087641613818839*c_0101_3*c_0101_5^6 + 136497469024358769473948591515/1909435730088087641613818839*c_0101_\ 3*c_0101_5^5 + 154570024236657402024677603068/190943573008808764161\ 3818839*c_0101_3*c_0101_5^4 - 21729174343416440980801233949/1909435\ 730088087641613818839*c_0101_3*c_0101_5^3 - 22088477341785402955664163908/1909435730088087641613818839*c_0101_3\ *c_0101_5^2 + 5828887708868184129256544308/190943573008808764161381\ 8839*c_0101_3*c_0101_5 + 110615017737397771824604125/19094357300880\ 87641613818839*c_0101_3, c_0011_4 - 132156223996661293517499680320/1909435730088087641613818839*\ c_0101_3*c_0101_5^16 + 69677151740308137629586787728/19094357300880\ 87641613818839*c_0101_3*c_0101_5^15 + 2243604866661171118817997642800/1909435730088087641613818839*c_0101\ _3*c_0101_5^14 + 352448868528349093722641095564/1909435730088087641\ 613818839*c_0101_3*c_0101_5^13 - 11471531634548843767895627164090/1\ 909435730088087641613818839*c_0101_3*c_0101_5^12 - 8459625463323980721241168851993/1909435730088087641613818839*c_0101\ _3*c_0101_5^11 + 18531768036046319568629862326603/19094357300880876\ 41613818839*c_0101_3*c_0101_5^10 + 22818874592859611550275555218482/1909435730088087641613818839*c_010\ 1_3*c_0101_5^9 - 7718841908039494940987395483688/190943573008808764\ 1613818839*c_0101_3*c_0101_5^8 - 13259231259382517355659321508150/1\ 909435730088087641613818839*c_0101_3*c_0101_5^7 + 2410256898586775321428253041219/1909435730088087641613818839*c_0101\ _3*c_0101_5^6 + 4593798352780581892112545513200/1909435730088087641\ 613818839*c_0101_3*c_0101_5^5 - 648380233593725322666717525587/1909\ 435730088087641613818839*c_0101_3*c_0101_5^4 - 849905048372955165127873867415/1909435730088087641613818839*c_0101_\ 3*c_0101_5^3 + 274727665373827070801980141752/190943573008808764161\ 3818839*c_0101_3*c_0101_5^2 + 28773874395806220126144743200/1909435\ 730088087641613818839*c_0101_3*c_0101_5 - 15821221429659178105911105789/1909435730088087641613818839*c_0101_3\ , c_0101_0 - 5013470280493538440378430624/1909435730088087641613818839*c_\ 0101_5^16 + 8628938136761218335912014744/19094357300880876416138188\ 39*c_0101_5^15 + 84791464177064242533645551572/19094357300880876416\ 13818839*c_0101_5^14 - 89030516887145204038118619160/19094357300880\ 87641613818839*c_0101_5^13 - 499285066878347730683134083441/1909435\ 730088087641613818839*c_0101_5^12 + 178807343318040170471640072647/1909435730088087641613818839*c_0101_\ 5^11 + 1324430887651328555347095973046/1909435730088087641613818839\ *c_0101_5^10 + 268807399834333566705046162336/190943573008808764161\ 3818839*c_0101_5^9 - 1649063112988054519771038398566/19094357300880\ 87641613818839*c_0101_5^8 - 721268401183260586072523958344/19094357\ 30088087641613818839*c_0101_5^7 + 690811597236081154734618430706/19\ 09435730088087641613818839*c_0101_5^6 + 334352988468921310763500845033/1909435730088087641613818839*c_0101_\ 5^5 - 200983628002043222397534272359/1909435730088087641613818839*c\ _0101_5^4 - 87654055256897053252900287484/1909435730088087641613818\ 839*c_0101_5^3 + 38606879087593455439131212328/19094357300880876416\ 13818839*c_0101_5^2 + 3397446147970913548639746900/1909435730088087\ 641613818839*c_0101_5 - 2982316207695873673273280697/19094357300880\ 87641613818839, c_0101_1 + 8592316251485153709759323392/1909435730088087641613818839*c_\ 0101_5^16 - 4369571941897482991019518944/19094357300880876416138188\ 39*c_0101_5^15 - 148072377203561314004201381608/1909435730088087641\ 613818839*c_0101_5^14 - 24577468936668522179635579212/1909435730088\ 087641613818839*c_0101_5^13 + 781020205277041796405843243400/190943\ 5730088087641613818839*c_0101_5^12 + 570748829509693144648739488323/1909435730088087641613818839*c_0101_\ 5^11 - 1372342129600530471511130617275/1909435730088087641613818839\ *c_0101_5^10 - 1646476045338030523462431411248/19094357300880876416\ 13818839*c_0101_5^9 + 738240708556258581776796036998/19094357300880\ 87641613818839*c_0101_5^8 + 1228492662150312126624064444744/1909435\ 730088087641613818839*c_0101_5^7 - 207672720932174335165010320426/1909435730088087641613818839*c_0101_\ 5^6 - 470850457493280080237449436548/1909435730088087641613818839*c\ _0101_5^5 + 46413603765385820372856669291/1909435730088087641613818\ 839*c_0101_5^4 + 109383229600313494233701521433/1909435730088087641\ 613818839*c_0101_5^3 - 16518401745808052483467048420/19094357300880\ 87641613818839*c_0101_5^2 - 9226333856839097677896291208/1909435730\ 088087641613818839*c_0101_5 + 2871701189958475901448676572/19094357\ 30088087641613818839, c_0101_3^2 + 775717873521454785406483666528/139388808296430397837808775\ 247*c_0101_5^16 - 356503609944762685790751620200/139388808296430397\ 837808775247*c_0101_5^15 - 13141656356529947226443786750012/1393888\ 08296430397837808775247*c_0101_5^14 - 2986568440722660757199208703040/139388808296430397837808775247*c_01\ 01_5^13 + 66245317709305619642253658611047/139388808296430397837808\ 775247*c_0101_5^12 + 54028525911707120468790511029225/1393888082964\ 30397837808775247*c_0101_5^11 - 100473805629799857988926850734864/1\ 39388808296430397837808775247*c_0101_5^10 - 137525615241059029762565928329378/139388808296430397837808775247*c_\ 0101_5^9 + 27942768417575828031898945466672/13938880829643039783780\ 8775247*c_0101_5^8 + 70425510958921672441672293896286/1393888082964\ 30397837808775247*c_0101_5^7 - 5223001892431364310969403364788/1393\ 88808296430397837808775247*c_0101_5^6 - 20931914017408129695918000868365/139388808296430397837808775247*c_0\ 101_5^5 + 1300949428429538426503361457095/1393888082964303978378087\ 75247*c_0101_5^4 + 3111314037960256231946022095573/1393888082964303\ 97837808775247*c_0101_5^3 - 1095831498605482939962498293811/1393888\ 08296430397837808775247*c_0101_5^2 + 131846950247439216819325395551/139388808296430397837808775247*c_010\ 1_5 - 28662855896478425020771757149/139388808296430397837808775247, c_0101_5^17 - 3/4*c_0101_5^16 - 135/8*c_0101_5^15 + 9/8*c_0101_5^14 + 2805/32*c_0101_5^13 + 715/16*c_0101_5^12 - 4985/32*c_0101_5^11 - 569/4*c_0101_5^10 + 791/8*c_0101_5^9 + 179/2*c_0101_5^8 - 331/8*c_0101_5^7 - 1009/32*c_0101_5^6 + 13*c_0101_5^5 + 177/32*c_0101_5^4 - 29/8*c_0101_5^3 + 1/4*c_0101_5^2 + 3/16*c_0101_5 - 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB