Magma V2.19-8 Tue Aug 20 2013 23:41:06 on localhost [Seed = 3920596328] Type ? for help. Type -D to quit. Loading file "L12a1403__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1403 geometric_solution 10.45205870 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 0 0 1 2 1230 3012 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 -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.455203099923 0.594939509580 3 2 3 0 0132 3012 3012 0132 0 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 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.740105791304 0.895077479376 1 4 0 5 1230 0132 0132 0132 0 0 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 -1 -2 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.740105791304 0.895077479376 1 1 4 6 0132 1230 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.299173026069 1.030354002169 5 2 7 3 0213 0132 0132 3012 0 0 0 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 0 1 0 -1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.105448263945 0.787137739356 4 8 2 7 0213 0132 0132 0132 0 0 0 1 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 3 -1 -2 0 0 0 0 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.008151134523 0.784889305767 9 9 3 8 0132 1302 0132 1302 0 0 0 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 1 0 0 3 0 -3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322397911060 0.785380617916 8 10 5 4 0321 0132 0132 0132 0 0 1 0 0 -1 1 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 -2 2 0 0 0 0 0 -3 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683347519595 0.415821826205 7 5 6 10 0321 0132 2031 0132 0 0 1 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 -3 3 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 0.348437357624 1.508769928542 6 10 10 6 0132 2031 1230 2031 0 0 1 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 1 2 -3 1 0 -1 0 0 -1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629760853516 0.729929816254 9 7 8 9 1302 0132 0132 3012 0 0 0 1 0 1 0 -1 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 2 0 -2 2 0 0 -2 -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.629760853516 0.729929816254 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0101_9']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0101_9']), '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_0011_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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_10'], 'c_1100_8' : d['c_0110_10'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : negation(d['c_1001_3']), 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : negation(d['c_1001_3']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : negation(d['c_1001_3']), 'c_1100_10' : d['c_0110_10'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : negation(d['c_0101_9']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_10'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_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'], '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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : 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' : negation(d['c_0011_1']), 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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_0101_7']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : negation(d['c_0101_7']), 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0101_9']})} 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_5, c_0101_0, c_0101_1, c_0101_7, c_0101_9, c_0110_10, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 788104211839458942333752607577567/33499341579541096540709374465904*\ c_1001_3^16 + 7019130802507394200132749210371075/167496707897705482\ 70354687232952*c_1001_3^15 + 101864889194043215834558876112250867/3\ 3499341579541096540709374465904*c_1001_3^14 + 200990996342717764231260953824513961/167496707897705482703546872329\ 52*c_1001_3^13 + 17726485347572864444646045317464649/59820252820609\ 1009655524544034*c_1001_3^12 + 405314408503431429208949106566443981\ /8374835394885274135177343616476*c_1001_3^11 + 1528241454009784235592650638864063589/33499341579541096540709374465\ 904*c_1001_3^10 + 129095876192595748871737403607636083/837483539488\ 5274135177343616476*c_1001_3^9 + 3335438019515064315551553568366305\ 33/33499341579541096540709374465904*c_1001_3^8 + 323493170803906167746094199816884691/837483539488527413517734361647\ 6*c_1001_3^7 + 48504531941025833813677857812568693/1970549504678888\ 031806433792112*c_1001_3^6 + 42952880217406101064984483691373163/11\ 96405056412182019311049088068*c_1001_3^5 - 39338327737166527454816930432372454/2093708848721318533794335904119\ *c_1001_3^4 - 100488032153631513841558901698463963/1674967078977054\ 8270354687232952*c_1001_3^3 + 1032209038406859715702834601872128395\ /33499341579541096540709374465904*c_1001_3^2 - 154143784211939795666212430143983913/167496707897705482703546872329\ 52*c_1001_3 - 9741250544896287635843673253348677/334993415795410965\ 40709374465904, c_0011_0 - 1, c_0011_1 - 1, c_0011_10 - 29111570181638326899650531/3198944001102090960724730182*c_1\ 001_3^16 - 497783328920815549652815071/3198944001102090960724730182\ *c_1001_3^15 - 1695831482158946311200366413/15994720005510454803623\ 65091*c_1001_3^14 - 12145662914893242704139084567/31989440011020909\ 60724730182*c_1001_3^13 - 12978158731735268873673808571/15994720005\ 51045480362365091*c_1001_3^12 - 16682422929365995047961600061/15994\ 72000551045480362365091*c_1001_3^11 - 13299809867037152415638823779/3198944001102090960724730182*c_1001_3\ ^10 + 20374514583010270516014830611/3198944001102090960724730182*c_\ 1001_3^9 - 3721999073529175994527709469/319894400110209096072473018\ 2*c_1001_3^8 - 50201139195670054112193456043/3198944001102090960724\ 730182*c_1001_3^7 - 9830890247297704564610151061/319894400110209096\ 0724730182*c_1001_3^6 - 31997973419681415534275637165/3198944001102\ 090960724730182*c_1001_3^5 + 25262763458847370594732855817/15994720\ 00551045480362365091*c_1001_3^4 - 4610989806145631987531911133/1599\ 472000551045480362365091*c_1001_3^3 - 49293011437615661767610651513/3198944001102090960724730182*c_1001_3\ ^2 + 34067050914076174427080550955/3198944001102090960724730182*c_1\ 001_3 - 7849008071252213336619844471/3198944001102090960724730182, c_0011_5 - 3505504124078412323405549/3198944001102090960724730182*c_100\ 1_3^16 - 58135194186264625625281285/3198944001102090960724730182*c_\ 1001_3^15 - 188776525015093271498016902/159947200055104548036236509\ 1*c_1001_3^14 - 1253456247815085248457088381/3198944001102090960724\ 730182*c_1001_3^13 - 2391073785397353023417188601/31989440011020909\ 60724730182*c_1001_3^12 - 2530030459077884386047145179/319894400110\ 2090960724730182*c_1001_3^11 + 40892281320262328189935669/319894400\ 1102090960724730182*c_1001_3^10 + 2417877353516938831416153913/3198\ 944001102090960724730182*c_1001_3^9 - 2584120767746917985137970687/3198944001102090960724730182*c_1001_3^\ 8 - 2715629879019823771769238995/1599472000551045480362365091*c_100\ 1_3^7 + 2051917020973923762252887610/1599472000551045480362365091*c\ _1001_3^6 - 2228336040923931530322204671/31989440011020909607247301\ 82*c_1001_3^5 + 2586074737920097173402394544/1599472000551045480362\ 365091*c_1001_3^4 - 4070245850059685845481006373/159947200055104548\ 0362365091*c_1001_3^3 - 4785744521718543032488512715/15994720005510\ 45480362365091*c_1001_3^2 + 3715586115754016107386943278/1599472000\ 551045480362365091*c_1001_3 - 2942608744372437981010621909/31989440\ 01102090960724730182, c_0101_0 - 990313630455571680379183/3198944001102090960724730182*c_1001\ _3^16 - 7743464835239275251172964/1599472000551045480362365091*c_10\ 01_3^15 - 91771932728411962349108117/3198944001102090960724730182*c\ _1001_3^14 - 263878964059026553739850231/31989440011020909607247301\ 82*c_1001_3^13 - 409272104121888926359993667/3198944001102090960724\ 730182*c_1001_3^12 - 299308888474889204926005973/319894400110209096\ 0724730182*c_1001_3^11 + 143185636529701043289741936/15994720005510\ 45480362365091*c_1001_3^10 + 327599937703903496781411329/3198944001\ 102090960724730182*c_1001_3^9 - 1150371244695223889484907773/319894\ 4001102090960724730182*c_1001_3^8 - 210527277207877558538517349/3198944001102090960724730182*c_1001_3^7 + 2028428401485950404674049363/3198944001102090960724730182*c_1001_\ 3^6 - 1514556187714222020253486898/1599472000551045480362365091*c_1\ 001_3^5 + 3316364315667165866129458197/3198944001102090960724730182\ *c_1001_3^4 - 2309356760874085303950596067/319894400110209096072473\ 0182*c_1001_3^3 + 1685661986014111475956364079/31989440011020909607\ 24730182*c_1001_3^2 + 614338008698295045854538678/15994720005510454\ 80362365091*c_1001_3 - 1578971763195484765657014628/159947200055104\ 5480362365091, c_0101_1 + 990313630455571680379183/3198944001102090960724730182*c_1001\ _3^16 + 7743464835239275251172964/1599472000551045480362365091*c_10\ 01_3^15 + 91771932728411962349108117/3198944001102090960724730182*c\ _1001_3^14 + 263878964059026553739850231/31989440011020909607247301\ 82*c_1001_3^13 + 409272104121888926359993667/3198944001102090960724\ 730182*c_1001_3^12 + 299308888474889204926005973/319894400110209096\ 0724730182*c_1001_3^11 - 143185636529701043289741936/15994720005510\ 45480362365091*c_1001_3^10 - 327599937703903496781411329/3198944001\ 102090960724730182*c_1001_3^9 + 1150371244695223889484907773/319894\ 4001102090960724730182*c_1001_3^8 + 210527277207877558538517349/3198944001102090960724730182*c_1001_3^7 - 2028428401485950404674049363/3198944001102090960724730182*c_1001_\ 3^6 + 1514556187714222020253486898/1599472000551045480362365091*c_1\ 001_3^5 - 3316364315667165866129458197/3198944001102090960724730182\ *c_1001_3^4 + 2309356760874085303950596067/319894400110209096072473\ 0182*c_1001_3^3 - 1685661986014111475956364079/31989440011020909607\ 24730182*c_1001_3^2 - 2213810009249340526216903769/1599472000551045\ 480362365091*c_1001_3 + 1578971763195484765657014628/15994720005510\ 45480362365091, c_0101_7 + 1348402047266168064100183/1599472000551045480362365091*c_100\ 1_3^16 + 22114134773978780894497928/1599472000551045480362365091*c_\ 1001_3^15 + 141159310797302263535235616/159947200055104548036236509\ 1*c_1001_3^14 + 456262008896280722291412275/15994720005510454803623\ 65091*c_1001_3^13 + 837571159288107084149296111/1599472000551045480\ 362365091*c_1001_3^12 + 832034083440422082468413705/159947200055104\ 5480362365091*c_1001_3^11 - 122992764153381617791116936/15994720005\ 51045480362365091*c_1001_3^10 - 818616178492607376557881468/1599472\ 000551045480362365091*c_1001_3^9 + 1232359682365890379773952282/1599472000551045480362365091*c_1001_3^\ 8 + 1845220379851669643803900508/1599472000551045480362365091*c_100\ 1_3^7 - 1990273377080549347789210829/1599472000551045480362365091*c\ _1001_3^6 + 1537761035368959128168445529/15994720005510454803623650\ 91*c_1001_3^5 - 1574544047076051117109242281/1599472000551045480362\ 365091*c_1001_3^4 + 3023575700759588816148640312/159947200055104548\ 0362365091*c_1001_3^3 + 1327822867807444476296980202/15994720005510\ 45480362365091*c_1001_3^2 - 4160256407777305288407746998/1599472000\ 551045480362365091*c_1001_3 + 1523217851005966460973168000/15994720\ 00551045480362365091, c_0101_9 + 6223191689428352202707963/3198944001102090960724730182*c_100\ 1_3^16 + 52450881299104698550652237/1599472000551045480362365091*c_\ 1001_3^15 + 698929467765445665476812609/319894400110209096072473018\ 2*c_1001_3^14 + 1207837241035029017446657612/1599472000551045480362\ 365091*c_1001_3^13 + 2444462969618772768543751994/15994720005510454\ 80362365091*c_1001_3^12 + 5701654902193899469111766153/319894400110\ 2090960724730182*c_1001_3^11 + 1028788680807980242072922919/3198944\ 001102090960724730182*c_1001_3^10 - 2448963995986166482518788750/1599472000551045480362365091*c_1001_3^\ 9 + 2417194886849125157692465327/3198944001102090960724730182*c_100\ 1_3^8 + 5366760215530906607405098717/1599472000551045480362365091*c\ _1001_3^7 - 1469812928346211621157552324/15994720005510454803623650\ 91*c_1001_3^6 + 450789695175404402299891624/15994720005510454803623\ 65091*c_1001_3^5 - 8249750073930341533996354722/1599472000551045480\ 362365091*c_1001_3^4 + 1789228192262507159656286916/159947200055104\ 5480362365091*c_1001_3^3 + 11313720284931843519767735385/3198944001\ 102090960724730182*c_1001_3^2 - 11547060433342543045800903351/31989\ 44001102090960724730182*c_1001_3 + 2500284686373367940215462619/3198944001102090960724730182, c_0110_10 - 15907350057144930413674794/1599472000551045480362365091*c_1\ 001_3^16 - 275645918831407643796617918/1599472000551045480362365091\ *c_1001_3^15 - 1917379469183162894007129194/15994720005510454803623\ 65091*c_1001_3^14 - 7091015725302287538870545346/159947200055104548\ 0362365091*c_1001_3^13 - 15898013357856475432009765370/159947200055\ 1045480362365091*c_1001_3^12 - 22114327200737320414479328142/159947\ 2000551045480362365091*c_1001_3^11 - 12494559138204611665201072574/1599472000551045480362365091*c_1001_3\ ^10 + 9206427064159283352213949988/1599472000551045480362365091*c_1\ 001_3^9 + 3952679848168474390951630676/1599472000551045480362365091\ *c_1001_3^8 - 19327648092276406802686782510/15994720005510454803623\ 65091*c_1001_3^7 - 3085463707553119336820665991/1599472000551045480\ 362365091*c_1001_3^6 - 14886594759688298685672621251/15994720005510\ 45480362365091*c_1001_3^5 + 25742411963333587699323651673/159947200\ 0551045480362365091*c_1001_3^4 - 178595721332137335841309512/159947\ 2000551045480362365091*c_1001_3^3 - 22199486744007833045466119311/1599472000551045480362365091*c_1001_3\ ^2 + 15314638750516440162159526400/1599472000551045480362365091*c_1\ 001_3 - 3453254061689435794634810539/1599472000551045480362365091, c_1001_10 + 990313630455571680379183/3198944001102090960724730182*c_100\ 1_3^16 + 7743464835239275251172964/1599472000551045480362365091*c_1\ 001_3^15 + 91771932728411962349108117/3198944001102090960724730182*\ c_1001_3^14 + 263878964059026553739850231/3198944001102090960724730\ 182*c_1001_3^13 + 409272104121888926359993667/319894400110209096072\ 4730182*c_1001_3^12 + 299308888474889204926005973/31989440011020909\ 60724730182*c_1001_3^11 - 143185636529701043289741936/1599472000551\ 045480362365091*c_1001_3^10 - 327599937703903496781411329/319894400\ 1102090960724730182*c_1001_3^9 + 1150371244695223889484907773/31989\ 44001102090960724730182*c_1001_3^8 + 210527277207877558538517349/3198944001102090960724730182*c_1001_3^7 - 2028428401485950404674049363/3198944001102090960724730182*c_1001_\ 3^6 + 1514556187714222020253486898/1599472000551045480362365091*c_1\ 001_3^5 - 3316364315667165866129458197/3198944001102090960724730182\ *c_1001_3^4 + 2309356760874085303950596067/319894400110209096072473\ 0182*c_1001_3^3 - 1685661986014111475956364079/31989440011020909607\ 24730182*c_1001_3^2 - 2213810009249340526216903769/1599472000551045\ 480362365091*c_1001_3 + 1578971763195484765657014628/15994720005510\ 45480362365091, c_1001_3^17 + 17*c_1001_3^16 + 115*c_1001_3^15 + 409*c_1001_3^14 + 874*c_1001_3^13 + 1148*c_1001_3^12 + 551*c_1001_3^11 - 455*c_1001_3^10 + 335*c_1001_3^9 + 1457*c_1001_3^8 - 185*c_1001_3^7 + 1049*c_1001_3^6 - 1796*c_1001_3^5 + 742*c_1001_3^4 + 1351*c_1001_3^3 - 1515*c_1001_3^2 + 603*c_1001_3 - 77 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB