Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 3280101129] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1643 geometric_solution 5.38563024 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 1 0 -1 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.282103760106 0.184029824084 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 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 1 -1 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 1.722379085098 1.512435228538 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 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 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.623563955163 0.375684124602 2 5 4 6 0132 0132 3201 0132 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 -1 0 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.341052024436 1.033631431931 3 6 2 5 2310 0132 0132 1023 0 0 0 0 0 -1 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 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.341052024436 1.033631431931 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.524111636146 0.392147731104 6 4 3 6 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.287877964564 0.872476019533 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : 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_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), '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_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 174955134973831131312318910677389340049425609594669383/370100550642\ 54518365670057938388803015807617942857352*c_0110_5^29 + 5038760671886362038425919386806819990146090764863832869/37010055064\ 254518365670057938388803015807617942857352*c_0110_5^27 + 116034063797266101442223559451819507313913216500085310/514028542559\ 090532856528582477622264108439138095241*c_0110_5^25 + 24385189356916800594579355318810674888677147227339893601/9252513766\ 063629591417514484597200753951904485714338*c_0110_5^23 + 36444405567010498283666473405189136439446603818331936495/3701005506\ 4254518365670057938388803015807617942857352*c_0110_5^21 + 3263309992768222177797737397052181166739177665891408733795/37010055\ 064254518365670057938388803015807617942857352*c_0110_5^19 + 1507014275113352532022947361203459152755916055568425833101/37010055\ 064254518365670057938388803015807617942857352*c_0110_5^17 + 6209276068727538342826316091841827237296668056049815953725/12336685\ 021418172788556685979462934338602539314285784*c_0110_5^15 - 126660781187573163101955456710354892541423794057605315688599/370100\ 55064254518365670057938388803015807617942857352*c_0110_5^13 + 5495388746662334264775918152415780547635009916488919600070/15420856\ 27677271598569585747432866792325317414285723*c_0110_5^11 + 40025758643209986593662801142064943114962186116799370233301/3701005\ 5064254518365670057938388803015807617942857352*c_0110_5^9 - 92209144398258567107176354596297323203473008260860830532791/3701005\ 5064254518365670057938388803015807617942857352*c_0110_5^7 + 7654368104873283760652703374313803475876382836569795383783/92525137\ 66063629591417514484597200753951904485714338*c_0110_5^5 - 6815308050667268496744030021349365247503191913210656251405/37010055\ 064254518365670057938388803015807617942857352*c_0110_5^3 + 136324674671501857860478666771049392874296822453144024987/123366850\ 21418172788556685979462934338602539314285784*c_0110_5, c_0011_0 - 1, c_0011_2 - 3176118589739947485322334580773104750416772/3180672870237550\ 4786617695840456795007019314281*c_0110_5^28 + 90264834078520252700608046736181834422277319/3180672870237550478661\ 7695840456795007019314281*c_0110_5^26 + 61718403590742017847533875455430231479377630/1060224290079183492887\ 2565280152265002339771427*c_0110_5^24 + 1864773977721760164482745314107112521732544879/31806728702375504786\ 617695840456795007019314281*c_0110_5^22 + 1437431083172599882300778759637581588702883730/31806728702375504786\ 617695840456795007019314281*c_0110_5^20 + 60343837435745589233497188863096242363361990486/3180672870237550478\ 6617695840456795007019314281*c_0110_5^18 + 51123206397460385430198199913205281940241731581/3180672870237550478\ 6617695840456795007019314281*c_0110_5^16 + 124853262617209554247235744198087652635325665992/106022429007918349\ 28872565280152265002339771427*c_0110_5^14 - 2130678071095817477452707748336539595911478323379/31806728702375504\ 786617695840456795007019314281*c_0110_5^12 + 569474192737128433106362420044234940896819711403/106022429007918349\ 28872565280152265002339771427*c_0110_5^10 + 904493169410197203998949699392005559329312713149/318067287023755047\ 86617695840456795007019314281*c_0110_5^8 - 1169392900810119353745730745613470950095638343469/31806728702375504\ 786617695840456795007019314281*c_0110_5^6 + 330784612178877308678320420101372567559909410317/318067287023755047\ 86617695840456795007019314281*c_0110_5^4 - 116905359874728057577760486727968998478183789318/318067287023755047\ 86617695840456795007019314281*c_0110_5^2 + 411123818702189078566840021629007761678219241/353408096693061164295\ 7521760050755000779923809, c_0011_4 + 732992451727002605805430822095020468916022833716/51402854255\ 9090532856528582477622264108439138095241*c_0110_5^29 - 21205305250528407913404520467128715088978284264175/5140285425590905\ 32856528582477622264108439138095241*c_0110_5^27 - 10757769749161947531782090868912794400674065800433/1713428475196968\ 44285509527492540754702813046031747*c_0110_5^25 - 403986092100074005901949528917048751331471327814317/514028542559090\ 532856528582477622264108439138095241*c_0110_5^23 - 99691517213038062315876955378722058907106315900011/5140285425590905\ 32856528582477622264108439138095241*c_0110_5^21 - 13649869639113771418323340042364106131026858321462876/5140285425590\ 90532856528582477622264108439138095241*c_0110_5^19 - 4545344937013099742387573924243516871211908084894652/51402854255909\ 0532856528582477622264108439138095241*c_0110_5^17 - 25713372786446064074786996418875972960851427023884374/1713428475196\ 96844285509527492540754702813046031747*c_0110_5^15 + 540715718420286826434400267148420210177211685609769162/514028542559\ 090532856528582477622264108439138095241*c_0110_5^13 - 206944055045876690943878077577845283072587741759386902/171342847519\ 696844285509527492540754702813046031747*c_0110_5^11 - 99989551651440964190938868097514159097288773497481282/5140285425590\ 90532856528582477622264108439138095241*c_0110_5^9 + 415028884502013532243911472522738892310896889234255122/514028542559\ 090532856528582477622264108439138095241*c_0110_5^7 - 179286661933626306493697522416897105195838346285386779/514028542559\ 090532856528582477622264108439138095241*c_0110_5^5 + 39992542365103837804551163541881558689521605612306393/5140285425590\ 90532856528582477622264108439138095241*c_0110_5^3 - 404319573758644567558504492212364161468183504971432/571142825065656\ 14761836509164180251567604348677249*c_0110_5, c_0101_0 + 719020763094151648141999225279186094858107022332/51402854255\ 9090532856528582477622264108439138095241*c_0110_5^29 - 20715481375973165015312624078701770719309670217928/5140285425590905\ 32856528582477622264108439138095241*c_0110_5^27 - 11366888183494857912002083848905759251327452909029/1713428475196968\ 44285509527492540754702813046031747*c_0110_5^25 - 401038373035824396379058823973320423414356644883099/514028542559090\ 532856528582477622264108439138095241*c_0110_5^23 - 147034973540304310246761677534482579256692302038479/514028542559090\ 532856528582477622264108439138095241*c_0110_5^21 - 13421829859197330038358105321608679626174345741651675/5140285425590\ 90532856528582477622264108439138095241*c_0110_5^19 - 6070073647403206526049155161653584380193992171719410/51402854255909\ 0532856528582477622264108439138095241*c_0110_5^17 - 25620592927129929869135298784022164309885788712849510/1713428475196\ 96844285509527492540754702813046031747*c_0110_5^15 + 520809725776820390278569865753360580469432485525295028/514028542559\ 090532856528582477622264108439138095241*c_0110_5^13 - 183337602819138872666887192454121134511195185301736990/171342847519\ 696844285509527492540754702813046031747*c_0110_5^11 - 147733057450792241358624246043478992191292977599427494/514028542559\ 090532856528582477622264108439138095241*c_0110_5^9 + 377015500359183203018797732200742999381298624120440750/514028542559\ 090532856528582477622264108439138095241*c_0110_5^7 - 136556165642796543597171938970687194233940750073648218/514028542559\ 090532856528582477622264108439138095241*c_0110_5^5 + 32681676606510249147526564317917266988344307031992930/5140285425590\ 90532856528582477622264108439138095241*c_0110_5^3 - 340732818045736736406406480376223553073383687100743/571142825065656\ 14761836509164180251567604348677249*c_0110_5, c_0101_1 - 1234531713290596407364017731839631611194260/3180672870237550\ 4786617695840456795007019314281*c_0110_5^28 + 35418754877286497937823656344339767553137780/3180672870237550478661\ 7695840456795007019314281*c_0110_5^26 + 21012938433930862134047271853010173844599714/1060224290079183492887\ 2565280152265002339771427*c_0110_5^24 + 690512894532415993814542307795009748225656749/318067287023755047866\ 17695840456795007019314281*c_0110_5^22 + 310327682751750561769655406932576306966012183/318067287023755047866\ 17695840456795007019314281*c_0110_5^20 + 22911307275710660891864365809242997356478495166/3180672870237550478\ 6617695840456795007019314281*c_0110_5^18 + 12754989028481036180395234396625340782129436568/3180672870237550478\ 6617695840456795007019314281*c_0110_5^16 + 42923531948078718476892078579001809311028353858/1060224290079183492\ 8872565280152265002339771427*c_0110_5^14 - 891930868728203868709432196740525346784516962096/318067287023755047\ 86617695840456795007019314281*c_0110_5^12 + 263743710477031433088939283081404166117547114378/106022429007918349\ 28872565280152265002339771427*c_0110_5^10 + 413240903519554690989410645666735165580972807664/318067287023755047\ 86617695840456795007019314281*c_0110_5^8 - 495418250127315745933382888735711686707111245711/318067287023755047\ 86617695840456795007019314281*c_0110_5^6 + 146767358032298029332699358640618516528526487108/318067287023755047\ 86617695840456795007019314281*c_0110_5^4 - 50326264215419273059306059929292201168813048475/3180672870237550478\ 6617695840456795007019314281*c_0110_5^2 - 2014030604008966212401770131313335526801500737/35340809669306116429\ 57521760050755000779923809, c_0101_3 + 2749472987231475293568486827961248636408818/3180672870237550\ 4786617695840456795007019314281*c_0110_5^28 - 79316003077187817063849716671594918970311040/3180672870237550478661\ 7695840456795007019314281*c_0110_5^26 - 42579845277026541202998339699517713874225031/1060224290079183492887\ 2565280152265002339771427*c_0110_5^24 - 1521163400523992077194052406322186450532066958/31806728702375504786\ 617695840456795007019314281*c_0110_5^22 - 482133233568815689874063140133434073903463166/318067287023755047866\ 17695840456795007019314281*c_0110_5^20 - 51127994145416840358079974724646495671250488907/3180672870237550478\ 6617695840456795007019314281*c_0110_5^18 - 21043253822513946272569949065288514882473036514/3180672870237550478\ 6617695840456795007019314281*c_0110_5^16 - 95922295882906470585083795798844442193834936920/1060224290079183492\ 8872565280152265002339771427*c_0110_5^14 + 2011543413178624219422147560760823037739469651222/31806728702375504\ 786617695840456795007019314281*c_0110_5^12 - 713855885450278941720206118047798654549470489570/106022429007918349\ 28872565280152265002339771427*c_0110_5^10 - 645530179300492438637367801448355828181462147608/318067287023755047\ 86617695840456795007019314281*c_0110_5^8 + 1421873272826692923173169561468852527313585019219/31806728702375504\ 786617695840456795007019314281*c_0110_5^6 - 371563021862574924014830175339781451392900628709/318067287023755047\ 86617695840456795007019314281*c_0110_5^4 + 147299683954998666486069486160630401730437323306/318067287023755047\ 86617695840456795007019314281*c_0110_5^2 - 2747382412537112217279795038007447766867378135/35340809669306116429\ 57521760050755000779923809, c_0110_5^30 - 29*c_0110_5^28 - 42*c_0110_5^26 - 548*c_0110_5^24 - 97*c_0110_5^22 - 18611*c_0110_5^20 - 4889*c_0110_5^18 - 104763*c_0110_5^16 + 745219*c_0110_5^14 - 898482*c_0110_5^12 - 77795*c_0110_5^10 + 572287*c_0110_5^8 - 280430*c_0110_5^6 + 74219*c_0110_5^4 - 10197*c_0110_5^2 + 486 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB