Magma V2.19-8 Wed Aug 21 2013 00:51:36 on localhost [Seed = 4155630220] Type ? for help. Type -D to quit. Loading file "L11n167__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n167 geometric_solution 12.16956244 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 -1 1 0 2 0 -3 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.865817903856 0.942034795892 0 3 6 5 0132 3120 0132 0132 1 0 0 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 -2 0 0 2 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.752397733305 0.745504050931 4 0 4 7 3012 0132 2310 0132 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 1 0 -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.554817242998 0.294296636727 8 1 7 0 0132 3120 1302 0132 1 0 0 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 1 0 -1 -3 0 0 3 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.196750938556 0.608751548887 9 2 0 2 0132 3201 0132 1230 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 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.984743203953 1.352907519573 8 10 1 10 2103 0132 0132 1230 1 0 1 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 0 -1 0 0 -2 2 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.425290576867 1.099943880236 9 10 11 1 3120 0213 0132 0132 1 0 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 1 0 -1 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642244912998 0.762753557525 3 9 2 12 2031 3201 0132 0132 1 1 1 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 1 -1 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 0 0 0.563193594661 1.078826303525 3 12 5 11 0132 0132 2103 3120 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850390593424 0.978024898793 4 11 7 6 0132 2103 2310 3120 1 0 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 -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 0 0 0 0 0 0.230647332003 0.486070668839 5 5 6 12 3012 0132 0213 3120 1 1 0 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 0 1 1 0 -1 0 -2 0 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373147360787 0.714171613346 8 9 12 6 3120 2103 1230 0132 1 0 1 1 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 0 0 0 3 0 -3 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219974946263 0.498609121539 10 8 7 11 3120 0132 0132 3012 1 1 0 1 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 1 0 0 0 0 0 -2 -1 0 3 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.294847299536 0.803088730629 ==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_0011_4']), 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : negation(d['c_0101_12']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_3_10' : 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_0011_10'], 'c_0101_10' : d['c_0011_6'], '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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0011_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0101_12']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0011_11']), '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_0011_4'], '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_4']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0110_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_0']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_7'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_12'], 'c_1100_8' : negation(d['c_0011_10'])})} 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_12, c_0011_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_7, c_0110_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 102331371292810566208816325/116192382757385912815464*c_0110_10^13 - 1895357336236878760569286927/348577148272157738446392*c_0110_10^12 + 3533058551739196793997277993/348577148272157738446392*c_0110_10^11 - 875317215818448858430865551/87144287068039434611598*c_0110_10^10 - 1251794949026943314471737243/116192382757385912815464*c_0110_10^9 + 883464446015551378158523553/7922207915276312237418*c_0110_10^8 - 3050561188860255481820953289/58096191378692956407732*c_0110_10^7 - 736916966902477173710891182/4841349281557746367311*c_0110_10^6 + 12277257599569988789923298783/116192382757385912815464*c_0110_10^5 - 639895702940174032536026063/31688831661105248949672*c_0110_10^4 - 5252770209217429051988094419/174288574136078869223196*c_0110_10^3 + 4356141654686422639530664507/174288574136078869223196*c_0110_10^2 + 2973055176301164717005003455/348577148272157738446392*c_0110_10 + 182850968526970844210857699/174288574136078869223196, c_0011_0 - 1, c_0011_10 - 190226933674637044/285979637400776559*c_0110_10^13 + 3479989024290645002/857938912202329677*c_0110_10^12 - 6270949326276364427/857938912202329677*c_0110_10^11 + 5860927363176884666/857938912202329677*c_0110_10^10 + 2543331129513316232/285979637400776559*c_0110_10^9 - 71760310664687895179/857938912202329677*c_0110_10^8 + 9295039230091492310/285979637400776559*c_0110_10^7 + 11608626631968874432/95326545800258853*c_0110_10^6 - 19659283552978293802/285979637400776559*c_0110_10^5 + 2119041557373869762/857938912202329677*c_0110_10^4 + 19425119678376224858/857938912202329677*c_0110_10^3 - 12935820347294889502/857938912202329677*c_0110_10^2 - 8190785654591253347/857938912202329677*c_0110_10 - 1603730483128656217/857938912202329677, c_0011_11 - 524572579041970271/285979637400776559*c_0110_10^13 + 9585420070102213930/857938912202329677*c_0110_10^12 - 17247536007812459362/857938912202329677*c_0110_10^11 + 16139376997454727817/857938912202329677*c_0110_10^10 + 7046677572898870318/285979637400776559*c_0110_10^9 - 197987231148280405486/857938912202329677*c_0110_10^8 + 25459033375288942237/285979637400776559*c_0110_10^7 + 31795609053168482942/95326545800258853*c_0110_10^6 - 54710999235928654124/285979637400776559*c_0110_10^5 + 12202960871271656281/857938912202329677*c_0110_10^4 + 55139513558230171504/857938912202329677*c_0110_10^3 - 41698195060054200371/857938912202329677*c_0110_10^2 - 20114863237235085595/857938912202329677*c_0110_10 - 3187949687499754952/857938912202329677, c_0011_12 - 225466104560445265/95326545800258853*c_0110_10^13 + 4168958422801776509/285979637400776559*c_0110_10^12 - 7713123187306529627/285979637400776559*c_0110_10^11 + 7473672002945298737/285979637400776559*c_0110_10^10 + 2872100216542635992/95326545800258853*c_0110_10^9 - 85811925336130454528/285979637400776559*c_0110_10^8 + 13015306690287146288/95326545800258853*c_0110_10^7 + 13403767229823214891/31775515266752951*c_0110_10^6 - 26802751819185243847/95326545800258853*c_0110_10^5 + 10628223262620095300/285979637400776559*c_0110_10^4 + 25229057011115263784/285979637400776559*c_0110_10^3 - 20087211185163346672/285979637400776559*c_0110_10^2 - 7987263276475416593/285979637400776559*c_0110_10 - 840982582739454481/285979637400776559, c_0011_4 + 156445955864743211/285979637400776559*c_0110_10^13 - 2914983436140977962/857938912202329677*c_0110_10^12 + 5536182945444358372/857938912202329677*c_0110_10^11 - 5748272781155426848/857938912202329677*c_0110_10^10 - 1701139894916086225/285979637400776559*c_0110_10^9 + 59196982793993230729/857938912202329677*c_0110_10^8 - 10133267934393346930/285979637400776559*c_0110_10^7 - 8469340450602101510/95326545800258853*c_0110_10^6 + 18432468313602693173/285979637400776559*c_0110_10^5 - 19710732109686982516/857938912202329677*c_0110_10^4 - 10051794003959813968/857938912202329677*c_0110_10^3 + 15650170514643861038/857938912202329677*c_0110_10^2 + 3697726664131151458/857938912202329677*c_0110_10 + 1012478948966062595/857938912202329677, c_0011_6 - 121385600482588691/95326545800258853*c_0110_10^13 + 2247553436367235741/285979637400776559*c_0110_10^12 - 4187106520524863560/285979637400776559*c_0110_10^11 + 4157558722394560024/285979637400776559*c_0110_10^10 + 1470078812315172460/95326545800258853*c_0110_10^9 - 46042483056228352879/285979637400776559*c_0110_10^8 + 7201921268304849358/95326545800258853*c_0110_10^7 + 6968920308715456518/31775515266752951*c_0110_10^6 - 14174585530693922747/95326545800258853*c_0110_10^5 + 8798883433877199892/285979637400776559*c_0110_10^4 + 10872770489194420648/285979637400776559*c_0110_10^3 - 10701187034930514134/285979637400776559*c_0110_10^2 - 3579625930509842605/285979637400776559*c_0110_10 - 638862203867760179/285979637400776559, c_0011_7 - 159690306685528472/285979637400776559*c_0110_10^13 + 3091246822560147523/857938912202329677*c_0110_10^12 - 6335774795429960797/857938912202329677*c_0110_10^11 + 6998242509998296486/857938912202329677*c_0110_10^10 + 1439668830772301548/285979637400776559*c_0110_10^9 - 62308948045062959035/857938912202329677*c_0110_10^8 + 15160929949156805173/285979637400776559*c_0110_10^7 + 8315334110826011282/95326545800258853*c_0110_10^6 - 26575255651227844496/285979637400776559*c_0110_10^5 + 28164812906460115156/857938912202329677*c_0110_10^4 + 12365773176819417751/857938912202329677*c_0110_10^3 - 20242424905805981609/857938912202329677*c_0110_10^2 - 1058640354060389980/857938912202329677*c_0110_10 + 595087383272032981/857938912202329677, c_0101_0 - 1, c_0101_1 - 55978658072071934/95326545800258853*c_0110_10^13 + 1082448863730564910/285979637400776559*c_0110_10^12 - 2213825198494316779/285979637400776559*c_0110_10^11 + 2446902796732170019/285979637400776559*c_0110_10^10 + 494221265466558706/95326545800258853*c_0110_10^9 - 21735256367610746566/285979637400776559*c_0110_10^8 + 5232640506162248179/95326545800258853*c_0110_10^7 + 2915164533163048054/31775515266752951*c_0110_10^6 - 8965939202668196987/95326545800258853*c_0110_10^5 + 9147569229686692705/285979637400776559*c_0110_10^4 + 3017376414256508821/285979637400776559*c_0110_10^3 - 5740033003831746701/285979637400776559*c_0110_10^2 + 63341402858414696/285979637400776559*c_0110_10 - 275438354308286093/285979637400776559, c_0101_12 - 3004610108714005/1381544142032737*c_0110_10^13 + 55148254150620530/4144632426098211*c_0110_10^12 - 100135541252184701/4144632426098211*c_0110_10^11 + 94123992798299294/4144632426098211*c_0110_10^10 + 40241492574089399/1381544142032737*c_0110_10^9 - 1139409420123284576/4144632426098211*c_0110_10^8 + 155457947854083062/1381544142032737*c_0110_10^7 + 549426609944333932/1381544142032737*c_0110_10^6 - 334639286851294696/1381544142032737*c_0110_10^5 + 63447323527063364/4144632426098211*c_0110_10^4 + 352299856129158539/4144632426098211*c_0110_10^3 - 244566206670329929/4144632426098211*c_0110_10^2 - 116762789797567694/4144632426098211*c_0110_10 - 14220001529614507/4144632426098211, c_0101_2 + 261511124622280190/285979637400776559*c_0110_10^13 - 5118722565666943702/857938912202329677*c_0110_10^12 + 10736605714796913184/857938912202329677*c_0110_10^11 - 12194524899950118385/857938912202329677*c_0110_10^10 - 2073364587539163361/285979637400776559*c_0110_10^9 + 102377371725653912527/857938912202329677*c_0110_10^8 - 27160273817003379859/285979637400776559*c_0110_10^7 - 13082531847256956260/95326545800258853*c_0110_10^6 + 46186048887950155085/285979637400776559*c_0110_10^5 - 52465996205374882654/857938912202329677*c_0110_10^4 - 16354570680076612381/857938912202329677*c_0110_10^3 + 29404060989724457354/857938912202329677*c_0110_10^2 - 761799319236534074/857938912202329677*c_0110_10 - 330644165160548311/857938912202329677, c_0101_7 - 93575150406064388/285979637400776559*c_0110_10^13 + 1871375974475248972/857938912202329677*c_0110_10^12 - 4095130119313962847/857938912202329677*c_0110_10^11 + 4853816509753608328/857938912202329677*c_0110_10^10 + 590700791139487243/285979637400776559*c_0110_10^9 - 37171602622821672829/857938912202329677*c_0110_10^8 + 11462352298516635322/285979637400776559*c_0110_10^7 + 4337038247767812098/95326545800258853*c_0110_10^6 - 19288231279945564124/285979637400776559*c_0110_10^5 + 25023288516314804539/857938912202329677*c_0110_10^4 + 7302441437307085918/857938912202329677*c_0110_10^3 - 12183961978229217251/857938912202329677*c_0110_10^2 + 571775110661289986/857938912202329677*c_0110_10 + 1156959228085406590/857938912202329677, c_0110_10^14 - 17/3*c_0110_10^13 + 25/3*c_0110_10^12 - 16/3*c_0110_10^11 - 55/3*c_0110_10^10 + 362/3*c_0110_10^9 + 16/3*c_0110_10^8 - 208*c_0110_10^7 + 31*c_0110_10^6 + 133/3*c_0110_10^5 - 46*c_0110_10^4 + 12*c_0110_10^3 + 79/3*c_0110_10^2 + 20/3*c_0110_10 + 2/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.390 seconds, Total memory usage: 32.09MB