Magma V2.19-8 Wed Aug 21 2013 00:57:33 on localhost [Seed = 3002378364] Type ? for help. Type -D to quit. Loading file "L13n4358__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4358 geometric_solution 11.83818749 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 3 0 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329271975858 0.527650026695 0 4 5 4 0132 0132 0132 1230 1 1 0 1 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 -1 1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227001313915 1.184794071335 0 0 6 4 2031 0132 0132 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 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.148804194784 1.364019783875 7 8 0 5 0132 0132 0132 3201 1 1 1 1 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 1 0 -1 0 0 1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141798365880 0.797692167370 1 1 2 9 3012 0132 0132 0132 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.386255237427 0.592022888995 6 3 10 1 0321 2310 0132 0132 1 1 1 1 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 0 0 0 4 -1 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.441011812471 1.913990060828 5 7 11 2 0321 0321 0132 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.103276790298 0.688090094427 3 10 12 6 0132 2031 0132 0321 1 1 1 1 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 1 0 0 -1 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255505252255 0.641376750433 12 3 11 10 2031 0132 3012 2031 1 1 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 0 0 0 0 1 -1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042640053853 0.796187919234 10 12 4 11 2031 2031 0132 0132 1 1 1 1 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 1 -1 0 0 0 0 0 -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.076566435070 0.878854083603 7 8 9 5 1302 1302 1302 0132 1 1 1 1 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 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.254955616322 0.365931944805 12 8 9 6 1023 1230 0132 0132 1 1 1 1 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 -1 0 0 1 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.014056033933 1.339007989673 9 11 8 7 1302 1023 1302 0132 1 1 1 1 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 -1 1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649036241801 0.696453230721 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_0011_10'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0101_5']), 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : d['c_0011_11'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_3'], '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_12' : 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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_1100_11'], 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : d['c_1100_11'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : d['c_1100_11'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : d['c_0101_9'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0011_10'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0011_10'], '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'], 'c_1100_12' : d['c_0101_8'], '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0110_11' : negation(d['c_0101_5']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0011_3'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(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_6']), 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_1100_11'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_6, c_0101_11, c_0101_4, c_0101_5, c_0101_7, c_0101_8, c_0101_9, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 1202394316379125819845988831423/11405552229357477263407915500*c_110\ 0_11^12 - 1651214556513263159609152653056/8554164172018107947555936\ 625*c_1100_11^11 - 42916078275207064371048342586099/102649970064217\ 295370671239500*c_1100_11^10 + 12698458670641994837963418127253/446\ 3042176705099798724836500*c_1100_11^9 + 980097717601456348166549332742821/102649970064217295370671239500*c_\ 1100_11^8 - 314675105282799658599936448125832/256624925160543238426\ 67809875*c_1100_11^7 + 23397889068837476963403497173543/10264997006\ 421729537067123950*c_1100_11^6 + 482028323374805569017471150476461/\ 11405552229357477263407915500*c_1100_11^5 - 2718641095678824893203622182103579/34216656688072431790223746500*c_\ 1100_11^4 + 931895685090510637187691729187151/114055522293574772634\ 07915500*c_1100_11^3 - 5455313651809537648750899838775539/102649970\ 064217295370671239500*c_1100_11^2 + 1974023031787880157543659185028683/102649970064217295370671239500*c\ _1100_11 - 88948702217712108199312923603502/25662492516054323842667\ 809875, c_0011_0 - 1, c_0011_10 + 2547020415215523850017/6931359604592815109941*c_1100_11^12 + 6261944075453574094873/6931359604592815109941*c_1100_11^11 + 41706755743404917149904/20794078813778445329823*c_1100_11^10 - 2637609308800199273692/301363461069252830867*c_1100_11^9 - 810739585795223738934530/20794078813778445329823*c_1100_11^8 + 128273005091031050992099/6931359604592815109941*c_1100_11^7 + 143899984506160725259837/20794078813778445329823*c_1100_11^6 - 2881601459072735858915129/20794078813778445329823*c_1100_11^5 + 3866548189087916933169439/20794078813778445329823*c_1100_11^4 - 3482533945173887795859044/20794078813778445329823*c_1100_11^3 + 612835684015640049347172/6931359604592815109941*c_1100_11^2 - 498067743761183053676495/20794078813778445329823*c_1100_11 + 20167087945761369498410/6931359604592815109941, c_0011_11 - 1113648360302426030227/6931359604592815109941*c_1100_11^12 - 4611106789378286391356/20794078813778445329823*c_1100_11^11 - 30628113809098126766839/62382236441335335989469*c_1100_11^10 + 4187860539720842799257/904090383207758492601*c_1100_11^9 + 787296139701964134076021/62382236441335335989469*c_1100_11^8 - 533466698998115049375119/20794078813778445329823*c_1100_11^7 + 697532485583131684037158/62382236441335335989469*c_1100_11^6 + 4119733848849531709387759/62382236441335335989469*c_1100_11^5 - 9538605850496456774646482/62382236441335335989469*c_1100_11^4 + 10664914567038190162372114/62382236441335335989469*c_1100_11^3 - 2496960573542822241511514/20794078813778445329823*c_1100_11^2 + 2871906748562722305205954/62382236441335335989469*c_1100_11 - 53394427556013126598337/6931359604592815109941, c_0011_3 + 7118372084260691270891/13862719209185630219882*c_1100_11^12 + 45186375084675919525099/41588157627556890659646*c_1100_11^11 + 294267839473995024881309/124764472882670671978938*c_1100_11^10 - 11876592092715535912955/904090383207758492601*c_1100_11^9 - 3124383293801350792598053/62382236441335335989469*c_1100_11^8 + 1888417430519002220769667/41588157627556890659646*c_1100_11^7 + 22294056018370505884232/62382236441335335989469*c_1100_11^6 - 25980002985331655880022373/124764472882670671978938*c_1100_11^5 + 20141799064197527299941752/62382236441335335989469*c_1100_11^4 - 19374564629811838664237488/62382236441335335989469*c_1100_11^3 + 3625668976085667879121700/20794078813778445329823*c_1100_11^2 - 3483625592915951824824571/62382236441335335989469*c_1100_11 + 109755060536411239784681/13862719209185630219882, c_0011_5 - 3867328777896912361347/13862719209185630219882*c_1100_11^12 - 4655675799145535838249/6931359604592815109941*c_1100_11^11 - 21512773458547623689305/13862719209185630219882*c_1100_11^10 + 3933887949624039867323/602726922138505661734*c_1100_11^9 + 399915915282499042455805/13862719209185630219882*c_1100_11^8 - 97881215248254040826978/6931359604592815109941*c_1100_11^7 + 23671652934989552179926/6931359604592815109941*c_1100_11^6 + 1466461739945315830972731/13862719209185630219882*c_1100_11^5 - 2133038220494045880608403/13862719209185630219882*c_1100_11^4 + 2139117172464848845609869/13862719209185630219882*c_1100_11^3 - 1218919210874987902702289/13862719209185630219882*c_1100_11^2 + 361255469920513548606529/13862719209185630219882*c_1100_11 - 20071188412465943105444/6931359604592815109941, c_0011_6 + 1, c_0101_11 + 1855781902528508334751/13862719209185630219882*c_1100_11^12 + 8180256838309149101548/20794078813778445329823*c_1100_11^11 + 115096222387459243376995/124764472882670671978938*c_1100_11^10 - 4904010325307001410369/1808180766415516985202*c_1100_11^9 - 1925803315162099951226065/124764472882670671978938*c_1100_11^8 - 13572318627140048758505/20794078813778445329823*c_1100_11^7 + 69890765071082095507414/62382236441335335989469*c_1100_11^6 - 6553924985412526476467065/124764472882670671978938*c_1100_11^5 + 5700785731490797168256819/124764472882670671978938*c_1100_11^4 - 4514636660854887699085435/124764472882670671978938*c_1100_11^3 + 238396341893495811354221/41588157627556890659646*c_1100_11^2 + 654732264658097963804933/124764472882670671978938*c_1100_11 - 12771102826874446927316/6931359604592815109941, c_0101_4 + 2885580174759/32609109558874*c_1100_11^12 + 3778405766768/16304554779437*c_1100_11^11 + 44399887612301/97827328676622*c_1100_11^10 - 72569512162371/32609109558874*c_1100_11^9 - 992033818109765/97827328676622*c_1100_11^8 + 71490245868697/16304554779437*c_1100_11^7 + 505541865670055/48913664338311*c_1100_11^6 - 3208092155039705/97827328676622*c_1100_11^5 + 3137909330254333/97827328676622*c_1100_11^4 - 1288386711388217/97827328676622*c_1100_11^3 + 15883018991135/32609109558874*c_1100_11^2 + 206133176393629/97827328676622*c_1100_11 + 225583331862/16304554779437, c_0101_5 - 1005773437684202013298/6931359604592815109941*c_1100_11^12 - 5786770559127458413199/20794078813778445329823*c_1100_11^11 - 39259369369734684913375/62382236441335335989469*c_1100_11^10 + 3448826761782559095800/904090383207758492601*c_1100_11^9 + 836719961190195715438090/62382236441335335989469*c_1100_11^8 - 307215964371902171239439/20794078813778445329823*c_1100_11^7 + 282935641485988065126748/62382236441335335989469*c_1100_11^6 + 3322115337047658001143757/62382236441335335989469*c_1100_11^5 - 6748279126477807878609404/62382236441335335989469*c_1100_11^4 + 7368708945664375955701693/62382236441335335989469*c_1100_11^3 - 1709180645365733948376323/20794078813778445329823*c_1100_11^2 + 1953015746971359950631847/62382236441335335989469*c_1100_11 - 32842291239340390032760/6931359604592815109941, c_0101_7 + 2595823056544645764171/6931359604592815109941*c_1100_11^12 + 5709177101987394884394/6931359604592815109941*c_1100_11^11 + 13117792209326402290246/6931359604592815109941*c_1100_11^10 - 2759169671314478115029/301363461069252830867*c_1100_11^9 - 254719058664804252457448/6931359604592815109941*c_1100_11^8 + 190520913164547844164117/6931359604592815109941*c_1100_11^7 - 63020907579878264451257/6931359604592815109941*c_1100_11^6 - 1022701399602557488464304/6931359604592815109941*c_1100_11^5 + 1611470284552630742139598/6931359604592815109941*c_1100_11^4 - 1701042563697966387208678/6931359604592815109941*c_1100_11^3 + 1025013983120680381943531/6931359604592815109941*c_1100_11^2 - 368828861520328110772617/6931359604592815109941*c_1100_11 + 62374454460358819407220/6931359604592815109941, c_0101_8 - 347321176206359223901/13862719209185630219882*c_1100_11^12 - 5279312182405415113559/41588157627556890659646*c_1100_11^11 - 42679085678820747024751/124764472882670671978938*c_1100_11^10 + 119200295132164460302/904090383207758492601*c_1100_11^9 + 249162586839262250573561/62382236441335335989469*c_1100_11^8 + 282926771434142727390457/41588157627556890659646*c_1100_11^7 + 66143053289016938809592/62382236441335335989469*c_1100_11^6 + 670284402413856715546759/124764472882670671978938*c_1100_11^5 + 548879089549236980316380/62382236441335335989469*c_1100_11^4 - 294236424025301045006833/62382236441335335989469*c_1100_11^3 + 56241508644371714257019/20794078813778445329823*c_1100_11^2 + 41417688854776482428744/62382236441335335989469*c_1100_11 - 17587973755490546545279/13862719209185630219882, c_0101_9 - 6418358165623426867029/13862719209185630219882*c_1100_11^12 - 7315445378295433141018/6931359604592815109941*c_1100_11^11 - 97581944367125376973369/41588157627556890659646*c_1100_11^10 + 6859670010605314910119/602726922138505661734*c_1100_11^9 + 1950045777731775865246333/41588157627556890659646*c_1100_11^8 - 220912703007324854329238/6931359604592815109941*c_1100_11^7 - 25852220571494588445844/20794078813778445329823*c_1100_11^6 + 7500026095924869155697889/41588157627556890659646*c_1100_11^5 - 11002803424009480677351257/41588157627556890659646*c_1100_11^4 + 10753971755141027378140549/41588157627556890659646*c_1100_11^3 - 2056780123397652959879117/13862719209185630219882*c_1100_11^2 + 2125342246882794126169105/41588157627556890659646*c_1100_11 - 62470353993654245800186/6931359604592815109941, c_1100_11^13 + 5/3*c_1100_11^12 + 34/9*c_1100_11^11 - 82/3*c_1100_11^10 - 769/9*c_1100_11^9 + 386/3*c_1100_11^8 - 481/9*c_1100_11^7 - 3553/9*c_1100_11^6 + 7412/9*c_1100_11^5 - 8467/9*c_1100_11^4 + 2027/3*c_1100_11^3 - 2719/9*c_1100_11^2 + 78*c_1100_11 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.760 Total time: 0.960 seconds, Total memory usage: 32.09MB