Magma V2.19-8 Tue Aug 20 2013 23:41:14 on localhost [Seed = 576997038] Type ? for help. Type -D to quit. Loading file "L12n1079__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1079 geometric_solution 10.39874242 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 0 0 1 2 1302 2031 0132 0132 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 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526314600645 1.282590563853 3 4 4 0 0132 0132 1302 0132 1 1 1 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 -1 0 1 0 0 0 0 0 0 0 0 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403396021272 0.625941302090 5 3 0 6 0132 3201 0132 0132 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 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 0 0 0 0 -0.645027395325 1.614800480216 1 7 2 7 0132 0132 2310 1230 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 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.307692387043 0.907746528889 1 1 6 7 2031 0132 2031 0132 1 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 0 0 0 0 0 1 0 -1 0 0 0 0 -4 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272545411406 1.128776310089 2 8 9 6 0132 0132 0132 3120 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 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 0 0 0 0 0.270572201322 0.687088886123 5 10 2 4 3120 0132 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302617355948 0.684100158497 3 3 4 8 3012 0132 0132 1230 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 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.531198509210 0.696501950667 7 5 10 9 3012 0132 1230 1230 1 1 1 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 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.675507072577 0.512174626818 8 10 10 5 3012 1230 2103 0132 1 1 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 0 0 0 -1 1 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.749710723357 1.275056681519 9 6 9 8 2103 0132 3012 3012 1 1 1 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 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.687444127937 1.288201599850 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0101_7'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : 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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_5']), 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : d['c_0101_4'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0101_4'], 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : negation(d['c_0101_8']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : d['c_0101_5'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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_2'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_7' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_0110_10' : d['c_0101_5'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0011_9'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0011_2'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_10, c_0011_2, c_0011_9, c_0101_10, c_0101_2, c_0101_4, c_0101_5, c_0101_7, c_0101_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 38095415247662099046065278672702678887/5130118884396276091802897716\ 1313559972*c_0101_8^12 + 67003416558349926196748140996866515533/128\ 25297210990690229507244290328389993*c_0101_8^11 + 268998402489054032176475638981115608225/256505944219813804590144885\ 80656779986*c_0101_8^10 + 20738728588614924358449344216271226001/36\ 64370631711625779859212654379539998*c_0101_8^9 + 4172423190266503308335096211710055558735/51301188843962760918028977\ 161313559972*c_0101_8^8 + 6473138445910411587418228669238042786761/\ 25650594421981380459014488580656779986*c_0101_8^7 + 5240317228156930915126504820049805570419/73287412634232515597184253\ 08759079996*c_0101_8^6 - 14314138620095984790545773578555283933257/\ 12825297210990690229507244290328389993*c_0101_8^5 + 541666286967187536094050606628148957756/128252972109906902295072442\ 90328389993*c_0101_8^4 - 2997938065715385433554108027669787307943/1\ 832185315855812889929606327189769999*c_0101_8^3 - 42072924537131046750515940292216746125537/2565059442198138045901448\ 8580656779986*c_0101_8^2 + 2114506064726625266120287790780397915641\ 3/3664370631711625779859212654379539998*c_0101_8 - 9016243757695094294355058318223499606317/51301188843962760918028977\ 161313559972, c_0011_0 - 1, c_0011_1 - 1, c_0011_10 - 85019614134781270580095/1147203822633874155868016498*c_0101\ _8^12 - 555592514069473117297525/1147203822633874155868016498*c_010\ 1_8^11 - 854537217435882935593035/1147203822633874155868016498*c_01\ 01_8^10 + 175347373294718320178559/1147203822633874155868016498*c_0\ 101_8^9 - 4362733740263581020311276/573601911316937077934008249*c_0\ 101_8^8 - 11040663261455879013776356/573601911316937077934008249*c_\ 0101_8^7 - 53469146442004487530430067/1147203822633874155868016498*\ c_0101_8^6 + 181247345826226147771050881/11472038226338741558680164\ 98*c_0101_8^5 - 10743379834957865116471517/114720382263387415586801\ 6498*c_0101_8^4 + 227810158966703032949276957/114720382263387415586\ 8016498*c_0101_8^3 + 592852676048581611814835943/114720382263387415\ 5868016498*c_0101_8^2 - 1285897178326900345624485267/11472038226338\ 74155868016498*c_0101_8 - 127317503022896753507432124/5736019113169\ 37077934008249, c_0011_2 + 5805958865046383704997281/29827299388480728052568428948*c_01\ 01_8^12 + 10029673616660950776301064/7456824847120182013142107237*c\ _0101_8^11 + 41088930734462825789821997/149136496942403640262842144\ 74*c_0101_8^10 + 2860796955613858866936227/114720382263387415586801\ 6498*c_0101_8^9 + 726702776925473566035633977/298272993884807280525\ 68428948*c_0101_8^8 + 990657405912530220815185675/14913649694240364\ 026284214474*c_0101_8^7 + 5993175177955353517549396451/298272993884\ 80728052568428948*c_0101_8^6 - 1783531628486550232472274073/7456824\ 847120182013142107237*c_0101_8^5 + 1998971732936472610571853686/7456824847120182013142107237*c_0101_8^\ 4 - 4081412394573515624146207240/7456824847120182013142107237*c_010\ 1_8^3 - 7007612398447416433408232027/14913649694240364026284214474*\ c_0101_8^2 + 11667097433025271708209368247/149136496942403640262842\ 14474*c_0101_8 - 4748943709357067625566408575/298272993884807280525\ 68428948, c_0011_9 - 1858776378910762676370793/29827299388480728052568428948*c_01\ 01_8^12 - 5013660134036885582908955/14913649694240364026284214474*c\ _0101_8^11 + 581391764812359551982694/7456824847120182013142107237*\ c_0101_8^10 + 1461148943680148420825542/573601911316937077934008249\ *c_0101_8^9 - 101837821667987369708821263/2982729938848072805256842\ 8948*c_0101_8^8 - 139192327932417234871311345/149136496942403640262\ 84214474*c_0101_8^7 + 78011146803508263479461077/298272993884807280\ 52568428948*c_0101_8^6 + 4041320992705580185064391701/1491364969424\ 0364026284214474*c_0101_8^5 + 850681852584144019126531737/149136496\ 94240364026284214474*c_0101_8^4 - 4531758990846433913705969049/1491\ 3649694240364026284214474*c_0101_8^3 + 1090007126287064457296458977/7456824847120182013142107237*c_0101_8^\ 2 - 1655229493559636749039153591/7456824847120182013142107237*c_010\ 1_8 - 9816388287261922001538897795/29827299388480728052568428948, c_0101_10 - 1470704894135006996565743/29827299388480728052568428948*c_0\ 101_8^12 - 3362450734497796640616829/7456824847120182013142107237*c\ _0101_8^11 - 19128190450587084666637819/149136496942403640262842144\ 74*c_0101_8^10 - 773736111527547930188049/1147203822633874155868016\ 498*c_0101_8^9 - 96642968123779807207561951/29827299388480728052568\ 428948*c_0101_8^8 - 391613078073812200772811901/1491364969424036402\ 6284214474*c_0101_8^7 - 2036406696608138152043514653/29827299388480\ 728052568428948*c_0101_8^6 + 355582451705701771567787759/7456824847\ 120182013142107237*c_0101_8^5 + 2591495438757125859432491244/745682\ 4847120182013142107237*c_0101_8^4 - 838438616782251610197505905/7456824847120182013142107237*c_0101_8^3 - 143102420455708747467509401/14913649694240364026284214474*c_0101_\ 8^2 - 1741637419633668330796279037/14913649694240364026284214474*c_\ 0101_8 - 9783483851319048952275944627/29827299388480728052568428948\ , c_0101_2 + 3663483284146909412425269/29827299388480728052568428948*c_01\ 01_8^12 + 11553639397027634146756013/14913649694240364026284214474*\ c_0101_8^11 + 8469200032708168859037813/745682484712018201314210723\ 7*c_0101_8^10 + 85103495873409205686253/573601911316937077934008249\ *c_0101_8^9 + 449914817205951071869528527/2982729938848072805256842\ 8948*c_0101_8^8 + 541127049792173036039315425/149136496942403640262\ 84214474*c_0101_8^7 + 2808921494400666184238789039/2982729938848072\ 8052568428948*c_0101_8^6 - 3476672428794912116600651147/14913649694\ 240364026284214474*c_0101_8^5 + 3770470093492380908360875899/149136\ 49694240364026284214474*c_0101_8^4 - 952608977067029967359759037/14913649694240364026284214474*c_0101_8^\ 3 - 3319834876279419496805909563/7456824847120182013142107237*c_010\ 1_8^2 + 5952806563042690042855478439/7456824847120182013142107237*c\ _0101_8 - 22112801946802171188783892569/298272993884807280525684289\ 48, c_0101_4 + 9078286359743535138017/126386861815596305307493343*c_0101_8^\ 12 + 144164539598207922132985/252773723631192610614986686*c_0101_8^\ 11 + 409331028288923526639769/252773723631192610614986686*c_0101_8^\ 10 + 45603219726560007721419/19444132587014816201152822*c_0101_8^9 + 2345660675589173679373775/252773723631192610614986686*c_0101_8^8 + 3809579289155569362507375/126386861815596305307493343*c_0101_8^7 + 13492600354045285310638167/126386861815596305307493343*c_0101_8^6 - 1532047935223531327862661/252773723631192610614986686*c_0101_8^5 + 3855480887806174792929347/252773723631192610614986686*c_0101_8^4 - 122207047662372903066655177/252773723631192610614986686*c_0101_8^3 - 6236316032009787115193439/252773723631192610614986686*c_0101_8^2 + 248731084765767044894620777/252773723631192610614986686*c_0101_8 + 147151340995297487823876983/252773723631192610614986686, c_0101_5 + 4298323019708364860753519/29827299388480728052568428948*c_01\ 01_8^12 + 7822728450489822718329839/7456824847120182013142107237*c_\ 0101_8^11 + 34040537142420794125578079/1491364969424036402628421447\ 4*c_0101_8^10 + 1568519829915711499339151/1147203822633874155868016\ 498*c_0101_8^9 + 434839121911370659948421927/2982729938848072805256\ 8428948*c_0101_8^8 + 759291615092899424337620857/149136496942403640\ 26284214474*c_0101_8^7 + 4566653566647944139154005229/2982729938848\ 0728052568428948*c_0101_8^6 - 1522427747710547744431410146/74568248\ 47120182013142107237*c_0101_8^5 - 871441010554537513653714523/74568\ 24847120182013142107237*c_0101_8^4 - 3604774332103553072149298547/7456824847120182013142107237*c_0101_8^\ 3 - 642036220871630096833887985/14913649694240364026284214474*c_010\ 1_8^2 + 15131106396437925776370517143/14913649694240364026284214474\ *c_0101_8 - 2167190390552285788480231761/29827299388480728052568428\ 948, c_0101_7 + 5805958865046383704997281/29827299388480728052568428948*c_01\ 01_8^12 + 10029673616660950776301064/7456824847120182013142107237*c\ _0101_8^11 + 41088930734462825789821997/149136496942403640262842144\ 74*c_0101_8^10 + 2860796955613858866936227/114720382263387415586801\ 6498*c_0101_8^9 + 726702776925473566035633977/298272993884807280525\ 68428948*c_0101_8^8 + 990657405912530220815185675/14913649694240364\ 026284214474*c_0101_8^7 + 5993175177955353517549396451/298272993884\ 80728052568428948*c_0101_8^6 - 1783531628486550232472274073/7456824\ 847120182013142107237*c_0101_8^5 + 1998971732936472610571853686/7456824847120182013142107237*c_0101_8^\ 4 - 4081412394573515624146207240/7456824847120182013142107237*c_010\ 1_8^3 - 7007612398447416433408232027/14913649694240364026284214474*\ c_0101_8^2 + 26580747127265635734493582721/149136496942403640262842\ 14474*c_0101_8 - 4748943709357067625566408575/298272993884807280525\ 68428948, c_0101_8^13 + 7*c_0101_8^12 + 14*c_0101_8^11 + 8*c_0101_8^10 + 111*c_0101_8^9 + 337*c_0101_8^8 + 965*c_0101_8^7 - 1495*c_0101_8^6 + 232*c_0101_8^5 - 2396*c_0101_8^4 - 2078*c_0101_8^3 + 7508*c_0101_8^2 - 685*c_0101_8 + 823 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB