Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2917937516] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0316 geometric_solution 4.35134673 oriented_manifold CS_known -0.0000000000000002 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 0 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.318747570182 0.068631066777 0 0 2 2 0132 2310 2310 0132 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 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 2.242030311886 0.606216385975 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 -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 1.232148925587 0.604149746583 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 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 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.256413563387 0.289675160724 6 3 5 5 0132 0132 3201 2031 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 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.125756071722 0.829720276215 4 4 6 3 2310 1302 2310 0132 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 -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.125756071722 0.829720276215 4 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 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.821432710758 1.178161010631 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : 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_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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_0101_3']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), '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_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(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_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], '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_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 3955349014481460476442173029337033789914662777421/20492166425569919\ 2654574840975749217880732465673*c_0101_6^23 - 592856040184207565374805114979799917931694488782149/204921664255699\ 192654574840975749217880732465673*c_0101_6^21 - 6023656606257757657655982345569484234430287713528216/20492166425569\ 9192654574840975749217880732465673*c_0101_6^19 - 351344434363401010536186612189978500315706968400271933/204921664255\ 699192654574840975749217880732465673*c_0101_6^17 + 3784705946022035248733387728662962025441241634285445451/20492166425\ 5699192654574840975749217880732465673*c_0101_6^15 - 1066518633512195942623064075782602479347003510539544323/18629242205\ 063562968597712815977201625521133243*c_0101_6^13 + 2947701950833895312744602194178530631210180972594785823/29274523465\ 099884664939262996535602554390352239*c_0101_6^11 - 16922954325676381919933151262157028238670831338935606026/2049216642\ 55699192654574840975749217880732465673*c_0101_6^9 + 5588354397607176116198391613655150679600183683609298372/20492166425\ 5699192654574840975749217880732465673*c_0101_6^7 - 801116055372683853847207937875062585395321327904855076/204921664255\ 699192654574840975749217880732465673*c_0101_6^5 + 57944230463788258068966213787090289140754764478038762/2049216642556\ 99192654574840975749217880732465673*c_0101_6^3 - 1006100450775835169719704700681147751428761836585253/20492166425569\ 9192654574840975749217880732465673*c_0101_6, c_0011_0 - 1, c_0011_2 - 568139471387413884069553284517531976277498/77589513557116047\ 34942820831310787849030043*c_0101_6^22 + 85182225422280321409417368171271174150553540/7758951355711604734942\ 820831310787849030043*c_0101_6^20 + 861419814208966438656436130863364512141482931/775895135571160473494\ 2820831310787849030043*c_0101_6^18 + 50427626341000032794874370922097765279244543509/7758951355711604734\ 942820831310787849030043*c_0101_6^16 - 545887737519392710221406583103152548591745848498/775895135571160473\ 4942820831310787849030043*c_0101_6^14 + 1709331688009566291351163017150453253514406933634/77589513557116047\ 34942820831310787849030043*c_0101_6^12 - 3038068147420429330440388616608047258624126975887/77589513557116047\ 34942820831310787849030043*c_0101_6^10 + 2559965284103064426880457043955685375775594194892/77589513557116047\ 34942820831310787849030043*c_0101_6^8 - 905641108068776493464883959847397856606962628174/775895135571160473\ 4942820831310787849030043*c_0101_6^6 + 146589091273560129859847685882256713155703348984/775895135571160473\ 4942820831310787849030043*c_0101_6^4 - 12296054994830748680315797195096623380294545759/7758951355711604734\ 942820831310787849030043*c_0101_6^2 + 401794341140457877149824409890600389193606669/775895135571160473494\ 2820831310787849030043, c_0011_5 + 555851323544571212894774622685340712418254/77589513557116047\ 34942820831310787849030043*c_0101_6^23 - 83335571934535396757907141475782769625304185/7758951355711604734942\ 820831310787849030043*c_0101_6^21 - 843427666827266713205689338470651340486788197/775895135571160473494\ 2820831310787849030043*c_0101_6^19 - 49343509688051080358456821216288381044025042004/7758951355711604734\ 942820831310787849030043*c_0101_6^17 + 533701005609070375789215039254818290341346454219/775895135571160473\ 4942820831310787849030043*c_0101_6^15 - 1668318441459117368223349230175574583172339700430/77589513557116047\ 34942820831310787849030043*c_0101_6^13 + 2960137194125699813740693785479203569994391798055/77589513557116047\ 34942820831310787849030043*c_0101_6^11 - 2483633048534831378597766546875153008337286713048/77589513557116047\ 34942820831310787849030043*c_0101_6^9 + 869997018597966861807972560558606478009244950986/775895135571160473\ 4942820831310787849030043*c_0101_6^7 - 139013731835571904498443590472886203536763890179/775895135571160473\ 4942820831310787849030043*c_0101_6^5 + 11590464186855182999555653513587603129888374172/7758951355711604734\ 942820831310787849030043*c_0101_6^3 - 375611376118985626069296775962600167869373304/775895135571160473494\ 2820831310787849030043*c_0101_6, c_0101_0 - 783815910129388263212837618959470521391146/77589513557116047\ 34942820831310787849030043*c_0101_6^23 + 117524594848922516931897340122366744098009128/775895135571160473494\ 2820831310787849030043*c_0101_6^21 + 1187592228896884084782195904998833495125326984/77589513557116047349\ 42820831310787849030043*c_0101_6^19 + 69562449571102958149865471494004248461867388869/7758951355711604734\ 942820831310787849030043*c_0101_6^17 - 753613127494897708847708426645551259943477682703/775895135571160473\ 4942820831310787849030043*c_0101_6^15 + 2363616766941012062050101493281960582497587013283/77589513557116047\ 34942820831310787849030043*c_0101_6^13 - 4208360936327319494029373806327487078289574763034/77589513557116047\ 34942820831310787849030043*c_0101_6^11 + 3562041692072317191968809136433390871981181044615/77589513557116047\ 34942820831310787849030043*c_0101_6^9 - 1275059151976000624096342998024599640709397119475/77589513557116047\ 34942820831310787849030043*c_0101_6^7 + 211063048528342292160495182774039700140062729651/775895135571160473\ 4942820831310787849030043*c_0101_6^5 - 18092287943092949194557103481351531765839883947/7758951355711604734\ 942820831310787849030043*c_0101_6^3 + 616619249820444509934284129242424556870806726/775895135571160473494\ 2820831310787849030043*c_0101_6, c_0101_1 - 322446647345676520301585251663308867943963/77589513557116047\ 34942820831310787849030043*c_0101_6^22 + 48343374955025894882304228211225272697755833/7758951355711604734942\ 820831310787849030043*c_0101_6^20 + 489145924237760782581611718206637926987032573/775895135571160473494\ 2820831310787849030043*c_0101_6^18 + 28622711964369848886630472029590205403544892265/7758951355711604734\ 942820831310787849030043*c_0101_6^16 - 309669522742112494719252427604215510899684950311/775895135571160473\ 4942820831310787849030043*c_0101_6^14 + 968577763770684677903164841415976134346098631404/775895135571160473\ 4942820831310787849030043*c_0101_6^12 - 1719725146875898894939437338145735776803027108615/77589513557116047\ 34942820831310787849030043*c_0101_6^10 + 1445400772310059904475732950511677605798074965896/77589513557116047\ 34942820831310787849030043*c_0101_6^8 - 508799394654266040514416702745312515701413477004/775895135571160473\ 4942820831310787849030043*c_0101_6^6 + 82141450838034792341983209661346158034686282041/7758951355711604734\ 942820831310787849030043*c_0101_6^4 - 6875722402855138325751799920630073566421732054/77589513557116047349\ 42820831310787849030043*c_0101_6^2 + 219908175380647918544886652769690595560683708/775895135571160473494\ 2820831310787849030043, c_0101_3 - 381494616893953276680011821184159847191639/77589513557116047\ 34942820831310787849030043*c_0101_6^22 + 57198785426969412200093264474762618935033483/7758951355711604734942\ 820831310787849030043*c_0101_6^20 + 578340460234711920780120707840269203272803588/775895135571160473494\ 2820831310787849030043*c_0101_6^18 + 33860274650173758601891172099827713691388261599/7758951355711604734\ 942820831310787849030043*c_0101_6^16 - 366604377889930171252300962799562641416126319071/775895135571160473\ 4942820831310787849030043*c_0101_6^14 + 1148322616476528458660390069984585509128250180589/77589513557116047\ 34942820831310787849030043*c_0101_6^12 - 2041589643944958723018976306732734280936608736888/77589513557116047\ 34942820831310787849030043*c_0101_6^10 + 1721605777355062809910510676021221064484626153648/77589513557116047\ 34942820831310787849030043*c_0101_6^8 - 609968263368121335733769008961727307231891823108/775895135571160473\ 4942820831310787849030043*c_0101_6^6 + 98799155054963750179300970138820505521230850612/7758951355711604734\ 942820831310787849030043*c_0101_6^4 - 8284898226945952179939083216473135197824202353/77589513557116047349\ 42820831310787849030043*c_0101_6^2 + 273529881140255775356436489247618925911750433/775895135571160473494\ 2820831310787849030043, c_0101_6^24 - 150*c_0101_6^22 - 1506*c_0101_6^20 - 88656*c_0101_6^18 + 966879*c_0101_6^16 - 3074107*c_0101_6^14 + 5552498*c_0101_6^12 - 4870608*c_0101_6^10 + 1901806*c_0101_6^8 - 367174*c_0101_6^6 + 39351*c_0101_6^4 - 2200*c_0101_6^2 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB