Magma V2.19-8 Fri Sep 13 2013 00:41:10 on localhost [Seed = 1143243093] Type ? for help. Type -D to quit. Loading file "m023__sl3_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation m023 geometric_solution 2.98912028 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 4 1 2 2 1 0132 0132 1023 3201 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 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.203723267852 0.560667728005 0 0 3 3 0132 2310 2310 0132 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 -1 0 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 2.154659644077 1.804008823480 3 0 0 3 3012 0132 1023 1230 0 0 0 0 0 0 1 -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 1 0 -1 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.203723267852 0.560667728005 2 1 1 2 3012 3201 0132 1230 0 0 0 0 0 0 0 0 1 0 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 1 0 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.251686680526 0.393228424280 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0102_0'], 'c_1020_3' : d['c_0102_0'], 'c_1020_0' : d['c_0102_0'], 'c_1020_1' : d['c_0201_1'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_0'], 'c_0201_3' : d['c_0201_0'], 'c_2100_0' : d['c_0012_1'], 'c_2100_1' : d['c_0021_3'], 'c_2100_2' : d['c_0012_0'] * d['u'] ** 1, 'c_2100_3' : d['c_0021_3'] * d['u'] ** 2, 'c_2010_2' : d['c_0201_0'], 'c_2010_3' : d['c_0201_0'], 'c_2010_0' : d['c_0201_0'], 'c_2010_1' : d['c_0102_1'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_0'], 'c_0102_3' : d['c_0102_0'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_3'], 'c_1101_2' : negation(d['c_1101_0']), 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0012_1'], 'c_1200_3' : d['c_0012_3'] * d['u'] ** 1, 'c_1200_0' : d['c_0012_0'] * d['u'] ** 1, 'c_1200_1' : d['c_0012_3'], 'c_1110_2' : d['c_0111_3'], 'c_1110_3' : d['c_0111_2'] * d['u'] ** 2, 'c_1110_0' : negation(d['c_1011_1']), 'c_1110_1' : d['c_1101_3'] * d['u'] ** 1, 'c_0120_0' : d['c_0102_1'], 'c_0120_1' : d['c_0102_0'] * d['u'] ** 1, 'c_0120_2' : d['c_0012_3'], 'c_0120_3' : d['c_0012_1'], 'c_2001_0' : d['c_0201_0'], 'c_2001_1' : d['c_0102_0'], 'c_2001_2' : d['c_0201_0'], 'c_2001_3' : d['c_0102_1'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 1, 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']) * d['u'] ** 2, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0021_3'], 'c_0210_3' : d['c_0012_0'] * d['u'] ** 1, 'c_0210_0' : d['c_0201_1'], 'c_0210_1' : d['c_0201_0'] * d['u'] ** 2, 'c_1002_2' : d['c_0102_0'], 'c_1002_3' : d['c_0201_1'], 'c_1002_0' : d['c_0102_0'], 'c_1002_1' : d['c_0201_0'], 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_3' : d['c_1011_3'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 1, 'c_0021_2' : d['c_0012_0'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 917.010 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_1, c_0111_0, c_0111_2, c_0111_3, c_0201_0, c_0201_1, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 3832007740712935968121777424139051745/40876387156046075958663190027\ 75848001*c_1101_3^16*u - 5433431612767162156686329501362906211/8175\ 277431209215191732638005551696002*c_1101_3^16 + 4629741437937295304863574309412772565/11678967758870307416760911436\ 50242286*c_1101_3^13*u + 22315498257489619463185220396446968349/116\ 7896775887030741676091143650242286*c_1101_3^13 + 424407785060523035869240497253829600263/408763871560460759586631900\ 2775848001*c_1101_3^10*u - 90475782077424265890574530157472056591/8\ 175277431209215191732638005551696002*c_1101_3^10 - 203833891758527027723245022398321995014/408763871560460759586631900\ 2775848001*c_1101_3^7*u - 1537087613923093321448465236112243482349/\ 8175277431209215191732638005551696002*c_1101_3^7 - 39237207479423194112506990267428735724/2404493362120357409333128825\ 16226353*c_1101_3^4*u - 17604617160683917413915501874376241389/4808\ 98672424071481866625765032452706*c_1101_3^4 - 10824522448560783428981257507607968189/2404493362120357409333128825\ 16226353*c_1101_3*u + 226681190020136277146237265107372549427/81752\ 77431209215191732638005551696002*c_1101_3, c_0012_0 - 1, c_0012_1 - 1, c_0012_3 + 53853766945706812812847327622137/219156753584377138550602394\ 9303466*c_1101_3^17*u + 1928630355796421423698196990189/64457868701\ 287393691353645567749*c_1101_3^17 + 105918388389704187159201819881391/730522511947923795168674649767822\ *c_1101_3^14*u - 181549310484027477401138455958288/3652612559739618\ 97584337324883911*c_1101_3^14 - 1515265616429084091240036005615715/\ 365261255973961897584337324883911*c_1101_3^11*u - 367996564574288167004978880307634/365261255973961897584337324883911\ *c_1101_3^11 + 2260351400566180675086613742219108/10957837679218856\ 92753011974651733*c_1101_3^8*u + 5649853648962490421238947034334906\ /1095783767921885692753011974651733*c_1101_3^8 + 27291955986232887565922469754127/6138844638217847018224156720738*c_\ 1101_3^5*u - 7486577183218825032218176308449/6138844638217847018224\ 156720738*c_1101_3^5 - 808356956623619409808493550513596/1095783767\ 921885692753011974651733*c_1101_3^2*u + 673995110696990125271081073625211/109578376792188569275301197465173\ 3*c_1101_3^2, c_0021_3 + 26570857313522612548740066395/920826695732677052733623508110\ 7*c_1101_3^16*u + 51905475277918250875581054059/2630933416379077293\ 524638594602*c_1101_3^16 + 2298286213417673546179399971889/61388446\ 38217847018224156720738*c_1101_3^13*u - 91530827422694499328994749771/3069422319108923509112078360369*c_110\ 1_3^13 - 15456370475630060007077493193637/6138844638217847018224156\ 720738*c_1101_3^10*u - 7699087224189464895037452312879/306942231910\ 8923509112078360369*c_1101_3^10 - 41504871215828755347630138653417/\ 18416533914653541054672470162214*c_1101_3^7*u + 16161057274305992290342883558032/9208266957326770527336235081107*c_\ 1101_3^7 + 177862385453850404990955382397/5158692973292308418675761\ 9502*c_1101_3^4*u + 896851983136605685378002004519/3611085081304615\ 89307303336514*c_1101_3^4 - 3417976431883040823525955449655/1841653\ 3914653541054672470162214*c_1101_3*u + 5557692071073704929938064422563/9208266957326770527336235081107*c_1\ 101_3, c_0102_0 - 2348125183219245333704187660505/1095783767921885692753011974\ 651733*c_1101_3^17*u + 27746016338095951996515545440909/10957837679\ 21885692753011974651733*c_1101_3^17 + 216949434270049483339636356176050/365261255973961897584337324883911\ *c_1101_3^14*u + 60184443787446172259982724821719/73052251194792379\ 5168674649767822*c_1101_3^14 - 1157486698660464217379256981055499/3\ 65261255973961897584337324883911*c_1101_3^11*u - 1407480784191904940095602324319412/36526125597396189758433732488391\ 1*c_1101_3^11 - 7130013437000130076363471420205831/2191567535843771\ 385506023949303466*c_1101_3^8*u + 187587369867137641239166304968198\ 0/1095783767921885692753011974651733*c_1101_3^8 + 13670484086338825847101969698937/3069422319108923509112078360369*c_\ 1101_3^5*u + 3543368253577125551423695445821/8769778054596924311748\ 79531534*c_1101_3^5 - 72194296778155040807185487684801/109578376792\ 1885692753011974651733*c_1101_3^2*u + 176822147874600210919515829255945/219156753584377138550602394930346\ 6*c_1101_3^2, c_0102_1 + 53853766945706812812847327622137/219156753584377138550602394\ 9303466*c_1101_3^17*u + 1928630355796421423698196990189/64457868701\ 287393691353645567749*c_1101_3^17 + 105918388389704187159201819881391/730522511947923795168674649767822\ *c_1101_3^14*u - 181549310484027477401138455958288/3652612559739618\ 97584337324883911*c_1101_3^14 - 1515265616429084091240036005615715/\ 365261255973961897584337324883911*c_1101_3^11*u - 367996564574288167004978880307634/365261255973961897584337324883911\ *c_1101_3^11 + 2260351400566180675086613742219108/10957837679218856\ 92753011974651733*c_1101_3^8*u + 5649853648962490421238947034334906\ /1095783767921885692753011974651733*c_1101_3^8 + 27291955986232887565922469754127/6138844638217847018224156720738*c_\ 1101_3^5*u - 7486577183218825032218176308449/6138844638217847018224\ 156720738*c_1101_3^5 - 808356956623619409808493550513596/1095783767\ 921885692753011974651733*c_1101_3^2*u + 673995110696990125271081073625211/109578376792188569275301197465173\ 3*c_1101_3^2, c_0111_0 - 1, c_0111_2 + 15430151561899867019353498238/126387977845661556257556167779\ 9*c_1101_3^15*u - 4255002657235556243704739401/25277595569132311251\ 51123355598*c_1101_3^15 - 347635891236659712925314055970/1263879778\ 456615562575561677799*c_1101_3^12*u - 659731832980268941785758588327/2527759556913231125151123355598*c_11\ 01_3^12 - 41047754253133157712424873801/252775955691323112515112335\ 5598*c_1101_3^9*u + 2004387716182649691992050583537/126387977845661\ 5562575561677799*c_1101_3^9 + 3841576139906021920403792572621/25277\ 59556913231125151123355598*c_1101_3^6*u + 3562632120621086682342434191283/2527759556913231125151123355598*c_1\ 101_3^6 - 37952730109517704845291495550/180554254065230794653651668\ 257*c_1101_3^3*u - 191764839569892286812684600305/18055425406523079\ 4653651668257*c_1101_3^3 + 218588139147827822512822478059/126387977\ 8456615562575561677799*u - 41873002809478465229148313425/2527759556\ 913231125151123355598, c_0111_3 - 204848790311250797528915333527/52180179424851699654905332126\ 273*c_1101_3^17*u + 474238574948590992667928234902/5218017942485169\ 9654905332126273*c_1101_3^17 + 28227138743915955770019882099729/104\ 360358849703399309810664252546*c_1101_3^14*u + 10218157116885886832243629380563/104360358849703399309810664252546*\ c_1101_3^14 - 7167399465186727607804117370064/745431134640738566498\ 6476018039*c_1101_3^11*u - 24477047519477750801885176596579/1490862\ 2692814771329972952036078*c_1101_3^11 - 177663756500480371823470103719323/104360358849703399309810664252546\ *c_1101_3^8*u - 2878052110636444898983952330445/6138844638217847018\ 224156720738*c_1101_3^8 + 8760224306846423749073354459135/613884463\ 8217847018224156720738*c_1101_3^5*u + 4965597595123538974023651753096/3069422319108923509112078360369*c_1\ 101_3^5 + 27402688434719113904216803746340/521801794248516996549053\ 32126273*c_1101_3^2*u + 46818767802568598514029036346374/5218017942\ 4851699654905332126273*c_1101_3^2, c_0201_0 - 24202073092595964085663798394/379163933536984668772668503339\ 7*c_1101_3^16*u + 758506197818105692151175949565/128915737402574787\ 382707291135498*c_1101_3^16 + 5499240218318054434503708796597/21485\ 956233762464563784548522583*c_1101_3^13*u + 3136624724584158326703277209112/21485956233762464563784548522583*c_\ 1101_3^13 - 13717652632429541676104012593495/2148595623376246456378\ 4548522583*c_1101_3^10*u - 69349413814298423706116114219855/4297191\ 2467524929127569097045166*c_1101_3^10 - 122026039708593698518352021388406/64457868701287393691353645567749*\ c_1101_3^7*u - 19895754802638242496425474882195/6445786870128739369\ 1353645567749*c_1101_3^7 + 806435946613380938061968205321/361108508\ 130461589307303336514*c_1101_3^4*u + 510845887853562907411294416791/180554254065230794653651668257*c_110\ 1_3^4 + 7301966723243107409931200865965/128915737402574787382707291\ 135498*c_1101_3*u - 25115508628736113263398786657656/64457868701287\ 393691353645567749*c_1101_3, c_0201_1 + 26570857313522612548740066395/920826695732677052733623508110\ 7*c_1101_3^16*u + 51905475277918250875581054059/2630933416379077293\ 524638594602*c_1101_3^16 + 2298286213417673546179399971889/61388446\ 38217847018224156720738*c_1101_3^13*u - 91530827422694499328994749771/3069422319108923509112078360369*c_110\ 1_3^13 - 15456370475630060007077493193637/6138844638217847018224156\ 720738*c_1101_3^10*u - 7699087224189464895037452312879/306942231910\ 8923509112078360369*c_1101_3^10 - 41504871215828755347630138653417/\ 18416533914653541054672470162214*c_1101_3^7*u + 16161057274305992290342883558032/9208266957326770527336235081107*c_\ 1101_3^7 + 177862385453850404990955382397/5158692973292308418675761\ 9502*c_1101_3^4*u + 896851983136605685378002004519/3611085081304615\ 89307303336514*c_1101_3^4 - 3417976431883040823525955449655/1841653\ 3914653541054672470162214*c_1101_3*u + 5557692071073704929938064422563/9208266957326770527336235081107*c_1\ 101_3, c_1011_0 - 8868433488854725931667419025/2527759556913231125151123355598\ *c_1101_3^15*u + 6561718073045141087686079213/126387977845661556257\ 5561677799*c_1101_3^15 + 451667871817862789212128900089/25277595569\ 13231125151123355598*c_1101_3^12*u + 104031980581203076286814844119/1263879778456615562575561677799*c_11\ 01_3^12 - 1322575892704055408757225431091/2527759556913231125151123\ 355598*c_1101_3^9*u - 2686199539661243975226875735983/2527759556913\ 231125151123355598*c_1101_3^9 - 1234034710087851433791037793984/126\ 3879778456615562575561677799*c_1101_3^6*u - 1094562700445383814760358603315/2527759556913231125151123355598*c_1\ 101_3^6 + 76572523226469997219325365285/180554254065230794653651668\ 257*c_1101_3^3*u + 115192316343422289593359235020/18055425406523079\ 4653651668257*c_1101_3^3 + 710818760475684648451542237635/252775955\ 6913231125151123355598*u - 334472878833103091611196962105/126387977\ 8456615562575561677799, c_1011_1 + 889080843181684735377185749874/52180179424851699654905332126\ 273*c_1101_3^17*u + 1309445448175059466538617237114/521801794248516\ 99654905332126273*c_1101_3^17 + 3065884949435852945387364421505/149\ 08622692814771329972952036078*c_1101_3^14*u - 17398581430976526986536420135338/52180179424851699654905332126273*c\ _1101_3^14 - 26244774478435260209137238803682/745431134640738566498\ 6476018039*c_1101_3^11*u - 22795969741154815607166605315173/1490862\ 2692814771329972952036078*c_1101_3^11 + 4475076555224043202635712118197/52180179424851699654905332126273*c_\ 1101_3^8*u + 450420630526926893860917662202217/10436035884970339930\ 9810664252546*c_1101_3^8 + 27054617766991099243515527018203/6138844\ 638217847018224156720738*c_1101_3^5*u + 10404407697588377785661398624675/6138844638217847018224156720738*c_\ 1101_3^5 - 4357890465214007771972988423365/745431134640738566498647\ 6018039*c_1101_3^2*u - 83867773822614751224827698605593/10436035884\ 9703399309810664252546*c_1101_3^2, c_1011_3 - 252372424379127577347224283733/42971912467524929127569097045\ 166*c_1101_3^16*u + 289909976803259378140070030538/2148595623376246\ 4563784548522583*c_1101_3^16 + 8823317620598908930618363925492/2148\ 5956233762464563784548522583*c_1101_3^13*u + 6334809607335836021687221576097/42971912467524929127569097045166*c_\ 1101_3^13 - 66981843977480491746318603830969/4297191246752492912756\ 9097045166*c_1101_3^10*u - 55884712720277649884924227468514/2148595\ 6233762464563784548522583*c_1101_3^10 - 6645733328883531420594550722457/2527759556913231125151123355598*c_1\ 101_3^7*u - 630837553057905838758439614160/214859562337624645637845\ 48522583*c_1101_3^7 + 83895932952044653497385453693/515869297329230\ 84186757619502*c_1101_3^4*u + 474727302713000678078724630214/180554\ 254065230794653651668257*c_1101_3^4 - 29117540069204151261546151467581/42971912467524929127569097045166*c\ _1101_3*u - 612497589311147842553000250233/126387977845661556257556\ 1677799*c_1101_3, c_1101_0 - 246035340941883399784922388003/52180179424851699654905332126\ 273*c_1101_3^17*u - 1117284077188392328260191596773/521801794248516\ 99654905332126273*c_1101_3^17 - 19360808002476139635126575608673/52\ 180179424851699654905332126273*c_1101_3^14*u + 3521132121007710910148985443124/52180179424851699654905332126273*c_\ 1101_3^14 + 1186225241396445404381134914081/43848890272984621558743\ 9765767*c_1101_3^11*u + 36634938268869127471201067125189/1490862269\ 2814771329972952036078*c_1101_3^11 + 219703655562443552052190702355439/104360358849703399309810664252546\ *c_1101_3^8*u - 89863461396036037587367468487134/521801794248516996\ 54905332126273*c_1101_3^8 - 10399374555581220399748385562843/306942\ 2319108923509112078360369*c_1101_3^5*u - 16187063846075736392066059398709/6138844638217847018224156720738*c_\ 1101_3^5 - 36763251090399319482025234312267/10436035884970339930981\ 0664252546*c_1101_3^2*u + 4136181998258231261588999546629/104360358\ 849703399309810664252546*c_1101_3^2, c_1101_3^18 + 672/31*c_1101_3^15*u + 50/31*c_1101_3^15 - 3605019/29791*c_1101_3^12*u - 4171029/29791*c_1101_3^12 - 4073776/29791*c_1101_3^9*u + 1317830/29791*c_1101_3^9 + 4854112/29791*c_1101_3^6*u + 4666483/29791*c_1101_3^6 + 7080/961*c_1101_3^3*u - 4090/961*c_1101_3^3 - 977687/29791*u - 442170/29791, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 917.020 Total time: 917.220 seconds, Total memory usage: 854.88MB