Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 3667609106] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1590 geometric_solution 5.36158033 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 2 -2 0 0 0 0 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.553384150046 0.182347634761 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 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 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.277073924789 0.354510033359 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547748918720 0.658925940289 2 5 4 6 0132 0132 3201 0132 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 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.015679505534 0.972936171196 3 6 2 5 2310 0132 0132 2310 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 -1 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.015679505534 0.972936171196 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.379189790545 0.361026793118 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481045975636 0.897743612051 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], '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_0011_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 7/4*c_0110_5^2 - 6, c_0011_0 - 1, c_0011_1 + c_0110_5^2 - 1, c_0011_4 - c_0110_5, c_0101_0 + c_0110_5, c_0101_2 - c_0110_5^3 + 2*c_0110_5, c_0101_3 - 1, c_0110_5^4 - 4*c_0110_5^2 + 2 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 584470149812155630108492871980210995/790733393043652534574547989629\ 5832*c_0110_5^28 - 2269119686083464662575616731896795509/7907333930\ 436525345745479896295832*c_0110_5^26 + 89847830871784154271530559846169405845/3953666965218262672872739948\ 147916*c_0110_5^24 + 2309127506181877771581468803493275014439/79073\ 33930436525345745479896295832*c_0110_5^22 + 5338581869041326865999125674405020886555/39536669652182626728727399\ 48147916*c_0110_5^20 + 22198475372766289420379456233828104703501/79\ 07333930436525345745479896295832*c_0110_5^18 + 6438602626232230711845900153779272778189/39536669652182626728727399\ 48147916*c_0110_5^16 - 541980587476234945606411025813132966969/5648\ 09566459751810410391421163988*c_0110_5^14 - 18736764612581561887483398212963154805759/7907333930436525345745479\ 896295832*c_0110_5^12 - 1923598471270860044834238378390356996389/19\ 76833482609131336436369974073958*c_0110_5^10 + 416550007098495455361037721362413878621/395366696521826267287273994\ 8147916*c_0110_5^8 + 1112947537081196899882685379134466979289/39536\ 66965218262672872739948147916*c_0110_5^6 - 86320245500761453366205321533122004277/3953666965218262672872739948\ 147916*c_0110_5^4 - 4878413696733181892302980928498060760/988416741\ 304565668218184987036979*c_0110_5^2 + 3290611178709265908651343398101687815/79073339304365253457454798962\ 95832, c_0011_0 - 1, c_0011_1 - 30846241447011709660985564837140/141202391614937952602597855\ 290997*c_0110_5^28 - 123528753900842619279303232224377/141202391614\ 937952602597855290997*c_0110_5^26 + 9468994793471129699938684976003960/14120239161493795260259785529099\ 7*c_0110_5^24 + 123027015411128630154733564966198782/14120239161493\ 7952602597855290997*c_0110_5^22 + 578422941044549340665407829929197\ 345/141202391614937952602597855290997*c_0110_5^20 + 1240741305471349075562999102926689398/14120239161493795260259785529\ 0997*c_0110_5^18 + 824622019231466665854578199357838519/14120239161\ 4937952602597855290997*c_0110_5^16 - 311818583746737162714565251317502825/141202391614937952602597855290\ 997*c_0110_5^14 - 1029588196899722354947162532020446736/14120239161\ 4937952602597855290997*c_0110_5^12 - 524596880009635554973730531728684742/141202391614937952602597855290\ 997*c_0110_5^10 - 11395252135385787991508593553756661/1412023916149\ 37952602597855290997*c_0110_5^8 + 117052248298672307258965947773578\ 874/141202391614937952602597855290997*c_0110_5^6 + 3975023157902551295386950787850965/14120239161493795260259785529099\ 7*c_0110_5^4 - 2358974380415302676527299295226157/14120239161493795\ 2602597855290997*c_0110_5^2 + 8217552715977474940698286172263/14120\ 2391614937952602597855290997, c_0011_4 - 5975855585933686812668728164351215/3953666965218262672872739\ 948147916*c_0110_5^29 - 23242798184745709523824234501400329/3953666\ 965218262672872739948147916*c_0110_5^27 + 918562034566415932321764118411250887/197683348260913133643636997407\ 3958*c_0110_5^25 + 23622512385183295404880259486188585391/395366696\ 5218262672872739948147916*c_0110_5^23 + 54666231502928720358125574871861545817/1976833482609131336436369974\ 073958*c_0110_5^21 + 227706800864005711841412940028219285973/395366\ 6965218262672872739948147916*c_0110_5^19 + 66558446945191942428457772453104566831/1976833482609131336436369974\ 073958*c_0110_5^17 - 5497712746886173004012792569270401907/28240478\ 3229875905205195710581994*c_0110_5^15 - 192323741685212036988353952666627123199/395366696521826267287273994\ 8147916*c_0110_5^13 - 19994776379394221848191294957744836138/988416\ 741304565668218184987036979*c_0110_5^11 + 4117171434965001680013710146077552263/19768334826091313364363699740\ 73958*c_0110_5^9 + 11483398995436441409948626586500383655/197683348\ 2609131336436369974073958*c_0110_5^7 - 792762221466602089863496247555031827/197683348260913133643636997407\ 3958*c_0110_5^5 - 114627816534210735077704582502155778/988416741304\ 565668218184987036979*c_0110_5^3 + 27521352583003368082683573207715707/3953666965218262672872739948147\ 916*c_0110_5, c_0101_0 + 14951724519102309399114667181476355/197683348260913133643636\ 9974073958*c_0110_5^29 + 57954721329350088344487074813037691/197683\ 3482609131336436369974073958*c_0110_5^27 - 2298648205219193813303058652569094057/98841674130456566821818498703\ 6979*c_0110_5^25 - 59042778449841561481440377993630305873/197683348\ 2609131336436369974073958*c_0110_5^23 - 136382913446816041653986931801516154717/988416741304565668218184987\ 036979*c_0110_5^21 - 566097214675108222143611731117281611357/197683\ 3482609131336436369974073958*c_0110_5^19 - 162767483644520465594464893475225859604/988416741304565668218184987\ 036979*c_0110_5^17 + 14062756527545214354724922025429883651/1412023\ 91614937952602597855290997*c_0110_5^15 + 478511159844920233060617333636572122197/197683348260913133643636997\ 4073958*c_0110_5^13 + 96784903061679297560639778529148644235/988416\ 741304565668218184987036979*c_0110_5^11 - 11573562771210022762242021790656347648/9884167413045656682181849870\ 36979*c_0110_5^9 - 28521367504702420952978121916679414875/988416741\ 304565668218184987036979*c_0110_5^7 + 2408576832673994003131163955653959792/98841674130456566821818498703\ 6979*c_0110_5^5 + 523760706011335823726560773110609291/988416741304\ 565668218184987036979*c_0110_5^3 - 91085574007551321958096090928682961/1976833482609131336436369974073\ 958*c_0110_5, c_0101_2 + 4175876200806663825938714717526709/1976833482609131336436369\ 974073958*c_0110_5^29 + 16362224762931485589314297161639755/1976833\ 482609131336436369974073958*c_0110_5^27 - 641642089254935204959337215964260552/988416741304565668218184987036\ 979*c_0110_5^25 - 16544153398923660333254806040395081375/1976833482\ 609131336436369974073958*c_0110_5^23 - 38440344188712902436752728580266927126/9884167413045656682181849870\ 36979*c_0110_5^21 - 161377397161691603208961313420337203189/1976833\ 482609131336436369974073958*c_0110_5^19 - 48933363007883836839643443582364987441/9884167413045656682181849870\ 36979*c_0110_5^17 + 3610973924437042090135976600726325167/141202391\ 614937952602597855290997*c_0110_5^15 + 135586767916210669624305572659402899627/197683348260913133643636997\ 4073958*c_0110_5^13 + 29940583531984810540230721869947152860/988416\ 741304565668218184987036979*c_0110_5^11 - 1840933823764714422603951330936244692/98841674130456566821818498703\ 6979*c_0110_5^9 - 7986132603488655192755061238843796697/98841674130\ 4565668218184987036979*c_0110_5^7 + 332079562385585032630142390274831092/988416741304565668218184987036\ 979*c_0110_5^5 + 144760044094563418478664842047466465/9884167413045\ 65668218184987036979*c_0110_5^3 - 135690854134137601722419162380543\ 43/1976833482609131336436369974073958*c_0110_5, c_0101_3 - 39665536323371606320836167098389/141202391614937952602597855\ 290997*c_0110_5^28 - 155332198956457095928548914220344/141202391614\ 937952602597855290997*c_0110_5^26 + 12190185610693088737550065382045621/1412023916149379526025978552909\ 97*c_0110_5^24 + 157122399081405535711271649572539078/1412023916149\ 37952602597855290997*c_0110_5^22 + 729838024139233149575118144846615038/141202391614937952602597855290\ 997*c_0110_5^20 + 1530218009335312036157677274564830856/14120239161\ 4937952602597855290997*c_0110_5^18 + 921477574075560006207425936536433684/141202391614937952602597855290\ 997*c_0110_5^16 - 491743274855546542391802875269443039/141202391614\ 937952602597855290997*c_0110_5^14 - 1291438963785173850632265362125042194/14120239161493795260259785529\ 0997*c_0110_5^12 - 562034591628274174078686143271718009/14120239161\ 4937952602597855290997*c_0110_5^10 + 43343498654128100993878354962490612/1412023916149379526025978552909\ 97*c_0110_5^8 + 154379259855293748625015681977749305/14120239161493\ 7952602597855290997*c_0110_5^6 - 6937975637971905111761111543355880\ /141202391614937952602597855290997*c_0110_5^4 - 3264372191451587382686365828416830/14120239161493795260259785529099\ 7*c_0110_5^2 + 142411994068148107329751587261746/141202391614937952\ 602597855290997, c_0110_5^30 + 4*c_0110_5^28 - 307*c_0110_5^26 - 3987*c_0110_5^24 - 18731*c_0110_5^22 - 40105*c_0110_5^20 - 26385*c_0110_5^18 + 10636*c_0110_5^16 + 33743*c_0110_5^14 + 16869*c_0110_5^12 - 82*c_0110_5^10 - 4076*c_0110_5^8 - 152*c_0110_5^6 + 126*c_0110_5^4 + 3*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB