Magma V2.19-8 Tue Aug 20 2013 23:47:38 on localhost [Seed = 2177362898] Type ? for help. Type -D to quit. Loading file "L11a362__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a362 geometric_solution 11.21550402 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 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 -1 0 1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.196870656823 0.797287630772 0 5 6 2 0132 0132 0132 1023 1 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 0 0 0 0 3 -3 0 0 0 -1 1 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.194452724785 0.733788773663 5 0 4 1 0132 0132 2103 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.311935208862 1.154967189066 7 7 8 0 0132 1230 0132 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 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.898162877627 1.314156076986 2 7 0 9 2103 2310 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 -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.618499999546 0.907383558746 2 1 10 11 0132 0132 0132 0132 1 1 1 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 -3 3 0 0 0 -4 4 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.327596753459 1.300171024546 10 10 9 1 1302 3012 1302 0132 1 1 1 0 0 -1 0 1 0 0 0 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 -3 0 3 -1 0 0 1 -3 4 0 -1 4 -3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327596753459 1.300171024546 3 8 3 4 0132 2103 3012 3201 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 -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.645513713939 0.518670186265 9 7 9 3 1302 2103 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 0 0 0 0 0 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.252649163687 0.795485890721 6 8 4 8 2031 2031 0132 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 -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 0 0 0.252649163687 0.795485890721 6 6 11 5 1230 2031 3201 0132 1 1 0 1 0 1 0 -1 -1 0 0 1 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 3 0 -3 -4 0 0 4 3 -4 0 1 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327596753459 1.300171024546 10 11 5 11 2310 1302 0132 2031 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 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 0 0 0 0 0.099512654010 0.816156546170 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0101_1']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_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_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_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_9']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_0011_4'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : d['c_1100_0'], '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_10'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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_10']), 'c_0110_10' : d['c_0011_6'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 8882932680595441116639157/485941129244895074399524*c_1100_0^16 - 232443092381706234624507883/1457823387734685223198572*c_1100_0^15 - 1059715758583581211171013939/1457823387734685223198572*c_1100_0^14 - 967829065959196452183391355/485941129244895074399524*c_1100_0^13 - 1720254157847704502434813492/364455846933671305799643*c_1100_0^12 - 4401039709734305082114582373/485941129244895074399524*c_1100_0^11 - 21402291598567572004824575215/1457823387734685223198572*c_1100_0^10 - 30202778490172861196573024117/1457823387734685223198572*c_1100_0^\ 9 - 35991991993403930878626677771/1457823387734685223198572*c_1100_\ 0^8 - 37121467040857235450024654981/1457823387734685223198572*c_110\ 0_0^7 - 7637631056052393621986374469/364455846933671305799643*c_110\ 0_0^6 - 1685464569849201725684521018/121485282311223768599881*c_110\ 0_0^5 - 2054883766934942854492578806/364455846933671305799643*c_110\ 0_0^4 - 1720314766322602797007966981/1457823387734685223198572*c_11\ 00_0^3 + 707387378835400627296718799/1457823387734685223198572*c_11\ 00_0^2 - 12186552934200267569398741/728911693867342611599286*c_1100\ _0 + 23355867867099296092791997/1457823387734685223198572, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - 7985847888310364684811/11852222664509635960964*c_1100_0^16 - 76314994095577931733321/11852222664509635960964*c_1100_0^15 - 378029152311383993297459/11852222664509635960964*c_1100_0^14 - 1156017752095259420521387/11852222664509635960964*c_1100_0^13 - 721371162151528803241620/2963055666127408990241*c_1100_0^12 - 5950861392898309754429787/11852222664509635960964*c_1100_0^11 - 10373056437178910670833661/11852222664509635960964*c_1100_0^10 - 15690899275288891749363529/11852222664509635960964*c_1100_0^9 - 20469579986833625194028833/11852222664509635960964*c_1100_0^8 - 23198002035767280054882409/11852222664509635960964*c_1100_0^7 - 11103458629816155846177679/5926111332254817980482*c_1100_0^6 - 8858304257258593927456429/5926111332254817980482*c_1100_0^5 - 5504055513537109206395381/5926111332254817980482*c_1100_0^4 - 5062892470116919020155743/11852222664509635960964*c_1100_0^3 - 1455555748773040769164597/11852222664509635960964*c_1100_0^2 - 60949635193486938074238/2963055666127408990241*c_1100_0 - 21529741331872483767997/11852222664509635960964, c_0011_3 + 3985595563810755545475/5926111332254817980482*c_1100_0^16 + 18257017149165608440108/2963055666127408990241*c_1100_0^15 + 87102535646903055491286/2963055666127408990241*c_1100_0^14 + 253843417666821792132588/2963055666127408990241*c_1100_0^13 + 618545125840304319169666/2963055666127408990241*c_1100_0^12 + 1236530044597966588254476/2963055666127408990241*c_1100_0^11 + 4178412644078479203746265/5926111332254817980482*c_1100_0^10 + 3066744842553590392119064/2963055666127408990241*c_1100_0^9 + 7707997746189999413817863/5926111332254817980482*c_1100_0^8 + 4200247163468965173756375/2963055666127408990241*c_1100_0^7 + 3793616412457391273701644/2963055666127408990241*c_1100_0^6 + 2820494119083391860474408/2963055666127408990241*c_1100_0^5 + 3071073698445145118958437/5926111332254817980482*c_1100_0^4 + 1157006208772611697977669/5926111332254817980482*c_1100_0^3 + 91691915556774455977099/2963055666127408990241*c_1100_0^2 + 9471009583503623362743/2963055666127408990241*c_1100_0 + 7026347258009977297459/5926111332254817980482, c_0011_4 - 5923853520916077109715/11852222664509635960964*c_1100_0^16 - 163216794522032857176275/35556667993528907882892*c_1100_0^15 - 779818304496750411934981/35556667993528907882892*c_1100_0^14 - 758432518574744585441643/11852222664509635960964*c_1100_0^13 - 1384607247897178014247460/8889166998382226970723*c_1100_0^12 - 3689551978769552041140327/11852222664509635960964*c_1100_0^11 - 18685640900175368025906935/35556667993528907882892*c_1100_0^10 - 27387083770154942598793267/35556667993528907882892*c_1100_0^9 - 34360755163110455900290939/35556667993528907882892*c_1100_0^8 - 37353462805714995862974691/35556667993528907882892*c_1100_0^7 - 16806451069282079209208255/17778333996764453941446*c_1100_0^6 - 4136507672156938427430899/5926111332254817980482*c_1100_0^5 - 6676111302833108349054917/17778333996764453941446*c_1100_0^4 - 4878982463798282695186325/35556667993528907882892*c_1100_0^3 - 654672786267958176838187/35556667993528907882892*c_1100_0^2 - 11550927473363634137188/8889166998382226970723*c_1100_0 - 34201113411582003015775/35556667993528907882892, c_0011_6 - 208156082240428602460/2963055666127408990241*c_1100_0^16 - 6487564459161613159207/8889166998382226970723*c_1100_0^15 - 67624184414683499524387/17778333996764453941446*c_1100_0^14 - 72574514986423718466069/5926111332254817980482*c_1100_0^13 - 546955013799872481719033/17778333996764453941446*c_1100_0^12 - 193503576666644245798226/2963055666127408990241*c_1100_0^11 - 2059220730752480238991007/17778333996764453941446*c_1100_0^10 - 1584233327185868485421420/8889166998382226970723*c_1100_0^9 - 4238798533931720468998609/17778333996764453941446*c_1100_0^8 - 2449184992094695604002259/8889166998382226970723*c_1100_0^7 - 4873547062402557621469483/17778333996764453941446*c_1100_0^6 - 670666628396085180503542/2963055666127408990241*c_1100_0^5 - 1359470509630016201197925/8889166998382226970723*c_1100_0^4 - 1385966733765948951355613/17778333996764453941446*c_1100_0^3 - 272019776927836699900945/8889166998382226970723*c_1100_0^2 - 133412791277936467078579/17778333996764453941446*c_1100_0 - 13802384809609045934084/8889166998382226970723, c_0101_0 - 7956970136477860768979/11852222664509635960964*c_1100_0^16 - 216653151001263799587707/35556667993528907882892*c_1100_0^15 - 1026280527293034620476123/35556667993528907882892*c_1100_0^14 - 988372584047975072748341/11852222664509635960964*c_1100_0^13 - 3605008795304833301009905/17778333996764453941446*c_1100_0^12 - 4780049863261139444967343/11852222664509635960964*c_1100_0^11 - 24143346639897392641945601/35556667993528907882892*c_1100_0^10 - 35325602491121438954417263/35556667993528907882892*c_1100_0^9 - 44200210439099683754745001/35556667993528907882892*c_1100_0^8 - 48028753813648751007795631/35556667993528907882892*c_1100_0^7 - 10779687259371158236530238/8889166998382226970723*c_1100_0^6 - 5324720763556905282101505/5926111332254817980482*c_1100_0^5 - 8599645086885978666723641/17778333996764453941446*c_1100_0^4 - 6519085903843589124761615/35556667993528907882892*c_1100_0^3 - 992421743570111042608247/35556667993528907882892*c_1100_0^2 - 67614309774774270624233/17778333996764453941446*c_1100_0 - 4164326119711803116647/35556667993528907882892, c_0101_1 - 1, c_0101_10 + 1326138085841892965885/11852222664509635960964*c_1100_0^16 + 32017880542908652482923/35556667993528907882892*c_1100_0^15 + 131527228814952257555299/35556667993528907882892*c_1100_0^14 + 99343080531176296703931/11852222664509635960964*c_1100_0^13 + 150829494851881825675061/8889166998382226970723*c_1100_0^12 + 304756877938495859687853/11852222664509635960964*c_1100_0^11 + 996369797841819829011491/35556667993528907882892*c_1100_0^10 + 660439821603226602074557/35556667993528907882892*c_1100_0^9 - 440767848934325792991593/35556667993528907882892*c_1100_0^8 - 2070512413969536209624111/35556667993528907882892*c_1100_0^7 - 1007771394934076828698379/8889166998382226970723*c_1100_0^6 - 432266565293785919758942/2963055666127408990241*c_1100_0^5 - 1310401765864091904300545/8889166998382226970723*c_1100_0^4 - 3692300876422497208568443/35556667993528907882892*c_1100_0^3 - 1822540441434076641884383/35556667993528907882892*c_1100_0^2 - 213536038771926904235023/17778333996764453941446*c_1100_0 - 29970665571314656964369/35556667993528907882892, c_0101_3 + 1355494269994686099797/11852222664509635960964*c_1100_0^16 + 36420510804965340780179/35556667993528907882892*c_1100_0^15 + 171232685342669951915335/35556667993528907882892*c_1100_0^14 + 163853310354262502280275/11852222664509635960964*c_1100_0^13 + 300593563642669206844289/8889166998382226970723*c_1100_0^12 + 798083888611068320141109/11852222664509635960964*c_1100_0^11 + 4056916555775393852799143/35556667993528907882892*c_1100_0^10 + 5986563721252099496902417/35556667993528907882892*c_1100_0^9 + 7572327191322083701614823/35556667993528907882892*c_1100_0^8 + 8371029072412720429315453/35556667993528907882892*c_1100_0^7 + 1921657038611251117331182/8889166998382226970723*c_1100_0^6 + 495749909859196600744726/2963055666127408990241*c_1100_0^5 + 861209050852489522836199/8889166998382226970723*c_1100_0^4 + 1537683057533285724095213/35556667993528907882892*c_1100_0^3 + 360363594203144400169493/35556667993528907882892*c_1100_0^2 + 43357904570783852406119/17778333996764453941446*c_1100_0 - 30022566300726549577157/35556667993528907882892, c_0101_9 - 5534101692802358305735/11852222664509635960964*c_1100_0^16 - 150888364588481974261189/35556667993528907882892*c_1100_0^15 - 716217319416155388799781/35556667993528907882892*c_1100_0^14 - 691870867311695840071025/11852222664509635960964*c_1100_0^13 - 1264786016704494468452845/8889166998382226970723*c_1100_0^12 - 3360553032351110586005503/11852222664509635960964*c_1100_0^11 - 17019377072517467976095053/35556667993528907882892*c_1100_0^10 - 24952844517894568385863727/35556667993528907882892*c_1100_0^9 - 31302213484850190767140013/35556667993528907882892*c_1100_0^8 - 34099458555479674340569727/35556667993528907882892*c_1100_0^7 - 7673548694269781712716978/8889166998382226970723*c_1100_0^6 - 1901445031356799542657216/2963055666127408990241*c_1100_0^5 - 3072850065291553441691462/8889166998382226970723*c_1100_0^4 - 4618349963003077960111099/35556667993528907882892*c_1100_0^3 - 587411992502819865307027/35556667993528907882892*c_1100_0^2 - 4034580688949424133135/17778333996764453941446*c_1100_0 + 36908893906346480060623/35556667993528907882892, c_1100_0^17 + 28/3*c_1100_0^16 + 136/3*c_1100_0^15 + 406/3*c_1100_0^14 + 1003/3*c_1100_0^13 + 2039/3*c_1100_0^12 + 3508/3*c_1100_0^11 + 5242/3*c_1100_0^10 + 2246*c_1100_0^9 + 2510*c_1100_0^8 + 2353*c_1100_0^7 + 5512/3*c_1100_0^6 + 3296/3*c_1100_0^5 + 1457/3*c_1100_0^4 + 128*c_1100_0^3 + 73/3*c_1100_0^2 + 3*c_1100_0 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB