Magma V2.19-8 Tue Aug 20 2013 16:19:13 on localhost [Seed = 2134827643] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3342 geometric_solution 6.48756265 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 2310 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 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.579493531569 0.805823707029 0 4 2 5 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -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 0 0 0 -1 0 1 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.533280003435 0.801866217897 0 0 3 1 3201 0132 3012 3012 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 -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.461317214909 0.827063170956 5 2 4 0 3201 1230 3201 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 -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.533280003435 0.801866217897 3 1 6 6 2310 0132 0132 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 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.243344121057 1.129873538672 5 5 1 3 1302 2031 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446345982642 0.784154477084 6 4 6 4 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.723665130800 0.584400818602 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0011_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_5, c_0011_6, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 4874508603157029019379530523/4140918786486096782242520*c_0101_1*c_0\ 101_4^15 + 77803484106067573996456602547/33127350291888774257940160\ *c_0101_1*c_0101_4^14 - 139926012125263250738553356781/331273502918\ 88774257940160*c_0101_1*c_0101_4^13 - 302862504457862800880992902999/33127350291888774257940160*c_0101_1*\ c_0101_4^12 + 4296101086946298744532706921/828183757297219356448504\ *c_0101_1*c_0101_4^11 + 224901095095481499374289457979/331273502918\ 88774257940160*c_0101_1*c_0101_4^10 - 248535267137857008772987613299/16563675145944387128970080*c_0101_1*\ c_0101_4^9 - 128055786623883353073792590039/33127350291888774257940\ 160*c_0101_1*c_0101_4^8 + 307638389908253361929844513757/1656367514\ 5944387128970080*c_0101_1*c_0101_4^7 + 1352296132787340887885224509/271535658130235854573280*c_0101_1*c_01\ 01_4^6 - 54713085159282440349752968087/33127350291888774257940160*c\ _0101_1*c_0101_4^5 + 49904262890302706555737080169/8281837572972193\ 564485040*c_0101_1*c_0101_4^4 + 8698147000073918753802743623/662547\ 0058377754851588032*c_0101_1*c_0101_4^3 - 26231892484837250424976089047/33127350291888774257940160*c_0101_1*c\ _0101_4^2 - 1840051136196783928030943507/16563675145944387128970080\ *c_0101_1*c_0101_4 - 4057789636206955299236242869/33127350291888774\ 257940160*c_0101_1, c_0011_0 - 1, c_0011_3 - 971161907737067611258848/103522969662152419556063*c_0101_1*c\ _0101_4^15 - 1962074763258727230440180/103522969662152419556063*c_0\ 101_1*c_0101_4^14 + 3475603425068757823708785/103522969662152419556\ 063*c_0101_1*c_0101_4^13 + 7659119097931716364145946/10352296966215\ 2419556063*c_0101_1*c_0101_4^12 - 8696490764171382567867789/2070459\ 39324304839112126*c_0101_1*c_0101_4^11 - 5843875554343840576162543/103522969662152419556063*c_0101_1*c_0101_\ 4^10 + 12870020582359507563733194/103522969662152419556063*c_0101_1\ *c_0101_4^9 + 3524841856193489589332515/103522969662152419556063*c_\ 0101_1*c_0101_4^8 - 16129066920326730006708013/10352296966215241955\ 6063*c_0101_1*c_0101_4^7 - 129753302388022041042275/339419572662794\ 8182166*c_0101_1*c_0101_4^6 + 2142256464910567595027160/10352296966\ 2152419556063*c_0101_1*c_0101_4^5 - 11119490899356007145744619/207045939324304839112126*c_0101_1*c_0101\ _4^4 - 3058357158300791283464667/207045939324304839112126*c_0101_1*\ c_0101_4^3 + 847696580892208421641800/103522969662152419556063*c_01\ 01_1*c_0101_4^2 - 104644015597671495183363/207045939324304839112126\ *c_0101_1*c_0101_4 + 108447496368380580802235/207045939324304839112\ 126*c_0101_1, c_0011_5 + 1500179177595770303778580/103522969662152419556063*c_0101_1*\ c_0101_4^15 + 5406054021814161788730357/207045939324304839112126*c_\ 0101_1*c_0101_4^14 - 5954430936617640555645825/10352296966215241955\ 6063*c_0101_1*c_0101_4^13 - 10563490191766027277532901/103522969662\ 152419556063*c_0101_1*c_0101_4^12 + 17762105448533651005847923/207045939324304839112126*c_0101_1*c_0101\ _4^11 + 7171310654242764990819829/103522969662152419556063*c_0101_1\ *c_0101_4^10 - 41884892016295724748363425/207045939324304839112126*\ c_0101_1*c_0101_4^9 - 1909029837015182824634781/2070459393243048391\ 12126*c_0101_1*c_0101_4^8 + 49337494072445110458918233/207045939324\ 304839112126*c_0101_1*c_0101_4^7 + 22468461032803747834749/1697097863313974091083*c_0101_1*c_0101_4^6 - 3255622412130736474028635/103522969662152419556063*c_0101_1*c_0101_\ 4^5 + 17138334763636334072777747/207045939324304839112126*c_0101_1*\ c_0101_4^4 + 311581366358368089482914/103522969662152419556063*c_01\ 01_1*c_0101_4^3 - 2896586867779757423718927/20704593932430483911212\ 6*c_0101_1*c_0101_4^2 + 128876430135656002283849/207045939324304839\ 112126*c_0101_1*c_0101_4 - 102737755977400559616237/103522969662152\ 419556063*c_0101_1, c_0011_6 - 10602292561665443184/12209337146143698497*c_0101_4^15 - 40130038807849784038/12209337146143698497*c_0101_4^14 + 9047313631473066385/12209337146143698497*c_0101_4^13 + 165939443585616573873/12209337146143698497*c_0101_4^12 + 67505377994152724695/12209337146143698497*c_0101_4^11 - 199110756995866350947/12209337146143698497*c_0101_4^10 + 68609753271327106876/12209337146143698497*c_0101_4^9 + 293885444270595250392/12209337146143698497*c_0101_4^8 - 209888577788720500602/12209337146143698497*c_0101_4^7 - 333531550131785756275/12209337146143698497*c_0101_4^6 + 36812356899733290763/12209337146143698497*c_0101_4^5 - 15856646561466186358/12209337146143698497*c_0101_4^4 - 84738262700104596378/12209337146143698497*c_0101_4^3 + 28018350958244223833/12209337146143698497*c_0101_4^2 + 16016826229889417029/12209337146143698497*c_0101_4 + 5691041750029541935/12209337146143698497, c_0101_1^2 - 415039129363062769925248/103522969662152419556063*c_0101_4\ ^15 - 848834951407359272150480/103522969662152419556063*c_0101_4^14 + 1367653563138700996182936/103522969662152419556063*c_0101_4^13 + 3144153114432015823853068/103522969662152419556063*c_0101_4^12 - 1375895759998639478080214/103522969662152419556063*c_0101_4^11 - 1904697738331594419097361/103522969662152419556063*c_0101_4^10 + 4809956009579508540145871/103522969662152419556063*c_0101_4^9 + 1274883776938717651597868/103522969662152419556063*c_0101_4^8 - 5496268063603642629556701/103522969662152419556063*c_0101_4^7 - 32321703220332005057319/1697097863313974091083*c_0101_4^6 - 644825946719141361169657/103522969662152419556063*c_0101_4^5 - 2348548915209287040866455/103522969662152419556063*c_0101_4^4 - 624653582085421784436724/103522969662152419556063*c_0101_4^3 - 174074120063242395416637/103522969662152419556063*c_0101_4^2 + 70443989801123277694922/103522969662152419556063*c_0101_4 - 34509748624626360750242/103522969662152419556063, c_0101_3 - 57354424608224626736/12209337146143698497*c_0101_4^15 - 116804081774961101990/12209337146143698497*c_0101_4^14 + 202405145588036042684/12209337146143698497*c_0101_4^13 + 453021712236185356348/12209337146143698497*c_0101_4^12 - 249634067987882193739/12209337146143698497*c_0101_4^11 - 339284203733881718587/12209337146143698497*c_0101_4^10 + 767916264900072973833/12209337146143698497*c_0101_4^9 + 207644320343445010959/12209337146143698497*c_0101_4^8 - 964394505380996784628/12209337146143698497*c_0101_4^7 - 212312628849525268330/12209337146143698497*c_0101_4^6 + 129823550531535656676/12209337146143698497*c_0101_4^5 - 379670284391807391829/12209337146143698497*c_0101_4^4 - 98003860603656337040/12209337146143698497*c_0101_4^3 + 63941283270861141842/12209337146143698497*c_0101_4^2 - 16170143769419327273/12209337146143698497*c_0101_4 + 3235621452830703500/12209337146143698497, c_0101_4^16 + 17/8*c_0101_4^15 - 93/28*c_0101_4^14 - 115/14*c_0101_4^13 + 27/8*c_0101_4^12 + 351/56*c_0101_4^11 - 671/56*c_0101_4^10 - 39/8*c_0101_4^9 + 855/56*c_0101_4^8 + 87/14*c_0101_4^7 - 41/56*c_0101_4^6 + 281/56*c_0101_4^5 + 99/56*c_0101_4^4 - 1/2*c_0101_4^3 - 9/56*c_0101_4^2 - 1/8*c_0101_4 - 1/56 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB