Magma V2.19-8 Tue Aug 20 2013 23:38:14 on localhost [Seed = 1174413927] Type ? for help. Type -D to quit. Loading file "K11a362__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a362 geometric_solution 8.76519368 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 10 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 -1 1 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.499800818096 0.398448850354 0 3 2 4 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.505099915172 1.049997452891 5 1 6 0 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.327818523369 0.534969140402 6 1 7 8 2310 0132 0132 0132 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 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.032507637351 0.680961362884 7 5 1 9 2310 3120 0132 0132 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 -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.446796272942 1.195567639969 2 4 7 8 0132 3120 2310 0213 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 0 0 0 1 0 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 1.032507637351 0.680961362884 9 9 3 2 0132 1302 3201 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884537616923 1.787109194842 8 5 4 3 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.963535315555 0.846562576223 7 9 3 5 0132 3120 0132 0213 0 0 0 0 0 -1 0 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 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.217035621762 0.571010830743 6 8 4 6 0132 3120 0132 2031 0 0 0 0 0 -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 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.036002217890 0.557236849881 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_2'], 'c_1001_8' : negation(d['c_0011_2']), 's_2_8' : negation(d['1']), 's_2_9' : d['1'], '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_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_1001_2']), 'c_1100_8' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(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' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_6'], '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], '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_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_3'], 'c_0110_9' : negation(d['c_0101_3']), 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 5917185824299807664790822563/22127963322980172109014850*c_1001_3^10 - 6549034478179033590781403657/2528910094054876812458840*c_1001_3^9 + 50429690710221313286903617641/3540474131676827537442376*c_1001_3^\ 8 - 743398618341463330388845833293/44255926645960344218029700*c_100\ 1_3^7 + 2749664290432071733599620208423/22127963322980172109014850*\ c_1001_3^6 - 4939975111576423827305726463133/8851185329192068843605\ 9400*c_1001_3^5 + 9280380155941677953400205970761/88511853291920688\ 436059400*c_1001_3^4 - 14414072215631633777575528989889/88511853291\ 920688436059400*c_1001_3^3 + 921519401643752248898647128717/4425592\ 6645960344218029700*c_1001_3^2 + 3193308147132653948414327832897/44\ 255926645960344218029700*c_1001_3 - 365734621652632324613594686946/11063981661490086054507425, c_0011_0 - 1, c_0011_2 + 4097206893773767906/261900382565749462765*c_1001_3^10 - 7914416746086687532/52380076513149892553*c_1001_3^9 + 347390977330737734903/419040612105199140424*c_1001_3^8 - 2004680738302619562649/2095203060525995702120*c_1001_3^7 + 7561678920693834681119/1047601530262997851060*c_1001_3^6 - 1579574462558630984903/523800765131498925530*c_1001_3^5 + 12327768055462187831129/2095203060525995702120*c_1001_3^4 - 18729719971816996850261/2095203060525995702120*c_1001_3^3 + 2534145967950508310141/2095203060525995702120*c_1001_3^2 + 5265407754163339837143/1047601530262997851060*c_1001_3 - 2605209217707078172211/1047601530262997851060, c_0011_4 - 9803816789749749997/261900382565749462765*c_1001_3^10 + 75925357008907263417/209520306052599570212*c_1001_3^9 - 417442868447727934557/209520306052599570212*c_1001_3^8 + 612592103449131729801/261900382565749462765*c_1001_3^7 - 4543410204737768953412/261900382565749462765*c_1001_3^6 + 7947316577951779254307/1047601530262997851060*c_1001_3^5 - 15114470944363019800149/1047601530262997851060*c_1001_3^4 + 22271298305857811018721/1047601530262997851060*c_1001_3^3 - 701141641700248580699/261900382565749462765*c_1001_3^2 - 6106248446332443871833/523800765131498925530*c_1001_3 + 1422676036170908180778/261900382565749462765, c_0011_6 - 12166574330024328451/523800765131498925530*c_1001_3^10 + 89590190486013849299/419040612105199140424*c_1001_3^9 - 237269493078604265849/209520306052599570212*c_1001_3^8 + 1870876961511812071217/2095203060525995702120*c_1001_3^7 - 10719362290482663804797/1047601530262997851060*c_1001_3^6 - 613128266395724253359/2095203060525995702120*c_1001_3^5 - 4195384424202067479203/523800765131498925530*c_1001_3^4 + 4702206971145382712347/523800765131498925530*c_1001_3^3 + 9734358081465043919727/2095203060525995702120*c_1001_3^2 - 1823273202961477993391/261900382565749462765*c_1001_3 + 2048008786208207455473/1047601530262997851060, c_0101_0 - 4521603495431063416/261900382565749462765*c_1001_3^10 + 18584235436719616813/104760153026299785106*c_1001_3^9 - 425427624314503865961/419040612105199140424*c_1001_3^8 + 3355402111365670847979/2095203060525995702120*c_1001_3^7 - 8940409940239802689689/1047601530262997851060*c_1001_3^6 + 2187588707918248667514/261900382565749462765*c_1001_3^5 - 15871276024181628189799/2095203060525995702120*c_1001_3^4 + 32801492725346111226651/2095203060525995702120*c_1001_3^3 - 13627018890192320445311/2095203060525995702120*c_1001_3^2 - 4782030390189876046633/1047601530262997851060*c_1001_3 + 2933005014576865865981/1047601530262997851060, c_0101_1 - 10467892284251187578/261900382565749462765*c_1001_3^10 + 20932367835747669143/52380076513149892553*c_1001_3^9 - 939460633343533594609/419040612105199140424*c_1001_3^8 + 6501541716426599280447/2095203060525995702120*c_1001_3^7 - 19874184110028493166617/1047601530262997851060*c_1001_3^6 + 7335307874420091691599/523800765131498925530*c_1001_3^5 - 30743973637206955904287/2095203060525995702120*c_1001_3^4 + 64355020015787620262883/2095203060525995702120*c_1001_3^3 - 16962898354863242726243/2095203060525995702120*c_1001_3^2 - 12668302239120125148889/1047601530262997851060*c_1001_3 + 6294535814418619556473/1047601530262997851060, c_0101_2 + 12166574330024328451/523800765131498925530*c_1001_3^10 - 89590190486013849299/419040612105199140424*c_1001_3^9 + 237269493078604265849/209520306052599570212*c_1001_3^8 - 1870876961511812071217/2095203060525995702120*c_1001_3^7 + 10719362290482663804797/1047601530262997851060*c_1001_3^6 + 613128266395724253359/2095203060525995702120*c_1001_3^5 + 4195384424202067479203/523800765131498925530*c_1001_3^4 - 4702206971145382712347/523800765131498925530*c_1001_3^3 - 9734358081465043919727/2095203060525995702120*c_1001_3^2 + 1823273202961477993391/261900382565749462765*c_1001_3 - 2048008786208207455473/1047601530262997851060, c_0101_3 + 13901023683523517903/261900382565749462765*c_1001_3^10 - 107583023993254013545/209520306052599570212*c_1001_3^9 + 1182276714226193604017/419040612105199140424*c_1001_3^8 - 6905417565895673401057/2095203060525995702120*c_1001_3^7 + 25735319739644910494767/1047601530262997851060*c_1001_3^6 - 11106465503069041224113/1047601530262997851060*c_1001_3^5 + 42556709944188227431427/2095203060525995702120*c_1001_3^4 - 63272316583532618887703/2095203060525995702120*c_1001_3^3 + 8143279101552496955733/2095203060525995702120*c_1001_3^2 + 17477904646828227580809/1047601530262997851060*c_1001_3 - 8295913362390710895323/1047601530262997851060, c_1001_2 - 15053341536197452507/523800765131498925530*c_1001_3^10 + 121306438072944766623/419040612105199140424*c_1001_3^9 - 684639342962327603031/419040612105199140424*c_1001_3^8 + 616545810506026551933/261900382565749462765*c_1001_3^7 - 7236730047544257074097/523800765131498925530*c_1001_3^6 + 23144263207481629858977/2095203060525995702120*c_1001_3^5 - 23790076941954066154199/2095203060525995702120*c_1001_3^4 + 47337928798119899405611/2095203060525995702120*c_1001_3^3 - 3743710389669262685609/523800765131498925530*c_1001_3^2 - 8339106540998818786073/1047601530262997851060*c_1001_3 + 2219094160623413866313/523800765131498925530, c_1001_3^11 - 41/4*c_1001_3^10 + 235/4*c_1001_3^9 - 93*c_1001_3^8 + 1001/2*c_1001_3^7 - 1887/4*c_1001_3^6 + 2051/4*c_1001_3^5 - 3321/4*c_1001_3^4 + 425*c_1001_3^3 + 224*c_1001_3^2 - 277*c_1001_3 + 71 ], Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 466307866037766915189764/2559377494972112730125*c_1001_3^11 - 625200045644089653249584/1096876069273762598625*c_1001_3^10 - 95667956122638206527998899/7678132484916338190375*c_1001_3^9 - 378730234205737736765318468/7678132484916338190375*c_1001_3^8 - 386443036753024030731989446/2559377494972112730125*c_1001_3^7 - 484879032064995013921075849/1535626496983267638075*c_1001_3^6 - 1114836163955289157438464438/2559377494972112730125*c_1001_3^5 - 79165339957250198740644043/307125299396653527615*c_1001_3^4 - 11382617357283105538437932/2559377494972112730125*c_1001_3^3 + 10594296826171141313255498/219375213854752519725*c_1001_3^2 - 66112215351219089343869059/7678132484916338190375*c_1001_3 + 7668628974886243265522297/7678132484916338190375, c_0011_0 - 1, c_0011_2 - 72915310482857648/417857550199528609*c_1001_3^11 - 223694400842216483/417857550199528609*c_1001_3^10 - 4974129796970870364/417857550199528609*c_1001_3^9 - 19443388599900999364/417857550199528609*c_1001_3^8 - 59335396199305306838/417857550199528609*c_1001_3^7 - 123129682424283268552/417857550199528609*c_1001_3^6 - 168016619009071258014/417857550199528609*c_1001_3^5 - 95513767471680393087/417857550199528609*c_1001_3^4 + 117590969049238468/417857550199528609*c_1001_3^3 + 16144148749338633582/417857550199528609*c_1001_3^2 - 5514851879647479183/417857550199528609*c_1001_3 + 517283758527361253/417857550199528609, c_0011_4 + 15814149580480432/417857550199528609*c_1001_3^11 + 53093161918057987/417857550199528609*c_1001_3^10 + 1092853643768468916/417857550199528609*c_1001_3^9 + 4528950718288140947/417857550199528609*c_1001_3^8 + 14088912759197159427/417857550199528609*c_1001_3^7 + 30412285497354490530/417857550199528609*c_1001_3^6 + 44106246118181025497/417857550199528609*c_1001_3^5 + 31099423414155954020/417857550199528609*c_1001_3^4 + 5724614479914987853/417857550199528609*c_1001_3^3 - 3784120161942165104/417857550199528609*c_1001_3^2 + 19658730234599759/417857550199528609*c_1001_3 + 292538336710923862/417857550199528609, c_0011_6 - 19921914432089517/417857550199528609*c_1001_3^11 - 74266787302816159/417857550199528609*c_1001_3^10 - 1400042076780606654/417857550199528609*c_1001_3^9 - 6212254555679616482/417857550199528609*c_1001_3^8 - 19765609333876253684/417857550199528609*c_1001_3^7 - 44577953415585446617/417857550199528609*c_1001_3^6 - 68837297957563020429/417857550199528609*c_1001_3^5 - 58033984795284260541/417857550199528609*c_1001_3^4 - 19604409926409246747/417857550199528609*c_1001_3^3 + 2871602835222043799/417857550199528609*c_1001_3^2 + 1602427574967787102/417857550199528609*c_1001_3 - 360408070868560626/417857550199528609, c_0101_0 + 91983191868881639/417857550199528609*c_1001_3^11 + 284278558660757373/417857550199528609*c_1001_3^10 + 6278275655820411353/417857550199528609*c_1001_3^9 + 24661217248949499207/417857550199528609*c_1001_3^8 + 75201714097517480776/417857550199528609*c_1001_3^7 + 156230296861978891648/417857550199528609*c_1001_3^6 + 213010769348024213272/417857550199528609*c_1001_3^5 + 120116758925206539255/417857550199528609*c_1001_3^4 - 4629666709151600480/417857550199528609*c_1001_3^3 - 24860377215747139253/417857550199528609*c_1001_3^2 + 5973532123520562241/417857550199528609*c_1001_3 - 358732557112411093/417857550199528609, c_0101_1 - 104675415922959148/417857550199528609*c_1001_3^11 - 337963668581735661/417857550199528609*c_1001_3^10 - 7190900623670739155/417857550199528609*c_1001_3^9 - 29055825410048434612/417857550199528609*c_1001_3^8 - 89567211206037375559/417857550199528609*c_1001_3^7 - 190036349495690655382/417857550199528609*c_1001_3^6 - 268325295204580743690/417857550199528609*c_1001_3^5 - 173073117608269876760/417857550199528609*c_1001_3^4 - 17771651012651100965/417857550199528609*c_1001_3^3 + 26246338400278431736/417857550199528609*c_1001_3^2 - 3401846644036609145/417857550199528609*c_1001_3 + 79231261679945264/417857550199528609, c_0101_2 + 72061277436792122/417857550199528609*c_1001_3^11 + 210011771357941214/417857550199528609*c_1001_3^10 + 4878233579039804699/417857550199528609*c_1001_3^9 + 18448962693269882725/417857550199528609*c_1001_3^8 + 55436104763641227092/417857550199528609*c_1001_3^7 + 111652343446393445031/417857550199528609*c_1001_3^6 + 144173471390461192843/417857550199528609*c_1001_3^5 + 62082774129922278714/417857550199528609*c_1001_3^4 - 24234076635560847227/417857550199528609*c_1001_3^3 - 21988774380525095454/417857550199528609*c_1001_3^2 + 7575959698488349343/417857550199528609*c_1001_3 - 719140627980971719/417857550199528609, c_0101_3 + 72915310482857648/417857550199528609*c_1001_3^11 + 223694400842216483/417857550199528609*c_1001_3^10 + 4974129796970870364/417857550199528609*c_1001_3^9 + 19443388599900999364/417857550199528609*c_1001_3^8 + 59335396199305306838/417857550199528609*c_1001_3^7 + 123129682424283268552/417857550199528609*c_1001_3^6 + 168016619009071258014/417857550199528609*c_1001_3^5 + 95513767471680393087/417857550199528609*c_1001_3^4 - 117590969049238468/417857550199528609*c_1001_3^3 - 16144148749338633582/417857550199528609*c_1001_3^2 + 5932709429847007792/417857550199528609*c_1001_3 - 517283758527361253/417857550199528609, c_1001_2 - 29144478340567750/417857550199528609*c_1001_3^11 - 96982897648897293/417857550199528609*c_1001_3^10 - 2012258741617506511/417857550199528609*c_1001_3^9 - 8290989551852225128/417857550199528609*c_1001_3^8 - 25793041398499958789/417857550199528609*c_1001_3^7 - 55620749487165632932/417857550199528609*c_1001_3^6 - 80600660604737105330/417857550199528609*c_1001_3^5 - 57024683645093052114/417857550199528609*c_1001_3^4 - 11391443241361045974/417857550199528609*c_1001_3^3 + 6319054171881308397/417857550199528609*c_1001_3^2 + 472746127216978981/417857550199528609*c_1001_3 - 208161901129229789/417857550199528609, c_1001_3^12 + 3*c_1001_3^11 + 68*c_1001_3^10 + 262*c_1001_3^9 + 795*c_1001_3^8 + 1631*c_1001_3^7 + 2182*c_1001_3^6 + 1138*c_1001_3^5 - 112*c_1001_3^4 - 233*c_1001_3^3 + 92*c_1001_3^2 - 13*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.330 seconds, Total memory usage: 32.09MB