Magma V2.19-8 Tue Aug 20 2013 17:56:11 on localhost [Seed = 3246421513] Type ? for help. Type -D to quit. Loading file "10^2_129__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_129 geometric_solution 11.00260872 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 1302 0132 0 0 0 1 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 1 0 -1 0 0 4 -4 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.604842940375 0.704225257781 0 4 5 4 0132 0132 0132 1230 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 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.605992602853 1.079963742424 0 0 5 4 2031 0132 0321 0132 0 0 1 0 0 0 -1 1 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 -1 4 -3 0 0 0 0 1 0 0 -1 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298137314617 0.817186409142 6 4 0 7 0132 1302 0132 0132 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 1 -1 0 0 4 -4 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885431472958 0.746414937274 1 1 2 3 3012 0132 0132 2031 0 0 0 1 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 3 -3 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.298137314617 0.817186409142 6 7 2 1 3120 3120 0321 0132 0 0 0 0 0 -1 1 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 4 -4 0 3 0 -3 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.339784111925 0.556559164356 3 8 9 5 0132 0132 0132 3120 0 0 0 0 0 0 0 0 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 0 0 0 0 0 3 -3 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784606624683 0.837805221263 10 5 3 9 0132 3120 0132 0132 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 0 1 -1 -4 0 4 0 0 -1 0 1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784606624683 0.837805221263 10 6 9 11 1023 0132 0213 0132 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 0 1 -1 0 0 3 -3 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701596621912 0.443502912880 11 8 7 6 3120 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 3 0 0 -3 0 -3 0 3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.030941906791 0.655992786307 7 8 11 11 0132 1023 2310 3120 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 4 0 -4 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453808434245 0.648132288024 10 10 8 9 3120 3201 0132 3120 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 1 -1 0 0 3 -3 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.030188697331 0.819031661846 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0011_9'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : negation(d['c_1001_5']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_11' : negation(d['c_0011_9']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_11']), 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : negation(d['c_1001_5']), 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0110_4'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0101_10']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0011_9'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_0101_2'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0011_9, c_0101_1, c_0101_10, c_0101_2, c_0101_4, c_0101_6, c_0110_4, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 12406639677031047132181760543/11721542886032729124660826112*c_0110_\ 4^13 + 26759497521914931703118394053/11721542886032729124660826112*\ c_0110_4^12 + 752682142127186214139813953/2663987019552892982877460\ 48*c_0110_4^11 + 9730053443450666910191363055/450828572539720350948\ 493312*c_0110_4^10 - 1534664110809207643645354237/91574553797130696\ 286412704*c_0110_4^9 + 20588088084349074024999499347/13319935097764\ 4649143873024*c_0110_4^8 - 50690814785518254930080933/4819713357743\ 720857179616*c_0110_4^7 + 24211881239005799226937888785/18314910759\ 4261392572825408*c_0110_4^6 - 495105300356919397458570633/228936384\ 49282674071603176*c_0110_4^5 + 17034453698277574099224174489/915745\ 53797130696286412704*c_0110_4^4 - 1945937714003289814009661/3012320\ 84858982553573726*c_0110_4^3 + 1116458816725703360972899467/1144681\ 9224641337035801588*c_0110_4^2 + 360916298058239266149601/220131138\ 935410327611569*c_0110_4 + 245111691052260055217539825/286170480616\ 0334258950397, c_0011_0 - 1, c_0011_10 - 3340706333561032724853/268031255968918163465216*c_0110_4^13 + 2279639583143171883111/268031255968918163465216*c_0110_4^12 - 629042112822870615969/6091619453839049169664*c_0110_4^11 + 11381462227823820303439/134015627984459081732608*c_0110_4^10 - 14486679106322697813147/33503906996114770433152*c_0110_4^9 - 331385016695136401625/1522904863459762292416*c_0110_4^8 - 181210689909047393559/220420440763912963376*c_0110_4^7 - 1209815333680283405505/16751953498057385216576*c_0110_4^6 - 2607028020764000946363/2093994187257173152072*c_0110_4^5 - 1117256913329462576093/2093994187257173152072*c_0110_4^4 - 37500452319476641971/27552555095489120422*c_0110_4^3 - 163827040838979279073/1046997093628586576036*c_0110_4^2 - 140149996111126297280/261749273407146644009*c_0110_4 - 94847891830626002372/261749273407146644009, c_0011_11 - 5422548440306541799263/536062511937836326930432*c_0110_4^13 - 8479165445015942989/2093994187257173152072*c_0110_4^12 - 595687665138984270347/12183238907678098339328*c_0110_4^11 - 2494516635457339279643/33503906996114770433152*c_0110_4^10 - 631725047380440798097/134015627984459081732608*c_0110_4^9 - 3064813283560935038851/3045809726919524584832*c_0110_4^8 + 187291913706682525835/440840881527825926752*c_0110_4^7 - 2668914581129009851865/2093994187257173152072*c_0110_4^6 + 1499516865906524928559/8375976749028692608288*c_0110_4^5 - 390381813407405097412/261749273407146644009*c_0110_4^4 + 21477860692631957391/27552555095489120422*c_0110_4^3 - 349390350959033812671/261749273407146644009*c_0110_4^2 + 96551971386021731755/523498546814293288018*c_0110_4 - 15911431833250502424/261749273407146644009, c_0011_5 - 34261930035376906255273/1072125023875672653860864*c_0110_4^1\ 3 + 7371645892077551040123/536062511937836326930432*c_0110_4^12 - 12041242103492182170347/48732955630712393357312*c_0110_4^11 + 9558479644747911217281/67007813992229540866304*c_0110_4^10 - 15876236608906312891897/16751953498057385216576*c_0110_4^9 - 1407428765375341563003/1522904863459762292416*c_0110_4^8 - 1567319263683679537737/881681763055651853504*c_0110_4^7 - 4548668681276942762693/8375976749028692608288*c_0110_4^6 - 9203083422479994515223/4187988374514346304144*c_0110_4^5 - 4309218008519740948039/2093994187257173152072*c_0110_4^4 - 209718650710735592039/110210220381956481688*c_0110_4^3 - 359671505975314008945/523498546814293288018*c_0110_4^2 - 243198554592040693458/261749273407146644009*c_0110_4 - 333802763153041283274/261749273407146644009, c_0011_9 - 41393457847969270196387/536062511937836326930432*c_0110_4^13 + 26954263266394857798043/536062511937836326930432*c_0110_4^12 - 7007933391569271542353/12183238907678098339328*c_0110_4^11 + 108829769631791138084025/268031255968918163465216*c_0110_4^10 - 17371945121285024238011/8375976749028692608288*c_0110_4^9 - 7070074255290106365389/3045809726919524584832*c_0110_4^8 - 1053554194153483772943/440840881527825926752*c_0110_4^7 - 23111735986460198711963/16751953498057385216576*c_0110_4^6 - 1086117262233605573590/261749273407146644009*c_0110_4^5 - 20774087416857925421085/4187988374514346304144*c_0110_4^4 - 40281399099410244707/27552555095489120422*c_0110_4^3 - 2101943307651400829821/1046997093628586576036*c_0110_4^2 - 503801236711221826008/261749273407146644009*c_0110_4 - 732575323018439955113/261749273407146644009, c_0101_1 - 1, c_0101_10 + 18680772550169741514125/536062511937836326930432*c_0110_4^1\ 3 - 20767935347895759598471/536062511937836326930432*c_0110_4^12 + 1682088003678043881765/6091619453839049169664*c_0110_4^11 - 86755763979290973557657/268031255968918163465216*c_0110_4^10 + 18493553576630672932787/16751953498057385216576*c_0110_4^9 + 333362951161568997667/761452431729881146208*c_0110_4^8 + 468531834909706404477/440840881527825926752*c_0110_4^7 - 2715557253496881870079/8375976749028692608288*c_0110_4^6 + 4367630315086587942295/2093994187257173152072*c_0110_4^5 + 3371621840520873999623/2093994187257173152072*c_0110_4^4 + 19011323963042275561/27552555095489120422*c_0110_4^3 + 453076511486284432195/1046997093628586576036*c_0110_4^2 + 276185416445920687230/261749273407146644009*c_0110_4 + 330072287604995301511/261749273407146644009, c_0101_2 + 3340706333561032724853/268031255968918163465216*c_0110_4^13 - 2279639583143171883111/268031255968918163465216*c_0110_4^12 + 629042112822870615969/6091619453839049169664*c_0110_4^11 - 11381462227823820303439/134015627984459081732608*c_0110_4^10 + 14486679106322697813147/33503906996114770433152*c_0110_4^9 + 331385016695136401625/1522904863459762292416*c_0110_4^8 + 181210689909047393559/220420440763912963376*c_0110_4^7 + 1209815333680283405505/16751953498057385216576*c_0110_4^6 + 2607028020764000946363/2093994187257173152072*c_0110_4^5 + 1117256913329462576093/2093994187257173152072*c_0110_4^4 + 37500452319476641971/27552555095489120422*c_0110_4^3 + 163827040838979279073/1046997093628586576036*c_0110_4^2 + 140149996111126297280/261749273407146644009*c_0110_4 + 94847891830626002372/261749273407146644009, c_0101_4 + 3340706333561032724853/268031255968918163465216*c_0110_4^13 - 2279639583143171883111/268031255968918163465216*c_0110_4^12 + 629042112822870615969/6091619453839049169664*c_0110_4^11 - 11381462227823820303439/134015627984459081732608*c_0110_4^10 + 14486679106322697813147/33503906996114770433152*c_0110_4^9 + 331385016695136401625/1522904863459762292416*c_0110_4^8 + 181210689909047393559/220420440763912963376*c_0110_4^7 + 1209815333680283405505/16751953498057385216576*c_0110_4^6 + 2607028020764000946363/2093994187257173152072*c_0110_4^5 + 1117256913329462576093/2093994187257173152072*c_0110_4^4 + 37500452319476641971/27552555095489120422*c_0110_4^3 + 163827040838979279073/1046997093628586576036*c_0110_4^2 + 401899269518272941289/261749273407146644009*c_0110_4 + 94847891830626002372/261749273407146644009, c_0101_6 + 34261930035376906255273/1072125023875672653860864*c_0110_4^1\ 3 - 7371645892077551040123/536062511937836326930432*c_0110_4^12 + 12041242103492182170347/48732955630712393357312*c_0110_4^11 - 9558479644747911217281/67007813992229540866304*c_0110_4^10 + 15876236608906312891897/16751953498057385216576*c_0110_4^9 + 1407428765375341563003/1522904863459762292416*c_0110_4^8 + 1567319263683679537737/881681763055651853504*c_0110_4^7 + 4548668681276942762693/8375976749028692608288*c_0110_4^6 + 9203083422479994515223/4187988374514346304144*c_0110_4^5 + 4309218008519740948039/2093994187257173152072*c_0110_4^4 + 209718650710735592039/110210220381956481688*c_0110_4^3 + 359671505975314008945/523498546814293288018*c_0110_4^2 + 243198554592040693458/261749273407146644009*c_0110_4 + 333802763153041283274/261749273407146644009, c_0110_4^14 - 126/233*c_0110_4^13 + 1858/233*c_0110_4^12 - 1280/233*c_0110_4^11 + 7424/233*c_0110_4^10 + 5568/233*c_0110_4^9 + 14016/233*c_0110_4^8 + 2816/233*c_0110_4^7 + 19200/233*c_0110_4^6 + 12800/233*c_0110_4^5 + 18944/233*c_0110_4^4 + 4096/233*c_0110_4^3 + 12288/233*c_0110_4^2 + 8192/233*c_0110_4 + 8192/233, c_1001_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB