Magma V2.19-8 Tue Aug 20 2013 16:14:37 on localhost [Seed = 3903419630] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s604 geometric_solution 5.08455206 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 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 1 0 -1 0 0 1 -1 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.447451042009 0.484874405545 0 3 2 4 0132 0132 1230 0132 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 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.972122714673 1.113845629811 3 0 4 1 3201 0132 2310 3012 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 -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.972122714673 1.113845629811 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.094908173582 0.948843698853 5 2 1 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 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.719339300953 0.503489913223 4 5 5 4 0132 1230 3012 1023 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1.601433382048 0.542933205934 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : 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_4' : d['1'], 's_0_5' : 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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), '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' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 6790079665250513905/2688384498525989696*c_0101_5^19 + 284336918666296314569/2016288373894492272*c_0101_5^17 - 17187032170152547736267/8065153495577969088*c_0101_5^15 + 49040675063871445875209/8065153495577969088*c_0101_5^13 + 3556021285351631823935/1344192249262994848*c_0101_5^11 + 18003843854165892102169/2688384498525989696*c_0101_5^9 - 5681984714507044168441/1344192249262994848*c_0101_5^7 + 12175274678616804245195/8065153495577969088*c_0101_5^5 - 1025587778267244272437/2016288373894492272*c_0101_5^3 + 1066534575097603462475/8065153495577969088*c_0101_5, c_0011_0 - 1, c_0011_4 + 27516452981287271/1008144186947246136*c_0101_5^18 - 1539566580917607109/1008144186947246136*c_0101_5^16 + 11696738568487214669/504072093473623068*c_0101_5^14 - 68807420163606829643/1008144186947246136*c_0101_5^12 - 7784920181119389919/336048062315748712*c_0101_5^10 - 5301957143333041603/84012015578937178*c_0101_5^8 + 29604743461192163077/504072093473623068*c_0101_5^6 - 4276498935737141991/336048062315748712*c_0101_5^4 + 1770477323107625781/336048062315748712*c_0101_5^2 - 171446518191592474/126018023368405767, c_0101_0 - 1801925559823466/126018023368405767*c_0101_5^18 + 33914379400355075/42006007789468589*c_0101_5^16 - 527775007962221432/42006007789468589*c_0101_5^14 + 5274480944590933237/126018023368405767*c_0101_5^12 - 176291153093629290/42006007789468589*c_0101_5^10 + 910238159571632285/42006007789468589*c_0101_5^8 - 6562082642225296865/126018023368405767*c_0101_5^6 + 1902580449593303543/126018023368405767*c_0101_5^4 - 689435241266861221/126018023368405767*c_0101_5^2 + 132356695620554647/126018023368405767, c_0101_1 + 13190549508254693/252036046736811534*c_0101_5^19 - 370289202090606122/126018023368405767*c_0101_5^17 + 11356839992882756341/252036046736811534*c_0101_5^15 - 35138653710023086781/252036046736811534*c_0101_5^13 - 848401180170031107/42006007789468589*c_0101_5^11 - 9194960065037697159/84012015578937178*c_0101_5^9 + 17445012070377614719/126018023368405767*c_0101_5^7 - 3481791358017349245/84012015578937178*c_0101_5^5 + 610658528412020955/42006007789468589*c_0101_5^3 - 864580551493588031/252036046736811534*c_0101_5, c_0101_2 + 12773655551372993/1008144186947246136*c_0101_5^19 - 720874322756929931/1008144186947246136*c_0101_5^17 + 5601626120874794635/504072093473623068*c_0101_5^15 - 12358158568019255711/336048062315748712*c_0101_5^13 + 920443797307573719/336048062315748712*c_0101_5^11 - 1540054067118263447/84012015578937178*c_0101_5^9 + 21309523749908949703/504072093473623068*c_0101_5^7 - 16538711137774998571/1008144186947246136*c_0101_5^5 - 868473106967815231/1008144186947246136*c_0101_5^3 - 46296626127486497/42006007789468589*c_0101_5, c_0101_5^20 - 56*c_0101_5^18 + 853*c_0101_5^16 - 2547*c_0101_5^14 - 658*c_0101_5^12 - 2445*c_0101_5^10 + 2122*c_0101_5^8 - 849*c_0101_5^6 + 272*c_0101_5^4 - 77*c_0101_5^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB