Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 4139215409] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2164 geometric_solution 5.63870311 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 1 0 -1 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.319312460360 0.508495893634 0 4 4 0 0132 0132 1023 1023 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 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.454209838250 0.739050197349 2 0 5 2 3012 0132 0132 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 -1 0 1 -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.394183212220 0.886873939791 6 5 6 0 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 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 -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.637367872776 1.697497819549 5 1 1 5 2310 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 1.454209838250 0.739050197349 3 4 4 2 1023 2310 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319312460360 0.508495893634 3 6 3 6 0132 2310 1023 3201 0 0 0 0 0 0 1 -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 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.507089340208 0.244771288854 ==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' : negation(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' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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_0'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], '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_0011_0']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 6811791241273201246104411/1338070652475070831757824*c_0101_4^19 + 116131605601020939832193977/4014211957425212495273472*c_0101_4^18 - 52759559253517312332880655/4014211957425212495273472*c_0101_4^17 + 297775090460533126765832349/1338070652475070831757824*c_0101_4^16 - 1165908347770273653375149465/2007105978712606247636736*c_0101_4^15 - 1250738156432807292033851531/1003552989356303123818368*c_0101_4^14 - 15824882370288161489344420715/4014211957425212495273472*c_0101_4^13 - 2877351221527913257482039301/501776494678151561909184*c_0101_4^12 - 11024422748740271009350637017/2007105978712606247636736*c_0101_4^\ 11 - 17183803627975753000487904755/4014211957425212495273472*c_0101\ _4^10 - 948177570517700326597552729/4014211957425212495273472*c_010\ 1_4^9 + 236140008431804902975414463/4014211957425212495273472*c_010\ 1_4^8 + 582386361030368026289593401/1338070652475070831757824*c_010\ 1_4^7 + 619541596805372884687397777/2007105978712606247636736*c_010\ 1_4^6 - 1243017295474935162275102447/4014211957425212495273472*c_01\ 01_4^5 + 63273039106813108710111675/669035326237535415878912*c_0101\ _4^4 - 968046480096087007433373473/4014211957425212495273472*c_0101\ _4^3 + 205687732202442847571728531/4014211957425212495273472*c_0101\ _4^2 + 7995715831647236103537027/1338070652475070831757824*c_0101_4 + 65943103431730847717820997/4014211957425212495273472, c_0011_0 - 1, c_0011_3 + 35805967888487628651293/250888247339075780954592*c_0101_4^19 - 218465387860861827173299/250888247339075780954592*c_0101_4^18 + 163361758027737500355907/250888247339075780954592*c_0101_4^17 - 1505731084218358319320445/250888247339075780954592*c_0101_4^16 + 2302149022350034145519221/125444123669537890477296*c_0101_4^15 + 241330875926586402210791/7840257729346118154831*c_0101_4^14 + 21728231082693859634553163/250888247339075780954592*c_0101_4^13 + 13617878072850911143609541/125444123669537890477296*c_0101_4^12 + 3791212157490118043660155/62722061834768945238648*c_0101_4^11 + 3270538272437661738495311/83629415779691926984864*c_0101_4^10 - 3239167706425987073905077/83629415779691926984864*c_0101_4^9 - 369277358260526810629959/83629415779691926984864*c_0101_4^8 + 3273671836254752962555921/250888247339075780954592*c_0101_4^7 - 43418479736236211459260/2613419243115372718277*c_0101_4^6 + 646988777655171194726467/83629415779691926984864*c_0101_4^5 + 65383506746539741629703/41814707889845963492432*c_0101_4^4 + 80853863396608544884429/250888247339075780954592*c_0101_4^3 - 963791800704130466315173/250888247339075780954592*c_0101_4^2 + 9183519510748145161015/250888247339075780954592*c_0101_4 + 15103099885249223523145/250888247339075780954592, c_0101_0 + 15103099885249223523145/250888247339075780954592*c_0101_4^19 - 126424567199982969790163/250888247339075780954592*c_0101_4^18 + 278877787401858721265879/250888247339075780954592*c_0101_4^17 - 797691953208204888327997/250888247339075780954592*c_0101_4^16 + 1696809284937255629856785/125444123669537890477296*c_0101_4^15 - 148874683829217971850959/31361030917384472619324*c_0101_4^14 + 1928292797023488960544343/250888247339075780954592*c_0101_4^13 - 4634086838681625113979269/125444123669537890477296*c_0101_4^12 - 1209496125350107975508587/15680515458692236309662*c_0101_4^11 - 3479192788625821737298745/83629415779691926984864*c_0101_4^10 - 4629817262110091855578361/83629415779691926984864*c_0101_4^9 + 2816280909639008815257017/83629415779691926984864*c_0101_4^8 + 1953605668355536949185997/250888247339075780954592*c_0101_4^7 - 377269093894203209581413/20907353944922981746216*c_0101_4^6 + 1676350249379294013636075/83629415779691926984864*c_0101_4^5 - 255530439343964091509081/41814707889845963492432*c_0101_4^4 - 226166941741496991023623/250888247339075780954592*c_0101_4^3 - 322503461560596121254749/250888247339075780954592*c_0101_4^2 + 682697353594556238314291/250888247339075780954592*c_0101_4 - 9183519510748145161015/250888247339075780954592, c_0101_1 - c_0101_4, c_0101_2 - 40397216212147967260561/250888247339075780954592*c_0101_4^19 + 322582231999122156510515/250888247339075780954592*c_0101_4^18 - 646174383448957579667351/250888247339075780954592*c_0101_4^17 + 2034706090314528183353653/250888247339075780954592*c_0101_4^16 - 4202738388124612045744265/125444123669537890477296*c_0101_4^15 + 122049142775664104195297/31361030917384472619324*c_0101_4^14 - 7923284320969639125547343/250888247339075780954592*c_0101_4^13 + 8212113290105620636868657/125444123669537890477296*c_0101_4^12 + 2707985393372388939029851/15680515458692236309662*c_0101_4^11 + 8479410582468763483133689/83629415779691926984864*c_0101_4^10 + 11868199783689014479534553/83629415779691926984864*c_0101_4^9 - 5872637368178752460607041/83629415779691926984864*c_0101_4^8 - 8007764519212263311484869/250888247339075780954592*c_0101_4^7 + 775465378516083588425863/20907353944922981746216*c_0101_4^6 - 4036000446099039416643011/83629415779691926984864*c_0101_4^5 + 611702561391535617827329/41814707889845963492432*c_0101_4^4 + 1587144353657535876463711/250888247339075780954592*c_0101_4^3 + 464115867772544137592333/250888247339075780954592*c_0101_4^2 - 683384607990263053966595/250888247339075780954592*c_0101_4 + 11266858569576611890975/250888247339075780954592, c_0101_3 - 64925564716716585836041/501776494678151561909184*c_0101_4^19 + 439029847530898506219281/501776494678151561909184*c_0101_4^18 - 554232163843932572223719/501776494678151561909184*c_0101_4^17 + 2894640897817178754298927/501776494678151561909184*c_0101_4^16 - 5047232371719611815813841/250888247339075780954592*c_0101_4^15 - 2151925547961102221655443/125444123669537890477296*c_0101_4^14 - 29377131340072930585972019/501776494678151561909184*c_0101_4^13 - 2886898978991906524653241/62722061834768945238648*c_0101_4^12 + 1891953461956212602173463/250888247339075780954592*c_0101_4^11 - 1343376211969456727564425/167258831559383853969728*c_0101_4^10 + 5172168943209274157916021/167258831559383853969728*c_0101_4^9 - 7268761386720242362624515/167258831559383853969728*c_0101_4^8 - 20979329462923596551287757/501776494678151561909184*c_0101_4^7 + 1093234236906814616671331/83629415779691926984864*c_0101_4^6 - 2525525978585223072079405/167258831559383853969728*c_0101_4^5 - 248664494720742315742669/83629415779691926984864*c_0101_4^4 + 3288433668772207351438759/501776494678151561909184*c_0101_4^3 + 663417771125047849695707/501776494678151561909184*c_0101_4^2 - 1099189664739487010586767/501776494678151561909184*c_0101_4 - 376782262546421940273395/501776494678151561909184, c_0101_4^20 - 6*c_0101_4^19 + 4*c_0101_4^18 - 42*c_0101_4^17 + 125*c_0101_4^16 + 226*c_0101_4^15 + 639*c_0101_4^14 + 825*c_0101_4^13 + 522*c_0101_4^12 + 313*c_0101_4^11 - 270*c_0101_4^10 - 84*c_0101_4^9 + 56*c_0101_4^8 - 83*c_0101_4^7 + 57*c_0101_4^6 + 27*c_0101_4^5 + 11*c_0101_4^4 - 16*c_0101_4^3 - 2*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB