Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 1966401539] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3064 geometric_solution 6.23198206 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517341824755 0.366477706946 2 0 3 0 0132 2310 0132 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 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.195573240030 0.545275244646 1 4 5 6 0132 0132 0132 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720757786892 0.539617257835 6 5 4 1 0132 1023 0132 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720757786892 0.539617257835 6 2 6 3 1302 0132 2031 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520686806113 0.783997491748 3 5 5 2 1023 1230 3012 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 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.761321281322 0.662263884398 3 4 2 4 0132 2031 0132 1302 0 0 0 0 0 1 0 -1 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 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.988888976742 0.786017005205 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 8952405054647814887389270712431437/83730894198961854709855323734938\ 28*c_0101_5^23 + 4950642830314470410344969148148572053/837308941989\ 6185470985532373493828*c_0101_5^21 + 13112063839639886223898719702663764279/4186544709948092735492766186\ 746914*c_0101_5^19 + 44925038664328339859593990318366422473/8373089\ 419896185470985532373493828*c_0101_5^17 - 3126657321865871011535352418522732712/20932723549740463677463830933\ 73457*c_0101_5^15 - 137696813379478864115561533812736953351/8373089\ 419896185470985532373493828*c_0101_5^13 - 46051031671425955433171178214987948722/2093272354974046367746383093\ 373457*c_0101_5^11 - 82063512863329395373408996149072887565/8373089\ 419896185470985532373493828*c_0101_5^9 + 2133836825755855036427417232098770929/24626733587929957267604506980\ 8642*c_0101_5^7 + 29197681694401425131295192829128988350/2093272354\ 974046367746383093373457*c_0101_5^5 + 32213966688300579811537682398913824697/4186544709948092735492766186\ 746914*c_0101_5^3 + 14115619554111258655381123664444484257/83730894\ 19896185470985532373493828*c_0101_5, c_0011_0 - 1, c_0011_1 - 8424602264511228507365223039/5798538379429491323397183084137\ *c_0101_5^22 + 4664851072968991665048873345748/57985383794294913233\ 97183084137*c_0101_5^20 + 21311834136229922932290858815704/57985383\ 79429491323397183084137*c_0101_5^18 + 26370780037107719281549455489253/5798538379429491323397183084137*c_\ 0101_5^16 - 33402954036574954405154421769201/5798538379429491323397\ 183084137*c_0101_5^14 - 110134828272818743067377924705421/579853837\ 9429491323397183084137*c_0101_5^12 - 92993329826862027355595063025441/5798538379429491323397183084137*c_\ 0101_5^10 + 4630036484389879987658193126692/57985383794294913233971\ 83084137*c_0101_5^8 + 5099610032824566736927872712676/3410904929076\ 17136670422534361*c_0101_5^6 + 54553171404184460785667132864519/579\ 8538379429491323397183084137*c_0101_5^4 + 12637325624807943353263848842946/5798538379429491323397183084137*c_\ 0101_5^2 - 4559826102609751161777602505028/579853837942949132339718\ 3084137, c_0011_3 + 5385089071150697093645593969/5798538379429491323397183084137\ *c_0101_5^23 - 2967708842572926017390855241658/57985383794294913233\ 97183084137*c_0101_5^21 - 21433848087944976849951503155109/57985383\ 79429491323397183084137*c_0101_5^19 - 53601041594791911957978060407181/5798538379429491323397183084137*c_\ 0101_5^17 - 26570964710634495191546598076732/5798538379429491323397\ 183084137*c_0101_5^15 + 122874011761435377522276535021744/579853837\ 9429491323397183084137*c_0101_5^13 + 248704296777726677854589832252381/5798538379429491323397183084137*c\ _0101_5^11 + 165193473855557374211685017735089/57985383794294913233\ 97183084137*c_0101_5^9 - 2517247885229072539358090311149/3410904929\ 07617136670422534361*c_0101_5^7 - 163376434269268732339516675409328\ /5798538379429491323397183084137*c_0101_5^5 - 105488430967999011002878582004263/5798538379429491323397183084137*c\ _0101_5^3 - 25769640583060867225728628845443/5798538379429491323397\ 183084137*c_0101_5, c_0101_0 + 37582894245152782323754762904/579853837942949132339718308413\ 7*c_0101_5^23 - 20792634780658946671730759666459/579853837942949132\ 3397183084137*c_0101_5^21 - 104864981005958095165494527839652/57985\ 38379429491323397183084137*c_0101_5^19 - 160904265805430187192697631340625/5798538379429491323397183084137*c\ _0101_5^17 + 98495606699157964103633503619755/579853837942949132339\ 7183084137*c_0101_5^15 + 557445968945127175061678718519653/57985383\ 79429491323397183084137*c_0101_5^13 + 618442796066353288028728404877044/5798538379429491323397183084137*c\ _0101_5^11 + 164237993480429288799414819544380/57985383794294913233\ 97183084137*c_0101_5^9 - 20420981347324890668139871832781/341090492\ 907617136670422534361*c_0101_5^7 - 387258698549993542807714531324716/5798538379429491323397183084137*c\ _0101_5^5 - 162387181462580271780696511021577/579853837942949132339\ 7183084137*c_0101_5^3 - 23801853755370072318509701996768/5798538379\ 429491323397183084137*c_0101_5, c_0101_1 - 23365868519287991755592412872/579853837942949132339718308413\ 7*c_0101_5^22 + 12937800601231039241566209381414/579853837942949132\ 3397183084137*c_0101_5^20 + 59271935898650797790194462680229/579853\ 8379429491323397183084137*c_0101_5^18 + 73626414899839875154333734987330/5798538379429491323397183084137*c_\ 0101_5^16 - 91323068690411686411559761133549/5798538379429491323397\ 183084137*c_0101_5^14 - 301809685499792926214918927253325/579853837\ 9429491323397183084137*c_0101_5^12 - 256669567812348659173597272229038/5798538379429491323397183084137*c\ _0101_5^10 - 3554815959905019935368172249526/5798538379429491323397\ 183084137*c_0101_5^8 + 12940775872284272418001541582729/34109049290\ 7617136670422534361*c_0101_5^6 + 152106905667873459022198208386361/\ 5798538379429491323397183084137*c_0101_5^4 + 40492160180224945805009098079886/5798538379429491323397183084137*c_\ 0101_5^2 - 2450378415954356976875002852084/579853837942949132339718\ 3084137, c_0101_3 + 18929414935292708329594302084/579853837942949132339718308413\ 7*c_0101_5^22 - 10477004866858838975021499209287/579853837942949132\ 3397183084137*c_0101_5^20 - 50403787862863177064359576057823/579853\ 8379429491323397183084137*c_0101_5^18 - 70593612978616066104049641967167/5798538379429491323397183084137*c_\ 0101_5^16 + 62140917652787090498661004319039/5798538379429491323397\ 183084137*c_0101_5^14 + 265574558640328272723288823125073/579853837\ 9429491323397183084137*c_0101_5^12 + 261604989277492945900518888837311/5798538379429491323397183084137*c\ _0101_5^10 + 31246177196859283545408644236303/579853837942949132339\ 7183084137*c_0101_5^8 - 11055746466394826892631606583867/3410904929\ 07617136670422534361*c_0101_5^6 - 156733086178563851216006282854369\ /5798538379429491323397183084137*c_0101_5^4 - 42929030045972986627675145748724/5798538379429491323397183084137*c_\ 0101_5^2 + 4720872684774802779957469180969/579853837942949132339718\ 3084137, c_0101_5^24 - 553*c_0101_5^22 - 2927*c_0101_5^20 - 4999*c_0101_5^18 + 1450*c_0101_5^16 + 15414*c_0101_5^14 + 20459*c_0101_5^12 + 8917*c_0101_5^10 - 8270*c_0101_5^8 - 13001*c_0101_5^6 - 7027*c_0101_5^4 - 1474*c_0101_5^2 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB